Sciweavers

6299 search results - page 1065 / 1260
» Data and Computation Abstractions for Dynamic and Irregular ...
Sort
View
DATE
2007
IEEE
100views Hardware» more  DATE 2007»
16 years 26 days ago
SoC testing using LFSR reseeding, and scan-slice-based TAM optimization and test scheduling
Abstract— We present an SoC testing approach that integrates test data compression, TAM/test wrapper design, and test scheduling. An improved LFSR reseeding technique is used as ...
Zhanglei Wang, Krishnendu Chakrabarty, Seongmoon W...
FROCOS
2007
Springer
16 years 21 days ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
GPC
2007
Springer
16 years 21 days ago
CFR: A Peer-to-Peer Collaborative File Repository System
Abstract. Due to the high availability of the Internet, many large crossorganization collaboration projects, such as SourceForge, grid systems etc., have emerged. One of the fundam...
Meng-Ru Lin, Ssu-Hsuan Lu, Tsung-Hsuan Ho, Peter L...
ICCS
2007
Springer
16 years 20 days ago
Enabling Very-Large Scale Earthquake Simulations on Parallel Machines
Abstract. The Southern California Earthquake Center initiated a major largescale earthquake simulation called TeraShake. The simulations propagated seismic waves across a domain of...
Yifeng Cui, Reagan Moore, Kim Olsen, Amit Chourasi...
ISVC
2007
Springer
16 years 20 days ago
Unsynchronized 4D Barcodes
Abstract. We present a novel technique for optical data transfer between public displays and mobile devices based on unsynchronized 4D barcodes. We assume that no direct (electroma...
Tobias Langlotz, Oliver Bimber
« Prev « First page 1065 / 1260 Last » Next »