Sciweavers

3481 search results - page 394 / 697
» A New Approach to Component Testing
Sort
View
HPCS
2005
IEEE
16 years 7 days ago
High Performance Derivative-Free Optimization Applied to Biomedical Image Registration
Abstract— Optimization of a similarity metric is an essential component in most medical image registration approaches based on image intensities. In this paper, two new, determin...
Mark P. Wachowiak, Terry M. Peters
IPPS
2005
IEEE
16 years 6 days ago
A Measure of Robustness Against Multiple Kinds of Perturbations
Parallel and distributed heterogeneous computing systems may operate in an environment that undergoes unpredictable changes causing certain system performance features to degrade....
Behdis Eslamnour, Shoukat Ali
ISCAS
2005
IEEE
115views Hardware» more  ISCAS 2005»
16 years 6 days ago
Power-aware slack distribution for hierarchical VLSI design
Abstract— Hierarchical design plays an important role in microprocessor and ASIC domains where design complexity limits design productivity and tool capacity. Slack distribution,...
Hyung-Ock Kim, Youngsoo Shin
SIGOPSE
2004
ACM
16 years 1 days ago
Constructing component-based extension interfaces in legacy systems code
Implementing an extension of a legacy operating system requires knowing what functionalities the extension should provide and how the extension should be integrated with the legac...
Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, ...
ESOP
2004
Springer
16 years 9 hour ago
Compositional Analysis of Authentication Protocols
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei