26 search results - page 1 / 6 » Falling Back on Executable Specifications |
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
ICSE
2003
IEEE-ACM
14 years 4 months ago
2003
IEEE-ACM
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
MICRO
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper presents CHeckpointed Early Resource RecYcling (Cherry), a hybrid mode of execution based on ROB and checkpointing that decouples resource recycling and instruction ret...
IPPS
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper describes the program execution framework being developed by the Grid Application Development Software (GrADS) Project. The goal of this framework is to provide good re...
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...