Search Results for Control engineering.

Understanding Control Flow Concurrent Programming Using μC++

Yazar

Buhr, Peter A. author.

http://dx.doi.org/10.1007/978-3-319-25703-7

Format:

Electronic Resources

Alıntı:

Understanding Control Flow Concurrent Programming Using μC++ / Buhr, Peter A. author.

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

Yazar

Karrenberg, Ralf. author.

http://dx.doi.org/10.1007/978-3-658-10113-8

Format:

Electronic Resources

Alıntı:

Automatic SIMD Vectorization of SSA-based Control Flow Graphs Karrenberg, Ralf. author.

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Yazar

Meyer, Bertrand. editor.

http://dx.doi.org/10.1007/978-3-319-28406-4

Format:

Electronic Resources

Alıntı:

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Yazar

Zsók, Viktória. editor.

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

Format:

Electronic Resources

Alıntı:

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor.

http://dx.doi.org/10.1007/978-3-319-05032-4

Format:

Electronic Resources

Alıntı:

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok

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ı:

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Yazar

Ábrahám, Erika. editor.

http://dx.doi.org/10.1007/978-3-642-54862-8

Format:

Electronic Resources

Alıntı:

Software engineering.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

Software engineering.

	{displayName}	{count}
{error}