10707 search results - page 276 / 2142 » Designing executable abstractions |
133
click to vote
ICISS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
125
click to vote
ARCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper proposes a new hardware-based energy management technique for future embedded multithreaded processors with integrated Earliest Deadline First (EDF) real-time ...
112
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
132
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...
133
click to vote
IICS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...