2025 search results - page 270 / 405 » Software performance modelling using PEPA nets |
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
98
Voted
ICPP
2000
IEEE
15 years 5 months ago
2000
IEEE
The Virtual Interface Architecture brings the benefits of low latency User-level Networking to a cluster environment. With an increasing number of communication channels created ...
100
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
AVI
2004
15 years 2 months ago
2004
In this paper, we present our open source, platform independent toolkit for developing 3D talking agents, namely Xface. It relies on MPEG-4 Face Animation (FA) standard. The toolk...
105
click to vote
ICALT
2006
IEEE
15 years 6 months ago
2006
IEEE
Mobile Augmented Reality System (MARS) based elearning environments equip a learner with a mobile wearable see-through display that interacts with training/learning software. MARS...