Výsledky vyhľadávania - 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ískať 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ískať 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ískať 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ískať plný text

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

Získať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text

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

Získať 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ískať plný text

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

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

Fundamental Approaches to Software Engineering: 24th International Conference, FASE 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 Guerra, Esther, Stoelinga, Mariëlle

“…This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took…”
Získať plný text