Sciweavers

4604 search results - page 202 / 921
» Concurrency in Synchronous Systems
Sort
View
ICN
2005
Springer
15 years 10 months ago
Scalability and Robustness of Virtual Multicast for Synchronous Multimedia Distribution
Abstract. A simple UDP packet reflector for virtual multicast multimedia transfer is extended to form a distributed system of active elements that solves the scalability problem o...
Petr Holub, Eva Hladká, Ludek Matyska
DAC
2007
ACM
16 years 5 months ago
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
Sander Stuijk, Twan Basten, Marc Geilen, Henk Corp...
DATE
2008
IEEE
108views Hardware» more  DATE 2008»
15 years 10 months ago
CASP: Concurrent Autonomous Chip Self-Test Using Stored Test Patterns
CASP, Concurrent Autonomous chip self-test using Stored test Patterns, is a special kind of self-test where a system tests itself concurrently during normal operation without any ...
Yanjing Li, Samy Makar, Subhasish Mitra
SIGCSE
2005
ACM
110views Education» more  SIGCSE 2005»
15 years 10 months ago
Towards concrete concurrency: occam-pi on the LEGO mindstorms
In a world of ad-hoc networks, highly interconnected mobile devices and increasingly large supercomputer clusters, students need models of computation that help them think about d...
Christian L. Jacobsen, Matthew C. Jadud
TACS
1994
Springer
15 years 8 months ago
A Semantic Theory for Concurrent ML
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
Dominique Bolignano, Mourad Debbabi