1981 search results - page 59 / 397 » Model-Checking Hierarchical Structures |
DAGSTUHL
1998
13 years 11 months ago
1998
Abstract. Many data structures are naturally segmented. Generic algorithms that ignore that feature, and that treat every data structure as a uniform range of elements, are unneces...
PARMA
2004
13 years 11 months ago
2004
Hierarchical structures and catalogs is a way to organize and enrich semantically the available information in the Web. From simple tree-like structures with syntactic constraints ...
ICCD
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper, we present a hierarchical evolutionary approach to hardware/software partitioning for real-time embedded systems. In contrast to most of previous approaches, we app...
ECML
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In order to organize huge document collections, labeled hierarchical structures are used frequently. Users are most efficient in navigating such hierarchies, if they refl...
TAGT
1998
Springer
14 years 2 months ago
1998
Springer
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...