Sciweavers

7103 search results - page 265 / 1421
» Components and Generative Programming
Sort
View
KBSE
2005
IEEE
15 years 16 days ago
Automated test generation for engineering applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
Songtao Xia, Ben Di Vito, César Muño...
CEC
2008
IEEE
15 years 1 months ago
A fast high quality pseudo random number generator for graphics processing units
—Limited numerical precision of nVidia GeForce 8800 GTX and other GPUs requires careful implementation of PRNGs. The Park-Miller PRNG is programmed using G80’s native Value4f �...
William B. Langdon
HASE
2005
IEEE
15 years 17 days ago
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
Gergely Pintér, István Majzik
ATAL
2005
Springer
15 years 15 days ago
Model generation for PRS-like agents
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
Wayne Wobcke, Marc Chee, Krystian Ji
ECAL
2005
Springer
15 years 14 days ago
A Developmental Model for Generative Media
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
Jon McCormack