3005 search results - page 315 / 601 » Logical Information Systems: from Taxonomies to Logics |
165
click to vote
ICFEM
2004
Springer
16 years 4 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...
180
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The argument against ASIC SoCs is that they have always taken too long and cost too much to design. As new process technologies come on line, the issue of inflexible, unyielding d...
176
click to vote
FPL
1999
Springer
15 years 11 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
136
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
188
Voted
JSC
2010
15 years 5 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...