Sciweavers

2642 search results - page 105 / 529
» The development of Chez Scheme
Sort
View
DAC
2012
ACM
12 years 13 days ago
An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring
Full-chip thermal monitoring is an important and challenging issue in today’s microprocessor design. In this paper, we propose a new information-theoretic framework to quantitat...
Huapeng Zhou, Xin Li, Chen-Yong Cher, Eren Kursun,...
RTSS
2008
IEEE
14 years 4 months ago
Optimistic Reliability Aware Energy Management for Real-Time Tasks with Probabilistic Execution Times
Reliability-aware power management (RAPM) schemes have been recently studied to save energy while preserving system reliability. The existing RAPM schemes, however, provision for ...
Dakai Zhu, Hakan Aydin, Jian-Jia Chen
ICFP
1999
ACM
14 years 2 months ago
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
Matthew Flatt, Robert Bruce Findler, Shriram Krish...
CPM
1999
Springer
107views Combinatorics» more  CPM 1999»
14 years 2 months ago
A General Practical Approach to Pattern Matching over Ziv-Lempel Compressed Text
We address the problem of string matching on Ziv-Lempel compressed text. The goal is to search a pattern in a text without uncompressing it. This is a highly relevant issue to keep...
Gonzalo Navarro, Mathieu Raffinot
ATS
1998
IEEE
91views Hardware» more  ATS 1998»
14 years 2 months ago
Special ATPG to Correlate Test Patterns for Low-Overhead Mixed-Mode BIST
In mixed-mode BIST, deterministic test patterns are generated with on-chip hardware to detect the random-pattern-resistant (r.p.r.) faults that are missed by the pseudo-random pat...
Madhavi Karkala, Nur A. Touba, Hans-Joachim Wunder...