19832 search results - page 3619 / 3967 » The Korrontea Data Modeling |
182
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
180
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Video-on-demand (VOD) is a very promising multimedia application of the near future. In order for such a service to be commercially viable, efficient storage and retrieval schemes...
148
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a new method for improving the accuracy of range information using low resolution ultrasonic sensors mounted on a mobile robot. These sensors emit ultra-sound...
184
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
204
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...