6047 search results - page 666 / 1210 » Modeling with Extend |
187
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
168
click to vote
DAC
1999
ACM
16 years 8 months ago
1999
ACM
This paper presents a methodology for cycle-accurate simulation of energy dissipation in embedded systems. The ARM Ltd. 1 instruction-level cycle-accurate simulator is extended wi...
229
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We consider graphical games in which edges are zero-sum games between the endpoints/players; the payoff of a player is the sum of the payoffs from each incident edge. We give a si...
177
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
168
click to vote
ICCD
2005
IEEE
16 years 4 months ago
2005
IEEE
Bulk data movement occurs commonly in server workloads and their performance is rather poor on today’s microprocessors. We propose the use of small dedicated copy engines, and p...