2881 search results - page 444 / 577 » Model Checking for Programming Languages using Verisoft |
149
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...
134
click to vote
WSC
2007
15 years 7 months ago
2007
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
167
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Long term group work by small teams is a central part of many learning and workplace activities. Widespread group support tools such as wikis, version control systems and issue tra...
139
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
139
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...