1292 search results - page 24 / 259 » A Designer's Guide to KEMs |
IEEEPACT
2006
IEEE
14 years 1 months ago
2006
IEEE
Fast instruction decoding is a challenge for the design of CISC microprocessors. A well-known solution to overcome this problem is using a trace cache. It stores and fetches alrea...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
This paper proposes a way to realize the idea of calm computing by adding a dynamic task model into the pervasive computing environment. This task model contains information about...
3DPVT
2002
IEEE
14 years 24 days ago
2002
IEEE
In this paper we advocate the use of a focal regionguided feature-based volume renderer that offers an alternative for visualization of internal structures of volumetric data. We ...
SPAA
1998
ACM
14 years 1 days ago
1998
ACM
Sparse LU factorization with partial pivoting is important for many scienti c applications and delivering high performance for this problem is di cult on distributed memory machin...
AIPS
2004
13 years 9 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...