Sciweavers

15792 search results - page 2948 / 3159
» Computational Abstraction Steps
Sort
View
SOFSEM
2012
Springer
14 years 1 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
RECOMB
2012
Springer
13 years 8 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
122
Voted
GI
2007
Springer
16 years 4 days 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»
16 years 3 days 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 11 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 »