Sciweavers

1696 search results - page 210 / 340
» Permuted function matching
Sort
View
110
Voted
FSTTCS
2007
Springer
15 years 8 months ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
91
Voted
IPSN
2007
Springer
15 years 8 months ago
Improving wireless simulation through noise modeling
We propose modeling environmental noise in order to efficiently and accurately simulate wireless packet delivery. We measure noise traces in many different environments and propo...
HyungJune Lee, Alberto Cerpa, Philip Levis
NLDB
2007
Springer
15 years 8 months ago
Text Segmentation Based on Document Understanding for Information Retrieval
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...
Violaine Prince, Alexandre Labadié
106
Voted
OTM
2007
Springer
15 years 8 months ago
P2P Routing-by-Content on a Lightweight Community Basis
Abstract. The effective localization of the right resources is a challenging issue at the current stage of development of P2P systems in presence of a high number of peers providi...
Silvana Castano, Alfio Ferrara, Stefano Montanelli
116
Voted
PADL
2007
Springer
15 years 8 months ago
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
Per Gustafsson, Konstantinos F. Sagonas