6274 search results - page 398 / 1255 » Proofs, Programs, Processes |
184
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
133
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...
189
Voted
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
174
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
We have explored a novel method to find textual relations in electronic documents using genetic programming and semantic networks. This can be used for enhancing information retri...
169
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Efficient performance tuning of parallel programs is often hard. In this paper we describe an approach that uses a uni-processor execution of a multithreaded program as reference ...