11739 search results - page 431 / 2348 » Slideshow: functional presentations |
254
click to vote
GM
1999
Springer
15 years 12 months ago
1999
Springer
In many applications one is concerned with the approximation of functions from a finite set of scattered data sites with associated function values. We describe a scheme for cons...
224
click to vote
LPAR
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-founde...
193
click to vote
CAV
1998
Springer
15 years 12 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
241
click to vote
HIM
1997
Springer
15 years 12 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
168
click to vote
SPDP
1993
IEEE
15 years 11 months ago
1993
IEEE
In PRAM emulations, universal hashing is a well-known method for distributing the address space among memory modules. However, if the memory access patterns of an application ofte...