Sciweavers

4604 search results - page 639 / 921
» Concurrency in Synchronous Systems
Sort
View
WSC
2000
15 years 2 months ago
Partitioning parallel simulation of wireless networks
In this paper, we present a simulation testbed for wireless and mobile telecommunication systems, a two-stage PCS parallel simulation testbed which makes use of a conservative sch...
Azzedine Boukerche, Alessandro Fabbri
WSCG
2000
164views more  WSCG 2000»
15 years 2 months ago
Color-Table Animation of Fast Oriented Line Integral Convolution for Vector Field Visualization
Fast Oriented Line Integral Convolution (FROLIC), which is a variant of LIC, illustrates 2D vector fields by approximating a streamlet by a set of disks with varying intensity. FR...
Siegrun Berger, Eduard Gröller
CIIA
2009
15 years 2 months ago
Software Platform based Embedded Multiprocessor SoC Prototyping
This paper describes our experience in processor/threads synchronization using the POSIX API standard for MPSoC virtual applications prototyping. Spin-Lock (Binary Semaphore) imple...
Benaoumeur Senouci, Ali El Moussaoui, Bernard Goos...
DC
2006
15 years 1 months ago
Performing work in broadcast networks
We consider the problem of how to schedule t similar and independent tasks to be performed in a synchronous distributed system of p stations communicating via multiple-access chan...
Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Li...
ENTCS
2006
176views more  ENTCS 2006»
15 years 1 months ago
Automatic Formal Synthesis of Hardware from Higher Order Logic
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Sl...