7106 search results - page 351 / 1422 » Restricted Complexity, General Complexity |
141
Voted
ADHOCNOW
2008
Springer
15 years 11 months ago
2008
Springer
We study two algorithmical problems inspired from routing constraints in a multihop synchronous radio network. Our objective is to satisfy a given set of communication requests in ...
151
click to vote
ECRTS
2007
IEEE
15 years 11 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
155
click to vote
APN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We study data nets, a generalisation of Petri nets in which tokens carry data from linearlyordered infinite domains and in which whole-place operations such as resets an...
149
Voted
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
188
click to vote
PODS
2010
ACM
15 years 10 months ago
2010
ACM
For many problems arising in the setting of graph querying (such as finding semantic associations in RDF graphs, exact and approximate pattern matching, sequence alignment, etc.)...