Sciweavers

4313 search results - page 407 / 863
» Using time travel to diagnose computer problems
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 5 months ago
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
Andrew Schumann
ISBI
2008
IEEE
16 years 8 months ago
RLS-grappa: Reconstructing parallel MRI data with adaptive filters
GRAPPA is one of the predominant methods used to reconstruct accelerated parallel MRI data. In has been shown previously that spatially varying the GRAPPA reconstruction coefficie...
William Scott Hoge, Fernando Gallego, Zhikui Xiao,...
ICCAD
2007
IEEE
148views Hardware» more  ICCAD 2007»
16 years 4 months ago
Fast exact Toffoli network synthesis of reversible logic
— The research in the field of reversible logic is motivated by its application in low-power design, optical computing and quantum computing. Hence synthesis of reversible logic...
Robert Wille, Daniel Große
RECOMB
2009
Springer
16 years 2 months ago
Rearrangement Models and Single-Cut Operations
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...
Paul Medvedev, Jens Stoye
IPPS
2005
IEEE
16 years 1 months ago
A Distributed Procedure for Bandwidth-Centric Scheduling of Independent-Task Applications
The problem of scheduling independent tasks on heterogeneous trees is considered. The nodes of the tree may have different processing times, and links different communication time...
Cyril Banino