4722 search results - page 204 / 945 » Encoding Program Executions |
127
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
118
click to vote
ISCA
1999
IEEE
15 years 9 months ago
1999
IEEE
Several ILP limit studies indicate the presence of considerable ILP across dynamically far-apart instructions in program execution. This paper proposes a hardware mechanism, dynam...
158
click to vote
PPDP
1999
Springer
15 years 9 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
201
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race co...
154
click to vote
TAICPART
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...