3229 search results - page 235 / 646 » Mixing |
122
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
We study the resource calculus – the non-lazy version of Boudol’s λ-calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to ...
156
click to vote
NIME
2001
Springer
15 years 10 months ago
2001
Springer
Over the last four years, we have developed a series of lectures, labs and project assignments aimed at introducing enough technology so that students from a mix of disciplines ca...
132
click to vote
VTS
2000
IEEE
15 years 9 months ago
2000
IEEE
ESIM is a simulation tool that integrates logic fault and design error simulation for logic circuits. It targets several design error and fault models, and uses a novel mix of sim...
148
click to vote
IPPS
1997
IEEE
15 years 9 months ago
1997
IEEE
Branch-and-bound algorithms are general methods applicable to various combinatorial optimization problems and parallelization is one of the most hopeful methods to improve these a...
130
Voted
ICICS
1997
Springer
15 years 9 months ago
1997
Springer
Previous anonymous channels, called MIX nets, do not work if one center stops. This paper shows new anonymous channels which allow less than a half of faulty centers. A fault toler...