10935 search results - page 1963 / 2187 » Neural Programming Language |
123
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
170
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Future microprocessors need low-cost solutions for reliable operation in the presence of failure-prone devices. A promising approach is to detect hardware faults by deploying low-...
185
Voted
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
161
Voted
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
151
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...