1030 search results - page 46 / 206 » Happenings |
185
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Failures of all forms happen: from losing single network packets to site-wide disasters. Since businesses rely heavily on their data, it is imperative that failures require minima...
138
click to vote
IH
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Traditionally, cryptographic protocols are described as a sequence of steps, in each of which one principal sends a message to another. It is assumed that the fundamental...
160
click to vote
ISMIS
1999
Springer
15 years 10 months ago
1999
Springer
Software quality prediction can be cast as a concept learning problem. In this paper, we discuss the full cycle of an application of Machine Learning to software quality predictio...
163
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we propose a new logic synthesis methodology to deal with the increasing importance of the interconnect delay in deepsubmicron technologies. We first show that conv...
157
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...