2500 search results - page 78 / 500 » Specifying Behavior in C |
PLDI
2004
ACM
14 years 2 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
ICES
2001
Springer
14 years 1 months ago
2001
Springer
This paper introduces the concept of polymorphic electronics (polytronics) –referring to electronics with superimposed built-in functionality. A function change does not require ...
CGO
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper presents a finding and a technique on program behavior prediction. The finding is that surprisingly strong statistical correlations exist among the behaviors of diffe...
MOBISYS
2008
ACM
14 years 9 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
DAC
2007
ACM
14 years 10 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...