4420 search results - page 309 / 884 » Evaluating a Computational Model of Emotion |
194
click to vote
GG
2004
Springer
16 years 28 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
222
click to vote
ICPP
2003
IEEE
16 years 25 days ago
2003
IEEE
Although Web prefetching is regarded as an effective method to improve client access performance, the associated overhead prevents it from being widely deployed. Specifically, a ...
203
click to vote
DANCE
2002
IEEE
16 years 15 days ago
2002
IEEE
Active-network technology envisions deploying execution environments in network elements so that application-specific processing can be applied to network traffic. To provide safe...
192
click to vote
HIPS
1998
IEEE
15 years 11 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
190
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. The nano-threads programming model was proposed to effectively integrate multiprogramming on shared-memory multiprocessors, with the exploitation of fine-grain parallelis...