2259 search results - page 369 / 452 » Leveraging Distributed Software Development |
142
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
112
click to vote
LCPC
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
153
click to vote
LCPC
2004
Springer
15 years 9 months ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
153
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
123
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Modern applications for mobile computing require high performance architectures. On the other hand, there are restrictions such as storage or power consumption. The use of reconï¬...