Sciweavers

668 search results - page 77 / 134
» Implementing and Evaluating Automatic Checkpointing
Sort
View
IPPS
2008
IEEE
15 years 4 months ago
Outlier detection in performance data of parallel applications
— When an adaptive software component is employed to select the best-performing implementation for a communication operation at runtime, the correctness of the decision taken str...
Katharina Benkert, Edgar Gabriel, Michael M. Resch
HICSS
2007
IEEE
187views Biometrics» more  HICSS 2007»
15 years 4 months ago
A Service-Oriented Data Integration and Analysis Environment for In Silico Experiments and Bioinformatics Research
In this paper, we present a practical experiment of building a service-oriented system upon current web services technologies and bioinformatics middleware. The system allows scie...
Xiaorong Xiang, Gregory R. Madey, Jeanne Romero-Se...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 4 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
CLEAR
2007
Springer
134views Biometrics» more  CLEAR 2007»
15 years 4 months ago
The ICSI RT07s Speaker Diarization System
Abstract. In this paper, we present the ICSI speaker diarization system. This system was used in the 2007 National Institute of Standards and Technology (NIST) Rich Transcription e...
Chuck Wooters, Marijn Huijbregts
FCCM
2006
IEEE
144views VLSI» more  FCCM 2006»
15 years 3 months ago
Combining Instruction Coding and Scheduling to Optimize Energy in System-on-FPGA
In this paper, we investigate a combination of two techniques — instruction coding and instruction re-ordering — for optimizing energy in embedded processor control. We presen...
Robert G. Dimond, Oskar Mencer, Wayne Luk