美国计算机协会
期刊
会议
图书
作者:Nachiappan Valliappan , John Hughes
来源:[C].Erlang2018ACM
摘要:Developing a static type system suitable for Erlang has been of ongoing interest for almost two decades now. The challenge with retrofitting a static type system onto a dynamically typed language, such as Erlang, is the loss of flexibility in programming offered by the language. ...
作者:Jörgen Brandt , Wolfgang Reisig
来源:[C].Erlang2018ACM
摘要:Distributed systems are more important in systems design than ever. Partitioning systems into independent, distributed components has many advantages but also brings about design challenges. The OTP framework addresses such challenges by providing process templates that separate ...
作者:Alex Gerdes , John Hughes , Nicholas Smallbone ...
来源:[C].Erlang2018ACM
摘要:Formal specifications of software applications are hard to understand, even for domain experts. Because a formal specification is abstract, reading it does not immediately convey the expected behaviour of the software. Carefully chosen examples of the software’s behaviour, o...
作者:Aman Shankar Mathur , Burcu Kulahcioglu Ozkan , Rupak Majumdar
来源:[C].Erlang2018ACM
摘要:We present iDeA, an immersive user interface for debugging concurrent actor programs communicating through asynchronous message passing. iDeA is based on the hypothesis that debugging and understanding actor programs is a cognitive task which can be greatly facilitated by the vis...
作者:Stavros Aronis , Viktória Fördős , Dániel Szoboszlay
来源:[C].Erlang2018ACM
摘要:This paper was motivated by a challenge we faced while re-architecting a critical component in Klarna's software stack. We wanted to increase our confidence about correctness aspects of a new distributed algorithm, developed for an Erlang system at the very core of Klarna's busin...
作者:Joseph Harrison
来源:[C].Erlang2018ACM
摘要:Erlang's powerful communication model allows us to build high-level concurrent systems. These can, however, harbour subtle communication errors less severe than global deadlock or crashes: messages never received can degrade performance and consume swaths of memory. We believe th...
作者:Alexandre Jorge Barbosa Rodrigues , Viktória Fördős
来源:[C].Erlang2018ACM
摘要:At Klarna we handle customer's data with utmost care since we believe protecting data is one of the most basic obligations of any companies. Achieving our goal requires more effort since the Erlang ecosystem was designed for private networks where the concern about malicious user...
作者:Mohammad Sharaf , Henry Muccini , Moamin Abughazala
来源:[C].Software Architecture2018ACM
摘要:Situational Aware (SA) Internet of things (IoT) utilize IoT devices for being aware of what is happening in the surroundings, and use this data to decide and act accordingly. In this tool demo paper, we present our architecture-driven arduino code generation tool named ArAI. To d...
作者:Petr Hnetynka , Petr Kubat , Rima Al-Ali ...
来源:[C].Software Architecture2018ACM
摘要:Modern Cyber-Physical Systems combine distributed embedded devices with computation in cloud. The inclusion of cloud increases the smartness of the systems by allowing computationally-and data-intensive tasks such as complex data analytics, optimization and decision making, learn...
作者:Zai Zhang
来源:[C].Software Architecture2018ACM
摘要:Traditional manufacturing systems are suitable for mass production with low diversity. Since they have hard coded control logic, reconfiguration for new production tasks becomes difficult after deployment. In this paper, we present a novel architecture of a decision-making engine...

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

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

×