Results 21 to 30 of about 615,424 (263)
Observation and abstract behaviour in specification and implementation of state-based systems [PDF]
, 2001 Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are.
Pahl, Claus
core +2 more sources
Multiscale modeling of degradation of full solid oxide fuel cell stacks
International journal of hydrogen energy, 2021 Limiting the degradation of solid oxide fuel cells is an important challenge for their widespread use and commercialization. The computational expense of long-term simulation of a full stack with conventional models is immense.
Omid Babaie Rizvandi +2 more
semanticscholar +1 more source
PROSET — A Language for Prototyping with Sets [PDF]
, 1992 We discuss the prototyping language PROSET(Prototyping with Sets) as a language for experimental and evolutionary prototyping, focusing its attention on algorithm design.
Doberkat, Ernst-Erich +5 more
core +2 more sources
Sweet spot prediction in tight sandstone reservoir based on well-bore rock physical simulation
Petroleum Science, 2019 To establish the relationship among reservoir characteristics and rock physical parameters, we construct the well-bore rock physical models firstly, considering the influence factors, such as mineral composition, shale content, porosity, fluid type and ...
Hai-ting Zhou +4 more
doaj +1 more source
Improving early design stage timing modeling in multicore based real-time systems [PDF]
, 2016 This paper presents a modelling approach for the timing behavior of real-time embedded systems (RTES) in early design phases. The model focuses on multicore processors - accepted as the next computing platform for RTES - and in particular it predicts the
Abella Ferrer, Jaume +4 more
core +1 more source
Skeletons of stable maps II: Superabundant geometries [PDF]
, 2017 We implement new techniques involving Artin fans to study the realizability of tropical stable maps in superabundant combinatorial types. Our approach is to understand the skeleton of a fundamental object in logarithmic Gromov--Witten theory -- the stack
Ranganathan, Dhruv
core +2 more sources
Journal of Biomedical Semantics, 2011 Background The complexity and inter-related nature of biological data poses a difficult challenge for data and tool integration. There has been a proliferation of interoperability standards and projects over the past decade, none of which has been widely
Wilkinson Mark D +2 more
doaj +1 more source
Sawja: Static Analysis Workshop for Java [PDF]
, 2010 Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java.
A.P. Ershov +16 more
core +6 more sources
Self-adjusting stack machines [PDF]
Conference on Object-Oriented Programming Systems, Languages, and Applications, 2011 Self-adjusting computation offers a language-based approach to writing programs that automatically respond to dynamically changing data. Recent work made significant progress in developing sound semantics and associated implementations of self-adjusting ...
Matthew A. Hammer +3 more
semanticscholar +1 more source
Geothermal Energy, 2019 The North German Basin is one of the three major type localities in Germany for deep geothermal energy. Here, the pore space is the dominant parameter, in contrast to fractures (Rhine Graben) and karst (Molasse Basin).
Charlotte M. Krawczyk +6 more
doaj +1 more source