2555 search results - page 137 / 511 » Quantifiers and Working Memory |
121
click to vote
IOLTS
2005
IEEE
15 years 9 months ago
2005
IEEE
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
173
Voted
SPAA
1996
ACM
15 years 7 months ago
1996
ACM
Several recent papers have proposed or analyzed optimal algorithms to route all-to-all personalizedcommunication (AAPC) over communication networks such as meshes, hypercubes and ...
139
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
146
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
150
Voted
EUROSYS
2009
ACM
16 years 19 days ago
2009
ACM
Social networks are popular platforms for interaction, communication and collaboration between friends. Researchers have recently proposed an emerging class of applications that l...