1938 search results - page 73 / 388 » Dependable Software |
138
Voted
SEMCO
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
137
click to vote
CC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
106
Voted
SNPD
2003
15 years 4 months ago
2003
From the early design phase through the implementation performance assessment of software has been subject to a great variety of approaches in the past. Performance modeling artif...
103
Voted
ECBS
2000
IEEE
15 years 7 months ago
2000
IEEE
Quantitative techniques have traditionally been used to assess software architectures. We have found that early in the development process there is often insufficient quantitative...
137
Voted
CGO
2004
IEEE
15 years 6 months ago
2004
IEEE
Efficient inter-thread value communication is essential for improving performance in Thread-Level Speculation (TLS). Although several mechanisms for improving value communication ...