Sciweavers

1916 search results - page 215 / 384
» Reconfiguring a state machine
Sort
View
AMAST
2008
Springer
13 years 10 months ago
The Verification of the On-Chip COMA Cache Coherence Protocol
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
Thuy Duong Vu, Li Zhang, Chris R. Jesshope
BIRTHDAY
2008
Springer
13 years 10 months ago
Church's Problem and a Tour through Automata Theory
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
Wolfgang Thomas
DSD
2006
IEEE
113views Hardware» more  DSD 2006»
13 years 10 months ago
Cascade Scheme for Concurrent Errors Detection
The paper deals with synthesis technique for designing circuits with cascade errors detection. The proposed technique is based on partitioning a scheme into a number of cascades f...
Ilya Levin, Vladimir Ostrovsky, Osnat Keren, Vladi...
CATA
2010
13 years 9 months ago
Utilizing Recursive Storage in Sparse Matrix-Vector Multiplication - Preliminary Considerations
Computations with sparse matrices on "multicore cache based" computers are affected by the irregularity of the problem at hand, and performance degrades easily. In this ...
Michele Martone, Salvatore Filippone, Salvatore Tu...
EMNLP
2007
13 years 9 months ago
Experimental Evaluation of LTAG-Based Features for Semantic Role Labeling
In this technical report, we propose the use of Lexicalized Tree-Adjoining Grammar (LTAG) formalism as an important additional source of features for the Semantic Role Labeling (S...
Yudong Liu, Anoop Sarkar