841 search results - page 48 / 169 » Hardware Software Partitioning of Operating Systems |
106
click to vote
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
100
click to vote
AC
1999
Springer
15 years 4 months ago
1999
Springer
In a distributed system, replication of components, such as objects, is a well known way of achieving availability. For increased availability, crashed and disconnected components...
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...
MOBISYS
2004
ACM
15 years 11 months ago
2004
ACM
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...
ISCA
2010
IEEE
15 years 4 months ago
2010
IEEE
Given the multicore microprocessor revolution, we argue that the architecture research community needs a dramatic increase in simulation capacity. We believe FPGA Architecture Mod...