1915 search results - page 231 / 383 » A language for functional interpretation of model based simu... |
141
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
119
click to vote
COMPSEC
2010
15 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
131
click to vote
AAAI
1994
15 years 5 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
145
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
179
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...