7080 search results - page 478 / 1416 » Designing High Integrity Systems Using Aspects |
185
click to vote
FPGA
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a new power saving, high speed FPGA design enhancing a previous SiGe CML FPGA based on the Xilinx 6200 FPGA. The design aims at having a higher performance but...
252
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
130
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
135
click to vote
ICEIS
1999
IEEE
15 years 9 months ago
1999
IEEE
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...
167
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...