Sciweavers

2500 search results - page 308 / 500
» Specifying Behavior in C
Sort
View
ASPDAC
1999
ACM
98views Hardware» more  ASPDAC 1999»
15 years 8 months ago
A Scheduling Method for Synchronous Communication in the Bach Hardware Compiler
− In this paper, we propose a scheduling method for synchronous communication between threads in the Bach hardware compiler. In this method, all communications are extracted from...
Ryoji Sakurai, Mizuki Takahashi, Andrew Kay, Akihi...
CHI
1999
ACM
15 years 8 months ago
The Tangled Web we Wove: A Taskonomy of WWW Use
A prerequisite to the effective design of user interfaces is an understanding of the tasks for which that interface will actually be used. Surprisingly little task analysis has ap...
Michael D. Byrne, Bonnie E. John, Neil S. Wehrle, ...
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
15 years 8 months ago
FreezeFrame: Compact Test Generation Using a Frozen Clock Strategy
Test application time is an important factor in the overall cost of VLSI chip testing. We present a new ATPG approach for generating compact test sequences for sequential circuits...
Yanti Santoso, Matthew C. Merten, Elizabeth M. Rud...
SIGMOD
1999
ACM
112views Database» more  SIGMOD 1999»
15 years 8 months ago
A New Method for Similarity Indexing of Market Basket Data
In recent years, many data mining methods have been proposed for finding useful and structured information from market basket data. The association rule model was recently propos...
Charu C. Aggarwal, Joel L. Wolf, Philip S. Yu
ASYNC
1998
IEEE
91views Hardware» more  ASYNC 1998»
15 years 8 months ago
Predicting Performance of Micropipelines Using Charlie Diagrams
A technique is presented to predict the performance behavior of control circuits for a linear FIFO. The control circuit consists of a linear chain of RendezVous elements, also cal...
Jo C. Ebergen, Scott Fairbanks, Ivan E. Sutherland