Sciweavers

1016 search results - page 78 / 204
» Automatic Analysis of Programming Assignments
Sort
View
124
Voted
ASAP
1997
IEEE
144views Hardware» more  ASAP 1997»
15 years 7 months ago
Automatic data mapping of signal processing applications
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...
Corinne Ancourt, Denis Barthou, Christophe Guettie...
122
Voted
FGR
2004
IEEE
136views Biometrics» more  FGR 2004»
15 years 7 months ago
Advances in Automatic Gait Recognition
Automatic recognition by gait is subject to increasing interest and has the unique capability to recognize people at a distance when other biometrics are obscured. Its interest is...
Mark S. Nixon, John N. Carter
142
Voted
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
15 years 9 months ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...
136
Voted
EUROGP
2004
Springer
129views Optimization» more  EUROGP 2004»
15 years 9 months ago
Evolution and Acquisition of Modules in Cartesian Genetic Programming
The paper presents for the first time automatic module acquisition and evolution within the graph based Cartesian Genetic Programming method. The method has been tested on a set of...
James Alfred Walker, Julian Francis Miller
170
Voted
DAGSTUHL
2001
15 years 5 months ago
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
Katharina Mehner