Sciweavers

2846 search results - page 367 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
ML
2006
ACM
122views Machine Learning» more  ML 2006»
16 years 16 days ago
Type-safe modular hash-consing
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
Jean-Christophe Filliâtre, Sylvain Conchon
PLDI
2005
ACM
16 years 4 days ago
DART: directed automated random testing
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
Patrice Godefroid, Nils Klarlund, Koushik Sen
OSDI
2004
ACM
16 years 6 months ago
Configuration Debugging as Search: Finding the Needle in the Haystack
This work addresses the problem of diagnosing configuration errors that cause a system to function incorrectly. For example, a change to the local firewall policy could cause a ne...
Andrew Whitaker, Richard S. Cox, Steven D. Gribble
WWW
2008
ACM
16 years 7 months ago
Non-intrusive monitoring and service adaptation for WS-BPEL
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...
Oliver Moser, Florian Rosenberg, Schahram Dustdar
ICSM
1999
IEEE
15 years 11 months ago
Using Coupling Measurement for Impact Analysis in Object-Oriented Systems
Many coupling measures have been proposed in the context of object-oriented (OO) systems. In addition, several studies have highlighted the complexity of using dependency analysis...
Lionel C. Briand, Jürgen Wüst, Hakim Lou...