Sciweavers

6079 search results - page 1039 / 1216
» Aspect-Oriented Process Engineering
Sort
View
142
Voted
ASPDAC
2006
ACM
100views Hardware» more  ASPDAC 2006»
16 years 7 days ago
Generation of shorter sequences for high resolution error diagnosis using sequential SAT
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moo...
CSCW
2006
ACM
16 years 7 days ago
Designing task visualizations to support the coordination of work in software development
Software development tools primarily focus on supporting the technical work. Yet no matter the tools employed, the process followed, or the size of the team, important aspects of ...
Christine A. Halverson, Jason B. Ellis, Catalina D...
DAC
2006
ACM
16 years 7 days ago
Clock buffer and wire sizing using sequential programming
This paper investigates methods for clock skew minimization using buffer and wire sizing. First, a technique that significantly improves solution quality and stability of sequent...
Matthew R. Guthaus, Dennis Sylvester, Richard B. B...
ERLANG
2006
ACM
16 years 7 days ago
Dryverl: a flexible Erlang/C binding compiler
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
Romain Lenglet, Shigeru Chiba
MM
2006
ACM
164views Multimedia» more  MM 2006»
16 years 7 days ago
Scalable relevance feedback using click-through data for web image retrieval
Relevance feedback (RF) has been extensively studied in the content-based image retrieval community. However, no commercial Web image search engines support RF because of scalabil...
En Cheng, Feng Jing, Lei Zhang, Hai Jin
« Prev « First page 1039 / 1216 Last » Next »