2279 search results - page 11 / 456 » The Interaction of Architecture and Operating System Design |
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
HOTOS
1997
IEEE
15 years 1 months ago
1997
IEEE
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
105
click to vote
DAMON
2006
Springer
15 years 1 months ago
2006
Springer
A new trend in processor design is increased on-chip support for multithreading in the form of both chip multiprocessors and simultaneous multithreading. Recent research in databa...
IFIP12
2008
14 years 11 months ago
2008
Autonomous Intelligent Systems (AIS) integrate planning, learning, and execution in a closed loop, showing an autonomous intelligent behavior. A Learning Life Cycle (LLC) Operators...
ADAEUROPE
2008
Springer
15 years 4 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...