3168 search results - page 164 / 634 » Computing Event Dependencies in System Designs and Programs |
164
click to vote
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we describe our first year experiences of administering the NSF-supported Research Experiences for Undergraduates program award. Emerging issues in computer network...
160
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
142
click to vote
HIS
2007
15 years 7 months ago
2007
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...
196
click to vote
CLUSTER
2005
IEEE
15 years 11 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
158
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...