检索结果-内蒙古大学图书馆

The Simplicity of Modern Audiovisual Web Cartography: An Example with the Open-Source javascript Library ***

KN - Journal of Cartography and Geographic Information 2019年第1期69卷 51-62页

作者： Edler, Dennis Vetter, Mark Geomatics/Cartography Group Geography Department Ruhr University Bochum (RUB) Bochum Germany Geovisualization University of Applied Sciences Würzburg-Schweinfurt (FHWS) Würzburg Germany

Audio files entered cartography about 25 years ago. Since the mid-1990s, several examples of audiovisual maps have been created and published. These maps cover a diverse range of applications. In terms of the sound elements implemented, four characteristic variants were mainly used: abstract sounds/sound sequences, language recordings, and music and recordings/simulations of the real soundscape. To built audiovisual maps technically, several tools of animation software solutions were intensively explored. The rising importance of the World Wide Web also increased the demand for new and modern web-based approaches of multimedia cartography. One of the core technologies of the Internet is the programming language javascript (JS). The language is often associated with the so-called libraries which are applied programming packages pre-written for particular purposes. In cartography, one of the most popular and widely used JS libraries is ***. This open-source library is known for its simplicity and, meanwhile, it also supports a straightforward integration of multimedia content, such as audio files. It also teams up with HTML5 and CSS3. This paper intends to give a workflow focused on how to create individual audiovisual web mapping applications based on the contemporary options offered by ***. © 2019, The Author(s).

关键词： Audiovisual cartography Copacabana HTML javascript Leaflet Multimedia cartography Open-source cartography OpenStreetMap Web cartography

来源：评论

学校读者我要写书评

暂无评论

Towards a Program Logic for javascript

Towards a Program Logic for JavaScript

引用

39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

作者： Gardner, Philippa Maffeis, Sergio Smith, Gareth Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England

ISBN: (纸本)9781450310833

javascript has become the most widely used language for client-side web programming. The dynamic nature of javascript makes understanding its code notoriously difficult, leading to buggy programs and a lack of adequate static-analysis tools. We believe that logical reasoning has much to offer javascript: a simple description of program behaviour, a clear understanding of module boundaries, and the ability to verify security contracts. We introduce a program logic for reasoning about a broad subset of javascript, including challenging features such as prototype inheritance and with. We adapt ideas from separation logic to provide tractable reasoning about javascript code: reasoning about easy programs is easy;reasoning about hard programs is possible. We prove a strong soundness result. All libraries written in our subset and proved correct with respect to their specifications will be well-behaved, even when called by arbitrary javascript code.

关键词： Reliability Theory Verification javascript Separation Logic Web

来源：评论

学校读者我要写书评

暂无评论

Characterizing and Taming Non-deterministic Bugs in javascript Applications 32

Characterizing and Taming Non-deterministic Bugs in JavaScri...

引用

32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Wang, Jie Chinese Acad Sci State Key Lab Comp Sci Inst Software Beijing Peoples R China Univ Chinese Acad Sci Beijing Peoples R China

ISBN: (纸本)9781538626849

javascript has become one of the most popular programming languages for both client-side and server-side applications. In javascript applications, events may be generated, triggered and consumed non-deterministically. Thus, javascript applications may suffer from non-deterministic bugs, when events are triggered and consumed in an unexpected order. In this proposal, we aim to characterize and combat non-deterministic bugs in javascript applications. Specifically, we first perform a comprehensive study about real-world non-deterministic bugs in server-side javascript applications. In order to facilitate bug diagnosis, we further propose approaches to isolate the necessary events that are responsible for the occurrence of a failure. We also plan to design new techniques in detecting non-deterministic bugs in javascript applications.

关键词： javascript Node. js non-deterministic bug empirical study record and replay bug detection

来源：评论

学校读者我要写书评

暂无评论

Time-Travel Debugging for javascript/*** 24

Time-Travel Debugging for JavaScript/***

引用

24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)

作者： Barr, Earl T. Marron, Mark Maurer, Ed Moseley, Dan Seth, Gaurav UCL London England Microsoft Res Redmond WA USA Microsoft Redmond WA USA

ISBN: (纸本)9781450342186

Time-traveling in the execution history of a program during debugging enables a developer to precisely track and understand the sequence of statements and program values leading to an error. To provide this functionality to real world developers, we embarked on a two year journey to create a production quality time-traveling debugger in Microsoft's open-source ChakraCore javascript engine and the popular *** application framework.

关键词： Time-Travel Debugging javascript Node.js

来源：评论

学校读者我要写书评

暂无评论

Large Asynchronous Machines Self-running Mode javascript-based Computer-aided Design 11

Large Asynchronous Machines Self-running Mode JavaScript-bas...

引用

11th International Forum on Strategic Technology (IFOST)

作者： Shevchenko, Andrey A. Temlyakova, Zoya S. Novosibirsk State Tech Univ Dept Electromech Novosibirsk 630073 Russia

This article considers the ability of large asynchronous machines optimal selection for assigned types of load characteristics by automated self-running time calculation when power grid voltage abnormal decrease takes... 详细信息

ISBN: (纸本)9781509008551

关键词： asynchronous motor running-out self-running mathematical simulation automation javascript

来源：评论

学校读者我要写书评

暂无评论

ExpoSE: Practical Symbolic Execution of Standalone javascript 24

ExpoSE: Practical Symbolic Execution of Standalone JavaScrip...

引用

24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (SPIN)

作者： Loring, Blake Mitchell, Duncan Kinder, Johannes Royal Holloway Univ London Informat Secur Grp Egham Surrey England Royal Holloway Univ London Dept Comp Sci Egham Surrey England

ISBN: (纸本)9781450350778

javascript has evolved into a versatile ecosystem for not just the web, but also a wide range of server-side and client-side applications. With this increased scope, the potential impact of bugs increases. We introduce ExpoSE, a dynamic symbolic execution engine for *** applications. ExpoSE automatically generates test cases to find bugs and cover as many paths in the target program as possible. We discuss the specific challenges for symbolic execution arising from the widespread use of regular expressions in such applications. In particular, we make explicit the issues of capture groups, backreferences, and greediness in javascript's flavor of regular expressions, and our models improve over previous work that only partially addressed these. We evaluate ExpoSE on three popular javascript libraries that make heavy use of regular expressions, and we report a previously unknown bug in the Minimist library.

关键词： Symbolic execution javascript regular expressions

来源：评论

学校读者我要写书评

暂无评论

To Type or Not to Type: Quantifying Detectable Bugs in javascript 17

To Type or Not to Type: Quantifying Detectable Bugs in JavaS...

引用

39th IEEE/ACM International Conference on Software Engineering (ICSE)

作者： Gao, Zheng Bird, Christian Barr, Earl T. UCL London England Microsoft Res Redmond WA USA

ISBN: (纸本)9781538638682

javascript is growing explosively and is now used in large mature projects even outside the web domain. javascript is also a dynamically typed language for which static type systems, notably Facebook's Flow and Microsoft's TypeScript, have been written. What benefits do these static type systems provide? Leveraging javascript project histories, we select a fixed bug and check out the code just prior to the fix. We manually add type annotations to the buggy code and test whether Flow and TypeScript report an error on the buggy code, thereby possibly prompting a developer to fix the bug before its public release. We then report the proportion of bugs on which these type systems reported an error. Evaluating static type systems against public bugs, which have survived testing and review, is conservative: it understates their effectiveness at detecting bugs during private development, not to mention their other benefits such as facilitating code search/completion and serving as documentation. Despite this uneven playing field, our central finding is that both static type systems find an important percentage of public bugs: both Flow 0.30 and TypeScript 2.0 successfully detect 15%!

关键词： javascript static type systems Flow TypeScript mining software repositories

来源：评论

学校读者我要写书评

暂无评论

JSWhiz Static Analysis for javascript Memory Leaks

JSWhiz Static Analysis for JavaScript Memory Leaks

引用

11th IEEE/ACM International Symposium on Code Generation and Optimization (CGO)

作者： Pienaar, Jacques A. Hundt, Robert Purdue Univ W Lafayette IN 47907 USA Google Inc Mountain View CA USA

ISBN: (纸本)9781467355254;9781467355247

javascript is the dominant language for implementing dynamic web pages in browsers. Even though it is standardized, many browsers implement language and browser bindings in different and incompatible ways. As a result, a plethora of web development frameworks were developed to hide cross-browser issues and to ease development of large web applications. An unwelcome side-effect of these frameworks is that they can introduce memory leaks, despite the fact that javascript is garbage collected. Memory bloat is a major issue for web applications, as it affects user perceived latency and may even prevent large web applications from running on devices with limited resources. In this paper we present JSWhiz, an extension to the open-source Closure javascript compiler. Based on experiences analyzing memory leaks in Gmail, JSWhiz detects five identified common problem patterns. JSWhiz found a total of 89 memory leaks across Google's Gmail, Docs, Spreadsheets, Books, and Closure itself. It contributed significantly in a recent effort to reduce Gmail memory footprint, which resulted in bloat reduction of 75% at the 99th percentile, and by roughly 50% at the median.

关键词： Optimization Performance Static Analysis Memory Leak javascript

来源：评论

学校读者我要写书评

暂无评论

Relationship between the Effectiveness of Spectrum-Based Fault Localization and Bug-Fix Types in javascript Programs 27

Relationship between the Effectiveness of Spectrum-Based Fau...

引用

27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER)

作者： Vancsics, Bela Szatmari, Attila Beszedes, Arpad Univ Szeged Software Engn Dept Szeged Hungary

ISBN: (纸本)9781728151434

Spectrum-Based Fault Localization (SBFL) is a well-understood statistical approach to software fault localization, and there have been numerous studies performed that tackle its effectiveness. However, mostly Java and C/C++ programs have been addressed to date. We performed an empirical study on SBFL for javascript programs using a recent bug benchmark, BugsJS. In particular, we examined (1) how well some of the most popular SBFL algorithms, Tarantula, Ochiai and DStar, can predict the faulty source code elements in these javascript programs, (2) whether there is a significant difference between the effectiveness of the different SBFL algorithms, and (3) whether there is any relationship between the bug-fix types and the performance of SBFL methods. For the latter, we performed a manual classification of each benchmark bug according to an existing classification scheme. Results show that the performance of the SBFL algorithms is similar but there are some notable differences among them as well, and that certain bug-fix types can be significantly differentiated from the others (in both positive and negative direction) based on the fault localization effectiveness of the investigated algorithms.

关键词： Spectrum-Based Fault Localization javascript bug classification testing and debugging

来源：评论

学校读者我要写书评

暂无评论

Modern javascript frameworks: A Survey Study

Modern JavaScript frameworks: A Survey Study

引用

Zooming Innovation in Consumer Technologies Conference (ZINC)

作者： Delcev, Sanja Draskovic, Drazen Univ Belgrade Sch Elect Engn Dept Comp Engn & Informat Belgrade Serbia

ISBN: (纸本)9781538649275

With the increasing popularity of the web, some new web technologies emerged and introduced dynamics to web applications, in comparison to HTML, as a static programming language. javascript is the language that provided a dynamic web site which actively communicates with users. javascript is used in today's web applications as a client script language and on the server side. The javascript language supports the Model View Controller (MVC) architecture that maintains a readable code and clearly separates parts of the program code. The topic of this research is to compare the popular javascript frameworks: AngularJS, Ember, Knockout, Backbone. All four frameworks are based on MVC or similar architecture. In this paper, the advantages and disadvantages of each framework, the impact on application speed, the ways of testing such JS applications and ways to improve code security are presented.

关键词： client server applications MVC architecture javascript AngularJS Ember Knockout Backbone

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：