Sciweavers

3057 search results - page 471 / 612
» Complexity management
Sort
View
DIAGRAMS
2000
Springer
15 years 6 months ago
Capacity Limits in Diagrammatic Reasoning
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
Mary Hegarty
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 6 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
COOPIS
1999
IEEE
15 years 6 months ago
Looking at the Web through XML Glasses
The Web so far has been incredibly successful at delivering information to human users. So successful actually, that there is now an urgent need to go beyond a browsing human and ...
Arnaud Sahuguet, Fabien Azavant
DOLAP
1999
ACM
15 years 6 months ago
A Cache Filtering Optimisation for Queries to Massive Datasets on Tertiary Storage
We consider a system in which many users run queries to examine subsets of a large object set. The object set is partitioned into files on tape. A single subset of objects will b...
Koen Holtman, Peter van der Stok, Ian Willers
SIGGRAPH
1999
ACM
15 years 6 months ago
Optimization of Mesh Locality for Transparent Vertex Caching
Bus traffic between the graphics subsystem and memory can become a bottleneck when rendering geometrically complex meshes. In this paper, we investigate the use of vertex caching...
Hugues Hoppe