4015 search results - page 737 / 803 » The Future of Software Performance Engineering |
132
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
120
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
141
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
111
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse s on an abstract level is more beneficial than o...
124
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...