14809 search results - page 2596 / 2962 » Model transformation by demonstration |
207
Voted
IPPS
2002
IEEE
16 years 15 days ago
2002
IEEE
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
254
Voted
IPPS
2002
IEEE
16 years 15 days ago
2002
IEEE
Conventional network management is based on SNMP and often run in a centralized manner. Although the centralized management approach gives network administrators a flexibility of ...
217
Voted
IPPS
2002
IEEE
16 years 15 days ago
2002
IEEE
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
206
Voted
ISSRE
2002
IEEE
16 years 15 days ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
237
Voted
LICS
2002
IEEE
16 years 15 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...