Sciweavers

769 search results - page 72 / 154
» Timed Circuit Synthesis Using Implicit Methods
Sort
View
ICECCS
2007
IEEE
89views Hardware» more  ICECCS 2007»
14 years 2 months ago
Just-in-Time Certification
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
John M. Rushby
CORR
2006
Springer
116views Education» more  CORR 2006»
13 years 10 months ago
Memory Aware High-Level Synthesis for Embedded Systems
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
Gwenolé Corre, Eric Senn, Nathalie Julien, ...
ICCAD
2003
IEEE
161views Hardware» more  ICCAD 2003»
14 years 7 months ago
A General S-Domain Hierarchical Network Reduction Algorithm
This paper presents an efficient method to reduce complexities of a linear network in s-domain. The new method works on circuit matrices directly and reduces the circuit complexi...
Sheldon X.-D. Tan
GLOBECOM
2006
IEEE
14 years 4 months ago
A Novel Systematic Resource Transfer Method for Wireless Sensor Networks
— The use of wireless sensor networks for gathering environmental and safety-critical data in real time is increasing at a rapid rate. Some of the main criteria in designing sens...
Winnie Louis Lee, Amitava Datta, Rachel Cardell-Ol...
CVPR
2004
IEEE
15 years 8 days ago
Space-Time Video Completion
We present a method for space-time completion of large space-time "holes" in video sequences of complex dynamic scenes. The missing portions are filled-in by sampling sp...
Yonatan Wexler, Eli Shechtman, Michal Irani