Protocol-based verification of message-passing parallel programs [PDF]
, 2015 © 2015 ACM.We present ParTypes, a type-based methodology for the verification of Message Passing Interface (MPI) programs written in the C programming language.
Lopez, HA +6 more
core +1 more source
Evaluation of an optimal sportscar hybrid in conflict of racetrack performance [PDF]
, 2014 Gegenstand dieser Arbeit ist die Ermittlung eines optimalen Sportwagen-Hybrid mit Standardantrieb. Die Hauptmotivation ist dabei die Reduzierung der CO2-Emission. Gleichzeitig besteht die spezielle Aufgabe, die dynamischen Fahreigenschaften in der Längs-
Jobst, David
core +1 more source
MicroSAGE is Highly Representative and Reproducible but Reveals Major Differences in Gene Expression Among Samples Obtained from Similar Tissues [PDF]
, 2011 Background: Serial analysis of gene expression using small amounts of starting material (microSAGE) has not yet been conclusively shown to be representative, reproducible or accurate. Results: We show that microSAGE is highly representative, reproducible
Blackshaw, Seth +8 more
core
In Silico Study of Hydroxyapatite and Bioglass®: How Computational Science Sheds Light on Biomaterials [PDF]
, 2011 In the present Chapter it has been explained how crucial the computational techniques arewhen applied together with experimentalist measurements in the understanding ofbiological complex systems and mechanisms dealing with biomaterials for a large ...
Alfonso Pedone +3 more
core +1 more source
Landscape and domains of possible future threats from a societal point of view
Journal of Contingencies and Crisis Management, Volume 32, Issue 1, March 2024.Abstract We are currently amid multiple interconnected and complex crises within the different dimensions of our society—a polycrisis, and the future promises even greater complexity in terms of threats. However, the existing crisis typologies and crisis identification often have an introspective organisational focus and tend to concentrate on a ...
Lassi Tähtinen +2 more
wiley +1 more source
Carbon Fibre Reinforced Poly(vinylidene Fluoride) [PDF]
, 2012 The demand for oil in the world is expected to rise by 1.7% in the fourth quarter of 2012 compared to fourth quarter of 2011. In order to cater for this increasing demand, the oil and gas industry continues to explore and develop deep-sea oilfields where
Shamsuddin, Siti Rosminah
core +1 more source
Physiological role of PRRT2 and its involvement in the pathogenesis of paroxysmal disorders [PDF]
, 2020 Mutations in the PRoline-Rich Transmembrane protein 2 gene (PRRT2) underlie a heterogeneous group of paroxysmal disorders encompassing infantile epilepsy, paroxysmal kinesigenic dyskinesia, a combination of these phenotypes and migraine. For the majority
ROMEI, ALESSANDRA
core +2 more sources
Enablers of post-COVID-19 customer demand resilience: Evidence from fast-fashion MSMEs
, 2022 This study aims to analyse the resilience of customer demand management in post-coronavirus disease (COVID) 2019, using fast fashion as an example. The paper provides insights for potential applications to micro, small, and medium enterprises (MSMEs ...
Fares, N. +5 more
core +2 more sources
Proje planlamada kaynak kısıtlı çizelgeleme [PDF]
, 2002 Proje yönetimine 1950li ve 1960lı yıllarda gösterilen yoğun ilgi daha sonra azalmış ancak yaklaşık son on yılda yeniden hem araştırmacıların hem de uygulamacıların yakın ilgisini çekmeye başlamıştır.
Ulusoy, Gunduz, Ulusoy, Gündüz
core
Scalability Validation of Parallel Sorting Algorithms [PDF]
, 2017 As single-core performance of processors is not improving significantly anymore, the computer industry is moving towards increasing the amount of cores per processor or, in the case of large-scale computers, by installing more processors per computer ...
Berens, Yannick
core