Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming simulation » programming simulating, programming formulation, programming population
simulation https » computation https, education https, migration https
https functional » cots functional, cuts functional, dots functional
functional java » foundational java, functional renal
programming simulation » programming simulating, programming formulation, programming population
simulation https » computation https, education https, migration https
https functional » cots functional, cuts functional, dots functional
functional java » foundational java, functional renal
1
2
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicat 2007
Taula de continguts:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Obtenir text complet
Electrònic
eBook
3
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
4
Publicat 2007
Taula de continguts:
“... Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”Obtenir text complet
Electrònic
eBook
7
Publicat 2014
Taula de continguts:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”Obtenir text complet
Electrònic
eBook
9
Publicat 2010
Taula de continguts:
“... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”Obtenir text complet
Electrònic
eBook
11
Publicat 2012
Taula de continguts:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“..., China -- Emergence of Social Rumor: Modeling, Analysis, and Simulations -- Emergence of Specialization...”Obtenir text complet
Electrònic
eBook
14
Publicat 2007
Taula de continguts:
“... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Obtenir text complet
Electrònic
eBook
16
Publicat 2010
Taula de continguts:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”Obtenir text complet
Electrònic
eBook
20
Publicat 2008
Taula de continguts:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Obtenir text complet
Electrònic
eBook