Virtualization in Programmable Data Plane: A Survey and Open Challenges
IEEE Open Journal of the Communications Society, 2020 Programmable data plane (PDP) is an emerging technology for programming packet processing tasks by means of a domain-specific high-level language (e.g., programming protocol-independent packet processor (P4)) and programmable switch chips.
Sol Han +4 more
doaj +1 more source
Abstractions for programming graphics processors in high-level programming languages
, 2019 Tim Besard
openalex +2 more sources
Compiling ER Specifications into Declarative Programs
, 2007 This paper proposes an environment to support high-level database programming in a declarative programming language. In order to ensure safe database updates, all access and update operations related to the database are generated from high-level ...
Braßel, Bernd +2 more
core +1 more source
A Typed Language for Truthful One-Dimensional Mechanism Design [PDF]
, 2008 We first introduce a very simple typed language for expressing allocation algorithms that allows automatic verification that an algorithm is monotonic and therefore truthful.
Lapets, Andrei +2 more
core +1 more source
Quantitative Assessment of Upper Limb Ataxia Using a Virtual Reality‐Based Evaluation System
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cerebellar ataxia impairs coordination and balance, reducing quality of life. Conventional clinical scales, including the Scale for the Assessment and Rating of Ataxia (SARA) and the International Cooperative Ataxia Rating Scale (ICARS), are widely used to assess ataxia but are limited by subjectivity and inter‐rater variability ...
Masayuki Sato +5 more
wiley +1 more source
Diffusion Tractography Biomarker for Epilepsy Severity in Children With Drug‐Resistant Epilepsy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To develop a novel deep‐learning model of clinical DWI tractography that can accurately predict the general assessment of epilepsy severity (GASE) in pediatric drug‐resistant epilepsy (DRE) and test if it can screen diverse neurocognitive impairments identified through neuropsychological assessments.
Jeong‐Won Jeong +7 more
wiley +1 more source
Formation of an information retrieval system of visual programming scenarios for information modeling software complexes [PDF]
E3S Web of ConferencesThis article discusses the process of creating an application based on a specialized database for working with a variety of scripts – visual programming scenarios. The SQL query Language (Structured Query Language) was used as a key tool for implementing
Rybakova Angelina, Piatkov Daniil
doaj +1 more source
Acute: high-level programming language design for distributed computation
, 2005 Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (but not necessarily all) of their ...
Allen-Williams, Mair +6 more
core
Automated Engineering Design (AED); An approach to automated documentation [PDF]
, 1970 The automated engineering design (AED) is reviewed, consisting of a high level systems programming language, a series of modular precoded subroutines, and a set of powerful software machine tools that effectively automate the production and design of new
Mcclure, C. W.
core +1 more source
Representing Hybrid Automata by Action Language Modulo Theories
, 2017 Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them.
Lee, Joohyung +2 more
core +1 more source