5896 search results - page 912 / 1180 » On Learning with Integral Operators |
108
click to vote
ICCAD
2002
IEEE
16 years 28 days ago
2002
IEEE
Abstract—A robust, efficient, and accurate inductance extraction and simulation tool, INDUCTWISE, is developed and described in this paper. This work advances the state-of-the-ar...
157
click to vote
TLDI
2010
ACM
16 years 28 days ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
130
click to vote
TLDI
2009
ACM
16 years 28 days ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
119
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Relational databases are periodically vacuumed to remove tuples that have expired. During the discovery phase of litigation, plaintiffs ask defendants for access to information re...
133
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
To protect privacy in large systems, users must be able to authenticate against a central server without disclosing their identity to the network. Private identification protocols ...