Sciweavers

425 search results - page 42 / 85
» The TPS Theorem Proving System
Sort
View
ENTCS
2006
142views more  ENTCS 2006»
14 years 9 months ago
Predicate Diagrams for the Verification of Real-Time Systems
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
Eun-Young Kang, Stephan Merz
FCSC
2008
133views more  FCSC 2008»
14 years 9 months ago
Computational origami environment on the web
We present a computing environment for origami on the web. The environment consists of the computational origami engine Eos for origami construction, visualization, and geometrical...
Asem Kasem, Tetsuo Ida
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
14 years 4 months ago
Networked clock synchronization based on second order linear consensus algorithms
In this paper a distributed algorithm for clock synchronization is proposed. This algorithm is based on an extension of the consensus algorithm able to synchronize a family of dou...
Ruggero Carli, Sandro Zampieri
JCT
2008
76views more  JCT 2008»
14 years 9 months ago
Quadruple systems with independent neighborhoods
A 4-graph is odd if its vertex set can be partitioned into two sets so that every edge intersects both parts in an odd number of points. Let b(n) = max n 3 + (n - ) 3 = 1 2 + o...
Zoltán Füredi, Dhruv Mubayi, Oleg Pikh...
LPAR
2005
Springer
15 years 3 months ago
Strong Normalization of the Dual Classical Sequent Calculus
We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s λµ calculus co...
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lesca...