Sciweavers

8953 search results - page 313 / 1791
» Parallel Query Processing
Sort
View
174
Voted
VLDB
2002
ACM
154views Database» more  VLDB 2002»
15 years 3 months ago
I/O-Conscious Data Preparation for Large-Scale Web Search Engines
Given that commercial search engines cover billions of web pages, efficiently managing the corresponding volumes of disk-resident data needed to answer user queries quickly is a f...
Maxim Lifantsev, Tzi-cker Chiueh
108
Voted
PODC
1989
ACM
15 years 7 months ago
Equational Reasoning About Nondeterministic Processes
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
Jayadev Misra
148
Voted
ICDCS
1998
IEEE
15 years 8 months ago
Flexible Exception Handling in the OPERA Process Support System
Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a n...
Claus Hagen, Gustavo Alonso
142
Voted
PARLE
1987
15 years 7 months ago
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
130
Voted
RTCSA
2005
IEEE
15 years 9 months ago
Distributed Real-Time Processing for Humanoid Robots
— In order for humanoid robots to perform skillful tasks, a reliable and scalable computing system that supports hard real-time processing is required. This paper describes a fiv...
Toshihiro Matsui, Hirohisa Hirukawa, Yutaka Ishika...