1837 search results - page 75 / 368 » Abstraction and the C Machine Model |
101
click to vote
ICML
2007
IEEE
16 years 21 days ago
2007
IEEE
Large-scale logistic regression arises in many applications such as document classification and natural language processing. In this paper, we apply a trust region Newton method t...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
IEEEPACT
2008
IEEE
15 years 6 months ago
2008
IEEE
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
103
click to vote
CAV
1998
Springer
15 years 4 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...