Sciweavers

2377 search results - page 388 / 476
» Hybrid Systems in TLA
Sort
View
CJ
2004
119views more  CJ 2004»
15 years 6 months ago
Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions
Building footprint simplification is of critical importance to radio propagation predictions in wireless communication systems as the prediction time is closely related to the num...
Zhongqiang Chen, Alex Delis, Henry L. Bertoni
EMSOFT
2006
Springer
15 years 10 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
ICPR
2004
IEEE
16 years 7 months ago
Fusion of Vision, 3D Gyro and GPS for Camera Dynamic Registration
This paper presents a novel framework of hybrid camera pose tracking system for outdoor navigation system. Traditional vision based or inertial sensor based solutions are mostly d...
Francisco Lamosa, Hanqing Lu, Keiichi Uchimura, Zh...
DAC
2007
ACM
16 years 7 months ago
Program Mapping onto Network Processors by Recursive Bipartitioning and Refining
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
Jia Yu, Jingnan Yao, Jun Yang 0002, Laxmi N. Bhuya...
CADE
2005
Springer
16 years 6 months ago
Temporal Logics over Transitive States
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
Boris Konev, Frank Wolter, Michael Zakharyaschev