730 search results - page 43 / 146 » Security-typed programming within dependently typed programm... |
115
click to vote
WEBDB
1998
Springer
15 years 7 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
117
click to vote
FCCM
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
110
click to vote
PEPM
2009
ACM
15 years 12 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
131
click to vote
CASES
2003
ACM
15 years 8 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
147
click to vote
AMAI
1999
Springer
15 years 2 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...