Bibliothek

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • 2010-2014  (2)
  • 1985-1989  (4)
  • 1965-1969  (8)
  • 1945-1949  (2)
  • 1930-1934
  • 1850-1859
  • 1840-1849
  • 1830-1839
  • 1810-1819
  • 2013  (2)
  • 1968  (8)
  • 1949
  • 1946  (2)
  • 1930
  • Unbestimmte Sprache  (10)
  • Japanisch  (2)
Datenquelle
Materialart
Erscheinungszeitraum
Jahr
Person/Organisation
Sprache
  • 1
    facet.materialart.
    Unbekannt
    制約整数計画ソルバ SCIP の並列化 (2013)
    Details
    Publikationsdatum: 2023-04-17
    Beschreibung: 制約整数計画(CIP: Constraint Integer Programming)は，制約プログラミング(CP: Constraint Programming)，混合整数計画(MIP: Mixed Integer Programming), 充足可能性問題(SAT: Satisfiability Problems)の研究分野におけるモデリング技術と解法を統合している．その結果，制約整数計画は，広いクラスの最適化問題を扱うことができる．SCIP (Solving Constraint Integer Programs)は，CIPを解くソルバとして実装され,Zuse Institute Berlin (ZIB)の研究者を中心として継続的に拡張が続けられている．本論文では，著者らによって開発されたSCIP に対する2種類の並列化拡張を紹介する． 一つは，複数計算ノード間で大規模に並列動作するParaSCIP である． もう一つは，複数コアと共有メモリを持つ１台の計算機上で(スレッド)並列で動作するFiberSCIP である． ParaSCIP は，HLRN IIスーパーコンピュータ上で， 一つのインスタンスを解くために最大7,168 コアを利用した動作実績がある．また，統計数理研究所のFujitsu PRIMERGY RX200S5上でも，最大512コアを利用した動作実績がある．統計数理研究所のFujitsu PRIMERGY RX200S5上 では，これまでに最適解が得られていなかったMIPLIB2010のインスタンスであるdg012142に最適解を与えた．
    Beschreibung: The paradigm of Constraint Integer Programming (CIP) combines modeling and solving techniques from the fields of Constraint Programming (CP), Mixed Integer Programming (MIP) and Satisfiability Problems (SAT). The paradigm allows us to address a wide range of optimization problems. SCIP is an implementation of the idea of CIP and is now continuously extended by a group of researchers centered at Zuse Institute Berlin (ZIB). This paper introduces two parallel extensions of SCIP. One is ParaSCIP, which is intended to run on a large scale distributed memory computing environment, and the other is FiberSCIP, intended to run on shared memory computing environments. ParaSCIP has successfully been run on the HLRN II supercomputer utilizing up to 7,168 cores to solve a single difficult MIP. It has also been tested on an ISM supercomputer (Fujitsu PRIMERGY RX200S5 using up to 512 cores). The previously unsolved instance dg012142 from MIPLIB2010 was solved by using the ISM supercomputer.
    Sprache: Japanisch
    Materialart: reportzib , doc-type:preprint
    Format: application/pdf
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    OPUS
  • 2
    facet.materialart.
    Unbekannt
    制約整数計画ソルバ SCIP の並列化 (2013)
    Details
    Publikationsdatum: 2023-05-04
    Beschreibung: 制約整数計画（CIP: Constraint Integer Programs）は，制約プログラミング（CP: Constraint Programming），混合整数計画（MIP: Mixed Integer Programming），充足可能性問題（SAT: Satisfability Problem）の研究分野におけるモデリング技術と解法を統合している．その結果，制約整数計画は，広いクラスの最適化問題を扱うことができる．SCIP（Solving Constraint Integer Programs）は，CIP を解くソルバとして実装され，Zuse Institute Berlin（ZIB）の研究者を中心として継続的に拡張が続けられている．本論文では，著者らによって開発された SCIP に対する2 種類の並列化拡張を紹介する．一つは，複数計算ノード間で大規模に並列動作する ParaSCIPである．もう一つは，複数コアと共有メモリを持つ 1 台の計算機上で（スレッド）並列で動作する FiberSCIP である．ParaSCIP は，HLRN II スーパーコンピュータ上で，一つのインスタンスを解くために最大 7,168 コアを利用した動作実績がある．また，統計数理研究所の Fujitsu PRIMERGY RX200S5 上でも，最大 512 コアを利用した動作実績がある．統計数理研究所のFujitsu PRIMERGY RX200S5 上では，これまでに最適解が得られていなかった MIPLIB2010のインスタンスである dg012142 に最適解を与えた．
    Beschreibung: The paradigm of constraint integer programming (CIP) combines modeling and solving techniques from the fields of constraint programming (CP), mixed-integer programming (MIP) and　satisfability problem (SAT). This paradigm allows us to address a wide　range of optimization problems. SCIP is an implementation of the idea of CIP and is now being continuously extended by a group of researchers centered at Zuse Institute Berlin (ZIB). This paper introduces two parallel extensions of SCIP. One is ParaSCIP, which is intended to run on a large scale distributed memory computing environment, and the other is FiberSCIP, intended to run on a shared memory computing environment. ParaSCIP has been run successfully on the HLRN II supercomputer utilizing up to 7,168 cores to solve a single difficult MIP. It has also been tested on an ISM supercomputer (Fujitsu PRIMERGY RX200S5 using up to 512 cores). The previously unsolved instance dg012142 from MIPLIB2010 was solved by using the ISM supercomputer.
    Sprache: Japanisch
    Materialart: article , doc-type:article
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    OPUS
  • 3
    Zeitschrift/Serie
    Zeitschrift/Serie
    Nachrichtentechnische Zeitschrift : NTZ ; Zeitschrift für Informationstechnik u. Telekommunikation ; Organ der Nachrichtentechnischen Gesellschaft im VDE (ab 1955-1995)
    Berlin :VDE-Verl., ; 8.1955,10 - 40.1987,2; 40.1987,6 - 48.1995,2
    Details
    Titel: Nachrichtentechnische Zeitschrift : NTZ ; Zeitschrift für Informationstechnik u. Telekommunikation ; Organ der Nachrichtentechnischen Gesellschaft im VDE
    Beteiligte Person(en): Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Verlag: Berlin :VDE-Verl.,
    Erscheinungsjahr: 1955-1995
    Erscheinungsverlauf: 8.1955,10 - 40.1987,2; 40.1987,6 - 48.1995,2
    ISSN: 0027-707X
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Vorheriger Titel: Vorg. ---〉:Fernmeldetechnische Zeitschrift
    Nachfolgender Titel: 40.1987,3-5 u. Forts. ---〉:NTZ
    Anmerkung: Mikro-Elektronik
    Suppl.: Beih. ---〉:Nachrichtentechnische Fachberichte
    Suppl.: Index 1/10=11 von:Nachrichtentechnische Fachberichte
    Paralleltitel: CD-ROM-Ausg. 1994 - 1995 ---〉:Elektronisches Zeitschriftenarchiv
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 4
    Zeitschrift/Serie
    Zeitschrift/Serie
    Annual review in automatic programming (ab 1960-1995)
    Oxford [u.a.] :Pergamon Press, ; 1.1960 - 19.1995
    Details
    Titel: Annual review in automatic programming
    Verlag: Oxford [u.a.] :Pergamon Press,
    Erscheinungsjahr: 1960-1995
    Erscheinungsverlauf: 1.1960 - 19.1995
    ISSN: 0066-4138
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Nachfolgender Titel: Forts. ---〉:Annual reviews in control
    Suppl.: 1=3; 2=6, 3=11, 4=12; 5=13,2 von:International tracts in computer science and technology and their application
    Suppl.: 8=7; 9,2/3=8; 10=10; 11=11; 13,1=13; 14,1=15 von:Real time programming
    Suppl.: 12,1-12,2=2 von:Systems analysis and simulation
    Suppl.: 13,2=5 von:Control applications of nonlinear programming and optimization
    Paralleltitel: Internetausg. ---〉:Annual reviews in control
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 5
    Zeitschrift/Serie
    Zeitschrift/Serie
    SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages of the Association for Computing Machinery (ab 1966-1991)
    New York, NY :ACM, ; 1.1966 - 26.1991,9u.11
    Details
    Titel: SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages of the Association for Computing Machinery
    Autor: Association for Computing Machinery / Special Interest Group on Programming Languages
    Verlag: New York, NY :ACM,
    Erscheinungsjahr: 1966-1991
    Erscheinungsverlauf: 1.1966 - 26.1991,9u.11
    ISSN: 0362-1340
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Nachfolgender Titel: 26.1991,10 u. Forts. ---〉:Association for Computing Machinery / Special Interest Group on Programming Languages: ACM SIGPLAN notices
    Suppl.: 6,2=1971 von:Symposium on Data Structures in Programming Languages: Proceedings of a Symposium on Data Structures in Programming Languages
    Suppl.: 17,4=10,2; 22,10=15,5; 24,spec.iss.=17,2; 26,4=19,2 von:Computer architecture news
    Suppl.: 21,10=1986 von:Workshop on Object Oriented Programming: Transcript
    Suppl.: 11,6=10,1 von:Computer graphics
    Suppl.: 16,6=2,1/2 von:Association for Computing Machinery / Special Interest Group on Office Automation: SIGOA newsletter
    Suppl.: 14,8=1979; 17,6=1982; 19,6=1984; 21,7=1986 von:Symposium on Compiler Construction: Proceedings of the SIGPLAN Symposium on Compiler Construction
    Suppl.: 20,7=1985 von:Symposium on Language Issues in Programming Environments: Proceedings of the ACM SIGPLAN ... Symposium on Language Issues in Programming Environments
    Suppl.: 19,5=1; 22,1=2; 24,2=3 von:Software Engineering Symposium on Practical Software Development Environments: Proceedings of the ACM SIGSOFT SIGPLAN Software Engineering Symposium on Practical Software Development Environments
    Suppl.: 22,10=2; 24,spec.iss.=3 von:International Conference on Architectural Support for Programming Languages and Operating Systems: Proceedings
    Suppl.: 23,7=1988; 24,7=1989; 25,6=1990 von:Conference on Programming Language Design and Implementation: Proceedings of the SIGPLAN ... Conference on Programming Language Design and Implementation
    Suppl.: 21,11=1; 22,12=2; 23,11=3; 24,10=4 von:OOPSLA: Conference proceedings
    Suppl.: 22,10=21,4; 24,spec.iss.=23,spec.iss.; 26,4=25,spec.iss. von:Operating systems review
    Suppl.: 17,4=1982 von:Symposium on Architectural Support for Programming Languages and Operating Systems: Proceedings
    URL: 5.1970 - 34.1999: Contents; 35.2000 -: Volltexte
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 6
    Buch
    Buch
    Elektronische Rechenanlagen : Informationstechnik: Computer, Systeme, Anwendungen (1959-1985)
    München ; Wien :Oldenbourg, ; 1.1959 - 16.1974,5; 27.1985
    Details
    Titel: Elektronische Rechenanlagen : Informationstechnik: Computer, Systeme, Anwendungen
    Beteiligte Person(en): Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Verlag: München ; Wien :Oldenbourg,
    Erscheinungsjahr: 1959-1985
    Erscheinungsverlauf: 1.1959 - 16.1974,5; 27.1985
    ISSN: 0013-5720
    Materialart: Buch
    Sprache: Unbestimmte Sprache
    Nachfolgender Titel: 16.1974,6 - 26.1984 ---〉:Elektronische Rechenanlagen mit Computer-Praxis
    Nachfolgender Titel: Forts. ---〉:Informationstechnik
    Suppl.: Beil. ---〉:Computer-Praxis
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 7
    Zeitschrift/Serie
    Zeitschrift/Serie
    Computer-Praxis : CP ; Notizen u. Berichte aus d. Datenverarbeitung (ab 1968-1974)
    München :Oldenbourg, ; 1.1968 - 7.1974
    Details
    Titel: Computer-Praxis : CP ; Notizen u. Berichte aus d. Datenverarbeitung
    Verlag: München :Oldenbourg,
    Erscheinungsjahr: 1968-1974
    Erscheinungsverlauf: 1.1968 - 7.1974
    ISSN: 0010-4663
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Nachfolgender Titel: Forts. ---〉:Elektronische Rechenanlagen mit Computer-Praxis
    Suppl.: Beil. zu ---〉:Elektronische Rechenanlagen
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 8
    Zeitschrift/Serie
    Zeitschrift/Serie
    IBM-Nachrichten / (ab 1951-1972)
    Sindelfingen b. Stuttgart :IBM, ; 1.1951 - 22.1972,Febr. = Nr. 104-209
    Details
    Titel: IBM-Nachrichten /
    Autor: Internationale Büro-Maschinen-Gesellschaft Deutschland 〈Sindelfingen〉
    Verlag: Sindelfingen b. Stuttgart :IBM,
    Erscheinungsjahr: 1951-1972
    Erscheinungsverlauf: 1.1951 - 22.1972,Febr. = Nr. 104-209
    ISSN: 0018-8662
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Vorheriger Titel: Vorg. ---〉:Hollerith-Nachrichten
    Nachfolgender Titel: Forts. ---〉:IBM Deutschland GmbH 〈Stuttgart〉: IBM-Nachrichten
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 9
    Zeitschrift/Serie
    Zeitschrift/Serie
    Elektronische Datenverarbeitung : Fachberichte über programmgesteuerte Maschinen u. ihre Anwendung = Electronic data processing (ab 1959-1970)
    Braunschweig ; Wisbaden :Vieweg, ; [1.1959] -[2.]1960 = F. 1-8; [3.]1961 = H. 1-6=F.9-14; [4.]1962 - [5.]1963,1; 5.1963,2 - 12.1970
    Details
    Titel: Elektronische Datenverarbeitung : Fachberichte über programmgesteuerte Maschinen u. ihre Anwendung = Electronic data processing
    Verlag: Braunschweig ; Wisbaden :Vieweg,
    Erscheinungsjahr: 1959-1970
    Erscheinungsverlauf: [1.1959] -[2.]1960 = F. 1-8; [3.]1961 = H. 1-6=F.9-14; [4.]1962 - [5.]1963,1; 5.1963,2 - 12.1970
    ISSN: 0374-3012
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Nachfolgender Titel: Forts. ---〉:Angewandte Informatik
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 10
    Zeitschrift/Serie
    Zeitschrift/Serie
    IEEE transactions on computers : a publication of the IEEE Computer Society (ab 1968)
    Los Alamitos, Calif. :IEEE Computer Soc., ; 17.1968 -
    Details
    Titel: IEEE transactions on computers : a publication of the IEEE Computer Society
    Autor: Institute of Electrical and Electronics Engineers / Computer Group
    Beteiligte Person(en): Computer Society
    Verlag: Los Alamitos, Calif. :IEEE Computer Soc.,
    Erscheinungsjahr: 1968
    Erscheinungsverlauf: 17.1968 -
    ISSN: 0018-9340
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Vorheriger Titel: Vorg. ---〉:Institute of Electrical and Electronics Engineers: IEEE transactions on electronic computers
    Anmerkung: Abstracts of current computer literature , Einzelne Hefte auch als Special issue bez.; Zählung bis 36 z.B.: C36
    Suppl.: 19=1; 22=2 von:Symposium on Computer Arithmetic: Symposium on Computer Arithmetic
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 11
    Zeitschrift/Serie
    Zeitschrift/Serie
    ¬Die¬ Zeit 〈Hamburg〉 : Wochenzeitung für Politik, Wirtschaft, Medien und Kultur (ab 1946)
    Hamburg :Zeitverl. Gerd Bucerius, ; 1.1946,1(21.Febr.) -
    Details
    Titel: ¬Die¬ Zeit 〈Hamburg〉 : Wochenzeitung für Politik, Wirtschaft, Medien und Kultur
    Verlag: Hamburg :Zeitverl. Gerd Bucerius,
    Erscheinungsjahr: 1946
    Erscheinungsverlauf: 1.1946,1(21.Febr.) -
    ISSN: 0044-2070
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Anmerkung: Canada ed.; USA ed.; ungezählte Beil.: Leben , Periodizität: wöchentl. , Brit. Lizenz: Nr. 6; ZKZ: 7451; EAN: 4390745105006 , Marion Gräfin Dönhoff, Helmut Schmidt, Theo Sommer
    Suppl.: Index ---〉:Zeitungs-Index
    Suppl.: Beil. ---〉:Chrismon
    Suppl.: Beil. ---〉:Paper news
    Paralleltitel: CD-ROM-Ausg. ---〉:¬Die¬ Zeit 〈Hamburg〉
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 12
    Zeitschrift/Serie
    Zeitschrift/Serie
    Elemente der Mathematik : eine Zeitschrift der Schweizerischen Mathematischen Gesellschaft = Revue de mathÂematiques ÂelÂementaires = Rivista di matematica elementare (ab 1946)
    Basel [u.a.] ; Berlin :Birkhäuser, | Basel Birkhäuser 1946-1958 | Basel ; Berlin Birkhäuser 1959-1996 ; 1.1946 -
    Details
    Titel: Elemente der Mathematik : eine Zeitschrift der Schweizerischen Mathematischen Gesellschaft = Revue de mathÂematiques ÂelÂementaires = Rivista di matematica elementare
    Verlag: Basel [u.a.] ; Berlin :Birkhäuser, , Basel Birkhäuser 1946-1958 , Basel ; Berlin Birkhäuser 1959-1996
    Erscheinungsjahr: 1946
    Erscheinungsverlauf: 1.1946 -
    ISSN: 0013-6018
    Materialart: Zeitschrift/Serie
    Sprache: Unbestimmte Sprache
    Vorheriger Titel: Ab 47.1992 ohne Parallelsacht
    Anmerkung: Verein Schweizerischer Mathematiklehrer
    Paralleltitel: Internetausg. ---〉:Elemente der Mathematik
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...