552 search results - page 18 / 111 » Applying aspects to a real-time embedded operating system |
RTAS
1998
IEEE
15 years 2 months ago
1998
IEEE
Windows NT was not designed as a real-time operating system, but market forces and the acceptance of NT in industrial applications have generated a need for achieving real-time fu...
129
click to vote
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
Embedded systems are usually resource limited in terms of processing power, memory, and power consumption, thus embedded TCP/IP should be designed to make the best use of limited ...
116
click to vote
DAGSTUHL
2010
14 years 11 months ago
2010
We apply Knoll et al.'s algorithm [9] to interactively ray-cast constructive solid geometry (CSG) objects of arbitrary primitives represented as implicit functions. Whereas m...
105
click to vote
ISORC
2005
IEEE
15 years 4 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
RTSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Recently, cheap and large capacity non-volatile memory such as flash memory is rapidly replacing disks not only in embedded systems, but also in high performance servers. Unlike ...