503 search results - page 42 / 101 » A Framework for Reasoning on Component Composition |
IPPS
2003
IEEE
14 years 26 days ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
CLADE
2003
IEEE
14 years 27 days ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
ENTCS
2006
13 years 7 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
WSC
1998
13 years 9 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...