Search Sciweavers | Sciweavers

2529 search results - page 39 / 506

» The Logical Structure of Binding

click to vote

ASPDAC
1995
ACM

77views Hardware» more ASPDAC 1995»

A scheduling algorithm for synthesis of bus-partitioned architectures

15 years 1 months ago

Download www.cs.york.ac.uk

- Due to efficient interconnect structure and internal parallelism bus-partitioned architectures are very beneficial for sub-micron chip design. This paper presents a new approach ...

Vasily G. Moshnyaga, Fumiaki Ohbayashi, Keikichi T...

claim paper

Read More »

click to vote

WADT
1998
Springer

108views Software Engineering» more WADT 1998»

Moving Specification Structures Between Logical Systems

15 years 2 months ago

Download delta.math.univ.gda.pl

Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...

Tomasz Borzyszkowski

claim paper

Read More »

click to vote

IGPL
1998

97views more IGPL 1998»

Towards Structurally-Free Theorem Proving

14 years 9 months ago

Download www.ime.usp.br

Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...

Marcelo Finger

claim paper

Read More »

click to vote

CORR
2008
Springer

89views Education» more CORR 2008»

Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three

14 years 10 months ago

Download www.dur.ac.uk

We study the model checking problem, for fixed structures A, over positive equality-free first-order logic

Barnaby Martin

claim paper