950 search results - page 189 / 190 » Software model checking with SPIN |
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
IEEEPACT
2006
IEEE
13 years 11 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
ASAP
2005
IEEE
13 years 11 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
IWIA
2005
IEEE
13 years 11 months ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...
EMSOFT
2005
Springer
13 years 10 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...