1294 search results - page 165 / 259 » A Conditional Scheduling Approach to Designing Real-Time Sys... |
130
Voted
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
147
click to vote
TVLSI
2008
15 years 5 months ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
167
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
ive CLP® ABSTRACT Ali A. Milani Broadband speech enhancement and active noise control nvironment ABSTRACT Vanishree Gopalakrishna Real-Time Implementation of Signal Processing Str...
131
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
The canon is a composition pattern with a long history and many forms. The concept of the canon has also been applied to experimental film making and on Japanese television. We de...
131
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Motivated by the widespread of file and video streaming over peer-to-peer networks, we propose to investigate the design of a peer-to-peer solution for image-based remote walk...