10916 search results - page 95 / 2184 » On Constructive Connectives and Systems |
JISE
2010
14 years 7 months ago
2010
85
Voted
SIGDIAL
2011
14 years 3 months ago
2011
ACRI
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents information flow model and a novel artificial life grid model to construct artificial life computer ecosystem environment. The life grid model is a three-dimens...
97
Voted
ENTCS
2007
15 years 1 months ago
2007
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
ISPA
2007
Springer
2007
Springer
A Performance Comparison of the Contiguous Allocation Strategies in 3D Mesh Connected Multicomputers
15 years 7 months ago
The performance of contiguous allocation strategies can be significantly affected by the distribution of job execution times. In this paper, the performance of the existing contigu...