1901 search results - page 117 / 381 » Predicting Program Properties from |
163
click to vote
HOTSWUP
2009
ACM
15 years 18 days ago
2009
ACM
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
125
click to vote
APAL
2005
15 years 2 months ago
2005
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
108
click to vote
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
111
click to vote
COGSCI
2002
15 years 2 months ago
2002
We address the problem of predicting how people will spontaneously divide into groups a set of novel items. This is a process akin to perceptual organization. We therefore employ ...
128
click to vote
CEFP
2005
Springer
15 years 8 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...