413 search results - page 34 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
114
Voted
ASPDAC
1995
ACM
15 years 5 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
103
click to vote
GLVLSI
2003
IEEE
15 years 7 months ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...
133
click to vote
DAC
2003
ACM
16 years 3 months ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
133
click to vote
SPAA
2009
ACM
15 years 11 months ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
130
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...