9110 search results - page 1395 / 1822 » Formally-Based Design Evaluation |
184
click to vote
HPCA
1999
IEEE
15 years 11 months ago
1999
IEEE
This work presents and evaluates a novel processor microarchitecture which combines two paradigms: access/ execute decoupling and simultaneous multithreading. We investigate how b...
171
click to vote
HPCA
1999
IEEE
15 years 11 months ago
1999
IEEE
Control independence has been put forward as a significant new source of instruction-level parallelism for future generation processors. However, its performance potential under p...
168
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
Mobile IP is the current standard for supporting macromobility of mobile hosts. However, in the case of micromobility support, there are several competing proposals. In this paper,...
195
click to vote
ICTAI
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we consider two questions related to student modeling in an intelligent tutoring system: 1) What kind of student model should we build when we design a new system; 2...
222
click to vote
ATAL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...