3387 search results - page 440 / 678 » Model-Checking for Real-Time Systems |
189
click to vote
FPT
2005
IEEE
16 years 21 days ago
2005
IEEE
Two FPGA implementations of a Shape Adaptive Discrete Cosine Transform (SA-DCT) accelerator are presented in this paper: one PCI-based and the other AMBA-based. The former is used...
186
click to vote
ICCS
2005
Springer
16 years 18 days ago
2005
Springer
In crisis, decisions must be made in human perceptual timeframes under pressure to respond to dynamic uncertain conditions. To be effective management must have access to real time...
175
click to vote
AUIC
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
195
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...
165
Voted
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
Abstract-- The increasing processing power of embedded devices have created the scope for certain applications that could previously be executed in desktop environments only, to mi...