3436 search results - page 476 / 688 » Software Tools for Performance Modeling of Parallel Programs |
113
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
143
click to vote
CCIA
2010
Springer
14 years 9 months ago
2010
Springer
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
116
Voted
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
124
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...