693 search results - page 3 / 139 » A Basic Unit of Computation in Distributed Systems |
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
This paperpresents new resultson anapproach for solvingsatisfiability problems (SAT), that is, creating a logic circuit that is specialized to solve each problem instance on Field ...
ICRA
1999
IEEE
13 years 11 months ago
1999
IEEE
We discuss a robotic system composed of Crystalline modules. Crystaline modules can aggregate together to form distributed robot systems. Crystalline modules can move relative to ...
ECOOPW
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We introduce a collection of high performance kernels for basic linear algebra. The kernels encapsulate small xed size computations in order to provide building blocks fo...
ISORC
2003
IEEE
14 years 23 days ago
2003
IEEE
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
PPDP
1999
Springer
13 years 11 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...