18918 search results - page 3609 / 3784 » Using Technology in Teaching |
271
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
179
click to vote
DAC
2001
ACM
16 years 6 months ago
2001
ACM
Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...
146
click to vote
DAC
2001
ACM
16 years 6 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
150
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
To meet conflicting flexibility, performance and cost constraints of demanding signal processing applications, future designs in this domain will contain an increasing number of a...
140
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Circuits using nano-meter technologies are becoming increasingly vulnerable to signal interference from multiple noise sources as well as radiation-induced soft errors. One way to...