2192 search results - page 325 / 439 » Embedded function composition |
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
ICSE
1995
IEEE-ACM
14 years 1 months ago
1995
IEEE-ACM
-- While a large fraction of application code is devoted to graphical user interface (GUI) functions, support for reuse in this domain has largely been confined to the creation of...
HT
1991
ACM
14 years 1 months ago
1991
ACM
Research on understanding linear texts has shown that comprehension and navigation mainly depend on the reader’s ability to construct a coherent mental representation. While the...
AUTONOMICS
2008
ACM
14 years 7 days ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
CC
2008
Springer
14 years 7 days ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...