Results 1 to 10 of about 2,684 (33)
Conservation Biology, Volume 36, Issue 2, April 2022., 2022 Abstract When in 2010 the world's governments pledged to increase protected area coverage to 17% of the world's land surface, several Central African countries had already set aside 25% of their northern savannas for conservation. To evaluate the effectiveness of this commitment, we analyzed the results of 68 multispecies surveys conducted in the seven
Paul Scholte +9 more
wiley +1 more source
A Faster-Than Relation for Semi-Markov Decision Processes [PDF]
, 2020 When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects of a model, it is necessary to have some notion of what it means for a process to be faster ...
Bacci, Giorgio +2 more
core +3 more sources
Software timing analysis for complex hardware with survivability and risk analysis [PDF]
, 2019 The increasing automation of safety-critical real-time systems, such as those in cars and planes, leads, to more complex and performance-demanding on-board software and the subsequent adoption of multicores and accelerators.
Abella Ferrer, Jaume +4 more
core +1 more source
Embedded Program Annotations for WCET Analysis [PDF]
, 2018 We present __builtin_ais_annot(), a user-friendly, versatile way to transfer annotations (also known as flow facts) written on the source code level to the machine code level.
Cullmann, Christoph +5 more
core +3 more sources
STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling [PDF]
, 2017 International audienceWe all had quite a time to find non-proprietary architecture-independent exploitable parallel benchmarks for Worst-Case Execution Time (WCET) estimation and real-time scheduling.
Puaut, Isabelle, Rouxel, Benjamin
core +2 more sources
Vector fields generating more than one flow
International Journal of Mathematics and Mathematical Sciences, Volume 18, Issue 1, Page 185-196, 1995., 1993 Vector fields generating more than one flow on a manifold are constructed. For one‐dimensional case a complete description of the set of flows is given. For dimensions larger than one a method of constructing vector fields with dense or open branched sets sets is given. Density of vector fields with nonempty sets of branched points is studied.
Slawomir Dorosiewicz +1 more
wiley +1 more source
Towards Multicore WCET Analysis [PDF]
, 2017 AbsInt is the leading provider of commercial tools for static code-level timing analysis. Its aiT Worst-Case Execution Time Analyzer computes tight bounds for the WCET of tasks in embedded real-time systems. However, the results only incorporate the core-
Wegener, Simon
core +1 more source
Delay-Robust Journeys in Timetable Networks with Minimum Expected Arrival Time [PDF]
, 2014 We study the problem of computing delay-robust routes in timetable networks. Instead of a single path we compute a decision graph containing all stops and trains/vehicles that might be relevant. Delays are formalized using a stochastic model. We show how
Dibbelt, Julian +2 more
core +1 more source
Worst-Case Execution Time Analysis of Predicated Architectures [PDF]
, 2017 The time-predictable design of computer architectures for the use in (hard) real-time systems is becoming more and more important, due to the increasing complexity of modern computer architectures.
Brandner, Florian, Naji, Amine
core +1 more source
Dagstuhl Annual Report January - December 2011 [PDF]
, 2011 The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be ...
, Wilhelm, Reinhard
core +2 more sources