Sciweavers

6274 search results - page 915 / 1255
» Proofs, Programs, Processes
Sort
View
LCN
2003
IEEE
15 years 8 months ago
Pipelining and Overlapping for MPI Collective Operations
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...
Joachim Worringen
WETICE
2003
IEEE
15 years 8 months ago
Agent.Hospital - agent-based open framework for clinical applications
Agent.Hospital is an open agent-based (software) framework for distributed applications in the healthcare domain. Previous appropriation of the Agent.Hospital development is appli...
Stefan Kirn, Christian Heine, Rainer Herrler, Karl...
AC
2003
Springer
15 years 8 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
126
Voted
ADAEUROPE
2003
Springer
15 years 8 months ago
An Invitation to Ada 2005
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
Pascal Leroy
136
Voted
ALS
2003
Springer
15 years 8 months ago
Anticipatory Behavioral Control
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...
Joachim Hoffmann