686 search results - page 120 / 138 » Automatic Model Generation Strategies for Model Transformati... |
126
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
116
click to vote
HICSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Multi-site scheduling deals with the scheduling problems of an enterprise with several distributed production sites, where sites are using the intermediate products of other sites...
146
click to vote
TPDS
1998
15 years 2 months ago
1998
This paper presents a new compiler optimization algorithm that parallelizes applications for symmetric, sharedmemory multiprocessors. The algorithm considers data locality, parall...
139
click to vote
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
119
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...