4359 search results - page 266 / 872 » Automated Pipeline Design |
165
click to vote
HT
2003
ACM
15 years 12 months ago
2003
ACM
Most adaptive hypermedia systems used in education implement a single user model – inevitably originally designed for a specific set of circumstances. In this paper we describe ...
166
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
200
click to vote
JEA
2008
15 years 6 months ago
2008
Suffix arrays are a simple and powerful data structure for text processing that can be used for full text indexes, data compression, and many other applications in particular in b...
182
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
149
click to vote
AIEDAM
2004
15 years 6 months ago
2004
Automated support of design teams, consisting of both human and automated systems, requires an understanding of the role of trust in distributed design processes. By explicitating ...