Sciweavers

2485 search results - page 81 / 497
» Time Bounded Frequency Computations
Sort
View
ICCV
1995
IEEE
15 years 9 months ago
A Multibaseline Stereo System with Active Illumination and Real-Time Image Acquisition
We describe our implementation of a parallel depth recovery scheme for a four-camera multibaseline stereo in a convergent configuration. Our system is capable of image capture at ...
Sing Bing Kang, Jon A. Webb, C. Lawrence Zitnick, ...
BIRTHDAY
2009
Springer
15 years 10 months ago
Minimizing Average Flow-Time
We consider the problem of minimizing average flow time on multiple machines when each job can be assigned only to a specified subset of the machines. This is a special case of sc...
Naveen Garg
FORMATS
2009
Springer
15 years 10 months ago
Stochastic Games for Verification of Probabilistic Timed Automata
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
DAC
2006
ACM
15 years 10 months ago
Refined statistical static timing analysis through
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...
Benjamin N. Lee, Li-C. Wang, Magdy S. Abadir
ICCAD
2003
IEEE
124views Hardware» more  ICCAD 2003»
16 years 3 months ago
A Generalized Method for Computing Oscillator Phase Noise Spectra
This paper presents a generalized semi-analytic method for computing oscillator phase noise spectra, including the details very close to the oscillation frequency. The starting po...
Piet Vanassche, Georges G. E. Gielen, Willy M. C. ...