13489 search results - page 538 / 2698 » Operating System |
182
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
166
click to vote
SGAI
2005
Springer
16 years 14 days ago
2005
Springer
The concept of the Knowledge Bazaar as a paradigm for the development of Expert Systems, whereby knowledge bases are created dynamically using knowledge supplied by self appointed...
185
click to vote
ITSSA
2006
15 years 7 months ago
2006
: Modern information systems are becoming more and more socio-technical systems, namely systems composed of human (social) agents and software (technical) systems operating togethe...
202
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a hw/sw codesign methodology based on BORPH, an operating system designed for FPGA-based reconfigurable computers (RC's). By providing native kernel suppo...
173
click to vote
ERSA
2004
15 years 8 months ago
2004
- We have previously argued the benefits of embedded Linux as an operating system platform for reconfigurable system-on-chip design. In this paper we describe our approach building...