Results 11 to 20 of about 488,501 (249)
Sea stack plots: Replacing bar charts with histograms
Ecology and Evolution, 2020 Graphs in research articles can increase the comprehension of statistical data but may mislead readers if poorly designed. We propose a new plot type, the sea stack plot, which combines vertical histograms and summary statistics to represent large ...
Alice Dorothy Stuart +3 more
doaj +2 more sources
Parameterized Verification under TSO with Data Types [PDF]
International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2023 We consider parameterized verification of systems executing according to the total store ordering (TSO) semantics. The processes manipulate abstract data types over potentially infinite domains.
P. Abdulla +6 more
semanticscholar +1 more source
Large-Scale Estimation and Analysis of Web Users' Mood from Web Search Query and Mobile Sensor Data [PDF]
Big Data, 2020 The ability to estimate the current mood states of web users has considerable potential for realizing user-centric opportune services in pervasive computing.
Tadashi Okoshi +3 more
semanticscholar +1 more source
Modular termination verification for non-blocking concurrency [PDF]
, 2016 © Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a
G Cantor +11 more
core +1 more source
Heap Abstractions for Static Analysis [PDF]
, 2015 Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of source variable names appearing in the program being analysed.
Kanvar, Vini, Khedker, Uday P.
core +1 more source
StORMeD: Stack Overflow Ready Made Data
2015 IEEE/ACM 12th Working Conference on Mining Software Repositories, 2015 Stack Overflow is the de facto Question and Answer (Q&A) website for developers, and it has been used in many approaches by software engineering researchers to mine useful data.
Luca Ponzanelli +2 more
semanticscholar +1 more source
Kidney360, 2021 Visual Abstract Abstract Background Although the arteriovenous fistula (AVF) confers superior benefits over central venous catheters (CVCs), utilization rates remain low among prevalent patients on hemodialysis (HD).
Wael F. Hussein +4 more
semanticscholar +1 more source
Proving Skipping Refinement with ACL2s
, 2015 We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification ...
Jain, Mitesh, Manolios, Panagiotis
core +4 more sources
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity [PDF]
, 2014 We present a lightweight approach to Hoare-style specifications for fine-grained concurrency, based on a notion of time-stamped histories that abstractly capture atomic changes in the program state.
A. Cerone +10 more
core +1 more source
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