19367 search results - page 305 / 3874 » Fine-Grain Process Modelling |
135
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
The Message Passing Interface (MPI) is a popular communication library that supports the SIMD model of parallel computing. Process networks (PN), where processes communicate throu...
163
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
135
click to vote
FCCM
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...
129
click to vote
CRIWG
2000
15 years 5 months ago
2000
This paper describes a support system for group decision-making. The system is based on a database of typical decision cases and also an underlying model of the group decision pro...
147
click to vote
SAM
2000
15 years 5 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...