Результаты поиска - international communication ((link extension) OR (line extension)) program language

1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Опубликовано 2006

Оглавление: “... Compiler from ?-Protocol to 2-Move Deniable Zero-Knowledge -- New Extensions of Pairing-Based Signatures...”
Полный текст

Электронный ресурс eКнига

2

Languages and Compilers for Parallel Computing 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers /

Опубликовано 2008

Оглавление: “... Checking -- Languages -- Revisiting SIMD Programming -- Multidimensional Blocking in UPC -- An Experimental...”
Полный текст

Электронный ресурс eКнига

3

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Опубликовано 2007

Оглавление: “...Keynote I -- Compilation Techniques for Partitioned Global Address Space Languages -- Session 1...”
Полный текст

Электронный ресурс eКнига

4

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference...

Опубликовано 2008

Оглавление: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Полный текст

Электронный ресурс eКнига

5

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... Semantic Bus for Autonomic Communication Elements -- Towards a Service Delivery Based on Customer...”
Полный текст

Электронный ресурс eКнига

6

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... of Language -- Arbology: Trees and Pushdown Automata -- Analysis of Communicating Automata -- Regular Papers...”
Полный текст

Электронный ресурс eКнига

7

Advances in Natural Language Processing 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... Semantics Language Resource Based on the Theory of Semantic Fields -- Automatically Extracting Personal Name...”
Полный текст

Электронный ресурс eКнига

8

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

Опубликовано 2012

Оглавление: “...: An Extensible Architecture for Composing Motion Controllers and Planners -- RobotML, a Domain-Specific Language...”
Полный текст

Электронный ресурс eКнига

9

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... on Communication and Collaboration-Viability in Pair Programming – An Empirical Study -- The Collaborative Nature...”
Полный текст

Электронный ресурс eКнига

10

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Полный текст

Электронный ресурс eКнига

11

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings /

Опубликовано 2013

Оглавление: “...Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract...”
Полный текст

Электронный ресурс eКнига

12

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS...

Опубликовано 2010

Оглавление: “... Extension to the ?-Calculus -- Timed and Hybrid Automata -- Fuzzy-Timed Automata -- Model Checking of Hybrid...”
Полный текст

Электронный ресурс eКнига

13

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Опубликовано 2008

Оглавление: “... Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space...”
Полный текст

Электронный ресурс eКнига

14

Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop...

Опубликовано 2008

Оглавление: “... Languages -- Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS -- Methodologies...”
Полный текст

Электронный ресурс eКнига

15

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Опубликовано 2015

Оглавление: “... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”
Полный текст

Электронный ресурс eКнига

16

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Опубликовано 2005

Оглавление: “...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”
Полный текст

Электронный ресурс eКнига

17

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”
Полный текст

Электронный ресурс eКнига