SPLASH Workshops最新文献

筛选
英文 中文
Virtual machines should be invisible 虚拟机应该是不可见的
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095099
Stephen Kell, Conrad Irwin
{"title":"Virtual machines should be invisible","authors":"Stephen Kell, Conrad Irwin","doi":"10.1145/2095050.2095099","DOIUrl":"https://doi.org/10.1145/2095050.2095099","url":null,"abstract":"Current VM designs prioritise implementor freedom and performance, at the expense of other concerns of the end programmer. We motivate an alternative approach to VM design aiming to be unobtrusive in general, and prioritising two key concerns specifically: foreign function interfacing and support for runtime analysis tools (such as debuggers, profilers etc.). We describe our experiences building a Python VM in this manner, and identify some simple constraints that help enable low-overhead foreign function interfacing and direct use of native tools. We then discuss how to extend this towards a higher-performance VM suitable for Java or similar languages.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131232753","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Cloud computing and mapreduce for reliability and scalability of ubiquitous learning systems 云计算和mapreduce用于泛在学习系统的可靠性和可扩展性
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095096
S. Gad
{"title":"Cloud computing and mapreduce for reliability and scalability of ubiquitous learning systems","authors":"S. Gad","doi":"10.1145/2095050.2095096","DOIUrl":"https://doi.org/10.1145/2095050.2095096","url":null,"abstract":"Ubiquitous learning research is about seamlessly enabling learning through the use of sensors that gather dataw from the learner surroundings and adapt learning contents accordingly. Nowadays, mobile devices play a big part of these systems due to their advanced capabilities, like communicating with other devices through different methods and standards, and the ability to connect other gadgets expanding functionality even further. On the other hand, sensors integrated with these systems are very advanced and sophisticated making it possible to gather tremendous amount of data. In this paper a new Ubiquitous Learning system architecture is presented. This new architecture enabled solutions for some major challenges in the field. A Ubiquitous Learning system design and implementation is presented as a use case. The system adapts learning contents based on applying an understanding degree detection algorithm on an input of brain signals collected from the learning student. The adapted learning contents are then sent back over to be displayed on a mobile device. The main focus of this paper is to show how the new architecture supports the necessary reliability and scalability for such systems. I'm proposing in this paper that using Cloud Computing and MapReduce as the architecture main building blocks lead to better approaches and solutions for these two problems. Evaluation showed the effectiveness of using the proposed architecture to support systems with an increasing number of users.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123932104","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Guidance for domain specific modeling in small and medium enterprises 中小型企业领域特定建模的指导
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095062
Henning Agt, R. Kutsche, Timo Wegeler
{"title":"Guidance for domain specific modeling in small and medium enterprises","authors":"Henning Agt, R. Kutsche, Timo Wegeler","doi":"10.1145/2095050.2095062","DOIUrl":"https://doi.org/10.1145/2095050.2095062","url":null,"abstract":"We observe that small and medium enterprises who wish to adopt domain specific modeling techniques do so under different preconditions and with different expectations. In our report, we categorize our observations made in 7 different industrial branches. Further, we present the current state of our solution to provide guidance to both ends of stakeholders involved in a DSM development lifecycle, domain experts and DSL designers. By supporting a DSL development process with semantic knowledge bases and metrics, our goal is to make a DSL development feasible and beneficial through the guidance provided by EXAMINE and within the DIESEL-Framework.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121039225","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
A feature model of actor, agent, and object programming languages 参与者、代理和对象编程语言的特征模型
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095077
Howell R. Jordan, Goetz Botterweck, M. Huget, Rem W. Collier
{"title":"A feature model of actor, agent, and object programming languages","authors":"Howell R. Jordan, Goetz Botterweck, M. Huget, Rem W. Collier","doi":"10.1145/2095050.2095077","DOIUrl":"https://doi.org/10.1145/2095050.2095077","url":null,"abstract":"This paper presents first steps towards a feature model, which can be used to compare actor-oriented, agent-oriented, and object-oriented programming languages. The feature model is derived from the existing literature on general concepts of programming, and validated against Erlang, Jason, and Java. The model acts as a tool to assist practitioners in selecting the most appropriate programming language for a given task, and is expected to form the basis of further high-level comparative studies in this area.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125128500","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Locks, deadlocks and abstractions: experiences with multi-threaded programming at CloudFlare, Inc. 锁、死锁和抽象:CloudFlare, Inc.多线程编程的经验
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095073
I. Pye
{"title":"Locks, deadlocks and abstractions: experiences with multi-threaded programming at CloudFlare, Inc.","authors":"I. Pye","doi":"10.1145/2095050.2095073","DOIUrl":"https://doi.org/10.1145/2095050.2095073","url":null,"abstract":"At CloudFlare[1, 2], we are about a year into our public release. Over the last six months we’ve seen exponential growth. CloudFlare provides a content delivery network currently serving over ten billion page views/month to over 200 million unique visitors. During July 2011 approximately ten percent of all people on the Internet visited a CloudFlare powered site at least once. Figure 1 shows monthly page views served by CloudFlare over the past year. We run a highly customized software stack on a limited number of powerful physical servers deployed in twelve data centers on three continents. The upshot of all of this is that we’ve been forced to rapidly code, and re-code, to take full advantage of 24 plus cores per machine. This experience report is a very brief survey of the programming models and debugging methodology CloudFlare uses. We first describe two ways in which CloudFlare deals with concurrency issues. We then compare bugs and features in two applications which are representative of the above paradigms.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129260995","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An agent framework for agent societies 代理社会的代理框架
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095082
K. Usbeck, J. Beal
{"title":"An agent framework for agent societies","authors":"K. Usbeck, J. Beal","doi":"10.1145/2095050.2095082","DOIUrl":"https://doi.org/10.1145/2095050.2095082","url":null,"abstract":"A key weakness of agent frameworks is the difficulty of specifying and controlling the global (emergent) behavior of the Multi-Agent System (MAS) in which they operate. The spatial computing language Proto, however, compiles descriptions of global behavior into local behaviors that interact to produce the specified emergent behavior. In this paper, we show how Proto can be used as a tool for construction of multi-agent systems, allowing the MAS designer to express the global behavior, while still creating a distributed solution. We compare and contrast Proto's functionality to that of existing agent frameworks, showing how Proto is a good candidate for the agent community's first viable agent framework for societies of agents.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127902056","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
AF-Raf: an agent-oriented programming language with algebraic data types AF-Raf:一种具有代数数据类型的面向代理的编程语言
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095081
C. Grigore, Rem W. Collier
{"title":"AF-Raf: an agent-oriented programming language with algebraic data types","authors":"C. Grigore, Rem W. Collier","doi":"10.1145/2095050.2095081","DOIUrl":"https://doi.org/10.1145/2095050.2095081","url":null,"abstract":"Agent-oriented programming languages used in practice do not have good type systems. It is generally accepted in the programming languages community that types help developers to write correct programs. We present an agent-oriented programming language that uses algebraic data types for dynamically checking beliefs and messages.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122403495","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
A microbenchmark case study and lessons learned 微基准案例研究和经验教训
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095100
J. Gil, K. Lenz, Yuval Shimron
{"title":"A microbenchmark case study and lessons learned","authors":"J. Gil, K. Lenz, Yuval Shimron","doi":"10.1145/2095050.2095100","DOIUrl":"https://doi.org/10.1145/2095050.2095100","url":null,"abstract":"The extra abstraction layer posed by the virtual machine, the JIT compilation cycles and the asynchronous garbage collection are the main reasons that make the benchmarking of Java code a delicate task. The primary weapon in battling these is replication: \"billions and billions of runs\", is phrase sometimes used by practitioners. This paper describes a case study, which consumed hundreds of hours of CPU time, and tries to characterize the inconsistencies in the results we encountered.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122203761","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Et (smart) phone home! 让(智能)手机回家!
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095098
Leandro Collares, Chris Matthews, Justin Cappos, Y. Coady, R. McGeer
{"title":"Et (smart) phone home!","authors":"Leandro Collares, Chris Matthews, Justin Cappos, Y. Coady, R. McGeer","doi":"10.1145/2095050.2095098","DOIUrl":"https://doi.org/10.1145/2095050.2095098","url":null,"abstract":"Most home users are not able to troubleshoot advanced network issues themselves. Hours on the phone with an ISP's customer representative is a common way to solve this problem. With the advent of mobile devices with both Wi-Fi and cellular radios, troubleshooters at the ISP have a new back-door into a malfunctioning residential network. However, placing full trust in an ISP is a poor choice for a home user. In this paper we present Extra Technician (ET), a system designed to provide ISPs and others with an environment to troubleshoot home networking in a remote, safe and flexible manner.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114339550","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers autoVHDL:用于自动生成VHDL核心包装器的特定于领域的建模语言
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095063
E. Jones, J. Sprinkle
{"title":"autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers","authors":"E. Jones, J. Sprinkle","doi":"10.1145/2095050.2095063","DOIUrl":"https://doi.org/10.1145/2095050.2095063","url":null,"abstract":"Reconfigurable embedded hardware is a staple of many applications in defense technology and applied engineering. The integration of various embedded hardware \"cores\" (i.e., the computing units) is complicated by the unintended complexities inherent in the consistent and correct construction of communication pathways - specified using VHDL. This paper presents a domain-specific modeling approach to reducing this complexity. The results include demonstration of the tool, where generated VHDL code with complex data and processing requirements is simulated.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130223629","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信