11097 search results - page 148 / 2220 » Hera presentation generator |
152
click to vote
ISSRE
2008
IEEE
16 years 27 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...
170
click to vote
ACRI
2008
Springer
16 years 26 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...
167
click to vote
DSD
2007
IEEE
16 years 26 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...
140
click to vote
ICMCS
2007
IEEE
16 years 25 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...
180
click to vote
ESTIMEDIA
2007
Springer
16 years 20 days 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...