2635 search results - page 295 / 527 » Computing multihomogeneous resultants using straight-line pr... |
96
Voted
TOPLAS
2008
15 years 14 days ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
87
Voted
SIGGRAPH
1999
ACM
15 years 4 months ago
1999
ACM
Bus traffic between the graphics subsystem and memory can become a bottleneck when rendering geometrically complex meshes. In this paper, we investigate the use of vertex caching...
232
click to vote
POPL
2007
ACM
16 years 27 days ago
2007
ACM
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
86
Voted
NDSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...