1023 search results - page 203 / 205 » Model Checking: Software and Beyond |
158
Voted
NDSS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
183
Voted
CDVE
2007
Springer
16 years 28 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
198
click to vote
OOPSLA
2007
Springer
16 years 26 days 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...
190
Voted
IEEEPACT
2006
IEEE
16 years 23 days 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....
175
Voted
ASAP
2005
IEEE
16 years 11 days 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...