Sciweavers

3181 search results - page 436 / 637
» Automated Deployment Support for Parallel Distributed Comput...
Sort
View
123
Voted
ISORC
1998
IEEE
15 years 8 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
172
Voted
ISORC
1998
IEEE
15 years 8 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
101
Voted
ICPADS
1997
IEEE
15 years 8 months ago
A Data Placement Strategy on MZR for VOD Servers
The number of concurrent users in VOD servers mainly depend on the disk placement strategies of video blocks. Especially, the storage server should make the most of MZR(multi-zone...
Jeong-Won Kim
157
Voted
CLADE
2004
IEEE
15 years 7 months ago
A Collaborative Informatics Infrastructure for Multi-scale Science
The Collaboratory for Multi-scale Chemical Science (CMCS) is developing a powerful informaticsbased approach to synthesizing multi-scale information to support a systems-based res...
James D. Myers, Thomas C. Allison, Sandra Bittner,...
138
Voted
ESCIENCE
2006
IEEE
15 years 7 months ago
Soft Benchmarks-Based Application Performance Prediction Using a Minimum Training Set
Application execution time prediction is of key importance in making decisions about efficient usage of Grid resources. Grid services lack support of a generic application executi...
Farrukh Nadeem, Muhammad Murtaza Yousaf, Radu Prod...