4820 search results - page 438 / 964 » Implementing Signatures for C |
160
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
163
click to vote
WCRE
2005
IEEE
16 years 12 days ago
2005
IEEE
In this paper we present an infrastructure that supports interoperability among various reverse engineering tools and applications. We include an Application Programmer’s Interf...
187
click to vote
SAC
2005
ACM
16 years 12 days ago
2005
ACM
is a planning framework for mapping abstract workflows for execution on the Grid. This paper presents the implementation of a web-based portal for submitting workflows to the Grid...
187
click to vote
CIVR
2005
Springer
16 years 11 days ago
2005
Springer
A system for video retrieval from a ubiquitous environment is presented. Data from pressure-based floor sensors are used as a supplementary input for retrieving video from a large...
179
click to vote
EDCC
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents an implementation of several consistent protocols at the abstract device level and their performance comparison. We have performed experiments using three NAS P...