3387 search results - page 306 / 678 » Model-Checking for Real-Time Systems |
210
click to vote
IWDC
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. The extension of Internet services to public transport passengers is slowly becoming inevitable. To this end, it is envisaged that high-speed local area networks will be ...
260
click to vote
DEM
2001
Springer
15 years 11 months ago
2001
Springer
A common concern of the real−time terrain visualisation of today is the lack of geometric detail, when the terrain model is studied close enough. This is primary not a problem of...
249
click to vote
ICVS
2001
Springer
15 years 11 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
252
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a technique for representing and displaying high dynamic-range texture maps (HDRTMs) using current graphics hardware. Dynamic range in real-world environments o...
215
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...