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

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

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

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

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

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

Process Goose Queue (PGQ) Approaches toward Plantwide Process Optimization with Applications in Supervision-Driven Real-Time OptimizationHONGGUANG LI; JINGWEN HUANG.Industrial & engineering chemistry research. 2012, Vol 51, Num 33, pp 10848-10859, issn 0888-5885, 12 p.Article

Symbolic model-checking method based on approximations and binary Decision diagrams for real-time systemsYAMANE, S; NAKAMURA, K.Lecture notes in computer science. 1997, pp 562-582, issn 0302-9743, isbn 3-540-63388-XConference Paper

Development of an epicardial map realtime display systemMITSUI, K; FUKUI, Y; KAWAMURA, T et al.Precision machinery, incorporating life support technology. 1990, Vol 3, Num 1, pp 51-56, issn 1045-4160, 6 p.Article

Implementing Ada.Real―Time.Clock and absolute delays in real-time kernelsZAMORANO, Juan; RUIZ, José F; DE LA PUENTE, Juan Antonio et al.Lecture notes in computer science. 2001, pp 317-327, issn 0302-9743, isbn 3-540-42123-8Conference Paper

Techniques for software thread integration in real-time embedded systemsDEAN, A. G; SHEN, J. P.IEEE real-time systems symposium. 1998, pp 322-333, isbn 0-8186-9212-XConference Paper

A tool for the selection of a development and execution environment for real time on-board applicationsLARZUL, B; DO KHAC DU, M; ABADIE, J et al.Real-time systems conferenceSalon des solutions informatiques temps réel. 1997, pp 119-129, isbn 2-87717-059-4Conference Paper

STARI : A case study in compositional and hierarchical timing verificationTASIRAN, S; BRAYTON, R. K.Lecture notes in computer science. 1997, pp 191-201, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Windows NT as real-time OS ?TIMMERMAN, M; MONFRET, J.-C.Real-time systems conferenceSalon des solutions informatiques temps réel. 1997, pp 573-586, isbn 2-87717-059-4Conference Paper

Rate monotonic scheduling in hard real-time systemsSANTOS, J; OROCZO, J.Information processing letters. 1993, Vol 48, Num 1, pp 39-45, issn 0020-0190Article