15754 search results - page 739 / 3151 » Programs are Knowledge Bases |
214
click to vote
FASE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
162
click to vote
ACISICIS
2008
IEEE
16 years 2 months ago
2008
IEEE
Dedicated machine constraint is one of the new challenges introduced in photolithography machinery of the semiconductor manufacturing system due to natural bias. Previous research...
186
click to vote
APSEC
2008
IEEE
16 years 2 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
178
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
171
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...