1264 search results - page 119 / 253 » Towards Theory Translation |
123
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
In this study, we apply a novel synthesis technique for implementing robust digital computation in nanoscale lattices with random interconnects: percolation theory on random graph...
149
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
147
click to vote
SEMCO
2007
IEEE
16 years 4 days ago
2007
IEEE
— This paper aims to present ideas to bridge the gap between two conflicting views of information: Shannon information, which is used to model physical layer information, and se...
200
click to vote
TAGT
1998
Springer
15 years 10 months ago
1998
Springer
When working with diagrams in visual environments like graphical diagram editors, diagrams have to be represented by an internal model. Graphs and hypergraphs are well-known concep...
141
click to vote
APSEC
2001
IEEE
15 years 9 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...