3702 search results - page 181 / 741 » Reducing Misclassification Costs |
114
Voted
DAC
1994
ACM
15 years 9 months ago
1994
ACM
This paper introduces hot potato high level synthesis transformation techniques. These techniques add deflection operations in a computation in such a way that a specific goal is ...
138
click to vote
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not su ciently addresse...
127
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
125
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
Considering that security education needs to train students to deal with security problems in real environments, we developed new media for teaching applied cryptography and networ...
137
Voted
DAC
1995
ACM
15 years 8 months ago
1995
ACM
To save memory, layout-to-circuit extractors that use the Finite-Element Method for resistance extraction usually solve the corresponding set of equations with a frontal solution ...