670 search results - page 128 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
188
click to vote
MICRO
2010
IEEE
15 years 4 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...
182
click to vote
TMI
2010
15 years 1 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 ...
146
click to vote
NDSS
2007
IEEE
16 years 18 days 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...
217
click to vote
JIT
2004
Springer
15 years 11 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...
198
click to vote
ISMAR
2009
IEEE
16 years 29 days 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...