Name
Abstract | ||
|---|---|---|
Optimistic synchronization allows concurrent execution of critical sections while performing dynamic conflict detection and recovery. Optimistic synchronization will increase performance only if critical regions are data independent--concurrent critical ... |
Year | Venue | Keywords |
|---|---|---|
2007 | HotOS | functional programming language,formal method,barriers to entry,operating system |
Field | DocType | Citations |
Kernel (linear algebra),Programming language,Functional programming,Computer science,Microkernel,Barriers to entry,Formal methods,Operating system kernel | Conference | 23 |
PageRank | References | Authors |
2.29 | 9 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| K. Elphinstone | 1 | 1190 | 65.76 |
| Gerwin Klein | 2 | 1450 | 87.47 |
| Philip Derrin | 3 | 726 | 31.12 |
| Timothy Roscoe | 4 | 3118 | 299.48 |
| Gernot Heiser | 5 | 2525 | 137.42 |