中文
相关论文

相关论文: An NMF solution for the Flowgraphs case at the TTC…

200 篇论文

A model is a simplified representation of portion of reality that hides a system s nonessential characteristics. It provides a means for reducing complexity as well as visualization and communication and a basis for building it. Most models…

软件工程 · 计算机科学 2020-02-03 Sabah Al-Fedaghi

This case comprises several primitive tasks that can be solved straight away with most transformation tools. The aim is to cover the most important kinds of primitive operations on models, i.e. create, read, update and delete (CRUD). To…

软件工程 · 计算机科学 2011-11-22 Steffen Mazanek

Fast and accurate simulation of dynamical systems is a fundamental challenge across scientific and engineering domains. Traditional numerical integrators often face a trade-off between accuracy and computational efficiency, while existing…

计算工程、金融与科学 · 计算机科学 2026-03-06 Jiaxin Yuan , Haizhao Yang , Maria Cameron

Model driven architecture (MDA) concentrates on the use of models during software development. An approach using models as the central development artifact is more abstract, more compact and thus more effective and probably also less error…

软件工程 · 计算机科学 2014-09-24 Bernhard Rumpe

Jjodel is a cloud-based reflective platform designed to address the challenges of Model-Driven Engineering (MDE), particularly the cognitive complexity and usability barriers often encountered in existing model-driven tools. This article…

软件工程 · 计算机科学 2025-02-14 Antonio Bucchiarone , Juri Di Rocco , Damiano Di Vincenzo , Alfonso Pierantonio

Model-Driven Engineering (MDE) provides a huge body of knowledge of automation for many different engineering tasks, especially those involving transitioning from design to implementation. With the huge progress made in Artificial…

软件工程 · 计算机科学 2025-02-11 Lola Burgueño , Davide Di Ruscio , Houari Sahraoui , Manuel Wimmer

Diffusion models (DMs) excel in photorealism, image editing, and solving inverse problems, aided by classifier-free guidance and image inversion techniques. However, rectified flow models (RFMs) remain underexplored for these tasks.…

计算机视觉与模式识别 · 计算机科学 2024-12-03 Maitreya Patel , Song Wen , Dimitris N. Metaxas , Yezhou Yang

There is a pressing need for better development methods and tools to keep up with the growing demand and increasing complexity of new software systems. New types of user interfaces, the need for intelligent components, sustainability…

软件工程 · 计算机科学 2025-08-01 Jordi Cabot

One of the goals of software design is to model a system in such a way that it is easily understandable. Nowadays the tendency for software development is changing from manual coding to automatic code generation; it is becoming model-based.…

软件工程 · 计算机科学 2015-03-13 N Md Jubair basha , Salman Abdul Moiz , Mohammed Rizwanullah

Deploying new supercomputers requires testing and evaluation via application codes. Portable, user-friendly tools enable evaluation, and the Multicomponent Flow Code (MFC), a computational fluid dynamics (CFD) code, addresses this need. MFC…

分布式、并行与集群计算 · 计算机科学 2025-11-19 Benjamin Wilfong , Anand Radhakrishnan , Henry A. Le Berre , Tanush Prathi , Stephen Abbott , Spencer H. Bryngelson

Transforming constraint models is an important task in re- cent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tuning them is manda- tory to get solving-efficient models. We…

人工智能 · 计算机科学 2010-02-17 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto

Simulating fluid flow around arbitrary shapes is key to solving various engineering problems. However, simulating flow physics across complex geometries remains numerically challenging and computationally resource-intensive, particularly…

This work presents a multi-layered methodology for efficiently accelerating multimodal foundation models (MFMs). It combines hardware and software co-design of transformer blocks with an optimization pipeline that reduces computational and…

By treating data and models as the source code, Foundation Models (FMs) become a new type of software. Mirroring the concept of software crisis, the increasing complexity of FMs making FM crisis a tangible concern in the coming decade,…

软件工程 · 计算机科学 2024-07-12 Dezhi Ran , Mengzhou Wu , Wei Yang , Tao Xie

Mutation testing is an approach to check the robustness of test suites. The program code is slightly changed by mutations to inject errors. A test suite is robust enough if it finds such errors. Tools for mutation testing usually integrate…

软件工程 · 计算机科学 2024-04-23 Christoph Bockisch , Gabriele Taentzer , Daniel Neufeld

MCC is a tool designed for a very specific task: to transform the models of High-Level Petri nets, given in the PNML syntax, into equivalent Place/Transition nets. The name of the tool derives from the annual Model-Checking Contest, a…

计算机科学中的逻辑 · 计算机科学 2020-03-23 Silvano Dal Zilio

The development of complex component software systems can be made more manageable by first creating an abstract model and then incrementally adding details. Model transformation is an approach to add such details in a controlled way. In…

计算机科学中的逻辑 · 计算机科学 2015-04-13 Anton Wijs

In software development, business rules implemented by hand using programming code hinder agility of companies. Are our students in information systems aware of that? Do our lessons promote this realization ? We use model driven concepts…

软件工程 · 计算机科学 2018-05-24 Pierre-André Sunier , Steve Berberat

Computer programming textbooks and software documentations often contain flowcharts to illustrate the flow of an algorithm or procedure. Modern OCR engines often tag these flowcharts as graphics and ignore them in further processing. In…

计算机视觉与模式识别 · 计算机科学 2025-01-30 Shreya Shukla , Prajwal Gatti , Yogesh Kumar , Vikash Yadav , Anand Mishra

Like conventional software projects, projects in model-driven software engineering require adequate management of multiple versions of development artifacts, importantly allowing living with temporary inconsistencies. In previous work,…

软件工程 · 计算机科学 2023-07-10 Matthias Barkowsky , Holger Giese