2608 search results - page 461 / 522 » Subjects, Models, Languages, Transformations |
110
click to vote
POPL
2010
ACM
15 years 2 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
124
Voted
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
179
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
124
click to vote
CODES
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
SIGGRAPH
1991
ACM
15 years 3 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...