31686 search results - page 67 / 6338 » Resource typing in Guru |
144
click to vote
HIPEAC
2011
Springer
14 years 5 days ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
75
Voted
IJON
2007
15 years 13 days ago
2007
Neural reliability and stochastic synchronization are remarkable features of real neurons with important consequences for neural computation. Both phenomena are general properties...
104
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
116
click to vote
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
114
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...