9067 search results - page 698 / 1814 » Adaptive Model Checking |
201
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
213
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
Cluster-based multi-tier systems provide a means for building scalable Internet services. Building adaptive Internet services that are able to apply appropriate system sizing and ...
222
click to vote
ERCIMDL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
203
click to vote
MSWIM
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we introduce an effective congestion control scheme for TCP over hybrid wireless/wired networks comprising a multihop wireless IEEE 802.11 network and the wired Int...
226
click to vote
ATAL
2003
Springer
16 years 21 days ago
2003
Springer
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...