4457 search results - page 699 / 892 » Tests of Machine Intelligence |
143
click to vote
ICPP
1997
IEEE
15 years 8 months ago
1997
IEEE
r The lack of a versatile software tool for parallel program development has been one of the major obstacles for exploiting the potential of high-performance architectures. In this...
145
click to vote
HPDC
1993
IEEE
15 years 8 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
142
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
139
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we discuss the design of optimization algorithms for cognitive wireless networks (CWNs). Maximizing the perceived network performance towards applications by selectin...
165
Voted
ICCTA
2007
IEEE
15 years 8 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...