3456 search results - page 395 / 692 » Byte Code Engineering |
118
Voted
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as co...
121
Voted
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
120
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
142
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
One difficulty in software maintenance is that the relationship between observed program behavior and source code is not always clear. In this paper we are concerned specifically ...
139
click to vote
CISIS
2008
IEEE
15 years 6 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...