Sciweavers

1095 search results - page 163 / 219
» Algebraic Guide Generation
Sort
View
ASPDAC
2009
ACM
155views Hardware» more  ASPDAC 2009»
14 years 2 months ago
Variation-aware resource sharing and binding in behavioral synthesis
— As technology scales, the delay uncertainty caused by process variations has become increasingly pronounced in deep submicron designs. In the presence of process variations, wo...
Feng Wang 0004, Yuan Xie, Andres Takach
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
14 years 2 months ago
Sensitive state-space exploration
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
Thao Dang, Alexandre Donzé, Oded Maler, Noa...
CLUSTER
2008
IEEE
14 years 2 months ago
Empirical-based probabilistic upper bounds for urgent computing applications
—Scientific simulation and modeling often aid in making critical decisions in such diverse fields as city planning, severe weather prediction and influenza modeling. In some o...
Nick Trebon, Peter H. Beckman
ICMCS
2008
IEEE
193views Multimedia» more  ICMCS 2008»
14 years 2 months ago
Video coding with spatio-temporal texture synthesis and edge-based inpainting
This paper proposes a video coding scheme, in which textural and structural regions are selectively removed in the encoder, and restored in the decoder by spatio-temporal texture ...
Chunbo Zhu, Xiaoyan Sun, Feng Wu, Houqiang Li
DATE
2007
IEEE
184views Hardware» more  DATE 2007»
14 years 2 months ago
New safety critical radio altimeter for airbus and related design flow
The latest generation of the ERT560 Digital Radio Altimeter (DRA) developed for the Airbus A380 is the result of Thales’ 40 years experience. Over 40,000 radio-altimeters have b...
D. Hairion, S. Emeriau, E. Combot, Michel Sarlotte