The proceedings contain 15 papers. The topics discussed include: tensor comprehensions in SaC;a symbolic execution semantics for TopHat;mystery functions: making specifications, unit tests, and implementations coexist...
ISBN:
(纸本)9781450375627
The proceedings contain 15 papers. The topics discussed include: tensor comprehensions in SaC;a symbolic execution semantics for TopHat;mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate students;counting immutable beans: reference counting optimized for purely functional programming;interpreting task oriented programs on tiny computers;a functional approach to accelerating Monte Carlo based American option pricing;a new view on parser combinators;type debugging with counter-factual type error messages using an existing type checker;and a space-efficient call-by-value virtual machine for gradual set-theoretic types.
The proceedings contain 13 papers. The special focus in this conference is on implementation and application of functionallanguages. The topics include: A typical synergy: Dynamic types and generalised algebraic data...
ISBN:
(纸本)9783642164774
The proceedings contain 13 papers. The special focus in this conference is on implementation and application of functionallanguages. The topics include: A typical synergy: Dynamic types and generalised algebraic datatypes;The very lazy λ-calculus and the stEC machine;Engineering higher-order modules in SML/NJ;introducing kansas lava;iTasks 2: iTasks for end-users;chalkBoard: Mapping functions to polygons;implementing fusion-equipped parallel skeletons by expression templates;arity raising in manticore;symbiotic expressions;stream fusion on haskell unicode strings;nested and dynamic contract boundaries.
The proceedings contain 13 papers. The topics discussed include: PICOBIT: a compact scheme system for microcontrollers;introducing Kansas Lava;ChalkBoard: mapping functions to polygons;implementing fusion-equipped par...
ISBN:
(纸本)3642164773
The proceedings contain 13 papers. The topics discussed include: PICOBIT: a compact scheme system for microcontrollers;introducing Kansas Lava;ChalkBoard: mapping functions to polygons;implementing fusion-equipped parallel skeletons by expression templates;arity raising in manticore;symbiotic expressions;nested and dynamic contract boundaries;pull-ups, push-downs, and passing it around: exercises in functional in crementalization;a typical synergy: dynamic types and generalized algebraic datatypes;and engineering higher-order modules in SML/NJ.
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and functionbased programming languages. It is a venue for researchers to present and ...
Many applications, from the Web to smart contracts, need to safely execute untrusted code. We observe that WebAssembly (Wasm) is ideally positioned to support such applications, since it promises safety and performanc...
详细信息
ISBN:
(纸本)9781939133311
Many applications, from the Web to smart contracts, need to safely execute untrusted code. We observe that WebAssembly (Wasm) is ideally positioned to support such applications, since it promises safety and performance, while serving as a compiler target for many high-level languages. However, Wasm's safety guarantees are only as strong as the implementation that enforces them. Hence, we explore two distinct approaches to producing provably sandboxed Wasm code. One draws on traditional formal methods to produce mathematical, machine-checked proofs of safety. The second carefully embeds Wasm semantics in safe Rust code such that the Rust compiler can emit safe executable code with good performance. Our implementation and evaluation of these two techniques indicate that leveraging Wasm gives us provably-safe multilingual sandboxing with performance comparable to standard, unsafe approaches.
HDLDLX is a graphically described VHDL model of 5-stage integer pipeline of well known DLX processor. It can be used as a platform explaining logic-level implementation of pipelined processor as a complement to SW fun...
详细信息
HDLDLX is a graphically described VHDL model of 5-stage integer pipeline of well known DLX processor. It can be used as a platform explaining logic-level implementation of pipelined processor as a complement to SW functional simulators. students can interact with model by implementing hazard resolution logic or modifying the pipeline structure. Even though that the model is internally represented in VHDL, the previous knowledge of this language is not required. HDLDLX can be used in conjunction with HDL Designer and Modelsim tools from Mentor Graphics corporation. Article also discusses pros and cons of using commercial EDA tools in undergraduate computer architecture course.
Content Defined Chunking (CDC) is an important component in data deduplication, which affects both the deduplication ratio as well as deduplication performance. The sliding-window-based CDC algorithm and its variants ...
详细信息
ISBN:
(纸本)9781467376198
Content Defined Chunking (CDC) is an important component in data deduplication, which affects both the deduplication ratio as well as deduplication performance. The sliding-window-based CDC algorithm and its variants have been the most popular CDC algorithms for the last 15 years. However, their performance is limited in certain application scenarios since they have to slide byte by byte. The authors present a leap-based CDC algorithm which provides significant improvement in deduplication performance without compromising the deduplication ratio. Compared to the sliding-window-based CDC algorithm, the new algorithm enables up to two-fold improvement in performance.
The aim of this paper is to create an application that will serve for remote control and automation of an intelligent irrigation system. This paper presents several front-end and back-end technologies, including progr...
详细信息
CORBA has developed rapidly and been taken into use in many fields of industry and commerce. But the growing use of distributed application with time sensitive requirements (such as distributed multimedia application)...
详细信息
A Object-Relation DBMS design and implementation is introduced. It is a hybrid of relational database management and object-oriented technique. It will support the ORSQL that is the super-set of SQL and is applied to ...
详细信息
暂无评论