495 search results - page 8 / 99 » HIDE : A Logic Based Hardware Development Environment |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...
IJIT
2004
13 years 9 months ago
2004
In this paper, we describe a rule-based message passing method to support developing collaborative applications, in which multiple users share resources in distributed environments...
SLOGICA
1998
13 years 7 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
ENTCS
2000
13 years 7 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
ASAP
2002
IEEE
14 years 18 days ago
2002
IEEE
† Introducing FPGA components into DSP system implementations creates an assortment of challenges across system architecture and logic design. Recognizing that some of the greate...