6799 search results - page 304 / 1360 » The Tao of Modeling Spaces |
162
click to vote
SAMOS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
183
click to vote
ECBS
2003
IEEE
16 years 2 days ago
2003
IEEE
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
201
click to vote
RTSS
1995
IEEE
15 years 10 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
217
click to vote
LEGE
2004
15 years 8 months ago
2004
The purpose of this study is to support the learning activity in the Internet learning space. In this paper, we examine the GRID technology as the knowledge management for support...
228
click to vote
MCI
2001
15 years 8 months ago
2001
: This paper begins with a long-term view of the development of cyberspace. This includes a brief examination of the worldview of a 16th-century mapmaker and over 4000 years of dev...