Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programmed reduction » programme production, programmes education, programmed introduction
reduction https » production https, education https, education http
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programmed reduction » programme production, programmes education, programmed introduction
reduction https » production https, education https, education http
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publicat 2005
Taula de continguts:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”Obtenir text complet
Electrònic
eBook
2
Publicat 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...”Obtenir text complet
Electrònic
eBook
9
Publicat 2007
Taula de continguts:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Obtenir text complet
Electrònic
eBook
10
Publicat 2014
Taula de continguts:
“... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”Obtenir text complet
Electrònic
eBook
11
Publicat 2006
Taula de continguts:
“... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”Obtenir text complet
Electrònic
eBook
12
Publicat 2007
Taula de continguts:
“... Templates for Information Systems: Foundations and Perspectives -- Reduction Based Symbolic Value Partition...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”Obtenir text complet
Electrònic
eBook
14
Publicat 2013
Taula de continguts:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... into Java Environment -- Content-Based Distribution for Load Sharing in Locally Clustered Web Servers -- A...”Obtenir text complet
Electrònic
eBook
16
Publicat 2014
Taula de continguts:
“... -- The Diagonal Reduction Algorithm Using Fast Givens -- Constructing Generalized Bent Functions from Trace Forms...”Obtenir text complet
Electrònic
eBook