10213 search results - page 404 / 2043 » An Experimental Analysis of Parallel |
146
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
- We propose a framework to unify the process of false paths and multi-cycle paths in static timing analysis (STA). We use subgraphs attached with timing constraints to represent f...
119
Voted
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
We present a satisfiability based multi-clock path analysis method. The method uses propositional satisfiability (SAT) in the detection of multi-clock paths. We show a method to re...
142
click to vote
ISTA
2007
15 years 6 months ago
2007
: Exception handling is one of the powerful means of achieving high dependability and fault-tolerance in service-oriented architecture (SOA). The paper introduces the results of ex...
121
click to vote
NIPS
2007
15 years 6 months ago
2007
We study a pattern classification algorithm which has recently been proposed by Vapnik and coworkers. It builds on a new inductive principle which assumes that in addition to pos...
130
click to vote
CAINE
2003
15 years 6 months ago
2003
The increased utilization of the Internet and the larger number of computers connected to it has brought up a significant security problem. Hackers or crackers have attacked compu...