Results 61 to 70 of about 459,480 (145)

Speculative Staging for Interpreter Optimization [PDF]

, 2013
Interpreters have a bad reputation for having lower performance than just-in-time compilers. We present a new way of building high performance interpreters that is particularly effective for executing dynamically typed programming languages. The key idea
Brunthaler, Stefan
core  

Program Synthesis using Natural Language [PDF]

, 2015
Interacting with computers is a ubiquitous activity for millions of people. Repetitive or specialized tasks often require creation of small, often one-off, programs. End-users struggle with learning and using the myriad of domain-specific languages (DSLs)
Aditya Desai, Amey Karkare, Mark Marron, Msr Redmond, Msr Redmond, Nidhi Jain, Roy, Sailesh R Subhajit, Sumit Gulwani, Vineet Hingorani   +9 more
core   +1 more source

Synthesizing Imperative Programs from Examples Guided by Static Analysis

, 2017
We present a novel algorithm that synthesizes imperative programs for introductory programming courses. Given a set of input-output examples and a partial program, our algorithm generates a complete program that is consistent with every example.
A Albarghouthi, A Ireland, AV Aho, G Katz, MA Colón, R Singh, T Gvero   +6 more
core   +1 more source

Overview of Hydra: a concurrent language for synchronous digital circuit design [PDF]

, 2006
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit specification. The design language is inherently concurrent, and it offers black
O'Donnell, J.T.
core  

An Annotation Assisted Smart Contracts Generation Method

IEEE Access
Smart contracts are rapidly applied in many fields, with their varied types and increasing complexity. A sharp increase in the method development demands seems to be certain.
Yong Chen, Defeng Hu, Chao Xu, Nannan Chen   +3 more
doaj   +1 more source

Test signal generator for the evaluation of detection algorithms of the number of sources.

Revista Cubana de Ciencias Informáticas, 2018
The aim of this work is to design and implement a computational tool that allows generating, visualizing and configuring test signals required for the evaluation and comparison of detection algorithms of the number of sources.
Raydel Ortigueira Ruiz
doaj  

Using Links to prototype a Database Wiki [PDF]

, 2011
Both relational databases and wikis have strengths that make them attractive for use in collaborative applications. In the last decade, database-backed Web applications have been used extensively to develop valuable shared biological references called ...
Cheney, James, Lindley, Sam, Müller, Heiko   +2 more
core   +1 more source

Agents are all you need: Pioneering the use of agentic artificial intelligence to embrace large language models into dairy science

Journal of Dairy Science
: Large language models (LLM) hold significant promise to transform dairy science by enhancing research interpretation, supporting decision making, and improving knowledge dissemination.
E. Liu, H. Yang, S. Sharma, M.B. van Leerdam, P. Niu, M.J. VandeHaar, M. Hostens   +6 more
doaj   +1 more source

Overvoltage Simulation Analysis and Suppression of Breaking in a 35 kV Shunt Reactor

Energies
When a 35 kV distribution network has the problem of insufficient reactive power, the input of a shunt reactor is a common compensation method. Vacuum circuit breakers are widely used in 35 kV distribution networks because of their superior arc ...
Jing Chen, Xiaoyue Chen, Siying Feng, Xinmeng Liu, Qin Liu   +4 more
doaj   +1 more source

Implementation and development experience of an AI‐assisted rostering system in a Hong Kong emergency department

Hong Kong Journal of Emergency Medicine
Background Manual emergency department (ED) rostering is labour‐intensive and prone to inconsistency. We developed and implemented an artificial intelligence (AI)‐assisted rostering system that combined large language model (LLM)–supported coding with a ...
Chi‐Kit Sin, Shu‐Wing Kung
doaj   +1 more source