Search
Results
-
SHAPES: a tiled scalable software hardware architecture platform for embedded systems
(2006)CODES+ISSS 2006Conference Paper -
Abstracting functionality for modular performance analysis of hard real-time systems
(2005)Proceedings of the ASP-DAC 2005, Asia and South Pacific Design Automation Conference, 2005Conference Paper -
Counting Interface Automata and their Application in Static Analysis of Actor Models
(2005)Third IEEE International Conference on Software Engineering and Formal Methods, 2005, SEFM 2005 : 7 - 9 Sept. 2005, [Koblenz, Germany]Conference Paper -
DVS for buffer-constrained architectures with predictable QoS-energy tradeoffs
(2005)International Conference on Hardware/Software Codesign and System Synthesis, September 18-21, 2005, Jersey City, New Jersey, USAConference Paper -
Scalable topology control for deployment-support networks
(2005)IPSN 2005 / 2005 Fourth International Symposium on Information Processing in Sensor Networks, 25-27 April 2005, UCLA, Los Angeles, California, USAConference Paper -
Interval-based clock synchronization is resilient to mobility
(2005)2005 IEEE International Conference on Mobile Adhoc and Sensor Systems (MASS 2005) : Washington, DC, November 7 - 11, 2005Conference Paper -
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
(2005)Proceedings of the Fifth ACM International Conference on Embedded SoftwareConference Paper -
Characterizing workload correlations in multi processor hard real-time systems
(2005)Proceedings / RTAS 2005, 11th IEEE Real-Time and Embedded Technology and Applications Symposium, 7-10 March 2005, San Francisco, CAConference Paper -
Rate analysis for streaming applications with on-chip buffer constraints
(2004)Proceedings of the ASP-DAC 2004 Asia and South Pacific Design Automation ConferenceConference Paper -
Trace-based evaluation of clock synchronization algorithms for wireless loudspeakers
(2004)2nd Workshop on Embedded Systems for Real-Time Multimedia, 2004. ESTImedia 2004Conference Paper