Sciweavers

5387 search results - page 443 / 1078
» Generating generic functions
Sort
View
QUESTA
2007
117views more  QUESTA 2007»
15 years 6 months ago
Analyzing a degenerate buffer with general inter-arrival and service times in discrete time
We present the queueing analysis of a degenerate buffer having access to a single server. This system cannot realize any given delay, but only values that are an integer multiple ...
Wouter Rogiest, Koenraad Laevens, Joris Walraevens...
NA
2010
74views more  NA 2010»
15 years 5 months ago
Inverse product Toeplitz preconditioners for non-Hermitian Toeplitz systems
In this paper, we first propose product Toeplitz preconditioners (in an inverse form) for non-Hermitian Toeplitz matrices generated by functions with zeros. Our inverse product-ty...
Fu-Rong Lin, Michael K. Ng
EUROCRYPT
2011
Springer
14 years 10 months ago
Implementing Gentry's Fully-Homomorphic Encryption Scheme
We describe a working implementation of a variant of Gentry’s fully homomorphic encryption scheme (STOC 2009), similar to the variant used in an earlier implementation effort b...
Craig Gentry, Shai Halevi
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 10 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
ICML
2004
IEEE
16 years 7 months ago
Relational sequential inference with reliable observations
We present a trainable sequential-inference technique for processes with large state and observation spaces and relational structure. Our method assumes "reliable observation...
Alan Fern, Robert Givan