743 search results - page 115 / 149 » Optimal Abstraction on Real-Valued Programs |
144
Voted
OPODIS
2008
15 years 5 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
120
Voted
PDPTA
2004
15 years 5 months ago
2004
Abstract One of the goals envisioned by Grid computing is to make the execution of both computational and data-intensive problems possible. A key problem is finding the optimal set...
117
click to vote
CPAIOR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In scheduling using constraint programming we usually reason only about possible start times and end times of activities and remove those which are recognized as unfeasib...
137
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
98
Voted
INFORMATICALT
2008
15 years 3 months ago
2008
Abstract. Multi-criteria decision making is used in many areas of human activities. Each alternative in multi-criteria decision making problem can be described by a set of criteria...