Suchergebnisse - 005 Computer programming

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

Garamon: A Geometric Algebra Library Generator von 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 …”
Volltext

Mapping Entity Sets in News Archives Across Time von 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 …”
Volltext

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

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

Volltext

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

Volltext

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

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 von 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 …”
Volltext

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

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

Developing Graphics Frameworks with Python and OpenGL von 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 …”
Volltext

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 von 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 …”
Volltext

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 von 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 …”
Volltext

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 von Caires, Luís

Volltext

Abstractions of non-interference security: probabilistic versus possibilistic von 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 …”
Volltext

Behavioural Types: From Theory to Tools von 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 …”
Volltext

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 von 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 …”
Volltext

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

Volltext

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 von 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 …”
Volltext

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

“… programming and connectionist systems/neural networks …”
Volltext

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 von 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 …”
Volltext