Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 2010-2014  (2)
  • 1985-1989  (4)
  • 1965-1969  (8)
  • 1945-1949  (2)
  • 1850-1859
  • 1840-1849
  • 1830-1839
  • 1810-1819
  • 2013  (2)
  • 1968  (8)
  • 1949
  • 1946  (2)
  • 1930
  • Undetermined  (10)
  • Japanese  (2)
Source
Material
Years
Year
Person/Organisation
Language
  • 1
    facet.materialart.
    Unknown
    制約整数計画ソルバ SCIP の並列化 (2013)
    Details
    Publication Date: 2023-04-17
    Description: 制約整数計画(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に最適解を与えた．
    Description: 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.
    Language: Japanese
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 2
    facet.materialart.
    Unknown
    制約整数計画ソルバ SCIP の並列化 (2013)
    Details
    Publication Date: 2023-05-04
    Description: 制約整数計画（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 に最適解を与えた．
    Description: 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.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 3
    Journal/Serial
    Journal/Serial
    Nachrichtentechnische Zeitschrift : NTZ ; Zeitschrift für Informationstechnik u. Telekommunikation ; Organ der Nachrichtentechnischen Gesellschaft im VDE (from 1955-1995)
    Berlin :VDE-Verl., ; 8.1955,10 - 40.1987,2; 40.1987,6 - 48.1995,2
    Details
    Title: Nachrichtentechnische Zeitschrift : NTZ ; Zeitschrift für Informationstechnik u. Telekommunikation ; Organ der Nachrichtentechnischen Gesellschaft im VDE
    Contributer: Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Publisher: Berlin :VDE-Verl.,
    Year of publication: 1955-1995
    Dates of Publication: 8.1955,10 - 40.1987,2; 40.1987,6 - 48.1995,2
    ISSN: 0027-707X
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Fernmeldetechnische Zeitschrift
    Subsequent Title: 40.1987,3-5 u. Forts. ---〉:NTZ
    Note: Mikro-Elektronik
    Additional Information: Beih. ---〉:Nachrichtentechnische Fachberichte
    Additional Information: Index 1/10=11 von:Nachrichtentechnische Fachberichte
    Parallel Title: CD-ROM-Ausg. 1994 - 1995 ---〉:Elektronisches Zeitschriftenarchiv
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 4
    Journal/Serial
    Journal/Serial
    Annual review in automatic programming (from 1960-1995)
    Oxford [u.a.] :Pergamon Press, ; 1.1960 - 19.1995
    Details
    Title: Annual review in automatic programming
    Publisher: Oxford [u.a.] :Pergamon Press,
    Year of publication: 1960-1995
    Dates of Publication: 1.1960 - 19.1995
    ISSN: 0066-4138
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Annual reviews in control
    Additional Information: 1=3; 2=6, 3=11, 4=12; 5=13,2 von:International tracts in computer science and technology and their application
    Additional Information: 8=7; 9,2/3=8; 10=10; 11=11; 13,1=13; 14,1=15 von:Real time programming
    Additional Information: 12,1-12,2=2 von:Systems analysis and simulation
    Additional Information: 13,2=5 von:Control applications of nonlinear programming and optimization
    Parallel Title: Internetausg. ---〉:Annual reviews in control
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 5
    Journal/Serial
    Journal/Serial
    SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages of the Association for Computing Machinery (from 1966-1991)
    New York, NY :ACM, ; 1.1966 - 26.1991,9u.11
    Details
    Title: SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages of the Association for Computing Machinery
    Author: Association for Computing Machinery / Special Interest Group on Programming Languages
    Publisher: New York, NY :ACM,
    Year of publication: 1966-1991
    Dates of Publication: 1.1966 - 26.1991,9u.11
    ISSN: 0362-1340
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: 26.1991,10 u. Forts. ---〉:Association for Computing Machinery / Special Interest Group on Programming Languages: ACM SIGPLAN notices
    Additional Information: 6,2=1971 von:Symposium on Data Structures in Programming Languages: Proceedings of a Symposium on Data Structures in Programming Languages
    Additional Information: 17,4=10,2; 22,10=15,5; 24,spec.iss.=17,2; 26,4=19,2 von:Computer architecture news
    Additional Information: 21,10=1986 von:Workshop on Object Oriented Programming: Transcript
    Additional Information: 11,6=10,1 von:Computer graphics
    Additional Information: 16,6=2,1/2 von:Association for Computing Machinery / Special Interest Group on Office Automation: SIGOA newsletter
    Additional Information: 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
    Additional Information: 20,7=1985 von:Symposium on Language Issues in Programming Environments: Proceedings of the ACM SIGPLAN ... Symposium on Language Issues in Programming Environments
    Additional Information: 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
    Additional Information: 22,10=2; 24,spec.iss.=3 von:International Conference on Architectural Support for Programming Languages and Operating Systems: Proceedings
    Additional Information: 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
    Additional Information: 21,11=1; 22,12=2; 23,11=3; 24,10=4 von:OOPSLA: Conference proceedings
    Additional Information: 22,10=21,4; 24,spec.iss.=23,spec.iss.; 26,4=25,spec.iss. von:Operating systems review
    Additional Information: 17,4=1982 von:Symposium on Architectural Support for Programming Languages and Operating Systems: Proceedings
    URL: 5.1970 - 34.1999: Contents; 35.2000 -: Volltexte
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 6
    Book
    Book
    Elektronische Rechenanlagen : Informationstechnik: Computer, Systeme, Anwendungen (1959-1985)
    München ; Wien :Oldenbourg, ; 1.1959 - 16.1974,5; 27.1985
    Details
    Title: Elektronische Rechenanlagen : Informationstechnik: Computer, Systeme, Anwendungen
    Contributer: Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Publisher: München ; Wien :Oldenbourg,
    Year of publication: 1959-1985
    Dates of Publication: 1.1959 - 16.1974,5; 27.1985
    ISSN: 0013-5720
    Type of Medium: Book
    Language: Undetermined
    Subsequent Title: 16.1974,6 - 26.1984 ---〉:Elektronische Rechenanlagen mit Computer-Praxis
    Subsequent Title: Forts. ---〉:Informationstechnik
    Additional Information: Beil. ---〉:Computer-Praxis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 7
    Journal/Serial
    Journal/Serial
    Computer-Praxis : CP ; Notizen u. Berichte aus d. Datenverarbeitung (from 1968-1974)
    München :Oldenbourg, ; 1.1968 - 7.1974
    Details
    Title: Computer-Praxis : CP ; Notizen u. Berichte aus d. Datenverarbeitung
    Publisher: München :Oldenbourg,
    Year of publication: 1968-1974
    Dates of Publication: 1.1968 - 7.1974
    ISSN: 0010-4663
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Elektronische Rechenanlagen mit Computer-Praxis
    Additional Information: Beil. zu ---〉:Elektronische Rechenanlagen
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 8
    Journal/Serial
    Journal/Serial
    IBM-Nachrichten / (from 1951-1972)
    Sindelfingen b. Stuttgart :IBM, ; 1.1951 - 22.1972,Febr. = Nr. 104-209
    Details
    Title: IBM-Nachrichten /
    Author: Internationale Büro-Maschinen-Gesellschaft Deutschland 〈Sindelfingen〉
    Publisher: Sindelfingen b. Stuttgart :IBM,
    Year of publication: 1951-1972
    Dates of Publication: 1.1951 - 22.1972,Febr. = Nr. 104-209
    ISSN: 0018-8662
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Hollerith-Nachrichten
    Subsequent Title: Forts. ---〉:IBM Deutschland GmbH 〈Stuttgart〉: IBM-Nachrichten
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 9
    Journal/Serial
    Journal/Serial
    Elektronische Datenverarbeitung : Fachberichte über programmgesteuerte Maschinen u. ihre Anwendung = Electronic data processing (from 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
    Title: Elektronische Datenverarbeitung : Fachberichte über programmgesteuerte Maschinen u. ihre Anwendung = Electronic data processing
    Publisher: Braunschweig ; Wisbaden :Vieweg,
    Year of publication: 1959-1970
    Dates of Publication: [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
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Angewandte Informatik
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 10
    Journal/Serial
    Journal/Serial
    IEEE transactions on computers : a publication of the IEEE Computer Society (from 1968)
    Los Alamitos, Calif. :IEEE Computer Soc., ; 17.1968 -
    Details
    Title: IEEE transactions on computers : a publication of the IEEE Computer Society
    Author: Institute of Electrical and Electronics Engineers / Computer Group
    Contributer: Computer Society
    Publisher: Los Alamitos, Calif. :IEEE Computer Soc.,
    Year of publication: 1968
    Dates of Publication: 17.1968 -
    ISSN: 0018-9340
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Institute of Electrical and Electronics Engineers: IEEE transactions on electronic computers
    Note: Abstracts of current computer literature , Einzelne Hefte auch als Special issue bez.; Zählung bis 36 z.B.: C36
    Additional Information: 19=1; 22=2 von:Symposium on Computer Arithmetic: Symposium on Computer Arithmetic
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 11
    Journal/Serial
    Journal/Serial
    ¬Die¬ Zeit 〈Hamburg〉 : Wochenzeitung für Politik, Wirtschaft, Medien und Kultur (from 1946)
    Hamburg :Zeitverl. Gerd Bucerius, ; 1.1946,1(21.Febr.) -
    Details
    Title: ¬Die¬ Zeit 〈Hamburg〉 : Wochenzeitung für Politik, Wirtschaft, Medien und Kultur
    Publisher: Hamburg :Zeitverl. Gerd Bucerius,
    Year of publication: 1946
    Dates of Publication: 1.1946,1(21.Febr.) -
    ISSN: 0044-2070
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: 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
    Additional Information: Index ---〉:Zeitungs-Index
    Additional Information: Beil. ---〉:Chrismon
    Additional Information: Beil. ---〉:Paper news
    Parallel Title: CD-ROM-Ausg. ---〉:¬Die¬ Zeit 〈Hamburg〉
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 12
    Journal/Serial
    Journal/Serial
    Elemente der Mathematik : eine Zeitschrift der Schweizerischen Mathematischen Gesellschaft = Revue de mathÂematiques ÂelÂementaires = Rivista di matematica elementare (from 1946)
    Basel [u.a.] ; Berlin :Birkhäuser, | Basel Birkhäuser 1946-1958 | Basel ; Berlin Birkhäuser 1959-1996 ; 1.1946 -
    Details
    Title: Elemente der Mathematik : eine Zeitschrift der Schweizerischen Mathematischen Gesellschaft = Revue de mathÂematiques ÂelÂementaires = Rivista di matematica elementare
    Publisher: Basel [u.a.] ; Berlin :Birkhäuser, , Basel Birkhäuser 1946-1958 , Basel ; Berlin Birkhäuser 1959-1996
    Year of publication: 1946
    Dates of Publication: 1.1946 -
    ISSN: 0013-6018
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Ab 47.1992 ohne Parallelsacht
    Note: Verein Schweizerischer Mathematiklehrer
    Parallel Title: Internetausg. ---〉:Elemente der Mathematik
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...