1901 search results - page 217 / 381 » Predicting Program Properties from |
197
click to vote
DLS
2009
15 years 1 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
124
click to vote
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
124
click to vote
SIAMCOMP
2008
15 years 3 months ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...
142
Voted
CC
2010
Springer
15 years 10 months ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
164
Voted
ICDCSW
2009
IEEE
15 years 10 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...