RTAS 2004 (10th IEEE real-time and embedded technology and applications symposium)IEEE real-time and embedded technology and applications symposium. 2004, isbn 0-7695-2148-7, 1Vol, XVI-573 p, isbn 0-7695-2148-7Conference Proceedings

Ada als «common language» für grosse Realzeitsysteme. II = ADA, «langage commun» pour des gros systèmes en temps réel, 2e partie = ADA as «common language» for large real time systems, part 2SCHWALD, A.rtp. Regelungstechnische Praxis. 1985, Vol 27, Num 2, pp 86-91, issn 0340-4730Article

Formation des propriétés statiques absolues dans les systèmes de calcul en temps réelZURAKHINSKIJ, V. I; TISHCHENKO, V. A.Avtomatika i telemehanika. 1984, Num 6, pp 154-159, issn 0005-2310Article

Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications (Budapest, Hungary, October 21-23, 2004)Turner, Stephen J; Roberts, David J; Wilson, Linda F et al.IEEE International Symposium on Distributed Simulation and Real-Time Applications. 2004, isbn 0-7695-2232-7, 1Vol, XIV-248 p, isbn 0-7695-2232-7Conference Proceedings

TAXYS: a tool for the development and verification of real-time embedded systemsCLOSSE, Etienne; POIZE, Michel; PULOU, Jacques et al.SOC '2001 : séminaire objets communicants. 2001, 5 p.Conference Paper

Ordonnancement temps réel ordonnancement centralisé = Real time scheduling. Centralized schedulingCOTTET, Francis; DELACROIX, Noëlle; KAISER, Claude et al.Techniques de l'ingénieur. Informatique industrielle. 1999, Vol S3, Num S8055, pp S8055.1-S8055.28, issn 1632-3831Article

Results diagnosis for real-time process operations optimizationMILETIC, I. P; MARLIN, T. E.Computers & chemical engineering. 1998, Vol 22, pp 475-482, issn 0098-1354, SUPConference Paper

The real-time debugging monitor for the bell system 1A processorWITSCHORIK, C. A.Software, practice & experience. 1983, Vol 13, Num 8, pp 727-743, issn 0038-0644Article

Ordonnancement pour les systèmes temps réelGOOSSENS, Joël; NAVET, Nicolas.TSI. Technique et science informatiques. 2005, Vol 24, Num 8, issn 0752-4072, 133 p.Serial Issue

Workshop 20 : Real-time systems and constraintsBERRY, G.Lecture notes in computer science. 1997, pp 1229-1230, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Au-delà du temps réel : le temps immédiat ? QUITOS : the Real-Time Killer = Beyond the real time : the immediate time ? QUITOS : the Real-Time KillerJOSSIC, A.Real-time systems conferenceSalon des solutions informatiques temps réel. 1997, pp 587-604, isbn 2-87717-059-4Conference Paper

Optimization criteria for checkpoint placementKRISHNA, C. M; SHIN, K. G; YANN-HANG LEE et al.Communications of the ACM. 1984, Vol 27, Num 10, pp 1008-1012, issn 0001-0782Article

Tissing requirements for time-driven systems using augmented Petri netsCOOLAHAN, J. E; ROUSSOPOULOS, N.IEEE transactions on software engineering. 1983, Vol 9, Num 5, pp 603-616, issn 0098-5589Article

Real-time regulatory control structure selection based on economicsKOOKOS, Ioannis K.Industrial & engineering chemistry research. 2005, Vol 44, Num 11, pp 3993-4000, issn 0888-5885, 8 p.Article

SoftKernel : Why a real-time executive must be object insideDAUTREVAUX, B; PIOVESAN, P.Real-time systems conferenceSalon des solutions informatiques temps réel. 1997, pp 613-630, isbn 2-87717-059-4Conference Paper

UPPAAL : Status & developmentsLARSEN, K. G; PETTERSSON, P; YI, W et al.Lecture notes in computer science. 1997, pp 456-459, issn 0302-9743, isbn 3-540-63166-6Conference Paper

STRESS: a simulator for hard real-time systemsAUDSLEY, N. C; BURNS, A; RICHARDSON, M. F et al.Software, practice & experience. 1994, Vol 24, Num 6, pp 543-564, issn 0038-0644Article

Universal real-time kernelMANIECKI, M.Microprocessing and microprogramming. 1984, Vol 14, Num 3-4, pp 161-163, issn 0165-6074Article

BeepBeep: Embedded real-time encryptionDRISCOLL, Kevin.Lecture notes in computer science. 2002, pp 164-178, issn 0302-9743, isbn 3-540-44009-7, 15 p.Conference Paper

Modeling real-time systems - challenges and work directionsSIFAKIS, Joseph.Lecture notes in computer science. 2001, pp 373-389, issn 0302-9743, isbn 3-540-42673-6Conference Paper

Animated structures : Real-time, objects, and the UMLSELIC, B.IEEE real-time systems symposium. 1998, isbn 0-8186-9212-X, p. 165Conference Paper

The Verus tool : A quantitative approach to the formal verification of real-time systemsCAMPOS, S; CLARKE, E; MINEA, M et al.Lecture notes in computer science. 1997, pp 452-455, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Realzeit-Datenbanksystem für die Prozessdatenverarbeitung = Système de base de donnée en temps réel pour le traitement de donnée de processus = Real-time data base system for process data processingAMTSBERG, K; REIM, F.rtp. Regelungstechnische Praxis. 1984, Vol 26, Num 2, pp 79-82, issn 0340-4730Article

Subsurface Geo-applications of Wireless Signal NetworksYOON, Suk-Un; GHAZANFARI, Ehsan; LIANG CHENG et al.Proceedings of SPIE, the International Society for Optical Engineering. 2011, Vol 7981, issn 0277-786X, isbn 978-0-8194-8543-4, 79815R.1-79815R.9, 2Conference Paper

Real-time four-dimensional optical-resolution photoacoustic microscopy with Au nanoparticle-assisted subdiffraction-limit resolutionBIN RAO; MASLOV, Konstantin; DANIELLI, Amos et al.Optics letters. 2011, Vol 36, Num 7, pp 1137-1139, issn 0146-9592, 3 p.Article