4719 search results - page 783 / 944 » Newtonian program analysis |
149
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...
155
Voted
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...
187
Voted
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
130
click to vote
UIST
2004
ACM
15 years 10 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
169
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...