History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 12 of 12 total

Conceptual model for corporate universities (English)
Encyclopedia of Knowledge Management, 112-120 (2011).
WorldCat.org
1
A didactic procedure for designing power oscillation dampers of FACTS devices. (English)
Simul. Model. Pract. Theory 18, No. 6, 896-909 (2010).
WorldCat.org
2
A didactic procedure for designing power oscillation dampers of FACTS devices (English)
Simulation Modelling Practice and Theory 18, No. 6, 896-909 (2010).
WorldCat.org
3
Proof compressions with circuit-structured substitutions. (English)
J. Math. Sci., New York 158, No. 5, 645-658 (2009); reprinted from Zap. Nauchn. Semin. POMI 358, 77-99 (2008).
WorldCat.org
4
Mammography images restoration by quantum noise reduction and inverse MTF filtering (English)
SIBGRAPI, 180-185 (2009).
WorldCat.org
5
Design, implementation, and evaluation of a dynamic compilation framework for the YAP system. (English)
Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8‒13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 410-424 (2007).
WorldCat.org
6
Design, implementation, and evaluation of a dynamic compilation framework for the YAP system (English)
ICLP, 410-424 (2007).
WorldCat.org
7
The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages. (English)
Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17‒20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 461-462 (2006).
WorldCat.org
8
Our experiences with optimizations in Sun’s Java just-in-time compilers. (English)
J. UCS 12, No. 7, 788-810, electronic only (2006).
Classification: C.4 D.3.4
WorldCat.org
9
The design of the yap compiler: an optimizing compiler for logic programming languages. (English)
J. UCS 12, No. 7, 764-787, electronic only (2006).
Classification: C.4 D.3.4
WorldCat.org
10
The design and implementation of the YAP compiler: an optimizing compiler for logic programming languages (English)
ICLP, 461-462 (2006).
WorldCat.org
11
An experimental evaluation of JAVA JIT technology. (English)
J. UCS 11, No. 7, 1291-1309, electronic only (2005).
WorldCat.org
12
first | previous | 1 | next | last

Result 1 to 12 of 12 total

Valid XHTML 1.0 Transitional Valid CSS!