3513 search results - page 193 / 703 » Super Logic Programs |
263
Voted
COMPSAC
2011
IEEE
14 years 6 months ago
2011
IEEE
197
click to vote
ICCAD
2009
IEEE
15 years 4 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...
218
click to vote
STEP
2005
IEEE
16 years 18 days 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...
180
Voted
ISPA
2005
Springer
16 years 16 days 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...
220
click to vote
CADE
1992
Springer
15 years 11 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...