11182 search results - page 1843 / 2237 » Shape Analysis of Sets |
188
click to vote
ATVA
2004
Springer
15 years 11 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
204
click to vote
CCGRID
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper describes the integration of the grid topic within a Computer Architecture engineering course. Students are engaged in a project of design and evaluation of computing s...
191
click to vote
CGO
2004
IEEE
15 years 11 months ago
2004
IEEE
Predicated execution enables the removal of branches by converting segments of branching code into sequences of conditional operations. An important side effect of this transforma...
184
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
This paper explores hierarchical instruction scheduling for a tiled processor. Our results show that at the top level of the hierarchy, a simple profile-driven algorithm effective...
205
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
A multi-agent system can be analyzed and specified as an organization consisting of roles and their relations. The performance of an organization depends on many factors among whi...