854 search results - page 55 / 171 » Addressing Dynamic Issues of Program Model Checking |
122
Voted
KI
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
153
Voted
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
156
click to vote
ICPADS
1994
IEEE
15 years 6 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
130
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
113
click to vote
TAP
2010
Springer
15 years 7 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...