2452 search results - page 313 / 491 » On Reduction of Lagrange Systems |
146
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...
153
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Memory management is a critical issue for correctness and performance of hard-real time systems. Java environments usually incorporate high-throughput garbage collection algorithm...
112
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Extensive research has proposed the use of multiple on-die power supplies (VDD) for reducing power consumption in CMOS circuits. We present a detailed study and design techniques ...
126
Voted
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
131
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...