8109 search results - page 130 / 1622 » A Model of Component-Based Programming |
147
click to vote
ADT
2005
15 years 4 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
127
click to vote
EWC
2000
15 years 4 months ago
2000
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
127
click to vote
CLUSTER
2007
IEEE
15 years 11 months ago
2007
IEEE
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...
166
click to vote
PVM
2010
Springer
15 years 2 months ago
2010
Springer
The number of multithreaded Message Passing Interface (MPI) implementations and applications is increasing rapidly. We discuss how multithreaded applications can receive messages o...
128
click to vote
QSIC
2008
IEEE
15 years 11 months ago
2008
IEEE
Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...