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

16th international symposium on theoretical Aspects of Software Engineering, TASE 2022

ISBN: (纸本)9783031103629

the proceedings contain 27 papers. the special focus in this conference is on theoretical Aspects of Software Engineering. the topics include: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences;improving Adversarial Robustness of Deep Neural Networks via Linear programming;consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach;a Language-Based Causal Model for Safety;complexity of Distributed Petri Net Synthesis;Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications;Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications;dynamic Environment Simulation for database Performance Evaluation;dynamic Specification Mining Based on Transformer;Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs;optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes;machine-Assisted Proofs for Institutions in Coq;extending Process Algebra with an Undefined Action;MSDetector: A Static PHP Webshell Detection System Based on Deep-Learning;collaborative Verification of Uninterpreted Programs;practical theory of Computation on Structures;automatic Classification of Bug Reports Based on Multiple Text Information and Reports’ Intention;preface;equivalence of Denotational and Operational Semantics for Interaction languages;on Verification of Smart Contracts via Model Checking;sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks;A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification;formal Verification of a Keystore;repairing Adversarial Texts through Perturbation;supporting Algorithm Analysis with Symbolic Execution in Alk.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 16th Workshop on Quantitative Aspects of programming languages and Systems, QAPL 2019

Proceedings - 16th Workshop on Quantitative Aspects of Progr...

引用

8th international symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2017

the proceedings contain 4 papers. the topics discussed include: quantitative aspects of programming languages and systems over the past 2-4 years and beyond;towards digital twins for the description of automotive software systems;a faster-than relation for semi-Markov decision processes;and probabilistic output analyses for deterministic programs â€" reusing existing non-probabilistic analyses.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Variational databases 16

Variational Databases

引用

16th international symposium on database programming languages (dbpl)

作者： Ataei, Parisa Termehchy, Arash Walkingshaw, Eric Oregon State Univ Corvallis OR 97331 USA

ISBN: (纸本)9781450353540

Data variations are prevalent in real-world applications. For example, software vendors handle variations in the business requirements, conventions, and environmental settings of a software product using hundreds of features each combination of which creates a different version of the product. In database-backed software, the database of each version may have a different schema and different content. Variations in the value and representation of each element in a dataset give rise to numerous variants in these applications. Users often would like to express information needs over all such variants. For example, a software vendor would like to perform common tests over all versions of its product, e.g., whether each relation in a relational database has a primary key. Hence, users need a query interface that hides the variational nature of the data and processes a query over all variations of a dataset. We propose a novel abstraction called a variational database that provides a compact and structured representation of general forms of data variations and enables users to query database variations easily.

关键词： Data Variation Variational Schema Variational database

来源：评论

学校读者我要写书评

暂无评论

Locomotor: Transparent Migration of Client-Side database Code 16

Locomotor: Transparent Migration of Client-Side Database Cod...

引用

16th international symposium on database programming languages (dbpl)

作者： Mior, Michael J. Univ Waterloo 200 Univ Ave West Waterloo ON N2L 3G1 Canada

ISBN: (纸本)9781450353540

Server-side execution is a well-known method for improving the performance of database applications. Running code on the database server eliminates round trips to the client application resulting in significantly reduced latency. However, the common approach of explicitly writing server-side code in stored procedures has significant drawbacks. Application developers must develop and maintain code in two separate languages and manually partition code between the client and server. Code shipping is a viable alternative but still requires an explicit specification of which code can be run on the server. We propose a hybrid shipping approach based on static analysis which automatically partitions client code and only ships code to the server which is likely to improve performance. We demonstrate the viability of this approach in a prototype system which we call Locomotor. Locomotor operates on Python applications using the Redis key-value store. through static analysis, it identifies fragments of code which can benefit from being executed on the server and automatically performs translation to execute the fragments on the server. Unlike some previous systems, Locomotor is not pattern-based and is able to ship a wide variety of code. By shipping code to the server, Locomotor is able to achieve significant performance gains over client-side execution with no modifications to the application code.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Special Issue on programming languages for Big Data Editorial

引用

JOURNAL OF FUNCTIONAL programming 2018年 28卷 e8-e8页

作者： Cheney, James Grust, Torsten Univ Edinburgh Lab Fdn Comp Sci Edinburgh Midlothian Scotland Univ Tubingen Dept Comp Sci Tubingen Germany

Ideas from programming languages play an important role in a range of advanced applications of databases, in database system implementation, distributed programming (MapReduce), streaming computation, and high-performance (GPU/multicore) computation. this creative research area is broadening into a subfield of data-centric computation. Although the interaction of databases and programming has a long history (the 16th biennial database programming languages symposium was held in 2017), there has been a recent renewal of interest and broadening of programming language techniques for dealing with data from several quarters in the last few years, including workshops at Microsoft Research (RADICAL 2010), ICFP (XLDI 2012), POPL (DDFP 2013, DCM 2014) and a Dagstuhl Seminar on programming languages for Big Data (December 2014). this special issue recognises and encourages the publication of mature research contributions in this area.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

ACM international Conference Proceeding Series

ACM International Conference Proceeding Series

引用

16th international symposium on database programming languages, dbpl 2017

ISBN: (纸本)9781450353540

the proceedings contain 10 papers. the topics discussed include: modern stored procedures using GraalVM;bridging the semantical gap between relational data and application-level business objects with core data services;DDO-free XQuery;from relation algebra to semi-join algebra: an approach for graph query optimization;the data cube as a typed linear algebra operator;AL: unified analytics in domain specific terms;property-based testing of SPARQL queries;counting types for massive JSON datasets;locomotor: transparent migration of client-side database code;and GraphScript: implementing complex graph algorithms in SAP HANA.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A study on knowledge transfer between programming languages by programs meanings facets 2017

A study on knowledge transfer between programming languages ...

引用

16th Brazilian symposium on Human Factors in Computing Systems, IHC 2017

作者： Barata, Pablo Eduardo Cabral Corrêa, João Victor P. Mota, Marcelle Pereira Universidade Federal Do Pará Belém Brazil Bolsista Do Programa de Iniciação Científica da UFPA Brazil

ISBN: (纸本)9781450363778

this paper presents a study about how different ways of representing meanings in programs can help in knowledge transfer of programming logic from a visual programming language to a textual programming language. these representations were carried out based on a model grounded on Semiotic Engineering theory from Blocky, a visual programming tool made by Google. the representations, named facets of meanings, have the main goal of assisting in the teaching and learning process of programming languages. An assessment of the produced facets with programming novices revealed that they are accomplishing part of their purposes, and there is evidence of the potential of this kind of technology in this context. © 2017 Association for Computing Machinery.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

A Few of the Most Popular Models for Heterogeneous Parallel programming

A Few of the Most Popular Models for Heterogeneous Parallel ...

引用

international symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES)

作者： Gang Xie Ya-lin Zhang Institute of Computer Applications China Academy of Engineering Physics MianYang China

ISBN: (纸本)9781538621639

In this paper we consider the problem of programming for heterogeneous computer systems consist of CPUs and various accelerating devices such as GPUs. We introduce a few of the most popular models for heterogeneous parallel programming, including OpenCL (Open Computing Language), CUDA (Compute Unified Device Architecture), OpenACC, OpenHMPP (Hybrid Multicore Parallel programming), C++ AMP (accelerated massive parallelism), HPL (Heterogeneous programming Library), etc.

关键词： Graphics processing units programming C++ languages Hardware Standards Parallel processing Instruction sets

来源：评论

学校读者我要写书评

暂无评论

ACM international Conference Proceeding Series

ACM International Conference Proceeding Series

引用

16th Brazilian symposium on Human Factors in Computing Systems, IHC 2017

ISBN: (纸本)9781450363778

the proceedings contain 71 papers. the topics discussed include: a proposal of a universal remote control system based on head movements;accessibility and affect in technologies for museums: a path towards socio-enactive systems;an overview of researches on digital accessibility before and after the great challenges of SBC 2006-2016: a systematic literature review;a visualization-based approach for the taxonomybrowser interface;an interaction design method for creative conceptual models' design;a systematic mapping study on research contributions on UX evaluation technologies;accessibility guidelines for the use of tablets by elderly: evaluation of proposed changes to WCAG;analyzing the benefits of the combined interaction of head and eye tracking in 3D visualization information;a scenario-based approach for checking consistency in user interface design artifacts;analyzing the use case communicability;analyzing design strategies for narrative visualization;a study on knowledge transfer between programming languages by programs meanings facets;beyond traditional evaluations - user's view in app stores;and crossing the borders of IHC: where else have our researchers been publishing?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

database Queries that Explain their Work 14

Database Queries that Explain their Work

引用

16th international symposium on Principles and Practice of Declarative programming (PPDP)

作者： Cheney, James Ahmed, Amal Acar, Umut A. Univ Edinburgh Edinburgh Midlothian Scotland Northeastern Univ Boston MA 02115 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA INRIA Rocquencourt Le Chesnay France

ISBN: (纸本)9781450329477

Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to compute the query, and reproducibility, the capability to recompute the results on different inputs, possibly specialized to a part of the output. Many provenance systems claim to provide such capabilities;however, most lack formal definitions or guarantees of these properties, while others provide formal guarantees only for relatively limited classes of changes. Building on recent work on provenance traces and slicing for functional programming languages, we introduce a detailed tracing model of provenance for multiset-valued Nested Relational Calculus, define trace slicing algorithms that extract subtraces needed to explain or recompute specific parts of the output, and define query slicing and differencing techniques that support explanation. We state and prove correctness properties for these techniques and present a proof-of-concept implementation in Haskell.

关键词： provenance database queries slicing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：