Sciweavers

112 search results - page 16 / 23
» Coverage Representation in TerraLib
Sort
View
HPCA
2012
IEEE
13 years 7 months ago
SCD: A scalable coherence directory with flexible sharer set encoding
Large-scale CMPs with hundreds of cores require a directory-based protocol to maintain cache coherence. However, previously proposed coherence directories are hard to scale beyond...
Daniel Sanchez, Christos Kozyrakis
95
Voted
AAAI
2006
15 years 1 months ago
Approximate Compilation for Embedded Model-based Reasoning
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...
Barry O'Sullivan, Gregory M. Provan
VTS
1999
IEEE
106views Hardware» more  VTS 1999»
15 years 4 months ago
RT-level TPG Exploiting High-Level Synthesis Information
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
IEAAIE
1994
Springer
15 years 3 months ago
Large-Scale Machine Translation: An Interlingua Approach
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...
Deryle W. Lonsdale, Alexander Franz, John R. R. Le...
ACL
2008
15 years 1 months ago
Evaluating a Crosslinguistic Grammar Resource: A Case Study of Wambaya
This paper evaluates the LinGO Grammar Matrix, a cross-linguistic resource for the development of precision broad coverage grammars, by applying it to the Australian language Wamb...
Emily M. Bender