Sciweavers

2452 search results - page 291 / 491
» On Reduction of Lagrange Systems
Sort
View
ITC
2003
IEEE
170views Hardware» more  ITC 2003»
15 years 10 months ago
Double-Tree Scan: A Novel Low-Power Scan-Path Architecture
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...
Bhargab B. Bhattacharya, Sharad C. Seth, Sheng Zha...
DAC
2003
ACM
15 years 10 months ago
Test generation for designs with multiple clocks
To improve the system performance, designs with multiple clocks have become more and more popular. In this paper, several novel test generation procedures are proposed to utilize ...
Xijiang Lin, Rob Thompson
JCDL
2003
ACM
75views Education» more  JCDL 2003»
15 years 10 months ago
Content-Based Indexing of Musical Scores
This paper describes a method of automatically creating a content-based index of musical scores. The goal is to capture the themes, or motifs, that appear in the music. The method...
Richard A. Medina, Lloyd A. Smith, Deborah R. Wagn...
CONCUR
2003
Springer
15 years 10 months ago
Multi-Valued Model Checking via Classical Model Checking
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
Arie Gurfinkel, Marsha Chechik
ESTIMEDIA
2003
Springer
15 years 10 months ago
EPIC-Explorer: A Parameterized VLIW-based Platform Framework for Design Space Exploration
— The constant increase in levels of integration and the reduction of the time-to-market have led to the definition of new methodologies stressing reuse. This involves not only ...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi,...