4722 search results - page 590 / 945 » Encoding Program Executions |
141
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...
151
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...
152
click to vote
EXPERT
2006
15 years 4 months ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
153
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
153
click to vote
VEE
2012
ACM
13 years 12 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...