Sciweavers

1977 search results - page 288 / 396
» An Open Real-Time Environment for Parallel and Distributed S...
Sort
View
MFCS
1994
Springer
15 years 8 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
149
Voted
ISORC
2007
IEEE
15 years 10 months ago
Device Modeling for a Flexible Embedded Systems Development Process
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
Kleanthis C. Thamboulidis, George S. Doukas, Giann...
EDOC
2003
IEEE
15 years 9 months ago
An Efficient, Scalable Content-Based Messaging System
Large-scale information processing environments must rapidly search through massive streams of raw data to locate useful information. These data streams contain textual and numeri...
Ian Gorton, Justin Almquist, Nick Cramer, Jereme H...
GCC
2003
Springer
15 years 9 months ago
Flexible Intermediate Library for MPI-2 Support on an SCore Cluster System
Abstract. A flexible intermediate library named Stampi for MPI-2 support on a heterogeneous computing environment has been implemented on an SCore cluster system. With the help of...
Yuichi Tsujita
152
Voted
ASAP
2009
IEEE
131views Hardware» more  ASAP 2009»
15 years 9 months ago
Constraint-Driven Instructions Selection and Application Scheduling in the DURASE system
This paper presents a new constraint-driven method for computational pattern selection, mapping and application scheduling using reconfigurable processor extensions. The presente...
Kevin Martin, Christophe Wolinski, Krzysztof Kuchc...