189 search results - page 21 / 38 » Revisiting SIMD Programming |
193
click to vote
BIRTHDAY
2007
Springer
16 years 1 days ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
151
click to vote
VL
2006
IEEE
15 years 12 months ago
2006
IEEE
We have been working to uncover gender differences in the ways males and females problem solve in end-user programming situations, and have discovered differences in males’ vers...
144
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...
159
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant ...
185
click to vote
WCRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Machine code disassembly routines form a fundamental component of software systems that statically analyze or modify executable programs. The task of disassembly is complicated by...