2273 search results - page 127 / 455 » On the Expressiveness and Complexity of ATL |
ICCD
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a new formalism for layout-driven optimization of datapaths. It is based on preserving an arithmetic bit level representation of the arithmetic circuit portion...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
CRV
2005
IEEE
15 years 3 months ago
2005
IEEE
The problem of elucidating the functional significance of genes is a key challenge of modern science. Solving this problem can lead to fundamental advancements across multiple are...
ECAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Genetic regulatory networks (GRNs) control gene expression and are responsible for establishing the regular cellular patterns that constitute an organism. This paper intr...
102
click to vote
UML
2000
Springer
15 years 1 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...