Sciweavers

3718 search results - page 139 / 744
» IMPS: System Description
Sort
View
DATE
2008
IEEE
115views Hardware» more  DATE 2008»
15 years 11 months ago
Synthesizing Synchronous Elastic Flow Networks
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
Greg Hoover, Forrest Brewer
CLUSTER
2006
IEEE
15 years 10 months ago
A New Flexible MPI Collective I/O Implementation
The MPI-IO standard creates a huge opportunity to break out of the traditional file system I/O methods. As a software layer between the user and the file system, an MPI-IO libra...
Kenin Coloma, Avery Ching, Alok N. Choudhary, Wei-...
WECWIS
2006
IEEE
107views ECommerce» more  WECWIS 2006»
15 years 10 months ago
Concept Covering for Automated Building Blocks Selection based on Business Processes Semantics
In this paper we present a novel approach and a system for automated selection of building blocks, by exploiting business processes semantics. The selection process is based on a ...
Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sc...
EPEW
2005
Springer
15 years 10 months ago
Automatic Translation of WS-CDL Choreographies to Timed Automata
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
Gregorio Díaz, Juan José Pardo, Mar&...
EWSA
2004
Springer
15 years 10 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu