2066 search results - page 344 / 414 » Word Maturity: Computational Modeling of Word Knowledge |
ISSS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
ICPP
1996
IEEE
14 years 1 months ago
1996
IEEE
Data locality and synchronization overhead are two important factors that affect the performance of applications on multiprocessors. Loop fusion is an effective way for reducing s...
CADE
1990
Springer
14 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
COMPLEX
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The aim of a transportation system is to enable the movement of goods or persons between any two locations with the highest possible efficiency. This simple principle ins...
GI
2009
Springer
14 years 1 months ago
2009
Springer
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...