Sciweavers

1219 search results - page 59 / 244
» Where to Look Next
Sort
View
EUROPAR
1995
Springer
14 years 1 months ago
Bounds on Memory Bandwidth in Streamed Computations
The growing disparity between processor and memory speeds has caused memory bandwidth to become the performance bottleneck for many applications. In particular, this performance ga...
Sally A. McKee, William A. Wulf, Trevor C. Landon
CAV
2008
Springer
99views Hardware» more  CAV 2008»
13 years 11 months ago
Functional Verification of Power Gated Designs by Compositional Reasoning
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
Cindy Eisner, Amir Nahir, Karen Yorav
AAAI
2010
13 years 11 months ago
Adopting Inference Networks for Online Thread Retrieval
Online forums contain valuable human-generated information. End-users looking for information would like to find only those threads in forums where relevant information is present...
Sumit Bhatia, Prasenjit Mitra
COLING
2008
13 years 11 months ago
Applying Discourse Analysis and Data Mining Methods to Spoken OSCE Assessments
This paper looks at the transcribed data of patient-doctor consultations in an examination setting. The doctors are internationally qualified and enrolled in a bridging course as ...
Meladel Mistica, Timothy Baldwin, Marisa Cordella,...
DAGSTUHL
2001
13 years 11 months ago
Thinking Tools for the Future of Computing Science
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
Cliff B. Jones