145 search results - page 19 / 29 » Symbolic Execution with Separation Logic |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
SASP
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—One of the ways that custom instruction set extensions can improve over software execution is through the use of hardware structures that have been optimized at the arit...
SAINT
2009
IEEE
2009
IEEE
CCDM: Central Controller-Based Device Management Architecture and Method to Split Management Scripts
14 years 2 months ago
This paper presents CCDM, a new architecture for management of devices, which collect environmental information and give effects to the environment. CCDM provides easy management ...
APLAS
2004
ACM
14 years 27 days ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
EMSOFT
2004
Springer
14 years 26 days ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...