Sciweavers

1217 search results - page 139 / 244
» Using Planetlab to Implement Multicast at the Application Le...
Sort
View
129
Voted
SEKE
1993
Springer
15 years 7 months ago
Recovering Conceptual Data Models is Human-Intensive
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
Fabio Abbattista, Filippo Lanubile, Giuseppe Visag...
104
Voted
IPPS
2007
IEEE
15 years 9 months ago
Analysis of Different Future Objects Update Strategies in ProActive
In large-scale distributed systems, asynchronous communication and future objects are becoming wide spread mechanisms to tolerate high latencies and to improve global performances...
Nadia Ranaldo, Eugenio Zimeo
145
Voted
TPHOL
2007
IEEE
15 years 9 months ago
HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
Norbert Völker
135
Voted
EUROPAR
2003
Springer
15 years 8 months ago
Obtaining Hardware Performance Metrics for the BlueGene/L Supercomputer
Hardware performance monitoring is the basis of modern performance analysis tools for application optimization. We are interested in providing such performance analysis tools for t...
Pedro Mindlin, José R. Brunheroto, Luiz De ...
193
Voted
AOSD
2011
ACM
14 years 7 months ago
Applying dependability aspects on top of "aspectized" software layers
Dynamic platforms where components can be loaded at runtime can introduce risks to applications stability if components are not previously known before deployment. It may be neede...
Kiev Gama, Didier Donsez