8874 search results - page 3 / 1775 » A New Implementation of Automath |
PPSC
1997
13 years 10 months ago
1997
We present new implementations and results for the NAS Parallel Benchmarks 2 suite. The suite currently consists of seven programs. Of these LU, SP, BT, MG and FT have previously ...
SIGECOM
2009
ACM
14 years 3 months ago
2009
ACM
Voting trees describe an iterative procedure for selecting a single vertex from a tournament. vide a very general abstract model of decision-making among a group of individuals, a...
ACMSE
2009
ACM
14 years 3 months ago
2009
ACM
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
CAIP
1997
Springer
14 years 21 days ago
1997
Springer
: A new hardware structure for implementation of soft morphological filters is presented in this paper. This is based on the modification of the majority gate technique. A pipeline...
MEMOCODE
2007
IEEE
14 years 2 months ago
2007
IEEE
—With the arrival of nanometer technologies wire delays are no longer negligible with respect to gate delays, and timing-closure becomes a major challenge to System-on-Chip desig...