Sciweavers

1092 search results - page 163 / 219
» Automated Evaluation of Coordination Approaches
Sort
View
IPPS
2005
IEEE
15 years 11 months ago
Impact of Event Logger on Causal Message Logging Protocols for Fault Tolerant MPI
— Fault tolerance in MPI becomes a main issue in the HPC community. Several approaches are envisioned from user or programmer controlled fault tolerance to fully automatic fault ...
Aurelien Bouteiller, Boris Collin, Thomas Hé...
VLSID
2007
IEEE
131views VLSI» more  VLSID 2007»
16 years 6 months ago
Defect-Aware Synthesis of Droplet-Based Microfluidic Biochips
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...
Tao Xu, Krishnendu Chakrabarty, Fei Su
ACHI
2009
IEEE
16 years 1 months ago
Ground Truth Verification Tool (GTVT) for Video Surveillance Systems
— As cameras and storage devices have become cheaper, the number of video surveillance systems has also increased. Video surveillance was (and mostly is) done by human operators ...
Amol Ambardekar, Mircea Nicolescu, Sergiu Dascalu
LOPSTR
2009
Springer
16 years 22 days ago
Coinductive Logic Programming with Negation
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
Richard Min, Gopal Gupta
HICSS
2008
IEEE
163views Biometrics» more  HICSS 2008»
16 years 19 days ago
Building a Test Suite for Web Application Scanners
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E...