Sciweavers

1239 search results - page 113 / 248
» Techniques for the Design of Java Operating Systems
Sort
View
VLSID
1998
IEEE
116views VLSI» more  VLSID 1998»
14 years 6 days ago
Synthesis of Testable RTL Designs
With several commercial tools becoming available, the high-level synthesis of applicationspeci c integrated circuits is nding wide spread acceptance in VLSI industry today. Existi...
C. P. Ravikumar, Sumit Gupta, Akshay Jajoo
OSDI
1996
ACM
13 years 9 months ago
Online Data-Race Detection via Coherency Guarantees
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
Dejan Perkovic, Peter J. Keleher
AUTOMATICA
2002
85views more  AUTOMATICA 2002»
13 years 7 months ago
Positive feedback stabilization of centrifugal compressor surge
Stable operation of axial and centrifugal compressors is limited towards low mass ows due to the occurrence of surge. The stable operating region can be enlarged by active control...
Frank Willems, W. P. M. H. Heemels, Bram de Jager,...
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
14 years 4 months ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...
MM
2004
ACM
130views Multimedia» more  MM 2004»
14 years 1 months ago
An approach to interactive media system for mobile devices
The interactive system which interacts human with computer has been recognized as one direction of computer development for a long time. For example, in cinema, a person gets info...
Eun-Seok Ryu, Chuck Yoo