"Real-time Systems" - Search Results - Infoscience

guest :: login

Home > Search Results: "Real-time Systems"

Search:

Search Tips :: Advanced Search

Sort by:

ascending
descending

Display:

Collections:

Format:

1.	PDF The IF toolset Bozga, M. ; Graf, S. ; Ober, I. ; Ober, I.[...] Formal Methods for the Design of Real-Time Systems. International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Revised Lectures (Lecture Notes in Comput. Sci. Vol.3185), 237 - 67 (2004) 2004 \| Conference Papers \| Detailed record - Similar records
2.	PDF A framework for scheduler synthesis Altisen, K. ; Gossler, G. ; Pnueli, A. ; Sifakis, J.[...] Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 154 - 63 (1999) 1999 \| Conference Papers \| Detailed record - Similar records
3.	PDF The mobile animator: interactive character animation in collaborative virtual environments Gutierrez, M. ; Vexo, F. ; Thalmann, D. IEEE Virtual Reality Conference, 125-132 (2004) 2004 \| Conference Papers \| Detailed record - Similar records
4.	PDF Reliable and Real-Time Distributed Abstractions Kozhaya, David ; Guerraoui, Rachid 2016 \| Theses \| Detailed record - Similar records
5.	Towards real time virtual human life simulations de Sevin, E. ; Kallmann, M. ; Thalmann, D. 2001 \| Conference Papers \| Detailed record - Similar records
6.	Real-time animation and motion capture in Web Human Director (WHD) Babski, C. ; Thalmann, D. 2000 \| Conference Papers \| Detailed record - Similar records
7.	PDF Multi-Camera Platform for Panoramic Real-Time HDR Video Construction and Rendering Popovic, Vladan ; Seyid, Kerem ; Pignat, Eliéva Arlette ; Cogal, Omer[...] Journal of Real-Time Image Processing, 12 (4), 697-708 (2016) 2016 \| Journal Articles \| Detailed record - Similar records
8.	PDF The compositional specification of timed systems-a tutorial Sifakis, J. Computer Aided Verification. 11th International Conference, CAV'99. Proceedings (Lecture Notes in Computer Science Vol.1633), 2 - 7 (1999) 1999 \| Conference Papers \| Detailed record - Similar records
9.	PDF Reﬂexes: Abstractions for Integrating Highly Responsive Tasks into Java Applications Spring, Jesper Honig ; Pizlo, Filip ; Guerraoui, Rachid ; Privat, Jean[...] ACM Transactions on Embedded Computing Systems, 10 (1) (2010) ACM TECS Special Issue on Java Technologies for Real-Time and Embedded Systems (JTRES) (2010) 2010 \| Journal Articles \| Detailed record - Similar records
10.	PDF Reflexes: programming abstractions for highly responsive computing in Java Spring, Jesper Honig ; Guerraoui, Rachid ; Vitek, Jan 2008 \| Theses \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.