670 search results - page 128 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
122
Voted
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
105
click to vote
TMI
2010
14 years 7 months ago
2010
Abstract--We propose a framework for the nonlinear spatiotemporal registration of 4D time-series of images based on the Diffeomorphic Demons (DD) algorithm. In this framework, the ...
NDSS
2007
IEEE
15 years 6 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...
142
Voted
JIT
2004
Springer
15 years 5 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
108
Voted
ISMAR
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a method to create an illusion of seeing moving objects through occluding surfaces in a video. This illusion is achieved by transferring information from a cam...