1054 search results - page 24 / 211 » From a Verified Kernel towards Verified Systems |
134
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
The development of optimized codes is time-consuming and requires extensive architecture, compiler, and language expertise, therefore, computational scientists are often forced to ...
109
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
CIE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract We prove, using a non-standard complexity assumption, that any language in NP has a 1-round (that is, the verifier sends a message to the prover, and the prover sends a me...
126
click to vote
CLEAR
2006
Springer
15 years 5 months ago
2006
Springer
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...
119
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...