3831 search results - page 104 / 767 » Dynamic Context Logic |
129
Voted
NGC
2000
Springer
15 years 3 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
108
click to vote
MICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
Large numbers of logical registers can improve performance by allowing fast access to multiple subroutine contexts (register windows) and multiple thread contexts (multithreading)...
133
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discre...
131
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Recently, there has been renewed interest in structured logic arrays due to a number of inherent advantages. However, before they will be more widely adopted, structured logic ...