320 search results - page 62 / 64 » Constructing Invariants for Hybrid Systems |
SIGSOFT
2005
ACM
14 years 6 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
TLDI
2005
ACM
13 years 11 months ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
MOBICOM
1997
ACM
13 years 9 months ago
1997
ACM
Hot swapping technology combined with pervasive heterogeneous networks empowers mobile laptop users to select the best network device for their current environment. Unfortunately,...
BMCBI
2010
13 years 5 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...