5344 search results - page 208 / 1069 » Privacy-Preserving Set Operations |
114
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we research an FPGA based Application Specific Instruction Set Processor (ASIP) tailored to the needs of a flow aware Ethernet access node using a retargetable com...
115
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a semi-Markov model that evaluates the performance of TCP connections with asymmetric Additive Increase and Multiplicative Decrease (AIMD) congestion contro...
124
Voted
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
A cardinality constraint imposes that each value of a set V must be taken a certain number of times by a set of variables X, whereas an among constraint imposes that a certain numb...
110
click to vote
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
133
click to vote
HYBRID
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...