893 search results - page 6 / 179 » Environment Assumptions for Synthesis |
TYPES
1993
Springer
13 years 11 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
MICCAI
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Anatomical and functional information of cardiac vasculature is a key component of future developments in the field of interventional cardiology. With the technology of C...
ASIACRYPT
2001
Springer
14 years 3 days ago
2001
Springer
The aim of this article is to propose a fully distributed environment for the RSA scheme. What we have in mind is highly sensitive applications and even if we are ready to pay a pr...
ITC
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
RSP
1999
IEEE
13 years 12 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...