2016 search results - page 23 / 404 » Megamaps: Construction and Examples |
154
click to vote
JSC
2002
15 years 4 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
143
click to vote
MST
2007
15 years 3 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
168
click to vote
EJC
2009
15 years 2 months ago
2009
Nowadays more and more Web sites generate Web pages containing client-side scripts such as JavaScript and Flash instead of ordinary static HTML pages. These scripts create dynamic ...
347
click to vote
DAC
2012
ACM
13 years 6 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
128
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
Pencil-and-paper exercises in public-key cryptography are important in learning the subject. It is desirable that a student doing such an exercise does not get the right answer by...