3844 search results - page 284 / 769 » Modular interpreted systems |
124
click to vote
MCSS
2008
Springer
15 years 4 months ago
2008
Springer
The stability problem of a system of conservation laws perturbed by non-homogeneous terms is investigated. These non-homogeneous terms are assumed to have a small C1 -norm. By a Ri...
147
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
116
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
133
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
101
click to vote
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
Interpreting general purpose programming constructs can be difficult because it requires context, such as knowledge of language syntax or idioms, which users may not have readily ...