11097 search results - page 148 / 2220 » Hera presentation generator |
141
click to vote
ISSRE
2008
IEEE
16 years 6 days 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...
158
click to vote
ACRI
2008
Springer
16 years 5 days 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...
156
click to vote
DSD
2007
IEEE
16 years 4 days 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...
127
click to vote
ICMCS
2007
IEEE
16 years 3 days 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...
161
click to vote
ESTIMEDIA
2007
Springer
15 years 12 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...