854 search results - page 97 / 171 » Addressing Dynamic Issues of Program Model Checking |
119
Voted
GRID
2007
Springer
15 years 8 months ago
2007
Springer
— Currently deployed grids gather together thousands of computational and storage resources for the benefit of a large community of scientists. However, the large scale, the wid...
144
Voted
MTV
2006
IEEE
15 years 8 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
121
Voted
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
133
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
144
Voted
JAIR
2010
15 years 29 days ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...