美国计算机协会
期刊
会议
图书
作者:Martin Becker , Marius Pazaj , Samarjit Chakraborty
来源:[C].Software and Compilers for Embedded Systems2019ACM
摘要:In this paper we discuss the problem of relating machine instructions to source level constructs, and how it has been addressed in the domains of Virtual Prototyping (VP) and Worst-Case Execution Time (WCET) analysis. It has been handled in different ways, although the goals and ...
作者:Martin Becker , Bo Zhang
来源:[C].Systems and Software Product Line2018ACM
摘要:Product line engineering (PLE) approaches have been followed in industry for hardware and software solutions for more than three decades now. However, the different engineering disciplines (e.g. mechanics, electrics, software) have developed and evolved their approaches within th...
作者:Martin Becker , Samarjit Chakraborty
来源:[C].Software and Compilers for Embedded Systems2018ACM
摘要:Compiler optimizations are widely used to enhance the average case performance of software, and these techniques are very effective and advance with every compiler version. However, in realtime systems, it is the worst-case performance that matters. While there are techniques tha...
作者:Bo Zhang , Slawomir Duszynski , Martin Becker
来源:[C].Variability and Complexity in Software Design2016ACM
摘要:In the design of complex and variable software systems, one of the key steps is to select the variability mechanism that defines how variable features are realized on the design and code level. Although different variability mechanisms were invented and applied in practice for de...
作者:Martin Becker , Prasad Bokil ...
来源:[C].Languages, Compilers, Tools, and Theory for Embedded Systems2016ACM
摘要:The application of Model Checking to compute WCET has not been explored as much as Integer Linear Programming (ILP), primarily because model checkers fail to scale for complex programs. These programs have loops with large or unknown bounds, leading to a state space explosio...
作者:Martin Becker , Daniel Zoller ...
来源:[C].Conference on Information and Knowledge Management2016ACM
摘要:Social tagging systems have established themselves as a quick and easy way to organize information by annotating resources with tags. In recent work, user behavior in social tagging systems was studied, that is, how users assign tags, and consume content. However, it is still unc...
作者:Martin Becker , Philipp Singer ...
来源:[C].Knowledge Discovery and Data Mining2016ACM
摘要:We present a new method for detecting interpretable subgroups with exceptional transition behavior in sequential data. Identifying such patterns has many potential applications, e.g., for studying human mobility or analyzing the behavior of internet users. To tackle this task, we...
作者:Martin Becker , Juergen Mueller ...
来源:[C].Applied Computing2018ACM
摘要:The k-Nearest Neighbor (kNN) classification approach is conceptually simple - yet widely applied since it often performs well in practical applications. However, using a global constant k does not always provide an optimal solution, e. g., for datasets with an irregular density d...
作者:Martin Becker , Goetz Botterweck ...
来源:[C].Systems and Software Product Line2018ACM
摘要:The study presented in this paper aims to provide evidence for the hypothesis that software product line research has been changing and that the works in industry and academia have diverged over time. We analysed a subset (140) of all (593) papers published at the Software Produc...
作者:Martin Becker , Philipp Singer ...
来源:[C].Hypertext & Social Media2015ACM
摘要:Understanding the way people move through urban areas represents an important problem that has implications for a range of societal challenges such as city planning, public transportation, or crime analysis. In this paper, we present an interactive visualization tool called VizTr...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×