11097 search results - page 356 / 2220 » Hera presentation generator |
172
click to vote
IMR
2004
Springer
16 years 6 days ago
2004
Springer
MSTK is a powerful framework for low-level creation and manipulation of unstructured meshes. MSTK is not a mesh generator but it can be used to develop advanced mesh generation so...
145
Voted
FATES
2003
Springer
16 years 1 days ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
182
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Intentional agents are charged with generating and executing intentionally plans of action towards the achievement of their goals. They operate in multi-agent systems and situatio...
136
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...
171
click to vote
VTS
1997
IEEE
15 years 11 months ago
1997
IEEE
A new approach for testing the bistable elements (latches and flip-flops) in scan chain circuits is presented. In this approach, we generate test patterns that apply a checking ex...