Sciweavers

615 search results - page 53 / 123
» Beta Reduction Constraints
Sort
View
MOBIHOC
2010
ACM
14 years 7 months ago
Near optimal multi-application allocation in shared sensor networks
Recent years have witnessed the emergence of shared sensor networks as integrated infrastructure for multiple applications. It is important to allocate multiple applications in a ...
You Xu, Abusayeed Saifullah, Yixin Chen, Chenyang ...
ICCAD
2006
IEEE
96views Hardware» more  ICCAD 2006»
15 years 6 months ago
Application-independent defect-tolerant crossbar nano-architectures
Defect tolerance is a major issue in nano computing. In this paper, an application-independent defect tolerant scheme for reconfigurable crossbar nano-architectures is presented....
Mehdi Baradaran Tahoori
BIRTHDAY
2007
Springer
15 years 4 months ago
Towards Rewriting in Coq
elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Bra...
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz
ESTIMEDIA
2003
Springer
15 years 3 months ago
An Energy Optimization Technique for Latency and Quality Constrained Video Applications
This paper proposes an energy optimization technique for latency and quality constrained video applications. It consists of two key techniques: frame-skipping technique and buffer...
Chaeseok Im, Soonhoi Ha
ICCAD
2000
IEEE
91views Hardware» more  ICCAD 2000»
15 years 2 months ago
A Timing-Constrained Algorithm for Simultaneous Global Routing of Multiple Nets
In this paper, we propose a new approach for VLSI interconnect global routing that can optimize both congestion and delay, which are often competing objectives. Our approach provi...
Jiang Hu, Sachin S. Sapatnekar