17054 search results - page 322 / 3411 » Logics of Dynamical Systems |
208
click to vote
ICFEM
2005
Springer
16 years 28 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
212
click to vote
CSL
2003
Springer
16 years 20 days ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
167
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
210
click to vote
FSKD
2005
Springer
16 years 29 days ago
2005
Springer
Core operations (e.g. TDMA scheduler, synchronized sleep period, data aggregation) of many proposed protocols for different layer of sensor network necessitate clock synchronizatio...
196
click to vote
SCCC
1998
IEEE
15 years 11 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...