Results 11 to 20 of about 51,458 (235)
Increasing Accuracy of Timing Models: From CPA to CPA+ [PDF]
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019 Formal analysis methods of embedded systems provide safe, but unfortunately often pessimistic bounds on response times. An important source of pessimism is the common approach to characterize service request either by the amount of data or the number of events to be processed. Several works, e.g.
Leonie Köhler +3 more
openaire +3 more sources
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009 Context-sensitive points-to analysis is the current most scalable technology for constructing a precise control-flow graph for large object-oriented programs. One appealing feature of this framework is that it is parametric thus allowing to trade time for precision. Typical instances of this framework are κ-CFAs and Agesen's Cartesian Product Algorithm
Besson, Frédéric, Frédéric Besson
openaire +4 more sources
, 2023 Software verification is challenging, and auxiliary program invariants are used to improve the effectiveness of verification approaches. For instance, the k-induction implementation in CPACHECKER, an award-winning framework for program analysis, uses ...
Beyer, Dirk +2 more
openaire +3 more sources
, 2022 Non-Hermitian photonic systems with loss and gain attract much attention due to their exceptional abilities in molding the flow of light. Introducing asymmetry to the $\mathcal{PT}$-symmetric system with perfectly balanced loss and gain, we reveal the ...
Alexander Krotov (14416464) +5 more
core +2 more sources
Jim Liggett CPA: American Institute of Certified Public Accountants
, 2020 American Institute of Certified Public Accountants What is the American Institute of Certified Public Accountants According to Jim Liggett CPA, the American Institute of Certified Public Accountants (AICPA) is the non-profit professional ...
Jim Liggett CPA
core +1 more source
EQUAL CPA Score 2022 afvejer anbefalinger fra tilgængelige vejledninger til kompleks håndtering af kronisk pulmonal aspergillose (CPA). Scoren kan bruges til at måle adhærens af retningslinjer og justere den klinisk håndtering af CPA.
Seidel, Danila +7 more
core +4 more sources
Needs assessment and impact of COVID-19 on pharmacy professionals in 31 commonwealth countries
Journal of Pharmaceutical Policy and Practice, 2020 Background The declaration of COVID-19 a pandemic by the World Health Organization on 11 March 2020 marked the beginning of a global health crisis of an unprecedented nature and scale.
Diane Ashiru-Oredope +5 more
doaj +1 more source