Search Results for Semantics.

13.

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Yazar

Damiani, Ernesto. editor.

https://doi.org/10.1007/978-3-319-94135-6

Format:

Electronic Resources

Alıntı:

-- A Cloud-based Service for the Visualization and Monitoring of Factories -- An Operational Semantics

14.

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor.

https://doi.org/10.1007/978-3-319-71237-6

Format:

Electronic Resources

Alıntı:

: Maintaining the ORDER -- Semantics -- A Computational Interpretation of Context-Free Expressions -- Partiality

15.

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905

https://doi.org/10.1007/978-3-319-66107-0

Format:

Electronic Resources

Alıntı:

Memory-Aware Verified C Compiler Using Pointer as Integer Semantics -- Formal Verification of a Floating-Point

16.

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Yazar

Falcone, Yliès. editor.

http://dx.doi.org/10.1007/978-3-319-46982-9

Format:

Electronic Resources

Alıntı:

Specifications with Counting Semantics -- Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals

17.

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

Yazar

Kunkel, Julian M. editor.

http://dx.doi.org/10.1007/978-3-319-20119-1

Format:

Electronic Resources

Alıntı:

-- Dynamically Adaptable I/O Semantics for High Performance Computing -- Predicting Performance of Non-contiguous

18.

Computer and Network Security Essentials

Yazar

Daimi, Kevin. editor.

https://doi.org/10.1007/978-3-319-58424-9

Format:

Electronic Resources

Alıntı:

APPLICATIONS -- Chapter 25. Generic Semantics Specification and Processing for Inter-System Information Flow

19.

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Yazar

Träff, Jesper Larsson. editor.

http://dx.doi.org/10.1007/978-3-662-48096-0

Format:

Electronic Resources

Alıntı:

Task Parallelism with Library-Semantics-Aware Compilation -- Data Layout Optimization for Portable

20.

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

Yazar

Dingel, Juergen. editor.

http://dx.doi.org/10.1007/978-3-319-11653-2

Format:

Electronic Resources

Alıntı:

State-Based Holonic Modular Units -- Semantic Model Differencing Utilizing Behavioral Semantics Specifications

	{displayName}	{count}
{error}