6581 search results - page 223 / 1317 » Formalizing Design Patterns |
118
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...
129
click to vote
KSEM
2007
Springer
15 years 10 months ago
2007
Springer
We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language...
108
Voted
ACSD
2005
IEEE
15 years 9 months ago
2005
IEEE
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
118
Voted
SNPD
2003
15 years 5 months ago
2003
This paper introduces accumulation into list homomorphisms for systematic development of both efficient and correct parallel programs. New parallelizable recursive pattern called...
129
Voted
ASM
2010
ASM
16 years 26 days ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...