Sciweavers

1640 search results - page 126 / 328
» Design of Synchronous Action Systems
Sort
View
ASYNC
2003
IEEE
86views Hardware» more  ASYNC 2003»
14 years 2 months ago
A High-Speed Clockless Serial Link Transceiver
We present a high-speed, clockless, serial link transceiver for inter-chip communication in asynchronous VLSI systems. Serial link transceivers achieve high offchip data rates by ...
John Teifel, Rajit Manohar
WISES
2004
13 years 11 months ago
Wireless Time-Triggered Real-Time Communication
-- Due to the increasing demand for mobility in the area of distributed systems, the use of wireless communication gains in importance. We present a wireless real-time communicatio...
Bernhard Huber, Wilfried Elmenreich
TWC
2011
275views more  TWC 2011»
13 years 4 months ago
A Novel Uplink Multiple Access Scheme Based on TDS-FDMA
—This contribution proposes a novel time-domain synchronous frequency division multiple access (TDS-FDMA) scheme to support multi-user uplink application. A unified frame struct...
Linglong Dai, Zhaocheng Wang, Sheng Chen
ESOP
2011
Springer
13 years 1 months ago
Barriers in Concurrent Separation Logic
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
Aquinas Hobor, Cristian Gherghina
EDO
2000
Springer
14 years 1 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh