5434 search results - page 369 / 1087 » Tool support for MOLA |
179
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
155
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
182
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...
173
click to vote
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
New Technologies have been incorporated to schools as learning tools some time ago. In this paper we remark some advantages of video games as educational systems and how we can us...
162
click to vote
EXACT
2007
15 years 9 months ago
2007
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...