Sciweavers

144 search results - page 23 / 29
» Generalized Dyck tilings
Sort
View
ENTCS
2002
166views more  ENTCS 2002»
14 years 9 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
GLVLSI
2005
IEEE
118views VLSI» more  GLVLSI 2005»
15 years 3 months 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
CORR
2010
Springer
145views Education» more  CORR 2010»
14 years 9 months ago
CAT-generation of ideals
We consider the problem of generating all ideals of a poset. It is a long standing open problem, whether or not the ideals of any poset can be generated in constant amortized time...
Torsten Ueckerdt
TEI
2010
ACM
135views Hardware» more  TEI 2010»
15 years 4 months ago
Designing interactive kinetic surfaces for everyday objects and environments
This research focuses on the topic of interactive surfaces, especially those which embody kinetic interactions. Through the research, I will provide a definition and a theoretical...
Hyunjung Kim
SLIP
2009
ACM
15 years 4 months ago
Honeycomb-structured computational interconnects and their scalable extension to spherical domains
The present paper is part of a larger effort to redesign, from the ground up, the best possible interconnect topologies for switchless multiprocessor computer systems. We focus he...
Joseph B. Cessna, Thomas R. Bewley