580 search results - page 34 / 116 » Performance evaluation of petri nets execution algorithms |
APLAS
2008
ACM
13 years 11 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes have been recently studied to save energy while preserving system reliability. The existing RAPM schemes, however, provision for ...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
ACSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
IIE
2007
13 years 9 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...