Sciweavers

198 search results - page 27 / 40
» Synthesizing racy tests
Sort
View
SIGSOFT
2009
ACM
15 years 4 months ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...
DAC
2008
ACM
15 years 10 months ago
Automatic synthesis of clock gating logic with controlled netlist perturbation
Clock gating is the insertion of combinational logic along the clock path to prevent the unnecessary switching of registers and reduce dynamic power consumption. The conditions un...
Aaron P. Hurst
95
Voted
MICCAI
2003
Springer
15 years 10 months ago
Statistical Atlas-Based Detection of Abnormalities in Brain Perfusion: Comparing Models and Estimating Detection Performance
Abstract. When developing statistical models of normal brain perfusion, two questions are of crucial interest: How well does an atlas describe normality and how sensitive is it at ...
Torbjørn Vik, Fabrice Heitz, Jean-Paul Arms...
ARC
2009
Springer
241views Hardware» more  ARC 2009»
15 years 4 months ago
Fully Pipelined Hardware Implementation of 128-Bit SEED Block Cipher Algorithm
As the need for information security increases in our everyday life, the job of encoding/decoding for secure information delivery becomes a critical issue in data network systems. ...
Jaeyoung Yi, Karam Park, Joonseok Park, Won Woo Ro
ICDAR
2009
IEEE
15 years 4 months ago
Text-Tracking Wearable Camera System for the Blind
Disability of visual text reading has a huge impact on the quality of life for visually disabled people. One of the most anticipated devices is a wearable camera capable of findi...
Hideaki Goto, Makoto Tanaka