Result 1 to 12 of 12 total
Conceptual model for corporate universities (English)
Encyclopedia of Knowledge Management, 112-120 (2011).
1
A didactic procedure for designing power oscillation dampers of FACTS devices. (English)
Simul. Model. Pract. Theory 18, No. 6, 896-909 (2010).
2
A didactic procedure for designing power oscillation dampers of FACTS devices (English)
Simulation Modelling Practice and Theory 18, No. 6, 896-909 (2010).
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).
4
Mammography images restoration by quantum noise reduction and inverse MTF filtering (English)
SIBGRAPI, 180-185 (2009).
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).
6
Design, implementation, and evaluation of a dynamic compilation framework for the YAP system (English)
ICLP, 410-424 (2007).
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).
8
Our experiences with optimizations in Sun’s Java just-in-time compilers. (English)
J. UCS 12, No. 7, 788-810, electronic only (2006).
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).
10
The design and implementation of the YAP compiler: an optimizing compiler for logic programming languages (English)
ICLP, 461-462 (2006).
11
An experimental evaluation of JAVA JIT technology. (English)
J. UCS 11, No. 7, 1291-1309, electronic only (2005).
12
Result 1 to 12 of 12 total