5643 search results - page 916 / 1129 » Retrieval Evaluation in Practice |
202
click to vote
CC
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
168
click to vote
CCS
2004
ACM
16 years 19 days ago
2004
ACM
In large-scale environments, network intrusion detection systems (NIDSs) face extreme challenges with respect to traffic volume, traffic diversity, and resource management. Whil...
170
click to vote
EUROCRYPT
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
233
click to vote
FASE
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
171
Voted
NIME
2004
Springer
16 years 18 days ago
2004
Springer
This paper describes the design of an expressive tangible interface for cinema editing as a live performance. A short survey of live video practices is provided. The Live Cinema i...