1729 search results - page 87 / 346 » Deterministic Expressions in C |
111
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
127
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Expressed Sequence Tag (EST) sequences are generally single-strand, single-pass sequences, only 200
106
Voted
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
133
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
130
Voted
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...