11097 search results - page 148 / 2220 » Hera presentation generator |
126
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
137
click to vote
ACRI
2008
Springer
15 years 11 months ago
2008
Springer
This paper presents a research in the context of pedestrian dynamics according to Situated Cellular Agent (SCA), a Multi-Agent Systems approach whose roots are on Cellular Automata...
139
Voted
DSD
2007
IEEE
15 years 11 months ago
2007
IEEE
An address generator produces a unique address from 1 to k for the input that matches to one of k registered vectors, and produces 0 for other inputs. This paper presents the supe...
107
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
An algorithm is presented that automatically generates groundtruthed video from a symbolic description for an object and a specification for the movement of a handheld video camer...
147
Voted
ESTIMEDIA
2007
Springer
15 years 10 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...