1101 search results - page 124 / 221 » Forcing in proof theory |
95
Voted
RTAS
2010
IEEE
14 years 11 months ago
2010
IEEE
—This article studies the scheduling of critical embedded systems, which consist of a set of communicating periodic tasks with constrained deadlines. Currently, tasks are usually...
109
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
Oblivious transfer is a fundamental primitive in cryptography. While perfect information theoretic security is impossible, quantum oblivious transfer protocols can limit the disho...
101
Voted
SIAMMA
2010
14 years 7 months ago
2010
We consider infinite FPU-type atomic chains with general convex potentials and study the existence of monotone fronts that are heteroclinic travelling waves connecting constant asy...
93
Voted
ACSD
2009
IEEE
15 years 3 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
144
click to vote
CLA
2007
15 years 2 months ago
2007
In this work we want to discuss an algorithm for drawing line diagrams of lattices based on force directed placement (FDP). This widely used technique in graph drawing introduces f...