Výsledky vyhledávání - "Programming in the large"

Rel: A Programming Language for Relational Data

Autoři: Aref, Molham Guagliardo, Paolo Kastrinis, George a další

Přispěvatelé: Aref, Molham Guagliardo, Paolo Kastrinis, George a další

Zdroj: Companion of the 2025 International Conference on Management of Data. :283-296

Témata: FOS: Computer and information sciences, Relational data model, Computer Science - Programming Languages, Computer Science - Databases, Impedance mismatch, Programming in the large, Query language design, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Relational knowledge graph, Databases (cs.DB), Relational pro- gramming, Graph normal form, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2504.10323

Benders Decomposition on Large-Scale Unit Commitment Problems for Medium-Term Power Systems Simulation

Autoři: A. Taverna

Zdroj: Operations Research Proceedings ISBN: 9783319557014

Témata: 7. Clean energy, unit commitment, power systems, mixed integer linear programming, Benders decomposition, large scale optimization

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-3-319-55702-1_25
https://link.springer.com/openurl?id=doi:10.1007/978-3-319-55702-1_25
https://link.springer.com/chapter/10.1007/978-3-319-55702-1_25
https://dblp.uni-trier.de/db/conf/or/or2016.html#Taverna16
https://hdl.handle.net/2434/469592
https://doi.org/10.1007/978-3-319-55702-1_25
https://www.springer.com/it/book/9783319557014#otherversion=9783319557014

Vehicle Scheduling in Public Transit and Lagrangean Pricing: Vehicle scheduling in public transit and Lagrangean pricing

Autoři: Robert S. Fish Andreas Lobel Robert E. Kraut a další

Zdroj: Management Science. 44:1637-1649

Témata: transportation, Transportation, logistics and supply chain management, Deterministic scheduling theory in operations research, logistics, 0211 other engineering and technologies, linear programming, 02 engineering and technology, Lagrangean relaxation, Traffic problems in operations research, vehicle scheduling, Linear programming, large-scale, Other numerical methods in calculus of variations, 11. Sustainability, Transportation, Logistics, Vehicle Scheduling, Flows In Networks, Linear Programming, Lagrangean Relaxation, Large-Scale, Deterministic network models in operations research, flows in networks

Popis souboru: application/xml

Přístupová URL adresa: https://pubsonline.informs.org/doi/abs/10.1287/mnsc.44.12.1637
https://ideas.repec.org/a/inm/ormnsc/v44y1998i12-part-1p1637-1649.html
https://trid.trb.org/view/501100
https://www.jstor.org/stable/2634699
https://core.ac.uk/display/22389102
https://dl.acm.org/doi/10.5555/767661.767961

BPM-in-the-Large - Towards a higher level of abstraction in Business Process Management

Autoři: Houy, Constantin Fettke, Peter Loos, Peter a další

Přispěvatelé: Houy, Constantin Fettke, Peter Loos, Peter a další

Zdroj: IFIP Advances in Information and Communication Technology ; Joint IFIP TC 8 and TC 6 International Conferences on E-Government, E-Services and Global Processes (EGES) / Global Information Systems Processes (GISP), / Held as Part of World Computer Congress (WCC) ; https://inria.hal.science/hal-01054638 ; Joint IFIP TC 8 and TC 6 International Conferences on E-Government, E-Services and Global Processes (EGES) / Global Information Systems Processes (GISP), / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.233-244, ⟨10.1007/978-3-642-15346-4_19⟩

Témata: Programming-in-the-Large, complexity, abstraction, BPM-in-the-Large, Business Process Management, [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]

Geografické téma: Brisbane, Australia

Dostupnost: https://inria.hal.science/hal-01054638
https://inria.hal.science/hal-01054638v1/document
https://inria.hal.science/hal-01054638v1/file/6_GISP_BPM-in-the-Large.pdf
https://doi.org/10.1007/978-3-642-15346-4_19

A formal description of evolving software systems architectures

Autoři: C. J. P. Lucena P. S. C. Alencar

Zdroj: Science of Computer Programming. 24:41-61

Témata: Theorem prover, Programming in the large, Modal logic, Configuration management, Software evolution, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, Formal languages and automata, 0102 computer and information sciences, 02 engineering and technology, Modal logic (including the logic of norms), 01 natural sciences, Software

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/762128
https://doi.org/10.1016/0167-6423(94)00023-8
https://www.sciencedirect.com/science/article/abs/pii/0167642394000238
https://core.ac.uk/display/81212503
https://dblp.uni-trier.de/db/journals/scp/scp24.html#LucenaA95

Equipment Selection and Machine Scheduling in General Mail Facilities: Equipment selection and machine scheduling in general mail facilities

Autoři: Ahmad I. Z. Jarrah Jonathan F. Bard Anura H. deSilva

Zdroj: Management Science. 40:1049-1068

Témata: large scale systems, Applications of mathematical programming, Mixed integer programming, Deterministic scheduling theory in operations research, postal operations, facility planning, equipment selection, mixed integer linear programming, machine scheduling, large scale systems, postal operations, 0211 other engineering and technologies, Case-oriented studies in operations research, machine scheduling, facility design, 02 engineering and technology

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/711800
https://doi.org/10.1287/mnsc.40.8.1049
https://ideas.repec.org/a/inm/ormnsc/v40y1994i8p1049-1068.html
https://pubsonline.informs.org/doi/10.1287/mnsc.40.8.1049
https://www.jstor.org/stable/pdfplus/2633093.pdf
https://dl.acm.org/doi/10.5555/2827835.2827843
https://EconPapers.repec.org/RePEc:inm:ormnsc:v:40:y:1994:i:8:p:1049-1068

Architectural Reflection: Concepts, Design, and Evaluation

Autoři: Walter Cazzola Andrea Savigni Andrea Sosio a další

Přispěvatelé: Walter Cazzola Andrea Savigni Andrea Sosio a další

Zdroj: http://cazzola.di.unimi.it/pubs/tr-dsi-234-99-www.pdf.

Témata: Programming-in-the-large, Reflection, Software Architecture

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.3243

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.3243
http://cazzola.di.unimi.it/pubs/tr-dsi-234-99-www.pdf

Reverse-Engineering and Configuration Management: Concepts and Perspectives

Autoři: ADELE team The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: ADELE team The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-adele.imag.fr/Les.Publications/intConferences/CAISE1996Fav.pdf.

Témata: Configuration Management, Reverse engineering, Reengineering, Programming-in-the-large Cursus

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.9825

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.9825
http://www-adele.imag.fr/Les.Publications/intConferences/CAISE1996Fav.pdf

THE ADELE-TEMPO experience: an environment to support process modeling and enaction

Autoři: Noureddine Belkhatir Jacky Estublier Walcelio Melo a další

Přispěvatelé: Noureddine Belkhatir Jacky Estublier Walcelio Melo a další

Zdroj: http://www-adele.imag.fr/Les.Publications/bookChapters/TEMPO1994Bel.pdf.

Témata: process modelling, programming-in-the-large, programming-inthe-many, Process-centered Software Engineering Environment, software database, configuration management, trigger, product modelling

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.3937

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.3937
http://www-adele.imag.fr/Les.Publications/bookChapters/TEMPO1994Bel.pdf

Extending Attribute Grammars to Support Programming-in-the-Large

Autoři: Josephine Micallef Gail E. Kaiser The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Josephine Micallef Gail E. Kaiser The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.columbia.edu/~library/TR-repository/reports/reports-1993/cucs-003-93.ps.gz.

Témata: attribute evaluation, attribute grammar, include files, programming-in-the-large, separate compilation

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.6127

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.6127
http://www.cs.columbia.edu/~library/TR-repository/reports/reports-1993/cucs-003-93.ps.gz

Refinement Methodology for Ada: Refinement methodology for Ada

Autoři: Vaclav Rajlich

Zdroj: IEEE Transactions on Software Engineering. :472-478

Témata: bottom-up programming, programming-in-the-large, Ada programs, 0202 electrical engineering, electronic engineering, information engineering, stepwise refinement, General topics in the theory of software, 02 engineering and technology, software design, information hiding principle

Popis souboru: application/xml

Přístupová URL adresa: https://ieeexplore.ieee.org/document/1702238/
https://dblp.uni-trier.de/db/journals/tse/tse13.html#Rajlich87
https://www.computer.org/csdl/trans/ts/1987/04/01702238.html

Nonlinear optimization techniques applied to combinatorial optimization problems

Autoři: Wiegele, Angelika Rendl, Franz Nowak, Christine a další

Přispěvatelé: Wiegele, Angelika Rendl, Franz Nowak, Christine a další

Témata: Semidefinite Programming, Combinatorial Optimization, large-scale problems, bundle-methods, Max-Cut problem, Maximaler-Schnitt-Problem, Kombinatorische Optimierung, Semidefinite Programmierung, kombinatorische Optimierung, large-scale Probleme, Bündelmethoden, Max-Cut Problem, Nichtlineare Optimierung

Přístupová URL adresa: https://netlibrary.aau.at/id/2409985
https://resolver.obvsg.at/urn:nbn:at:at-ubk:1-3405

An Enhanced Decomposition Algorithm for Multistage Stochastic Hydroelectric Scheduling

Autoři: Morton, David P. Naval Postgraduate School (U.S.) Operations Research

Přispěvatelé: Morton, David P. Naval Postgraduate School (U.S.) Operations Research

Témata: Stochastic Programming, Hydroelectric Scheduling, Large-Scale Systems, HYDROELECTRICITY, 7. Clean energy

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/10945/29272

Methoden zur Modellierung und Ausführung kontextbezogener Workflows in Produktionsumgebungen ; Methods for modeling and execution of context-aware workflows in production environments

Autoři: Wieland, Matthias Leymann, Frank (Prof. Dr.)

Přispěvatelé: Wieland, Matthias Leymann, Frank (Prof. Dr.)

Témata: Business Process Execution Language, Prozessmanagement, Programmierung im Großen, Kontextbezogenes System, Produktion, Kontextbezogener Workflow, Kontextintegration, Intelligente Umgebung, Process Management, Programming in the Large, Context-aware System, Production

Time: 004

Popis souboru: application/pdf

Relation: 393941256

Dostupnost: https://doi.org/10.18419/opus-3094
http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-86098
http://elib.uni-stuttgart.de/handle/11682/3111

Eine Definitionssprache für die Kommunikationsverbindungen in verteilten Automatisierungssystemen

Autoři: Drachenfels, Heiko

Témata: automation, Automatisierung, configuration programming, distributed systems, Konfigurations-Programmierung, process communication, Programmieren-im-Großen, programming-in-the-large, Prozeß-Kommunikation, verteilte Systeme

Relation: Informatik-Spektrum: Vol. 20, No. 5; Informatik-Spektrum; https://dl.gi.de/handle/20.500.12116/10503

Dostupnost: https://dl.gi.de/handle/20.500.12116/10503
https://hdl.handle.net/20.500.12116/10503

THE ADELE-TEMPO experience: an environment to support process modeling and enaction.

Autoři: Noureddine Belkhatir Jacky Estublier Walcelio Melo a další

Přispěvatelé: Noureddine Belkhatir Jacky Estublier Walcelio Melo a další

Zdroj: ftp://ftp.imag.fr/pub/ADELE/Promoter-book.ps

Témata: process modelling, programming-in-the-large, programming-inthe-many, Process-centered Software Engineering Environment, software database, configuration management, trigger, product modelling

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.3448

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.3448

Enterprise JavaScript with Jangaroo Using ActionScript 3 for JavaScript ”Programming in the Large”

Autoři: Andreas Gawecki Frank Wienberg The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andreas Gawecki Frank Wienberg The Pennsylvania State University CiteSeerX Archives

Zdroj: http://plastic.host.adobe.com/plastic4.pdf.

Témata: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques, D.2.11 [Software Engineering, Software Architectures, D.3.3 [Programming Languages, Language Constructs and Features – Classes and objects, Frameworks, Inheritance, Modules, packages, D.3.4 [Programming Languages, Processors — Code generation, Compilers, Debuggers, Parsing, Run-time environments Languages, Documentation, Stan- General Terms dardization Keywords JavaScript, ActionScript, RIA, Programming in the large, Browser, Opensource, Flash

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.7497; http://plastic.host.adobe.com/plastic4.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.7497
http://plastic.host.adobe.com/plastic4.pdf

THE ADELE-TEMPO experience: an environment to support process modeling and enaction

Autoři: Noureddine Belkhatir Jacky Estublier Walcelio Melo a další

Přispěvatelé: Noureddine Belkhatir Jacky Estublier Walcelio Melo a další

Zdroj: http://www.mestradoinfo.ucb.br/Prof/wmelo/promoter.book.pdf.

Témata: process modelling, programming-in-the-large, programming-inthe-many, Process-centered Software Engineering Environment, software database, configuration management, trigger, product modelling

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5709; http://www.mestradoinfo.ucb.br/Prof/wmelo/promoter.book.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5709
http://www.mestradoinfo.ucb.br/Prof/wmelo/promoter.book.pdf

Tempo : a process-centered software development environment ; Tempo : un environnement de développement logiciel centré procédés de fabrication

Autoři: Melo Louzada Martins, Walcelio Laboratoire de Génie Informatique (LGI - IMAG) Université Joseph Fourier - Grenoble 1 (UJF)-IMAG-Centre National de la Recherche Scientifique (CNRS) a další

Přispěvatelé: Melo Louzada Martins, Walcelio Laboratoire de Génie Informatique (LGI - IMAG) Université Joseph Fourier - Grenoble 1 (UJF)-IMAG-Centre National de la Recherche Scientifique (CNRS) a další

Zdroj: https://theses.hal.science/tel-00005134 ; Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1993. Français. ⟨NNT : ⟩.

Témata: Software Process, Work environment, Software process evolution, Programming-in-the-large, object with roles, communication Model, Software Engineering Environments, Programming-in-the-many, environnement de travail, evolution des procedes, programmation globale, roles, modele de communication, atelier de genie logiciel, programmation cooperative, processus logiciel, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://theses.hal.science/tel-00005134
https://theses.hal.science/tel-00005134v1/document
https://theses.hal.science/tel-00005134v1/file/tel-00005134.pdf

Designing families of data types using exemplars

Autoři: Lalonde, W. (Wilf)

Zdroj: ACM Transactions on Programming Languages and Systems (TOPLAS) vol. 11 no. 2, pp. 212-248

Témata: Classes, communities of data types, exemplars, exemplary programming, families of data types, inheritance, object-oriented systems, programming-in-the-large

Relation: https://ir.library.carleton.ca/pub/952

Dostupnost: https://ir.library.carleton.ca/pub/952
https://doi.org/10.1145/63264.63265