2271 search results - page 353 / 455 » Scalable Software Libraries |
135
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
105
Voted
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
175
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
144
Voted
EUROMICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
True VoD systems provide interactive on-demand video service by allocating each client a dedicated stream. Such a scheme is inefficient when the system has a large number of users...
146
Voted
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...