Sciweavers

2251 search results - page 273 / 451
» Specification and Implementation Problems for C
Sort
View
ICIP
2006
IEEE
16 years 6 months ago
Multichannel Autofocus Algorithm for Synthetic Aperture Radar
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...
Robert L. Morrison Jr., Minh N. Do
CADE
2007
Springer
16 years 5 months ago
A History-based Verification of Distributed Applications
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
Bruno Langenstein, Andreas Nonnengart, Georg Rock,...
PODS
2006
ACM
118views Database» more  PODS 2006»
16 years 4 months ago
Analyzing workflows implied by instance-dependent access rules
Recently proposed form-based web information systems liberate the capture and reuse of data in organizations by substituting the development of technical implementations of electr...
Toon Calders, Stijn Dekeyser, Jan Hidders, Jan Par...
SODA
2010
ACM
426views Algorithms» more  SODA 2010»
16 years 2 months ago
Shape Replication Through Self-Assembly and RNase Enzymes
We introduce the problem of shape replication in the Wang tile self-assembly model. Given an input shape, we consider the problem of designing a self-assembly system which will re...
Zachary Abel, Nadia Benbernou, Mirela Damian, Erik...
ICCAD
2003
IEEE
158views Hardware» more  ICCAD 2003»
16 years 1 months ago
Approaching the Maximum Energy Saving on Embedded Systems with Multiple Voltages
Dynamic voltage scaling (DVS) is arguably the most effective energy reduction technique. The multiple-voltage DVS systems, which can operate only at pre-determined discrete voltag...
Shaoxiong Hua, Gang Qu