Sciweavers

4745 search results - page 828 / 949
» Discretization: An Enabling Technique
Sort
View
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
16 years 7 days ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
ACMMSP
2006
ACM
252views Hardware» more  ACMMSP 2006»
16 years 4 days ago
Deconstructing process isolation
Most operating systems enforce process isolation through hardware protection mechanisms such as memory segmentation, page mapping, and differentiated user and kernel instructions....
Mark Aiken, Manuel Fähndrich, Chris Hawblitze...
ISLPED
2006
ACM
128views Hardware» more  ISLPED 2006»
16 years 4 days ago
Design and power management of energy harvesting embedded systems
Harvesting energy from the environment is a desirable and increasingly important capability in several emerging applications of embedded systems such as sensor networks, biomedica...
Vijay Raghunathan, Pai H. Chou
ISPD
2006
ACM
90views Hardware» more  ISPD 2006»
16 years 4 days ago
Fast buffer insertion considering process variations
Advanced process technologies call for a proactive consideration of process variations in design to ensure high parametric timing yield. Despite of its popular use in almost any h...
Jinjun Xiong, Lei He
PLDI
2006
ACM
16 years 3 days ago
Optimizing data permutations for SIMD devices
The widespread presence of SIMD devices in today’s microprocessors has made compiler techniques for these devices tremendously important. One of the most important and difficul...
Gang Ren, Peng Wu, David A. Padua