648 search results - page 47 / 130 » Hardware support for real-time operating systems |
100
click to vote
RTS
2010
14 years 10 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
USS
2008
15 years 2 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
160
click to vote
ISJGP
2010
14 years 9 months ago
2010
A variety of modern technologies such as networks, Internet, and electronic services demand private and secure communications for a great number of everyday transactions. Security ...
CLUSTER
2007
IEEE
15 years 3 months ago
2007
IEEE
Bulk memory copies incur large overheads such as CPU stalling (i.e., no overlap of computation with memory copy operation), small register-size data movement, cache pollution, etc...
USENIX
2008
15 years 2 months ago
2008
: The paravirtualized I/O driver domain model, used in Xen, provides several advantages including device driver isolation in a safe execution environment, support for guest VM tran...