9842 search results - page 1874 / 1969 » The Complexity of the Matching-Cut Problem |
142
Voted
MOBIHOC
2002
ACM
16 years 3 months ago
2002
ACM
Topological changes in mobile ad hoc networks frequently render routing paths unusable. Such recurrent path failures have detrimental effects on the network ability to support QoS...
146
Voted
POPL
2010
ACM
16 years 28 days ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
133
Voted
ICCAD
2002
IEEE
16 years 13 days ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
130
Voted
SOSP
2009
ACM
16 years 13 days ago
2009
ACM
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
153
Voted
IUI
2009
ACM
16 years 13 days ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...