1941 search results - page 276 / 389 » Reasoning about Computations Using Two-Levels of Logic |
139
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
130
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
115
Voted
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...
157
Voted
ICCTA
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose a placement method for islandstyle FPGAs, based on fast yet very good initial placement followed by refinement using ultra-low temperature Simulated Anne...
124
click to vote
HCI
2009
15 years 1 months ago
2009
For enhancing current driver assistance and information systems with regard to the capability to recognize an individual driver's needs, we conceive a system based on fuzzy lo...