4810 search results - page 376 / 962 » Modeling Value Speculation |
205
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
147
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
While many clever techniques have been proposed for visual analysis, most of these are “one of” and it is not easy to see how to combine multiple techniques. We propose an alg...
178
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a human-aware software agent to support a human performing a task that demands substantial amounts of attention. The agent obtains human awareness in an adaptiv...
170
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
A data tree is a tree where each node has a label from a finite set, and a data value from a possibly infinite set. We consider data trees whose depth is bounded beforehand. By d...
164
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract - A cell delay model based on rate-of-currentchange is presented, which accounts for the impact of the shape of the noisy waveform on the output voltage waveform. More pre...