462 search results - page 54 / 93 » Symbolic Bounded Synthesis |
128
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
—Wireless local area network (WLAN) systems are widely implemented today to provide hot spot coverage. Operated typically in an infrastructure mode, each WLAN is managed by an ac...
162
click to vote
RTSS
1998
IEEE
15 years 6 months ago
1998
IEEE
The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. In this paper we describe the synthesis of systems-...
156
click to vote
ISPD
2012
ACM
13 years 9 months ago
2012
ACM
In this paper, we propose a new approach for gated bus synthesis [16] with minimum wire capacitance per transaction in three-dimensional (3D) ICs. The 3D IC technology connects di...
130
Voted
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
138
Voted
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...