5314 search results - page 420 / 1063 » Hybrid Dynamic Programming |
177
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
187
Voted
CC
2005
Springer
16 years 1 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
197
Voted
NORDICHI
2004
ACM
16 years 29 days ago
2004
ACM
This paper reports on a study which compared two tools for tracking the focus of visual attention - a remote eye tracker and the Restricted Focus Viewer (RFV). The RFV tool blurs ...
161
Voted
ICSE
2010
IEEE-ACM
16 years 9 days ago
2010
IEEE-ACM
Concurrency fault are difficult to find because they usually occur under specific thread interleavings. Fault-detection tools in this area find data-access patterns among threa...
226
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...