3001 search results - page 273 / 601 » Recursive type generativity |
207
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
145
click to vote
IFL
2005
Springer
16 years 1 days ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
157
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
We propose a new method for limiting the gradients in a mesh size function by solving a non-linear partial differential equation on the background mesh. Our gradient limiting Ham...
143
click to vote
ICPPW
2003
IEEE
15 years 11 months ago
2003
IEEE
The resource allocation problem is a fundamental problem in distributed systems. In this paper, we focus on constructing nondominated (ND) local coteries to solve the problem. Dis...
172
click to vote
ITC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper a new scheme for deterministic and mixed mode scan-based BIST is presented. It relies on a new type of test pattern generator which resembles a programmable Johnson ...