نتایج جستجو برای: data compilation

تعداد نتایج: 2419348  

1999
Dawson R. Engler

Interfaces | the collection of procedures and data structures that deene a library, a subsystem, a module | are syntactically poor programming languages. They have state (deened both by the interface's data structures and internally), operations on this state (deened by the interface's procedures), and semantics associated with these operations. Given a way to incorporate interface semantics in...

Journal: :Mathematical Programming Computation 2021

Abstract We report on the selection process leading to sixth version of Mixed Integer Programming Library, MIPLIB 2017. Selected from an initial pool 5721 instances, new 2017 collection consists 1065 instances. A subset 240 instances was specially selected for benchmarking solver performance. For first time, these sets were compiled using a data-driven supported by solution sequence mixed integ...

1994
Rajesh Bordawekar Rajeev Thakur Alok Choudhary

Large scale scientiic applications, such as the Grand Challenge applications, deal with very large quantities of data. The amount of main memory in distributed memory machines is usually not large enough to solve problems of realistic size. This limitation results in the need for system and application software support to provide eecient parallel I/O for out-of-core programs. This paper describ...

Journal: :Seminars in Thrombosis and Hemostasis 2016

Journal: :Seminars in Thrombosis and Hemostasis 2017

Journal: :Seminars in Thrombosis and Hemostasis 2019

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید