2881 search results - page 481 / 577 » Model Checking for Programming Languages using Verisoft |
119
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
163
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
136
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Web applications are becoming more complex and the way to manage that complexity is to model them. This paper presents a methodology to model Web applications directly from the ob...
143
click to vote
UM
2007
Springer
15 years 11 months ago
2007
Springer
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
156
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...