8874 search results - page 28 / 1775 » A New Implementation of Automath |
FDL
2005
IEEE
14 years 4 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
GECCO
2006
Springer
14 years 2 months ago
2006
Springer
1 Learnable Evolution Model (LEM) is a form of non-Darwinian evolutionary computation that employs machine learning to guide evolutionary processes. Its main novelty are new type o...
ACE
2004
14 years 10 days ago
2004
This paper describes the processes involved in developing and implementing the Doctor of Computing (DComp) programme at UNITEC Institute of Technology. It is the first professiona...
ICPPW
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper explores several systems issues regarding the implementation of routing protocols for mobile ad-hoc networks. It proclaims that support for on-demand routing is insufï¬...
ARCS
2008
Springer
14 years 29 days ago
2008
Springer
: The architecture of the IBM Cell BE processor represents a new approach for designing CPUs. The fast execution of legacy software has to stand back in order to achieve very high ...