Suchergebnisse - programming languages AND programming theory: 421*

Research on network programming language and policy conflicts for SDN von He, Bohan, Dong, Ligang, Xu, Tijie, Fei, Shuocheng, Zhang, Huafei, Wang, Weiming

“… ‐level programming language to simplify programming. First, this paper improves the NetCore programming language to generate NetCore …”
Volltext

Pysteps: an open-source Python library for probabilistic precipitation nowcasting (v1.0) von Pulkkinen, Seppo, Nerini, Daniele, Pérez Hortal, Andrés A., Velasco-Forero, Carlos, Seed, Alan, Germann, Urs, Foresti, Loris

“… Pysteps is an open-source and community-driven Python library for probabilistic precipitation nowcasting, that is, very-short-range forecasting (0–6 h). The …”
Volltext

Challenges of software verification: the past, the present, the future von Ferrara, Pietro, Arceri, Vincenzo, Cortesi, Agostino

“… Software verification aims to prove that a program satisfies some given properties for all its possible executions. Software evolved incredibly fast during the …”
Volltext

Current challenges in automatic software repair von Le Goues, Claire, Forrest, Stephanie, Weimer, Westley

“… synthesis with respect to a specification. This article serves three purposes. First, we review current work on evolutionary computation approaches, focusing on GenProg, which uses genetic programming to evolve a patch to a particular bug …”
Volltext

Thermodynamic and economic evaluation of a novel configuration for sustainable production of power and freshwater based on biomass gasification von Rahimi, M. J., Hamedi, M. H., Amidpour, M.

“… For this purpose, a realistic simulation program is developed (in C# programming language) to predict the composition of synthesis gas produced in the gasifier …”
Volltext

Advancing code completion through rotary position embedding von Yin, Yiming, Liu, Jianxun, Liu, Yi, Deng, Jia

“… With the rapid development of IT technology, the software information industry is growing rapidly in the world. As a core function and basic component of an …”
Volltext

Effective computations of the Atiyah-Bott formula von Muratore, Giosuè, Schneider, Csaba

“… We present an implementation of the Atiyah-Bott residue formula for M‾0,m(Pn,d). We use this implementation to compute a large number of Gromov-Witten …”
Volltext

Critical Play: Radical Game Design von Flanagan, Mary

“… An examination of subversive games--games designed for political, aesthetic, and social critique …”
Volltext

Diazonium-Derived Aryl Films on Gold Nanoparticles: Evidence for a Carbon–Gold Covalent Bond von Laurentius, Lars, Stoyanov, Stanislav R, Gusarov, Sergey, Kovalenko, Andriy, Du, Rongbing, Lopinski, Gregory P, McDermott, Mark T

“… Comparison of the SERS spectrum with spectra computed from density functional theory models reveals a band characteristic of a Au–C stretch …”
Volltext

An efficient heterogeneous parallel password recovery system on MT-3000 von Luo, Yongtao, Liu, Jie, Gong, Chunye, Li, Tun

“… Password-based recovery is a widely used method for regaining access to applications or services when passwords are lost or forgotten. It is commonly used in …”
Volltext

Architecting threat hunting system based on the DODAF framework von Aghamohammadpour, Ali, Mahdipour, Ebrahim, Attarzadeh, Iman

“… The importance of large data analytic systems for cyber security is expanding. Thus, collecting systematically, thoroughly assessing, and synthesizing the …”
Volltext

A relation enhanced model for temporal knowledge graph alignment von Wang, Zhaojun, You, Xindong, Lv, Xueqiang

“… Entity alignment (EA) aims to find entities that point to the same object in multiple knowledge graphs (KGs), i.e., finding equivalent entity pairs. In recent …”
Volltext

YOLO-ARGhost: a lightweight face mask detection model von Xu, Ruihang, Wang, Peisen, Li, Xuanjing, Nie, Ruifeng

“… Industrial development can bring huge economic benefits to the country and society. However, it has also caused serious environmental pollution, leading to …”
Volltext

Visualisation with treemaps and sunbursts in many-objective optimisation von Walker, David J.

“… Visualisation is an important aspect of evolutionary computation, enabling practitioners to explore the operation of their algorithms in an intuitive way and …”
Volltext

Scene optimization of GPU-based back-projection algorithm von Gong, Hao, Liu, Ying, Chen, Xiaoying, Wang, Cheng

“… The back-projection algorithm can adapt to synthetic aperture radar imaging in any mode because of its time-domain imaging characteristics, so it has received …”
Volltext

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs von CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

“… The new semantics is based on interpreting the types of the source language as three-valued Fitting-monotonic functions at all levels of the type hierarchy …”
Volltext

Multimodal Recipe Recommendation System Using Deep Learning and Rule-Based Approach von Khilji, Abdullah Faiz Ur Rahman, Sinha, Utkarsh, Singh, Pintu, Ali, Adnan, Dadure, Pankaj, Manna, Riyanka, Pakray, Partha

“… In today’s age of the internet, there is tremendous growth in information. Moreover, this information can be easily accessed through different combinations of …”
Volltext

Implementation and optimization of ChaCha20 stream cipher on sunway taihuLight supercomputer von Cai, Weilin, Chen, Heng, Wang, Ziheng, Zhang, Xingjun

“… Data have always been the most valuable asset of enterprises and research institutions, and their confidentiality, especially the input and output data related …”
Volltext

3D grid clustering scheme for wireless sensor networks von Naveen, J., Alphonse, P. J. A., Chinnasamy, Sivaraj

“… Advances in wireless sensor networks (WSNs) technology have made a remarkable impact in the society. Since WSNs solely depend on the battery power of the tiny …”
Volltext

Automated NMR relaxation dispersion data analysis using NESSY von Bieri, Michael, Gooley, Paul R

“… Background Proteins are dynamic molecules with motions ranging from picoseconds to longer than seconds. Many protein functions, however, appear to occur on the …”
Volltext