452 search results - page 21 / 91 » Symbolic Execution of Behavioral Requirements |
107
click to vote
CF
2006
ACM
15 years 24 days ago
2006
ACM
The growing speed gap between memory and processor makes an efficient use of the cache ever more important to reach high performance. One of the most important ways to improve cac...
119
click to vote
IPPS
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--The now commonplace multi-core chips have introduced, by design, a deep hierarchy of memory and cache banks within parallel computers as a tradeoff between the user frien...
100
click to vote
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
117
Voted
CEEMAS
2001
Springer
15 years 3 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
AIIDE
2008
15 years 1 months ago
2008
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...