Search Results for Algebra.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Yazar

Campos, Javier. editor.

http://dx.doi.org/10.1007/978-3-319-22264-6

Format:

Electronic Resources

Alıntı:

and applications; tools; petri nets, process algebra and fault trees; applications; and queuing

Combinatorial Testing in Cloud Computing

Yazar

Tsai, Wei-Tek. author.

https://doi.org/10.1007/978-981-10-4481-6

Format:

Electronic Resources

Alıntı:

Algebra for Concurrent Combinatorial Testing -- 5. Algebra Execution with Combinatorial Testing -- 6. Test

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

https://doi.org/10.1007/978-3-030-31514-6

Format:

Electronic Resources

Alıntı:

of areas, including process algebra, model checking, probabilistic processes, runtime verification

Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Yazar

Ordonez, Carlos. editor.

https://doi.org/10.1007/978-3-030-27520-4

Format:

Electronic Resources

Alıntı:

BPMN and Relational Algebra -- Accurate Aggregation Query-Result Estimation and Its Efficient

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Yazar

Norman, Gethin. editor.

http://dx.doi.org/10.1007/978-3-319-10696-0

Format:

Electronic Resources

Alıntı:

Algebra -- PALOMA: A Process Algebra for Located Markovian Agents -- On the Discriminating Power of

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

Trees of Malleable Tasks for Sparse Linear Algebra -- Elastic Tasks: Unifying Task Parallelism and SPMD

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}