Search Results - 005 Computer programming

A Static Assignment Algorithm of Uniform Jobs to Workers in a User-PC Computing System Using Simultaneous Linear Equations by 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…”
Get full text

Garamon: A Geometric Algebra Library Generator by 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…”
Get full text

Mapping Entity Sets in News Archives Across Time by 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…”
Get full text

ADIOS 2: The Adaptable Input Output System. A framework for high-performance data management by 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…”
Get full text

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

Get full text

A portable toolkit for supporting end-user personalization and control in context-aware applications by 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…”
Get full 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 by 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…”
Get full text

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

“…Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory…”
Get full text

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

Get full text

Developing Graphics Frameworks with Python and OpenGL by 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…”
Get full 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 by 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…”
Get full 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 by 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…”
Get full 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 by Caires, Luís

Get full text

Abstractions of non-interference security: probabilistic versus possibilistic by 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…”
Get full text

Behavioural Types: From Theory to Tools by 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…”
Get full 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 by 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…”
Get full text

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

Get full 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 by 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…”
Get full text

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

“… programming and connectionist systems/neural networks…”
Get full 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 by 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…”
Get full text