Operating systems and programming languages differ widely in their suitability for particular applications. The diversity of medical computing needs demands a diversity of solutions. Compounding this diversity is the ...
详细信息
The Touch programming language for swarm intelligent building application (APP) development effectively reduces the development difficulty and user programming threshold, making the building more intelligent. However,...
详细信息
ISBN:
(纸本)9798350387780;9798350387797
The Touch programming language for swarm intelligent building application (APP) development effectively reduces the development difficulty and user programming threshold, making the building more intelligent. However, the features of Touch language such as intuitive modeling of building elements, parallel programming, and the implicit specification of internode communication lead to great challenges in the compilation process of Touch language to the low-level executable object code of swarm intelligent buildings, and the APP development efficiency is not high. This paper proposes a code conversion method from Touch to C language and its supporting tools, designs code conversion algorithms for Touch language elements used to describe distributed building physical objects and parallel computing mode, which supports the automatic conversion of high-level Touch language, which is user-oriented and shielded from the details of the underlying interactions, into the C language code for underlying execution, thus realizing an integrated process from high-level APP development to low-level hardware platform execution and improving the APP development efficiency.
Learning outcome assessment is of great significance in the field of traditional on-campus teaching especially on the courses of programming languages. In this work, we take advantage of the data offered by our progra...
详细信息
ISBN:
(纸本)9781509054015
Learning outcome assessment is of great significance in the field of traditional on-campus teaching especially on the courses of programming languages. In this work, we take advantage of the data offered by our programming assignment judge system and propose a new IRT-BKT model for estimation of learning outcome. This new framework: Item Response Theory (IRT) model that estimates students' initial knowledge status, and joins it with the discrimination and difficulty of each skill estimated to evaluate the probability of knowing a skill before training it. We then estimate parameters learn, guess, and slip probabilities of Bayesian Knowledge Tracing (BKT) Model. Using real data, we show that IRT-BKT model outperforms Item Response Theory and Bayesian Knowledge Tracing in terms of prediction accuracy.
The system for business automation (SBA) is a system within which application experts—nonprogrammers—can describe and execute their applications on a computer. The user of SBA views his application as manipulation o...
详细信息
Human computation systems are often the result of extensive lengthy trial-and-error refinements. What we lack is an approach to systematically engineer solutions based on past successful patterns. In this paper we pre...
详细信息
ISBN:
(纸本)9783642353857;9783642353864
Human computation systems are often the result of extensive lengthy trial-and-error refinements. What we lack is an approach to systematically engineer solutions based on past successful patterns. In this paper we present the CrowdLang(1) programming framework for engineering complex computation systems incorporating large crowds of networked humans and machines with a library of known interaction patterns. We evaluate CrowdLang by programming a German-to-English translation program incorporating machine translation and a monolingual crowd. The evaluation shows that CrowdLang is able to simply explore a large design space of possible problem-solving programs with the simple variation of the used abstractions. In an experiment involving 1918 different human actors, we show that the resulting translation program significantly outperforms a pure machine translation in terms of adequacy and fluency whilst translating more than 30 pages per hour and approximates the human-translated gold standard to 75%.
Fyr is an open source systems programming language that combines the versatility of C with the ease and safety of modern application programming languages such as Java and Go. Fyr uses manual memory management to supp...
详细信息
ISBN:
(纸本)9781450359337
Fyr is an open source systems programming language that combines the versatility of C with the ease and safety of modern application programming languages such as Java and Go. Fyr uses manual memory management to support systems where memory is a scarce resource, especially networked IoT devices. Fyr guarantees memory safety and thread safety. These safety guarantees are built on a combination of compile-time type checking, control-flow checking and runtime reference counting where necessary. We show that Fyr allows for more flexibility and simpler code than Rust, especially when working with heap data structures.
Rust is a young systems programming language that is type and memory safe. Despite Rust's design focus on safety and correctness, bugs are inevitable in any software system, and Rust is no exception. By analyzing ...
详细信息
ISBN:
(纸本)9798350365634
Rust is a young systems programming language that is type and memory safe. Despite Rust's design focus on safety and correctness, bugs are inevitable in any software system, and Rust is no exception. By analyzing 10097 bug reports and 9360 related revisions in the Rust language, we found that the bugs are extremely unevenly distributed in components and source files;most of the general language features involved in Rust language bugs are Data types, Expressions and Assignment Statements, Rust-specific language features are mainly related to Traits and Ownership Systems;the main symptom of bugs is Internal Compilation Error (ICE);The bug fix work is not complicated;there is a significant correlation between priority and fix time;Semantic bugs are the most common root cause of bugs. These findings reveal some basic patterns of bugs in the Rust language, which can provide some help to Rust developers and maintainers to improve the quality of the Rust language and provide a better programming experience for users of Rust language.
Cloud of Things (CoT) is a computing model that combines the widely popular cloud computing with Internet of Things (IoT). One of the major problems with CoT is the latency of accessing distant cloud resources from th...
详细信息
ISBN:
(纸本)9781509046072
Cloud of Things (CoT) is a computing model that combines the widely popular cloud computing with Internet of Things (IoT). One of the major problems with CoT is the latency of accessing distant cloud resources from the devices, where the data is captured. To address this problem, paradigms such as fog computing and Cloudlets have been proposed to interpose another layer of computing between the clouds and devices. Such a three-layered cloud-fog-device computing architecture is touted as the most suitable approach for deploying many next generation ubiquitous computing applications. programming applications to run on such a platform is quite challenging because disconnections between the different layers are bound to happen in a large-scale CoT system, where the devices can be mobile. This paper presents a programming language and system for a three-layered CoT system. We illustrate how our language and system addresses some of the key challenges in the three-layered CoT. A proof-of-concept prototype compiler and runtime have been implemented and several example applications are developed using it.
Although the learning of programming language is critical in science and technology education, it might be difficult for some students, especially novices. One possible reason might be the fact that programming langua...
详细信息
Although the learning of programming language is critical in science and technology education, it might be difficult for some students, especially novices. One possible reason might be the fact that programming language, especially for three-dimensional (3D) applications, is too complex and abstract for these students to understand. programming for 3D applications requires understanding the spatial relationship of 3D objects and hence needs a visualization technique more. In view of this, this article presents an augmented reality (AR)-enhanced learning system that offers visual representation and interactivity to help students learn programming for 3D applications. To examine the influences of such an AR-enhanced system on student learning, a within-group experiment with 34 college students was conducted. All students used both of an AR-enhanced version and an ordinary version. The findings revealed that the AR-enhanced version made students have better learning efficiency than the ordinary system. In addition, the AR-enhanced system also made students have enhanced perceptions in terms of system usability, flow experience, and usage perception. Based on the results, further development of AR-enhanced learning systems is also suggested and discussed.
the adoption of organisation-based agent-oriented programming has been quite limited, due to the lack of programming languages which are expressive enough to tackle the complexity brought by the dynamism of multi-agen...
详细信息
ISBN:
(纸本)9781479929023
the adoption of organisation-based agent-oriented programming has been quite limited, due to the lack of programming languages which are expressive enough to tackle the complexity brought by the dynamism of multi-agent systems. Oragent is an organisation-based agent-oriented programming language which provides explicit language primitives to program organisational concepts such as agents and groups as first-class entities, and to realise adaptation of multi-agent systems via role enactment and role-based interaction. In this paper, we present the execution mechanisms for Oragent language, which support adaptation of agent behaviour via role enactment, and role-based interaction among agents. A case study is presented to demonstrate the viability of these mechanisms.
暂无评论