493 search results - page 69 / 99 » An Analysis of Tool-Based Research in Software Engineering |
109
click to vote
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
FTRTFT
1998
Springer
15 years 2 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
DAS
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present a new database of online handwritten documents with different contents such as text, drawings, diagrams, formulas, tables, lists, and markings. It was de...
100
click to vote
CGO
2003
IEEE
15 years 3 months ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...