Sciweavers

2024 search results - page 237 / 405
» The Meaning of Ordered SOS
Sort
View
IMC
2005
ACM
16 years 8 days ago
Optimal Combination of Sampled Network Measurements
IP network traffic is commonly measured at multiple points in order that all traffic passes at least one observation point. The resulting measurements are subsequently joined fo...
Nick G. Duffield, Carsten Lund, Mikkel Thorup
ITICSE
2005
ACM
16 years 8 days ago
A prolog toolkit for formal languages and automata
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
Michel Wermelinger, Artur Miguel Dias
SIGIR
2005
ACM
16 years 8 days ago
A Markov random field model for term dependencies
This paper develops a general, formal framework for modeling term dependencies via Markov random fields. The model allows for arbitrary text features to be incorporated as eviden...
Donald Metzler, W. Bruce Croft
SPAA
2005
ACM
16 years 8 days ago
Concurrent cache-oblivious b-trees
This paper presents concurrent cache-oblivious (CO) B-trees. We extend the cache-oblivious model to a parallel or distributed setting and present three concurrent CO B-trees. Our ...
Michael A. Bender, Jeremy T. Fineman, Seth Gilbert...
WCFLP
2005
ACM
16 years 8 days ago
Lightweight program specialization via dynamic slicing
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
Claudio Ochoa, Josep Silva, Germán Vidal