209 search results - page 22 / 42 » Ensuring operating system kernel integrity with OSck |
SIES
2007
IEEE
14 years 2 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Access control and integrity constraints are well known approaches to ensure data integrity in commercial database systems. However, due to operational mistakes, malicious intent ...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
Elections are increasingly dependent on computers and telecommunication systems. Such “E-voting” schemes create socio-technical systems (combinations of technology and human o...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...
ISCA
2005
IEEE
14 years 1 months ago
2005
IEEE
Performance asymmetry in multicore architectures arises when individual cores have different performance. Building such multicore processors is desirable because many simple cores...