1981 search results - page 84 / 397 » Model-Checking Hierarchical Structures |
CHI
2008
ACM
14 years 17 hour ago
2008
ACM
Hierarchical menus are now ubiquitous. The performance of the menu depends on many factors: structure, layout, colors and so on. There has been extensive research on novel menus, ...
DATE
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper describes new algorithms for systemlevel software synthesis, namely the scheduling and allocation of a set of complex tasks running at multiple rates on a heterogeneous...
JIB
2007
13 years 10 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
BTW
2007
Springer
14 years 4 months ago
2007
Springer
Abstract: XML documents are widely used as a generic container for textual contents. As they are increasingly growing in size, XML databases have come up to efficiently store and q...
ISNN
2007
Springer
14 years 4 months ago
2007
Springer
This paper investigates a mechanism for reliable generation of sparse code in a sparsely connected, hierarchical, learning memory. Activity reduction is accomplished with local com...