1368 search results - page 65 / 274 » The Implicit Pipeline Method |
CADE
2012
Springer
12 years 8 days ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
VIS
2004
IEEE
14 years 11 months ago
2004
IEEE
The purpose of visualization is not just to depict data, but to gain or present insight into the domain represented in data. However in visualization systems, this link between fe...
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
In high level synthesis each node of a synchronous dataflow graph (DFG) is scheduled to a specific time and allocated to a processor. In this paper we present new integer linear p...
MICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
We investigate instruction distribution methods for quadcluster, dynamically-scheduled superscalar processors. We study a variety of methods with different cost, performance and c...
GCC
2005
Springer
14 years 3 months ago
2005
Springer
Combination of prior knowledge and implicit knowledge hidden in the data of system can enhance the quality of information services in Knowledge Grid. Fuzzy Cognitive Maps (FCMs) ar...