1491 search results - page 193 / 299 » Resource-Passing Concurrent Programming |
153
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
134
click to vote
NFM
2011
14 years 9 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
143
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
133
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
We have designed, implemented and evaluated a resource adaptive distributed information sharing system where automatic adjustments are made internally in our information sharing sy...
116
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...