4820 search results - page 438 / 964 » Implementing Signatures for C |
126
Voted
TPHOL
2005
IEEE
15 years 10 months 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...
138
click to vote
WCRE
2005
IEEE
15 years 10 months 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...
144
Voted
SAC
2005
ACM
15 years 10 months 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...
151
click to vote
CIVR
2005
Springer
15 years 10 months 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...
135
Voted
EDCC
2005
Springer
15 years 10 months 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...