1652 search results - page 165 / 331 » Integration in Real PCF |
140
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
137
click to vote
ISER
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we present a new approach for continuous probabilistic mapping. The objective is to build metric maps of unknown environments through cooperation between multiple au...
134
click to vote
IPPS
1997
IEEE
15 years 9 months ago
1997
IEEE
Several methods have been proposed in the literature for the distribution of data on distributed memory machines, either oriented to dense or sparse structures. Many of the real a...
139
Voted
ITICSE
1997
ACM
15 years 9 months ago
1997
ACM
The Web reduces the economic hurdles of publishing a message to a large audience. This paper documents a pedagogical pattern to integrate community service with the curriculum. St...
147
click to vote
AISB
1997
Springer
15 years 9 months ago
1997
Springer
A technique for the credible modelling of economic agents with bounded rationality based on the evolutionary techniques is described. The genetic programming paradigm is most suite...