Výsledky vyhledávání - 005 Computer programming

A Static Assignment Algorithm of Uniform Jobs to Workers in a User-PC Computing System Using Simultaneous Linear Equations Autor Zhou, Xudong, Funabiki, Nobuo, Htet, Hein, Kamoyedji, Ariel, Anggraini, Irin Tri, Huo, Yuanzhi, Syaifudin, Yan Watequlis

“… It uses idling resources of personal computers (PCs) in a group. The job-worker assignment for minimizing makespan is critical to determine the performance of the UPC system…”
Získat plný text

Garamon: A Geometric Algebra Library Generator Autor Breuils, Stéphane, Nozick, Vincent, Fuchs, Laurent

“…This paper presents both a recursive scheme to perform Geometric Algebra operations over a prefix tree, and Garamon, a C++ library generator implementing these…”
Získat plný text

Mapping Entity Sets in News Archives Across Time Autor Duan, Yijun, Jatowt, Adam, Bhowmick, Sourav S., Yoshikawa, Masatoshi

“… This allows performing entity-oriented mapping between different times. We introduce an effective method to solve the aforementioned task based on a concise integer linear programming framework…”
Získat plný text

ADIOS 2: The Adaptable Input Output System. A framework for high-performance data management Autor Godoy, William F., Podhorszki, Norbert, Wang, Ruonan, Atkins, Chuck, Eisenhauer, Greg, Gu, Junmin, Davis, Philip, Choi, Jong, Germaschewski, Kai, Huck, Kevin, Huebl, Axel, Kim, Mark, Kress, James, Kurc, Tahsin, Liu, Qing, Logan, Jeremy, Mehta, Kshitij, Ostrouchov, George, Parashar, Manish, Poeschel, Franz, Pugmire, David, Suchyta, Eric, Takahashi, Keichi, Thompson, Nick, Tsutsumi, Seiji, Wan, Lipeng, Wolf, Matthew, Wu, Kesheng, Klasky, Scott

“…We present ADIOS 2, the latest version of the Adaptable Input Output (I/O) System. ADIOS 2 addresses scientific data management needs ranging from scalable I/O in supercomputers, to data analysis in personal computer and cloud systems…”
Získat plný text

Packing of arborescences with matroid constraints via matroid intersection Autor Csaba Király, Zoltán Szigeti, Shin-ichi Tanigawa

Získat plný text

Design and implementation of a framework for building distributed smart object systems Autor Kawsar, Fahim, Nakajima, Tatsuo, Park, Jong Hyuk, Yeo, Sang-Soo

Získat plný text

A portable toolkit for supporting end-user personalization and control in context-aware applications Autor Kawsar, Fahim, Fujinami, Kaori, Nakajima, Tatsuo, Park, Jong Hyuk, Yeo, Sang-Soo

“…A context-aware application in the pervasive computing environment provides intuitive user centric services using implicit context cues. Personalization and…”
Získat plný text

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Autor European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint…”
Získat plný text

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning Autor Riguzzi, Fabrizio

“…Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory…”
Získat plný text

Developing Graphics Frameworks with Python and OpenGL Autor Stemkoski, Lee, Pascale, Michael

“… The authors explain the foundational theoretical concepts as well as the practical programming techniques that will enable you to create your own animated and interactive computer-generated worlds…”
Získat plný text

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings Autor European Symposium on Programming, Sergey, Ilya, European Conferences on Theory and Practice of Software

“…This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint…”
Získat plný text

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings Autor Muller, Peter

“…This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European…”
Získat plný text

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings Autor Caires, Luís

Získat plný text

Delaunay Mesh Generation Autor Cheng, Siu-Wing, Dey, Tamal K, Shewchuk, Jonathan

“…Written by authors at the forefront of modern algorithms research, this book demonstrates the power and versatility of Delaunay meshers in tackling complex…”
Získat plný text

Abstractions of non-interference security: probabilistic versus possibilistic Autor Hoang, Thai Son, McIver, Annabelle K., Meinicke, Larissa, Morgan, Carroll C., Sloane, Anthony, Susatyo, Enrico

“… Subsequent work (McIver et al., Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II, 2010…”
Získat plný text

Behavioural Types: From Theory to Tools Autor Gay, Simon, Ravara, António

“…Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing…”
Získat plný text

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Autor Ahmed, Amal

“…This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences…”
Získat plný text

Compiler optimization correctness by temporal logic Autor Lacey, David, Jones, Neil D., Van Wyk, Eric, Frederiksen, Carl Christian

Získat plný text

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings Autor Johnsen, Einar Broch, Wimmer, Manuel

“…This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was…”
Získat plný text

Mathematical Aspects of Logic Programming Semantics Autor Hitzler, Pascal, Seda, Anthony

“… programming and connectionist systems/neural networks…”
Získat plný text