Sciweavers

6581 search results - page 125 / 1317
» Formalizing Design Patterns
Sort
View
VTS
1998
IEEE
88views Hardware» more  VTS 1998»
15 years 7 months ago
Transition Maximization Techniques for Enhancing the Two-Pattern Fault Coverage of Pseudorandom Test Pattern Generators
This paper presents simulation evidence supporting the use of bit transition maximization techniques in the design of hardware test pattern generators TPGs. Bit transition maximiz...
Bruce F. Cockburn, Albert L.-C. Kwong
AUIC
2004
IEEE
15 years 6 months ago
What Makes a Good User Interface Pattern Language?
A developer of user interfaces (UI) should be able to employ a user interface pattern language to design acceptable user interfaces. But, what makes a good pattern language? Three...
Elisabeth G. Todd, Elizabeth A. Kemp, Chris Philli...
FASE
2004
Springer
15 years 8 months ago
A Formal Treatment of Context-Awareness
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
Gruia-Catalin Roman, Christine Julien, Jamie Payto...
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
16 years 19 hour ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...
HCSE
2010
15 years 1 months ago
Understanding Formal Description of Pitch-Based Input
The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input w...
Ondrej Polácek, Zdenek Mikovec