Sciweavers

3879 search results - page 171 / 776
» PyPBS design and methodologies
Sort
View
MICRO
2010
IEEE
159views Hardware» more  MICRO 2010»
15 years 2 months ago
Fractal Coherence: Scalably Verifiable Cache Coherence
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
Meng Zhang, Alvin R. Lebeck, Daniel J. Sorin
ASSETS
2007
ACM
15 years 8 months ago
Adoption and configuration of assistive technologies: a semiotic engineering perspective
This paper discusses semiotic engineering (a design methodology) and its potential for addressing issues concerning the adoption and configuration of assistive technologies. Categ...
Katherine Deibel
ASAP
2004
IEEE
120views Hardware» more  ASAP 2004»
15 years 8 months ago
Reliability-Aware Co-Synthesis for Embedded Systems
As technology scales, transient faults have emerged as a key challenge for reliable embedded system design. This paper proposes a design methodology that incorporates reliability i...
Yuan Xie, Lin Li, Mahmut T. Kandemir, Narayanan Vi...
FLAIRS
2004
15 years 6 months ago
Towards a Linguistically Motivated Ontology of Motion: Situation Based Synsets of Motion Verbs
The paper aims at contributing to the problem of designing ontologies for spatio-temporal knowledge representation. We consider a linguistically oriented, situation-based methodol...
Zygmunt Vetulani
CSUR
1999
74views more  CSUR 1999»
15 years 4 months ago
Algorithm Engineering
Algorithm Engineering is concerned with the design, analysis, implementation, tuning, debugging and experimental evaluation of computer programs for solving algorithmic problems. ...
Giuseppe Cattaneo, Giuseppe F. Italiano