2498 search results - page 161 / 500 » A tool for materials exploration |
182
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
This paper discusses the design of a chip using architectural synthesis. The chip, FADIC, is applied in Digital Audio Broadcasting (DAB) receivers. It shows that architectural syn...
180
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
This research aims to investigate a collection of interactions in 2D workspaces with the goal of helping users stay in the flow of their activity. These interactions will be explo...
141
click to vote
IWANN
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present our ideas about the integration of agent technology with other technologies to build specific assistive tools for the people with disabilities and for the new...
169
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
162
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...