Sciweavers

15792 search results - page 2948 / 3159
» Computational Abstraction Steps
Sort
View
131
Voted
SOFSEM
2012
Springer
13 years 8 months ago
Turing Machines for Dummies - Why Representations Do Matter
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
Peter van Emde Boas
153
Voted
RECOMB
2012
Springer
13 years 3 months ago
Recovering the Tree-Like Trend of Evolution Despite Extensive Lateral Genetic Transfer: A Probabilistic Analysis
Abstract. Lateral gene transfer (LGT) is a common mechanism of nonvertical evolution where genetic material is transferred between two more or less distantly related organisms. It ...
Sebastien Roch, Sagi Snir
74
Voted
GI
2007
Springer
15 years 7 months ago
KiMM - Lernen und Verstehen mit Tangible Media
Abstract: Bezugnehmend auf das McLuhan’sche Postulat der Medien als menschliche Extensionen werden praktische Beispiele der Entwicklung von Tangible Media und deren konkreter Eins...
Thomas Winkler, Michael Herczeg
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
15 years 7 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
DSD
2002
IEEE
96views Hardware» more  DSD 2002»
15 years 5 months ago
Networks on Silicon: Blessing or Nightmare?
Continuing VLSI technology scaling raises several deep submicron (DSM) problems like relatively slow interconnect, power dissipation and distribution, and signal integrity. Those ...
Paul Wielage, Kees G. W. Goossens
« Prev « First page 2948 / 3159 Last » Next »