4037 search results - page 400 / 808 » Routing without ordering |
114
Voted
IWANN
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. It is generally accepted that some of the problems and ambiguities at the low level of processing can not be resolved without taking into account contextual expectations....
135
Voted
RT
2001
Springer
15 years 8 months ago
2001
Springer
We present a new conservative image-based occlusion culling method to increase the speed of hardware accelerated rendering of very complex general scenes which may consist of mill...
176
Voted
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
123
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
122
Voted
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...