2850 search results - page 422 / 570 » On Timed Models and Full Abstraction |
184
Voted
CEC
2003
IEEE
15 years 9 months ago
2003
IEEE
AbstractSpam, the electronic equivalent of junk mail, affects over 600 million users worldwide. Even as anti-spam solutions change to limit the amount of spam sent to users, the se...
164
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
191
click to vote
ASYNC
1997
IEEE
15 years 9 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
149
click to vote
RT
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...
150
click to vote
ICRA
1995
IEEE
15 years 9 months ago
1995
IEEE
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...