6960 search results - page 337 / 1392 » Continuity Analysis of Programs |
145
click to vote
IEEECGIV
2008
IEEE
15 years 11 months ago
2008
IEEE
The focus of this paper is to design a spur gear using an S-shaped transition curve where certain conditions need to be fulfilled such as curvature continuity, shaped parameter etc...
197
click to vote
POPL
2012
ACM
14 years 1 days ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
152
click to vote
AUTONOMICS
2008
ACM
15 years 6 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
165
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
159
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
We present and empirically analyze a machine-learning approach for detecting intrusions on individual computers. Our Winnowbased algorithm continually monitors user and system beh...