4722 search results - page 443 / 945 » Encoding Program Executions |
146
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
152
click to vote
CLUSTER
2006
IEEE
16 years 14 days ago
2006
IEEE
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...
159
Voted
ISLPED
2006
ACM
16 years 11 days ago
2006
ACM
Interprocessor synchronization, while extremely important for ensuring execution correctness, can be very costly in terms of both power and performance overheads. Unfortunately, m...
144
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
The overhead in terms of code size, power consumption and execution time caused by the use of precompiled libraries and separate compilation is often unacceptable in the embedded ...
142
click to vote
HOTOS
2003
IEEE
15 years 11 months ago
2003
IEEE
User applications that move a lot of data across the user-kernel boundary suffer from a serious performance penalty. We provide a framework, Compound System Calls (CoSy), to enhan...