148 search results - page 13 / 30 » Specifying and Analyzing Dynamic Software Architectures |
CGO
2006
IEEE
14 years 1 months ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...
IASTEDSEA
2004
13 years 9 months ago
2004
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
In this paper we describe a new hardware/software partitioning approach for embedded reconfigurable architectures consisting of a general-purpose processor (CPU), a dynamically re...
SIGSOFT
2000
ACM
13 years 12 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
ICSE
2010
IEEE-ACM
14 years 9 days ago
2010
IEEE-ACM
Design pattern detection is a reverse engineering methodology that helps software engineers to analyze and understand legacy software by recovering its design and thereby aiding i...