Sciweavers

184 search results - page 31 / 37
» Testing the Validity of a Demand Model: An Operations Perspe...
Sort
View
POPL
2010
ACM
13 years 10 months ago
Programming with angelic nondeterminism
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
Rastislav Bodík, Satish Chandra, Joel Galen...
ICDE
2007
IEEE
127views Database» more  ICDE 2007»
14 years 9 months ago
Supporting Streaming Updates in an Active Data Warehouse
Active Data Warehousing has emerged as an alternative to conventional warehousing practices in order to meet the high demand of applications for up-to-date information. In a nutsh...
Neoklis Polyzotis, Spiros Skiadopoulos, Panos Vass...
TVLSI
2008
176views more  TVLSI 2008»
13 years 7 months ago
A Fuzzy Optimization Approach for Variation Aware Power Minimization During Gate Sizing
Abstract--Technology scaling in the nanometer era has increased the transistor's susceptibility to process variations. The effects of such variations are having a huge impact ...
Venkataraman Mahalingam, N. Ranganathan, J. E. Har...
ICRA
2003
IEEE
134views Robotics» more  ICRA 2003»
14 years 26 days ago
Development of piezoelectric bending actuators with embedded piezoelectric sensors for micromechanical flapping mechanisms
This paper presents the fabrication and the testing of piezoelectric unimorph actuators with embedded piezoelectric sensors which are meant to be used for the actuation of the Mic...
Domenico Campolo, Ranjana Sahai, Ronald S. Fearing
EAAI
2008
116views more  EAAI 2008»
13 years 7 months ago
Robust neuro-identification of nonlinear plants in electric power systems with missing sensor measurements
Fault tolerant measurements are an essential requirement for system identification, control and protection. Measurements can be corrupted or interrupted due to sensor failure, bro...
Wei Qiao, Zhi Gao, Ronald G. Harley, Ganesh K. Ven...