1054 search results - page 23 / 211 » Translation Validation of System Abstractions |
178
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
119
click to vote
MEMOCODE
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
133
Voted
ICESS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the paper, a portable off-line OCR and bi-linguistic translation system (Chinese to English, English to Chinese)—Electronic Reading Pen (ERPen) is designed and impl...
140
click to vote
LCPC
1994
Springer
15 years 10 months ago
1994
Springer
Data Dependence Abstractions for Loop Transformations Yi-Qing Yang Corinne Ancourt Francois Irigoin Ecole des Mines de Paris/CRI 77305 Fontainebleau Cedex France tractions of prog...
162
click to vote
DT
2000
15 years 5 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...