Sciweavers

2485 search results - page 81 / 497
» Time Bounded Frequency Computations
Sort
View
ICCV
1995
IEEE
15 years 8 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 8 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 8 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 8 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 1 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. ...