2035 search results - page 293 / 407 » On the complexity of stratified logics |
128
click to vote
VLSID
2006
IEEE
16 years 1 months ago
2006
IEEE
With device size shrinking and fast rising frequency ranges, effect of cosmic radiations and alpha particles known as Single-Event-Upset (SEU), Single-Eventtransients (SET), is a ...
113
Voted
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
108
click to vote
ICFP
2008
ACM
16 years 22 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
107
click to vote
ICFP
2005
ACM
16 years 22 days ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
105
Voted
ICFP
2003
ACM
16 years 22 days ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...