4722 search results - page 544 / 945 » Encoding Program Executions |
140
click to vote
ISW
2009
Springer
15 years 11 months ago
2009
Springer
Various online studies on the prevalence of spyware attest overwhelming numbers (up to 80%) of infected home computers. However, the term spyware is ambiguous and can refer to anyt...
145
click to vote
CGO
2007
IEEE
15 years 11 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
156
click to vote
IEEEPACT
2005
IEEE
15 years 10 months ago
2005
IEEE
Hiding communication latency is an important optimization for parallel programs. Programmers or compilers achieve this by using non-blocking communication primitives and overlappi...
259
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
127
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...