Microcontroller software typically consists of a few hundred lines of code only, but, it is rather different from standard application code.. the software is highly hardware and platform specific, and bugs are often a...
详细信息
ISBN:
(纸本)9783540958901
Microcontroller software typically consists of a few hundred lines of code only, but, it is rather different from standard application code.. the software is highly hardware and platform specific, and bugs are often a consequence of neglecting subtle specifications of the microcontroller architecture. currently, there are hardly any tools for analyzing such software automatically. Tu this paper, we outline Specifies of microcontroller software that explain why those programs are different to standard C/C++ code. We develop a static program analysis for a specific microcontroller, in our case the ATmega16, to spot code deficiencies, and integrate it into our generic static analyzer Comma. Finally, we illustrate the results by a case study of an automotive application. the case study highlights that even without formal proof the proposed static techniques can be valuable in pinpointing software bugs that are otherwise hard to find.
A rising issue in the scientific community entails the identification of temporal patterns in the evolution of the scientific enterprise and the emergence of trendsthat influence scholarly impact. In this direction, ...
详细信息
ISBN:
(纸本)9783319731179;9783319731162
A rising issue in the scientific community entails the identification of temporal patterns in the evolution of the scientific enterprise and the emergence of trendsthat influence scholarly impact. In this direction, this paper investigates the mechanism with which citation accumulation occurs over time and how this affects the overall impact of scientific output. Utilizing data regarding the SOFSEM conference (International conference on currenttrends in theory and practice of computerscience), we study a corpus of 1006 publications withtheir associated authors and affiliations to uncover the effects of collaboration network on the conference output. We proceed to group publications into clusters based on the trajectories they follow in their citation acquisition. Representative patterns are identified to characterize dominant trends of the conference, while exploring phenomena of early and late recognition by the scientific community and their correlation with impact.
We study the rendezvous problem in the asynchronous setting in the graph of infinite line following the model introduced in [13]. We formulate general lemmas about deterministic rendezvous algorithms in this setting w...
详细信息
ISBN:
(纸本)9783540958901
We study the rendezvous problem in the asynchronous setting in the graph of infinite line following the model introduced in [13]. We formulate general lemmas about deterministic rendezvous algorithms in this setting which characterize the algorithms in which the agents have the shortest routes. We also improve rendezvous algorithms in the infinite line which formulated in [13]. Two agents have distinct labels L-min, L-max and vertical bar L-min vertical bar <= vertical bar L-max vertical bar. When the initial distance D between the agents is known, our algorithm has cost D vertical bar L-min vertical bar(2) which is ail improvement in the constant. If the initial distance is unknown we give an algorithm of cost O(D log(2) D + D log D vertical bar L-max vertical bar + D vertical bar L-min vertical bar(2) + vertical bar L-max vertical bar vertical bar L-min vertical bar log vertical bar L-min vertical bar) which is an asymptotic improvement.
the problem of finding k minimum energy, edge-disjoint paths in wireless networks (MEEP) arises in the context of routing and belongs to the class of range assignment problems. A polynomial algorithm which guarantees ...
详细信息
ISBN:
(纸本)9783540695066
the problem of finding k minimum energy, edge-disjoint paths in wireless networks (MEEP) arises in the context of routing and belongs to the class of range assignment problems. A polynomial algorithm which guarantees a factor-k-approximation for this problem has been presented before, but its complexity status was open. In this paper we prove that MEEP is NP-hard and give new lower and upper bounds on the approximation factor of the k-approximation algorithm. For MEEP on acyclic graphs we introduce an exact, polynomial algorithm which is then extended to a heuristic for arbitrary graphs.
Sufficient conditions for the existence and uniqueness of smooth optimal decision strategies for static team optimization problems with statistical information structure are derived. Approximation methods and algorith...
详细信息
ISBN:
(纸本)9783642112652
Sufficient conditions for the existence and uniqueness of smooth optimal decision strategies for static team optimization problems with statistical information structure are derived. Approximation methods and algorithms to derive suboptimal solutions based on the obtained results are investigated. the application to network team optimization problems is discussed.
Recent modeling experiments conducted in computational music give evidence that a number of concepts, methods and tools belonging to inverse semigroup theory can be attuned towards the concrete modeling of time-sensit...
详细信息
ISBN:
(纸本)9783319042978;9783319042985
Recent modeling experiments conducted in computational music give evidence that a number of concepts, methods and tools belonging to inverse semigroup theory can be attuned towards the concrete modeling of time-sensitive interactive systems. Further theoretical developments show that some related notions of higher-dimensional strings can be used as a unifying theme across word or tree automata theory. In this invited paper, we will provide a guided tour of this emerging theory both as an abstract theory and with a view to concrete applications.
Clock synchronization is one of the most basic building blocks for many applications in computerscience and engineering. the purpose of clock synchronization is to provide the constituent parts of a distributed syste...
详细信息
ISBN:
(纸本)9783642112652
Clock synchronization is one of the most basic building blocks for many applications in computerscience and engineering. the purpose of clock synchronization is to provide the constituent parts of a distributed system with a common notion of time. While the problem of synchronizing clocks in distributed systems has already received considerable attention from researchers and practitioners alike, we believe that there are many fascinating problems that remain unsolved. In this paper, we give a brief overview of previous work in this area;followed by a discussion of open clock synchronization problems in theory and practice.
Web science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. In this extended abstract we examine Web science research issues by taking a closer look a...
详细信息
ISBN:
(纸本)9783642112652
Web science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. In this extended abstract we examine Web science research issues by taking a closer look at the area of digital heritage. We discuss engineering, communication and socio-economic aspects.
In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and we prove that it is type sound. We hav...
详细信息
ISBN:
(纸本)9783030389192;9783030389185
In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and we prove that it is type sound. We have implemented our calculus, and we demonstrate its applicability with common examples in programming languages. As our calculus manipulates inference systems, our work can, in principle, be applied to logical systems.
Knowledge management systems (KMS) are predominant in boththeory and practice. However, are the same systems discussed in theory actualised in practice? By comparing and contrasting KMS in theory and practice, this p...
详细信息
暂无评论