Sciweavers

682 search results - page 114 / 137
» Parallel Programming and Parallel Abstractions in Fortress
Sort
View
ICPPW
2002
IEEE
15 years 4 months ago
System Services for Implementing Ad-Hoc Routing Protocols
This paper explores several systems issues regarding the implementation of routing protocols for mobile ad-hoc networks. It proclaims that support for on-demand routing is insuf...
Vikas Kawadia, Yongguang Zhang, Binita Gupta
ROBOCUP
2001
Springer
75views Robotics» more  ROBOCUP 2001»
15 years 3 months ago
A Modular Hierarchical Behavior-Based Architecture
Abstract. This paper describes a highly modular hierarchical behaviorbased control system for robots. Key features of the architecture include: easy addition/removal of behaviors, ...
Scott Lenser, James Bruce, Manuela M. Veloso
ARCS
1997
Springer
15 years 3 months ago
Compiler Technology for Two Novel Computer Architectures
Before it can achieve wide acceptance, parallelcomputation must be made significantlyeasier to program. One ain obstacles to this goal is the current usage of memory, both abstra...
Ronald Moore, Bernd Klauer, Klaus Waldschmidt
MFCS
1994
Springer
15 years 3 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
CC
2010
Springer
135views System Software» more  CC 2010»
14 years 11 months ago
Counting Irreducible Components of Complex Algebraic Varieties
Abstract. We present an algorithm for counting the irreducible components of a complex algebraic variety defined by a fixed number of polynomials encoded as straight-line programs ...
Peter Bürgisser, Peter Scheiblechner