854 search results - page 151 / 171 » Addressing Dynamic Issues of Program Model Checking |
ISCA
1998
IEEE
15 years 4 months ago
1998
IEEE
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
123
click to vote
NN
2000
Springer
14 years 11 months ago
2000
Springer
The article contributes to the quest to relate global data on brain and behavior (e.g. from PET, Positron Emission Tomography, and fMRI, functional Magnetic Resonance Imaging) to ...
115
click to vote
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
DRM
2005
Springer
15 years 5 months ago
2005
Springer
Advances in reverse engineering and program analyses have made software extremely vulnerable to malicious host attacks. These attacks typically take the form of intellectual prope...