Sciweavers

4604 search results - page 90 / 921
» Concurrency in Synchronous Systems
Sort
View
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 1 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
PIMRC
2008
IEEE
15 years 4 months ago
Distributed digital locked loops for time/frequency locking in packet-based wireless communication
— In infrastructure-less wireless systems network-wise time and frequency synchronization can be achieved by exchanging mutual synchronization errors among neighboring nodes. Coo...
Umberto Spagnolini, Nicola Varanese, Osvaldo Simeo...
SIGCSE
2000
ACM
193views Education» more  SIGCSE 2000»
15 years 2 months ago
Experimentation with bounded buffer synchronization
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
Steven Robbins
ENTCS
2007
116views more  ENTCS 2007»
14 years 9 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
ICPADS
2005
IEEE
15 years 3 months ago
Efficient Barrier Synchronization on Wireless Computing Systems
This work deals with efficient barrier synchronization for wireless cluster computing where nodes communicate with each other wirelessly in one or multiple hops. Such a computing ...
Nian-Feng Tzeng, Bhanurekha Kasula, Hongyi Wu