1638 search results - page 230 / 328 » Properties of input-consuming derivations |
115
click to vote
ICRA
2008
IEEE
16 years 26 days ago
2008
IEEE
— The control approaches based on tasks, and particularly based on a hierarchy of tasks, enable to build complex behaviors with some nice properties of robustness and portability...
145
click to vote
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
161
click to vote
LICS
2008
IEEE
16 years 25 days ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
187
click to vote
RTAS
2008
IEEE
16 years 25 days ago
2008
IEEE
A hybrid scheduling algorithm is proposed, which integrates features of the Fixed Priority (FP) and Earliest Deadline First (EDF) scheduling policies. It is shown that this hybrid...
160
click to vote
BIBM
2007
IEEE
16 years 24 days ago
2007
IEEE
The amino acid sequence of a protein is the key to understanding its structure and ultimately its function in the cell. This paper addresses the fundamental issue of encoding amin...