79 search results - page 9 / 16 » Static Slicing of Rewrite Systems |
WSC
1998
14 years 10 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
101
click to vote
NCA
2007
IEEE
15 years 3 months ago
2007
IEEE
Increasing traffic and the necessity of stateful analyses impose strong computational requirements on network intrusion detection systems (NIDS), and motivate the need of distrib...
116
click to vote
ISCA
2011
IEEE
14 years 1 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
90
Voted
FLOPS
1999
Springer
15 years 1 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
118
click to vote
SIGGRAPH
1996
ACM
15 years 1 months ago
1996
ACM
A number of techniques have been proposed for flying through scenes by redisplaying previously rendered or digitized views. Techniques have also been proposed for interpolating be...