Sciweavers

548 search results - page 81 / 110
» Parallel Relative Debugging with Dynamic Data Structures
Sort
View
100
Voted
ISCAS
2007
IEEE
114views Hardware» more  ISCAS 2007»
15 years 11 months ago
On the Compensation of Magnitude Response Mismatches in M-channel Time-interleaved ADCs
Abstract— Parallel time-interleaved analog-to-digital converters (TIADCs) are an attractive architecture to realize low-power and high-speed data conversion. As a drawback of suc...
Stefan Mendel, Christian Vogel
ESOP
2009
Springer
15 years 11 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
147
Voted
WEA
2005
Springer
119views Algorithms» more  WEA 2005»
15 years 10 months ago
On Symbolic Scheduling Independent Tasks with Restricted Execution Times
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
Daniel Sawitzki
128
Voted
IEEEPACT
2006
IEEE
15 years 11 months ago
Overlapping dependent loads with addressless preload
Modern out-of-order processors with non-blocking caches exploit Memory-Level Parallelism (MLP) by overlapping cache misses in a wide instruction window. The exploitation of MLP, h...
Zhen Yang, Xudong Shi, Feiqi Su, Jih-Kwon Peir
HPCC
2005
Springer
15 years 10 months ago
Distributed Query Optimization in the Stack-Based Approach
Abstract. We consider query execution strategies for object-oriented distributed databases. There are several scenarios of query decomposition, assuming that the corresponding quer...
Hanna Kozankiewicz, Krzysztof Stencel, Kazimierz S...