580 search results - page 74 / 116 » Performance evaluation of petri nets execution algorithms |
FLAIRS
2010
13 years 11 months ago
2010
Dynamic changes in complex, real-time environments, such as modern video games, can violate an agent's expectations. We describe a system that responds competently to such vi...
DAMON
2008
Springer
13 years 11 months ago
2008
Springer
Partitioning is a key database task. In this paper we explore partitioning performance on a chip multiprocessor (CMP) that provides a relatively high degree of on-chip thread-leve...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
Scheduling is a key concern for the execution of performancedriven Grid applications. In this paper we comparatively examine different existing approaches for scheduling of scient...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
FCCM
2009
IEEE
14 years 29 days ago
2009
IEEE
Geometric algebra (GA) is a mathematical framework that allows the compact description of geometric relationships and algorithms in many fields of science and engineering. The exe...