9842 search results - page 1402 / 1969 » The Complexity of the Matching-Cut Problem |
184
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
186
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
199
click to vote
PDCAT
2009
Springer
16 years 1 months ago
2009
Springer
—In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined l...
186
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
Complex middleware frameworks are made out of interacting components which may include bugs. These frameworks are often extended to provide additional features by thirdparty exten...
202
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...