2356 search results - page 198 / 472 » Characterizations of postman sets |
179
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
169
click to vote
AAAI
2010
15 years 8 months ago
2010
The AI community has achieved great success in designing high-performance algorithms for hard combinatorial problems, given both considerable domain knowledge and considerable eff...
168
click to vote
AIM
2006
15 years 8 months ago
2006
: Companies implementing an IS/IT backsourcing strategy (i.e. bringing IT functions back in-house after they have been outsourced) aiming at increasing operational effectiveness ma...
171
click to vote
WSC
1997
15 years 8 months ago
1997
A framework for performance analysis of parallel discrete event simulators is presented. The centerpiece of this framework is a platform-independent Workload Specification Langua...
143
click to vote
ACS
2007
15 years 6 months ago
2007
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...