3130 search results - page 436 / 626 » Design Correctness of Digital Systems |
174
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
171
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
All pairs similarity search is the problem of finding all pairs of records that have a similarity score above the specified threshold. Many real-world systems like search engine...
165
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— The time domain passivity framework is attracting interest as a method for granting stability in both telerobotics and haptic contexts; this paper employs this approach in orde...
198
click to vote
ISVLSI
2008
IEEE
16 years 29 days ago
2008
IEEE
Active power used to be the primary contributor to total power dissipation of CMOS designs, but with the technology scaling, the share of leakage in total power consumption of dig...
180
click to vote
DSD
2006
IEEE
16 years 19 days ago
2006
IEEE
The rising complexity, customization and short time to market of modern digital systems requires automatic methods for generation of high performance architectures for such system...