3431 search results - page 135 / 687 » A new instructional operating system |
HOTOS
2007
IEEE
14 years 1 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
ECRTS
2005
IEEE
14 years 3 months ago
2005
IEEE
Low-level support of peripheral devices is one of the most demanding activities in a real-time operating system. In fact, the rapid development of new interface boards causes a tr...
SIGGRAPH
1992
ACM
14 years 1 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
IPSN
2007
Springer
14 years 3 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
ICALT
2005
IEEE
14 years 3 months ago
2005
IEEE
The popularity of instant messaging (IM) system creates a new way for human communication. Along with this trend, IM system is broadly applied in cooperative learning. There isnâ€...