the proceedings contain 29 papers. the topics discussed include: recovery domains: an organizing principle for recoverable operating systems;Anomaly-Based Bug Prediction, Isolation, and Validation: an automated approa...
详细信息
ISBN:
(纸本)9781605584065
the proceedings contain 29 papers. the topics discussed include: recovery domains: an organizing principle for recoverable operating systems;Anomaly-Based Bug Prediction, Isolation, and Validation: an automated approach for software debugging;Capo: a software-hardware interface for practical deterministic multiprocessor replay;DMP: deterministic shared memory multiprocessing;Kendo: efficient deterministic multithreading in software;complete information flow tracking from the gates up;approximating L2 miss rate curves commodity systems for online optimizations;maximum benefit from a minimal HTM;early experience with a commercial hardware transactional memory implementation;ISOLATOR: dynamically ensuring isolation in concurrent programs;efficient online validation with delta execution;and Gordon: using flash memory to build fast, power-efficient clusters for data-intensive applications.
K-12 Artificial Intelligence (AI) education can potentially benefit from robots based collaborative learning tools. Currently, the scarcity of collaboration-oriented features in most educational robotics poses a chall...
详细信息
ISBN:
(数字)9798331540883
ISBN:
(纸本)9798331540890
K-12 Artificial Intelligence (AI) education can potentially benefit from robots based collaborative learning tools. Currently, the scarcity of collaboration-oriented features in most educational robotics poses a challenge to the seamless implementation of collaborative learning in AI education. To address this gap, this paper presents Corobolab, a purpose-built collaborative learning tool for AI education. Its core objective is to facilitate the harmonious integration of AI education and collaborative learning for both educators and learners. Corobolab achieves this by integrating software and hardware platforms, establishing a two-tiered collaborative ecosystem. the shared programming workspace is a key feature, allowing multiple students to engage in real-time collaboration. Here, they can jointly develop and integrate functional modules, promoting teamwork and knowledge sharing. Moreover, Corobolab is highly adaptable. It can be customized according to project requirements by leveraging modular and programmable sensors and robot components. this flexibility enables educators to design courses that are tailored to different teaching objectives as well as collaborative activities. Pilot applications in primary and middle schools showed that Corobolab provides an efficient software-hardware collaborative environment for AI education classrooms. Educators now have access to a versatile set of tools that simplify the process of conducting collaborative learning classes, ultimately enhancing the quality of AI education in the K-12 context.
To further enrich the experimental content of the Electronic Engineering Training course, a design scheme for a radio circuit based on the FT6088 chip is specifically proposed. the paper delves deep into the design ar...
详细信息
ISBN:
(数字)9798331540883
ISBN:
(纸本)9798331540890
To further enrich the experimental content of the Electronic Engineering Training course, a design scheme for a radio circuit based on the FT6088 chip is specifically proposed. the paper delves deep into the design architecture of the circuit system. It meticulously analyzes the functional modules and their interconnections within the circuit, presenting a clear picture of how each part contributes to the overall performance. Moreover, the operational mechanism of the circuit is explained in detail, from the signal input process to the final output result. this design stands out for its conciseness and clarity, with an operational principle that is easy to understand. the paper elaborates in detail on the design architecture and operational mechanism of the circuit system. the design is concise and explicit, and the operational principle is readily comprehensible. After applying this circuit to teaching, it has been found that it effectively enhances students' interest in and participation in Electronic Engineering Training, and significantly improves students' practical skills and comprehensive qualities.
this pearl aims to demonstrate the ideas of wholemeal and projective programming using the Towers of Hanoi puzzle as a running example. the puzzle has its own beauty, which we hope to expose along the way.
ISBN:
(纸本)9781605583327
this pearl aims to demonstrate the ideas of wholemeal and projective programming using the Towers of Hanoi puzzle as a running example. the puzzle has its own beauty, which we hope to expose along the way.
functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-determinism. Yet these benefits are se...
详细信息
ISBN:
(纸本)9781605583327
functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-determinism. Yet these benefits are seldom enjoyed in functionalprogramming, because the existing features for non-strictness, sharing, and non-determinism in functional languages are tricky to combine. We present a practical way to write purely functional lazy non-deterministic programs that are efficient and perspicuous. We achieve this goal by embedding the programs into existing languages (such as Haskell, SML, and OCaml) with high-quality implementations, by making choices lazily and representing data with non-deterministic components, by working with custom monadic data types and search strategies, and by providing equational laws for the programmer to reason about their code.
the evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit greatly from more abstract paradigms an...
详细信息
ISBN:
(纸本)9781605583327
the evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit greatly from more abstract paradigms and that a more semantical approach would result in huge gains in expressiveness. In particular, functionalprogramming provides a really elegant solution to some important Web interaction problems, but few frameworks take advantage of it. the Ocsigen project is an attempt to provide global solutions to these needs. We present our experience in designing this general framework for Web programming, written in Objective Caml. It provides a fully featured Web server and a framework for programming Web applications, withthe aim of improving expressiveness and safety. this is done by taking advantage of functionalprogramming and static typing as much as possible.
I describe the initial attempt of experienced business software developers with minimal functionalprogramming background to write a non-trivial, business-critical application entirely in Haskell. Sonic parts of the a...
详细信息
ISBN:
(纸本)9781605583327
I describe the initial attempt of experienced business software developers with minimal functionalprogramming background to write a non-trivial, business-critical application entirely in Haskell. Sonic parts of the application domain are well suited to a mathematically-oriented language;others are more typically done in languages such as C++. I discuss the advantages and difficulties of Haskell in these circumstances, with a particular focus on issues that commercial developers find important but that may receive less attention from the academic community. I conclude that, while academic implementations of "advanced" programming languages arguably may lag somewhat behind implementations of commercial languages in certain ways important to businesses, this appears relatively easy to fix, and that the other advantages that they offer make them a good, albeit long-term, investment for companies where effective IT implementation can offer a crucial advantage to success.
暂无评论