Sciweavers

444 search results - page 39 / 89
» Sensitive state-space exploration
Sort
View
125
Voted
CISS
2008
IEEE
15 years 10 months ago
Channel modeling and detector design for dynamic mode high density probe storage
— Probe based data storage is a promising solution for satisfying the demand for ultra-high capacity storage devices. One of the main problems with probe storage devices is the w...
Naveen Kumar, Pranav Agarwal, Aditya Ramamoorthy, ...
92
Voted
CODES
2008
IEEE
15 years 10 months ago
Extending open core protocol to support system-level cache coherence
Open Core Protocol (OCP) is a standard on-chip core interface specification. The current release is flexible and configurable to support the communication needs of a wide range...
Konstantinos Aisopos, Chien-Chun Chou, Li-Shiuan P...
112
Voted
DATE
2008
IEEE
131views Hardware» more  DATE 2008»
15 years 10 months ago
Parametric Throughput Analysis of Synchronous Data Flow Graphs
Synchronous Data Flow Graphs (SDFGs) have proved to be a very successful tool for modeling, analysis and synthesis of multimedia applications targeted at both single- and multiproc...
Amir Hossein Ghamarian, Marc Geilen, Twan Basten, ...
126
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Using dialogue acts to learn better repair strategies for spoken dialogue systems
Repair or error-recovery strategies are an important design issue in Spoken Dialogue Systems (SDSs) - how to conduct the dialogue when there is no progress (e.g. due to repeated A...
Matthew Frampton, Oliver Lemon
MEMOCODE
2008
IEEE
15 years 9 months ago
Static Deadlock Detection for the SHIM Concurrent Language
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
Nalini Vasudevan, Stephen A. Edwards