3513 search results - page 193 / 703 » Super Logic Programs |
190
Voted
COMPSAC
2011
IEEE
14 years 3 months ago
2011
IEEE
139
click to vote
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...
149
Voted
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
123
Voted
ISPA
2005
Springer
15 years 9 months ago
2005
Springer
Grid technologies are becoming more and more mature in recent years. In contrast to this trend, the resource measurement landscape in Grids looks rather dismal. As part of ChinaGri...
167
Voted
CADE
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...