2271 search results - page 437 / 455 » Scalable Software Libraries |
167
Voted
ICSE
2012
IEEE-ACM
13 years 4 months ago
2012
IEEE-ACM
—Integrated Development Environments (IDEs) have come to perform a wide variety of tasks on behalf of the programmer, refactoring being a classic example. These operations have u...
142
Voted
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
221
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
146
Voted
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
157
Voted
SIGUCCS
2006
ACM
15 years 8 months ago
2006
ACM
In this paper we present the results of an experiment made with our e-librarian service ”MatES”, an e-Learning tool on fractions in mathematics. MatES allows students to enter...