2637 search results - page 333 / 528 » Tool Supported Specification and Simulation of Distributed S... |
181
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
208
click to vote
DEBS
2009
ACM
15 years 10 months ago
2009
ACM
Streaming data models have been shown to be useful in many applications requiring high-performance data exchange. Application-level overlay networks are a natural way to realize t...
206
Voted
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this article a new method is presented to obtain a full and precise calibration of camera-robot systems with eyein-hand cameras. It achieves a simultaneous and numerically s...
201
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
158
click to vote
PACT
2005
Springer
16 years 6 days ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...