360 search results - page 52 / 72 » Dependently Typed Programming in Agda |
151
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
148
click to vote
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
In this paper we present a processor microarchitecture that can simultaneously execute multiple threads and has a clustered design for scalability purposes. A main feature of the ...
156
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
180
click to vote
TCS
2008
15 years 5 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
144
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...