Sciweavers

8109 search results - page 484 / 1622
» A Model of Component-Based Programming
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
Automatic Performance Diagnosis of Parallel Computations with Compositional Models
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...
Li Li, Allen D. Malony
VMCAI
2005
Springer
16 years 1 months ago
Model Checking of Systems Employing Commutative Functions
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
A. Prasad Sistla, Min Zhou, Xiaodong Wang
FIDJI
2003
Springer
16 years 25 days ago
Distributed Composite Objects: A New Object Model for Cooperative Applications
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
Guray Yilmaz, Nadia Erdogan
IFIP
2009
Springer
16 years 6 days ago
Reference Model for Performance Management in Service-Oriented Virtual Organization Breeding Environments
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...
Zbigniew Paszkiewicz, Willy Picard
IFIP
2001
Springer
16 years 2 days ago
Better Safe than Sorry? In Search of an Internet Business Model in Online Entertainment
This paper presents an action case study of the process by which the Swedish computer game developer Daydream Software planned, developed, and implemented the business model for i...
Ola Henfridsson, Helena Holmström, Ole Hanset...