Sciweavers

789 search results - page 68 / 158
» Measurement Programs in Software Development: Determinants o...
Sort
View
133
Voted
CGO
2003
IEEE
15 years 7 months ago
Coupling On-Line and Off-Line Profile Information to Improve Program Performance
In this paper, we describe a novel execution environment for Java programs that substantially improves execution performance by incorporating both on-line and off-line profile inf...
Chandra Krintz
127
Voted
BMCBI
2010
139views more  BMCBI 2010»
15 years 3 months ago
RNAstructure: software for RNA secondary structure prediction and analysis
Background: To understand an RNA sequence's mechanism of action, the structure must be known. Furthermore, target RNA structure is an important consideration in the design of...
Jessica S. Reuter, David H. Mathews
104
Voted
EMSOFT
2009
Springer
15 years 10 months ago
Probabilistic modeling of data cache behavior
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
Vinayak Puranik, Tulika Mitra, Y. N. Srikant
134
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
117
Voted
RE
1999
Springer
15 years 7 months ago
Requirements Engineering, Expectations Management, and the Two Cultures
One of the difficulties in requirements negotiation is to determine a feasible and mutually satisfactory set of requirements for the developer and the user, a problem related to C...
Barry W. Boehm, Marwan Abi-Antoun, Daniel Port, Ju...