16725 search results - page 2727 / 3345 » Engineering Software Correctness |
197
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Garbage collection can be a performance bottleneck in large distributed, multi-threaded applications. Applications may produce millions of objects during their lifetimes and may i...
219
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
195
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
204
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
One of the main techniques used by software renderers to produce stunningly realistic images is programmable shading—executing an arbitrarily complex program to compute the colo...
232
click to vote
WCRE
1995
IEEE
15 years 10 months ago
1995
IEEE
A legacy system is an operational, large-scale software system that is maintained beyond its first generation of programmers. It typically represents a massive economic investmen...