Sciweavers

1605 search results - page 219 / 321
» Designing Parallel Operating Systems via Parallel Programmin...
Sort
View
86
Voted
ICCAD
2004
IEEE
124views Hardware» more  ICCAD 2004»
15 years 8 months ago
Architectural-level synthesis of digital microfluidics-based biochips
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
Fei Su, Krishnendu Chakrabarty
PVM
2007
Springer
15 years 5 months ago
Using CMT in SCTP-Based MPI to Exploit Multiple Interfaces in Cluster Nodes
Many existing clusters use inexpensive Gigabit Ethernet and often have multiple interfaces cards to improve bandwidth and enhance fault tolerance. We investigate the use of Concurr...
Brad Penoff, Mike Tsai, Janardhan R. Iyengar, Alan...
56
Voted
HPCC
2005
Springer
15 years 4 months ago
Transactional Cluster Computing
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
Stefan Frenz, Michael Schöttner, Ralph Gö...
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
ARTS
1997
Springer
15 years 2 months ago
The Verus Language: Representing Time Efficiently with BDDs
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
Sérgio Vale Aguiar Campos, Edmund M. Clarke