5863 search results - page 997 / 1173 » On Model-Checking of P Systems |
133
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Instructor/student interaction in e-learning environments can positively impact both student learning and instructor satisfaction. In online webcast lectures, however, interaction...
139
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
A reliable and unobtrusive measurement of working memory load could be used to evaluate the efficacy of interfaces and to provide real-time user-state information to adaptive syst...
175
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Randy Pausch is an inspiration to all with his research, teaching, the way he has lived his life, and his courage while confronting pancreatic cancer. This session brings together...
169
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
The ability to detect and differentiate breakpoints during task execution is critical for enabling defer-to-breakpoint policies within interruption management. In this work, we ex...
159
click to vote
HPCA
2005
IEEE
16 years 6 months ago
2005
IEEE
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling sy...