Sciweavers

3725 search results - page 137 / 745
» DLP System Description
Sort
View
CLUSTER
2006
IEEE
16 years 16 days 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»
16 years 14 days 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 12 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 12 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
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
15 years 11 months ago
A Solution for Hardware Emulation of Non Volatile Memory Macrocells
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...
Alessandro Pirola