3028 search results - page 344 / 606 » Integrating Temporal Logics |
163
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
185
click to vote
ILP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
208
click to vote
VLSID
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose a timing-oriented logic optimization technique called Generalized De Morgan (GDM) transform, that integrates gate resizing, net buffering and De Morgan transformation. ...
200
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Novel methodology and algorithms to seamlessly integrate logic synthesis and physical placement through a transformational approach are presented. Contrary to most placement algor...
203
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...