Sciweavers

280 search results - page 5 / 56
» Storage Alternatives for Large Structured State Spaces
Sort
View
IRREGULAR
1997
Springer
13 years 11 months ago
Parallel Shared-Memory State-Space Exploration in Stochastic Modeling
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
Susann C. Allmaier, Graham Horton
SIGIR
2005
ACM
14 years 1 months ago
Top subset retrieval on large collections using sorted indices
In this poster we describe alternative inverted index structures that reduce the time required to process queries, produce a higher query throughput and still return high quality ...
Paul Ferguson, Alan F. Smeaton, Cathal Gurrin, Pet...
VIS
2003
IEEE
116views Visualization» more  VIS 2003»
14 years 8 months ago
Space Efficient Fast Isosurface Extraction for Large Datasets
In this paper, we present a space efficient algorithm for speeding up isosurface extraction. Even though there exist algorithms that can achieve optimal search performance to iden...
Udeepta Bordoloi, Han-Wei Shen
ASMTA
2008
Springer
167views Mathematics» more  ASMTA 2008»
13 years 9 months ago
Perfect Simulation of Stochastic Automata Networks
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
Paulo Fernandes, Jean-Marc Vincent, Thais Webber
STTT
2008
86views more  STTT 2008»
13 years 7 months ago
Properties of state spaces and their applications
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
Radek Pelánek