Bilaketaren emaitzak - international simulation program ((program java) OR (program jom)) https

1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Argitaratua 2012

Aurkibidea: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
Testu osoa

Baliabide elektronikoa eBook

2

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Argitaratua 2008

Aurkibidea: “... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”
Testu osoa

Baliabide elektronikoa eBook

3

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Argitaratua 2006

Aurkibidea: “... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...”
Testu osoa

Baliabide elektronikoa eBook

4

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Argitaratua 2006

Aurkibidea: “... to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models...”
Testu osoa

Baliabide elektronikoa eBook

5

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA...

Argitaratua 2006

Aurkibidea: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Testu osoa

Baliabide elektronikoa eBook

6

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Argitaratua 2006

Aurkibidea: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
Testu osoa

Baliabide elektronikoa eBook

7

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...”
Testu osoa

Baliabide elektronikoa eBook

8

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Argitaratua 2005

Aurkibidea: “... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...”
Testu osoa

Baliabide elektronikoa eBook

9

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Argitaratua 2014

Aurkibidea: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Testu osoa

Baliabide elektronikoa eBook

10

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /

Argitaratua 2010

Aurkibidea: “... -- Closing the Gap between Modelling and Java....”
Testu osoa

Baliabide elektronikoa eBook

11

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Argitaratua 2010

Aurkibidea: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Testu osoa

Baliabide elektronikoa eBook

12

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...”
Testu osoa

Baliabide elektronikoa eBook

13

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /

Argitaratua 2010

Aurkibidea: “...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”
Testu osoa

Baliabide elektronikoa eBook

14

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Argitaratua 2005

Aurkibidea: “... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”
Testu osoa

Baliabide elektronikoa eBook

15

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Argitaratua 2008

Aurkibidea: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
Testu osoa

Baliabide elektronikoa eBook

16

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Argitaratua 2008

Aurkibidea: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Testu osoa

Baliabide elektronikoa eBook

17

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Argitaratua 2012

Aurkibidea: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Testu osoa

Baliabide elektronikoa eBook

18

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /

Argitaratua 2015

Aurkibidea: “... -- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool...”
Testu osoa

Baliabide elektronikoa eBook

19

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held...

Argitaratua 2010

Aurkibidea: “... -- Formal Analysis and Verification of Self-Healing Systems -- Stochastic Simulation of Graph Transformation...”
Testu osoa

Baliabide elektronikoa eBook

20

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held...

Argitaratua 2008

Aurkibidea: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu