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

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

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

Combinatorial optimization in real-time scheduling: Theory and algorithmsHWANG, Shyh-In; CHENG, Sheng-Tzong.Journal of combinatorial optimization. 2001, Vol 5, Num 3, pp 345-375, issn 1382-6905Article

Testing of synchronization conditions for distributed real-time applicationsKSHEMKALYANI, A. D.Lecture notes in computer science. 1998, pp 1140-1152, issn 0302-9743, isbn 3-540-64359-1Conference Paper

Ordres Partiels pour la Vérification de Systèmes Temps Réel = Partial Orders for the Verification of Real-Time SystemsPagani, Florence; Seguin, Christel.1997, 176 p.Thesis

Real-time operating systems simplify embedded DSP integrationCESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 707-710, isbn 2-9502908-9-2, 2VolConference Paper

An implementation of a FORTRAN machineBETTINGER, M; MILUTINOVIC, V.International journal of mini & microcomputers. 1986, Vol 8, Num 1, pp 1-8, issn 0702-0481Article

Analyse de l'application d'une discipline de service combinée dans les systèmes en temps réelKOSTOGRYZOV, A. I; MATVEEV, V. F.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1986, Num 6, pp 79-84, issn 0002-3388Article

Computation of blending indicesLAMBERT, Didier.Petroleum technology quarterly. 2007, Vol 12, Num 5, pp 135-141, issn 1362-363X, 7 p.Article

Real-time systems development with duration calculi: An overviewDANG VAN HUNG.Lecture notes in computer science. 2003, pp 81-96, issn 0302-9743, isbn 3-540-20527-6, 16 p.Conference Paper

A methodology for compilation of high-integrity real-time programsLERMER, K; FIDGE, C.Lecture notes in computer science. 1997, pp 1274-1281, issn 0302-9743, isbn 3-540-63440-1Conference Paper

On stability of scheduling algorithms for real-time controlSILLY, M.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 1278-1283, isbn 2-9502908-9-2, 2VolConference Paper

Echtzeitverarbeitung in UNIX = Traitement en temps réel avec UNIX = Realtime processing with UNIXGRAMATKE, H.-P; SENFT, F. R.Automatisierungstechnische Praxis. 1988, Vol 30, Num 2, pp 89-95, issn 0178-2320Article