Sciweavers

4107 search results - page 155 / 822
» The Generalized Lambda Test
Sort
View
DISCO
1992
79views Hardware» more  DISCO 1992»
15 years 10 months ago
REDUCE Meets CAMAL
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
John Fitch
ACL
2006
15 years 8 months ago
A Rote Extractor with Edit Distance-Based Generalisation and Multi-Corpora Precision Calculation
In this paper, we describe a rote extractor that learns patterns for finding semantic relationships in unrestricted text, with new procedures for pattern generalization and scorin...
Enrique Alfonseca, Pablo Castells, Manabu Okumura,...
POPL
2008
ACM
16 years 6 months ago
Extensible encoding of type hierarchies
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
Hamed Seiied Alavi, Seth Gilbert, Rachid Guerraoui
GLVLSI
2005
IEEE
118views VLSI» more  GLVLSI 2005»
16 years 3 days ago
High-diagnosability online built-in self-test of FPGAs via iterative bootstrapping
We develop a novel on-line built-in self-test (BIST) technique for testing FPGAs that has a very high diagnosability even in presence of clustered faults, a fault pattern for whic...
Vishal Suthar, Shantanu Dutt
DATE
2010
IEEE
139views Hardware» more  DATE 2010»
15 years 11 months ago
Constant-time admission control for Deadline Monotonic tasks
—The admission control problem is concerned with determining whether a new task may be accepted by a system consisting of a set of running tasks, such that the already admitted a...
Alejandro Masrur, Samarjit Chakraborty, Georg F&au...