Sciweavers

386 search results - page 37 / 78
» Static Timing Analysis of Real-Time Operating System Code
Sort
View
TCAD
2002
146views more  TCAD 2002»
13 years 8 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
ICCAD
2000
IEEE
169views Hardware» more  ICCAD 2000»
14 years 1 months ago
Transistor-Level Timing Analysis Using Embedded Simulation
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
Pawan Kulshreshtha, Robert Palermo, Mohammad Morta...
HYBRID
2000
Springer
14 years 20 days ago
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
Peter Niebert, Sergio Yovine
VR
2007
IEEE
160views Virtual Reality» more  VR 2007»
14 years 3 months ago
Dynallax: Solid State Dynamic Parallax Barrier Autostereoscopic VR Display
A novel barrier strip autostereoscopic (AS) display is demonstrated using a solid-state dynamic parallax barrier. A dynamic barrier mitigates restrictions inherent in static barri...
Tom Peterka, Robert Kooima, Javier Girado, Jinghua...
EMSOFT
2005
Springer
14 years 2 months ago
Using de-optimization to re-optimize code
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
Stephen Hines, Prasad Kulkarni, David B. Whalley, ...