3431 search results - page 135 / 687 » A new instructional operating system |
157
click to vote
HOTOS
2007
IEEE
15 years 10 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...
163
click to vote
ECRTS
2005
IEEE
16 years 1 hour 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...
213
click to vote
SIGGRAPH
1992
ACM
15 years 10 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...
182
click to vote
IPSN
2007
Springer
16 years 16 days 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...
124
click to vote
ICALT
2005
IEEE
15 years 12 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â€...