Sciweavers

913 search results - page 46 / 183
» An Optimal Algorithm for the Automatic Generation of March T...
Sort
View
PACT
2005
Springer
14 years 2 months ago
Optimal Behavior of a Moving Creature in the Cellular Automata Model
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
Mathias Halbach, Rolf Hoffmann
DATE
2000
IEEE
124views Hardware» more  DATE 2000»
14 years 1 months ago
On the Generation of Multiplexer Circuits for Pass Transistor Logic
Pass Transistor Logic has attracted more and more interest during last years, since it has proved to be an attractive alternative to static CMOS designs with respect to area, perf...
Christoph Scholl, Bernd Becker
ENTCS
2002
98views more  ENTCS 2002»
13 years 8 months ago
Verified Code Generation for Embedded Systems
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
Sabine Glesner, Rubino Geiß, Boris Boesler
OOPSLA
2010
Springer
13 years 7 months ago
Random testing for higher-order, stateful programs
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
Casey Klein, Matthew Flatt, Robert Bruce Findler
ISBI
2007
IEEE
14 years 3 months ago
Automated Segmentation of the Right Heart Using an Optimized Shells and Spheres Algorithm
We have developed a novel framework for medical image analysis, known as Shells and Spheres. This framework utilizes spherical operators of variable radius centered at each image ...
Aaron Cois, Ken J. Rockot, John M. Galeotti, Rober...