Sciweavers

1423 search results - page 150 / 285
» Languages of Nested Trees
Sort
View
217
Voted
SIGMOD
2006
ACM
159views Database» more  SIGMOD 2006»
16 years 3 months ago
Flexible and efficient XML search with complex full-text predicates
Recently, there has been extensive research that generated a wealth of new XML full-text query languages, ranging from simple Boolean search to combining sophisticated proximity a...
Sihem Amer-Yahia, Emiran Curtmola, Alin Deutsch
121
Voted
PLDI
2010
ACM
16 years 1 months ago
The Reachability-Bound Problem
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
Sumit Gulwani, Florian Zuleger
129
Voted
SOSP
2009
ACM
16 years 17 days ago
Fabric: a platform for secure distributed computation and storage
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Luc...
115
Voted
SAINT
2007
IEEE
15 years 10 months ago
A Component Framework for Document-Centric Network Processing
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
Ichiro Satoh
136
Voted
HPCC
2005
Springer
15 years 9 months ago
Factory: An Object-Oriented Parallel Programming Substrate for Deep Multiprocessors
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...
Scott Schneider, Christos D. Antonopoulos, Dimitri...