3436 search results - page 476 / 688 » Software Tools for Performance Modeling of Parallel Programs |
FASE
2004
Springer
14 years 2 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...
CCIA
2010
Springer
13 years 4 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...
EMSOFT
2008
Springer
13 years 11 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
14 years 2 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...
FOSSACS
2011
Springer
13 years 23 days 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...