Search Results for Algorithms.

110 sonuç bulundu

Tümünü Seç

1 2 3 4 5 6 .. 10

000000000000DEFAULTTR

37.

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

Yazar

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

https://doi.org/10.1007/978-3-319-92040-5

Format:

Electronic Resources

Alıntı:

-- Parallel Algorithms.

38.

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Yazar

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

https://doi.org/10.1007/978-3-319-61473-1

Format:

Electronic Resources

Alıntı:

following topical sections: transformation paradigms, languages, algorithms and strategies; development of

39.

On Sets and Graphs Perspectives on Logic and Combinatorics

Yazar

Omodeo, Eugenio G. author.

https://doi.org/10.1007/978-3-319-54981-1

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

40.

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

Yazar

Hu, Changjun. editor.

https://doi.org/10.1007/978-981-32-9987-0

Format:

Electronic Resources

Alıntı:

submissions. The papers reflect such topics as computing methodologies; parallel algorithms; simulation types

41.

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

Yazar

Melikyan, Vazgen. author.

https://doi.org/10.1007/978-3-319-71637-4

Format:

Electronic Resources

Alıntı:

, algorithms, and characteristics of software development; Focuses on issues pertaining currently to

42.

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Yazar

Taha, Saleem Mohammed Ridha. author.

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

Format:

Electronic Resources

Alıntı:

universities, companies and government institutions are in a race of developing new methodologies, algorithms

43.

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Yazar

Zeume, Thomas. author.

https://doi.org/10.1007/978-3-662-54314-6

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

44.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Yazar

Majumdar, Rupak. editor.

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

Format:

Electronic Resources

Alıntı:

, with an emphasis on practical verification tools and the algorithms and techniques that are needed for

45.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor.

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

Format:

Electronic Resources

Alıntı:

, with an emphasis on practical verification tools and the algorithms and techniques that are needed for

46.

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation

Yazar

Palchaudhuri, Ayan. author.

http://dx.doi.org/10.1007/978-81-322-2520-1

Format:

Electronic Resources

Alıntı:

of integer arithmetic algorithms where several of the proposed circuits are used as building blocks

47.

Advanced Symbolic Analysis for VLSI Systems Methods and Applications

Yazar

Shi, Guoyong. author.

http://dx.doi.org/10.1007/978-1-4939-1103-5

Format:

Electronic Resources

Alıntı:

estimations of analog circuits subject to process variations; • Presents an application of the DDD algorithm

48.

Transactions on Petri Nets and Other Models of Concurrency XII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-55862-1

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

Tümünü Seç

1 2 3 4 5 6 .. 10

110 sonuç bulundu

	{displayName}	{count}
{error}