Sciweavers

4604 search results - page 235 / 921
» Concurrency in Synchronous Systems
Sort
View
CAV
1990
Springer
114views Hardware» more  CAV 1990»
15 years 10 months ago
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Ternary system modeling involves extending the traditional set of binary values
Randal E. Bryant, Carl-Johan H. Seger
ICC
2007
IEEE
16 years 1 months ago
ML CFO and PO Estimation in DCT OFDM Systems under Non-Circular Transmissions
Abstract— Frequency synchronization is one of the most important components in orthogonal frequency-division multiplexing (OFDM) systems. Recently, the discrete cosine transform ...
Tao Cui, Feifei Gao, Arumugam Nallanathan, Chintha...
ISLPED
2005
ACM
147views Hardware» more  ISLPED 2005»
16 years 7 days ago
System level power and performance modeling of GALS point-to-point communication interfaces
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
Koushik Niyogi, Diana Marculescu
SIROCCO
2003
15 years 8 months ago
The Cost of Concurrent, Low-Contention Read-Modify-Write
In this work, we embark on a study of the possibility (or impossibility), and the corresponding costs, of devising concurrent, low-contention implementations of atomic Read-Modify...
Costas Busch, Marios Mavronicolas, Paul G. Spiraki...
DAC
1999
ACM
16 years 7 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno