1299 search results - page 127 / 260 » On the Correctness of Operating System Kernels |
154
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
134
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Traditional operating systems differentiate between threads, which are managed by the kernel scheduler, and interrupt handlers, which are scheduled by the hardware. This approac...
139
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—System availability is difficult for systems to maintain in the face of Internet worms. Large systems have vulnerabilities, and if a system attempts to continue operati...
153
click to vote
FSS
2007
15 years 4 months ago
2007
The relationship between support vector machines (SVMs) and Takagi–Sugeno–Kang (TSK) fuzzy systems is shown. An exact representation of SVMs as TSK fuzzy systems is given for ...
144
click to vote
EUROSYS
2009
ACM
16 years 1 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...