404 search results - page 69 / 81 » Multi-dimensional Dynamic Logic Programming |
81
Voted
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
133
click to vote
WCRE
2010
IEEE
14 years 8 months ago
2010
IEEE
—An important application of binary-level reverse engineering is in reconstructing the internal logic of computer malware. Most malware code is distributed in encrypted (or “pa...
101
click to vote
PPOPP
2011
ACM
14 years 14 days ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
109
click to vote
GPCE
2009
Springer
15 years 26 days ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
182
Voted
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...