1236 search results - page 128 / 248 » Prefix-Like Complexities and Computability in the Limit |
ISCA
1996
IEEE
15 years 2 months ago
1996
IEEE
Current high performance computer systems use complex, large superscalar CPUs that interface to the main memory through a hierarchy of caches and interconnect systems. These CPU-c...
PNPM
1989
15 years 2 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
CIA
2006
Springer
15 years 1 months ago
2006
Springer
Intelligent coordination in complex multi-agent environments requires sophisticated mechanisms for suboptimal task decomposition and efficient resource allocation provided by the t...
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side...