Sciweavers

5180 search results - page 277 / 1036
» Concurrency, Time, and Constraints
Sort
View
IIHMSP
2006
IEEE
147views Multimedia» more  IIHMSP 2006»
16 years 23 days ago
Automatic Real-Time Moving Target Detection from Infrared Video
A novel progressive estimation scheme is proposed to detect moving targets in infrared video sequences in this work. The proposed algorithm does not place constraints on camera mo...
Shahryar Karimi-Ashtiani, C. C. Jay Kuo
ICCAD
2000
IEEE
91views Hardware» more  ICCAD 2000»
15 years 11 months ago
A Timing-Constrained Algorithm for Simultaneous Global Routing of Multiple Nets
In this paper, we propose a new approach for VLSI interconnect global routing that can optimize both congestion and delay, which are often competing objectives. Our approach provi...
Jiang Hu, Sachin S. Sapatnekar
ADBIS
1998
Springer
180views Database» more  ADBIS 1998»
15 years 11 months ago
Designing Persistence for Real-Time Distributed Object Systems
An implementation of persistent object store for real-time systems with strict processing time constraints is a challenging task, because many traditional database techniques, e.g....
Igor Nekrestyanov, Boris Novikov, Ekaterina Pavlov...
ZUM
1998
Springer
105views Formal Methods» more  ZUM 1998»
15 years 11 months ago
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
Richard F. Paige
142
Voted
COMPSAC
2004
IEEE
15 years 10 months ago
Real-Time Strategy and Practice in Service Grid
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
Hai Jin, Hanhua Chen, Jian Chen, Ping Kuang, Li Qi...