580 search results - page 26 / 116 » Performance evaluation of petri nets execution algorithms |
CPE
1994
Springer
13 years 11 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
NOSSDAV
2005
Springer
14 years 1 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
EDBT
2010
ACM
14 years 25 days ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
—Systems on Chip (SoCs) congregate multiple modules and advanced interconnection schemes, such as networks on chip (NoCs). One relevant problem in SoC design is module mapping on...