3357 search results - page 274 / 672 » Controlling Complexity |
193
click to vote
CONCUR
2007
Springer
16 years 23 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
143
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an architecture for a memory model that facilitates versatile reasoning mechanisms over the beliefs stored in an agent’s belief base. Based on an approach fo...
161
click to vote
GRAPHITE
2006
ACM
16 years 17 days ago
2006
ACM
The use of textures provides a rich and diverse set of possibilities for the visualization of flow data. In this paper, we present methods designed to produce oriented and contro...
259
click to vote
Publication
A large class of systems of biological and technological relevance can be described as analog networks, that is, collections of dynamic devices interconnected by links of varying s...
181
click to vote
EUROPAR
2005
Springer
16 years 4 days ago
2005
Springer
Sophisticated parallel matrix multiplication algorithms like PDGEMM exhibit a complex structure and can be controlled by a large set of parameters including blocking factors and bl...