4403 search results - page 635 / 881 » Galois Theory of Algorithms |
206
click to vote
PODS
2007
ACM
16 years 7 months ago
2007
ACM
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...
193
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
223
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
Relay-enabled wireless networks (eg. WIMAX 802.16j) represent an emerging trend for the incorporation of multi-hop networking solutions for last-mile broadband access in next gene...
210
click to vote
CLUSTER
2009
IEEE
16 years 2 months ago
2009
IEEE
—With the advent of Cloud computing, large-scale virtualized compute and data centers are becoming common in the computing industry. These distributed systems leverage commodity ...
234
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Collaborative spectrum sensing among secondary users (SUs) in cognitive networks is shown to yield a significant performance improvement. However, there exists an inherent tra...