English
Related papers

Related papers: Using Alloy to Formally Model and Reason About an …

200 papers

Programmable data plane technology enables the systematic reconfiguration of the low-level processing steps applied to network packets and is a key driver in realizing the next generation of network services and applications. This survey…

Networking and Internet Architecture · Computer Science 2021-10-05 Oliver Michel , Roberto Bifulco , Gabor Retvari , Stefan Schmid

Unlike traditional networks which are statically configured, SDN control applications are dynamic and are becoming more heterogeneous and complex. There is a great need for a framework to reason about the behavior of the various SDN…

Networking and Internet Architecture · Computer Science 2017-10-17 Mohamed Aslan , Ashraf Matrawy

Controlling interfaces of phase separating fluid mixtures is key to creating diverse functional soft materials. Traditionally, this is accomplished with surface-modifying chemical agents. Using experiment and theory, we study how mechanical…

Soft Condensed Matter · Physics 2022-08-15 Raymond Adkins , Itamar Kolvin , Zhihong You , Sven Witthaus , M. Cristina Marchetti , Zvonimir Dogic

Flow diagrams are a common tool used to help build and interpret models of dynamical systems, often in biological contexts such as consumer-resource models and similar compartmental models. Typically, their usage is intuitive and informal.…

Quantitative Methods · Quantitative Biology 2016-06-10 C. Brandon Ogbunugafor , Sean P. Robinson

Intra-device parallelism addresses resource under-utilization in ML inference and training by overlapping the execution of operators with different resource usage. However, its wide adoption is hindered by a fundamental conflict with the…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-22 Yi Pan , Yile Gu , Jinbin Luo , Yibo Wu , Ziren Wang , Hongtao Zhang , Ziyi Xu , Shengkai Lin , Baris Kasikci , Stephanie Wang

With the growth of the internet, it is becoming hard to manage, configure and monitor networks. Recent trends to control and operate them is artificial intelligence based automation to minimize human intervention. Albeit this concept has…

Artificial Intelligence · Computer Science 2020-11-10 Puneet Kumar

Network embedding which encodes all vertices in a network as a set of numerical vectors in accordance with it's local and global structures, has drawn widespread attention. Network embedding not only learns significant features of a…

Physics and Society · Physics 2017-04-20 Weiwei Gu , Li Gong , Xiandao Lou , Jiang Zhang

Hardware acceleration in modern networks creates monitoring blind spots by offloading flows to a non-observable state, hindering real-time service degradation (SD) detection. To address this, we propose and formalize a novel inter-flow…

Networking and Internet Architecture · Computer Science 2025-09-16 Balint Bicski , Adrian Pekar

In this work, we present a domain flow generation(DLOW) model to bridge two different domains by generating a continuous sequence of intermediate domains flowing from one domain to the other. The benefits of our DLOW model are two-fold.…

Computer Vision and Pattern Recognition · Computer Science 2019-05-14 Rui Gong , Wen Li , Yuhua Chen , Luc Van Gool

Presence of a logically centralized controller in software-defined networks enables smart and fine-grained management of network traffic. Generally, traffic management includes measurement, analysis and control of traffic in order to…

Networking and Internet Architecture · Computer Science 2017-03-14 Hamidreza Almasi , Hossein Ajorloo

Many organisms have an elastic skeleton that consists of a closed shell of epithelial cells that is filled with fluid, and can actively regulate both elastic forces in the shell and hydrostatic pressure inside it. In this work we introduce…

Soft Condensed Matter · Physics 2023-10-13 Ajoy Maji , Yitzhak Rabin

Complex systems are characterized by many interacting units that give rise to emergent behavior. A particularly advantageous way to study these systems is through the analysis of the networks that encode the interactions among the system's…

Physics and Society · Physics 2019-03-21 Alberto Aleta , Yamir Moreno

With the introduction of various hardware/software technologies such as Cloud Technologies or Virtualization technologies, there has been a great potential to reuse ICT artifacts thanks to Abstraction and also Exchangeability features…

Networking and Internet Architecture · Computer Science 2016-09-05 Reza Farrahi Moghaddam , Yves Lemieux , Mohamed Cheriet

To apply optical flow in practice, it is often necessary to resize the input to smaller dimensions in order to reduce computational costs. However, downsizing inputs makes the estimation more challenging because objects and motion ranges…

Computer Vision and Pattern Recognition · Computer Science 2023-03-30 Hyunyoung Jung , Zhuo Hui , Lei Luo , Haitao Yang , Feng Liu , Sungjoo Yoo , Rakesh Ranjan , Denis Demandolx

The advent of Programmable Data Planes represents an outstanding evolution and complete revolution of the Software- Defined Networking paradigm. The capacity to define the entire behavior of forwarding devices by controlling the packet…

Networking and Internet Architecture · Computer Science 2021-06-02 Sergio Armando Gutiérrez , John Willian Branch , Luciano Paschoal Gaspary , Juan Felipe Botero

Software Defined Networking (SDN) drastically changes the meaning and process of designing, building, testing, and operating networks. The current support for wireless net- working in SDN technologies has lagged behind its development and…

Networking and Internet Architecture · Computer Science 2015-09-17 Muxi Yan , Jasson Casey , Prithviraj Shome , Alex Sprintson , Andrew Sutton

Large language models (LLMs) are increasingly being deployed on mobile devices, but the limited DRAM capacity constrains the deployable model size. This paper introduces ActiveFlow, the first LLM inference framework that can achieve…

Machine Learning · Computer Science 2025-09-24 Fucheng Jia , Zewen Wu , Shiqi Jiang , Huiqiang Jiang , Qianxi Zhang , Yuqing Yang , Yunxin Liu , Ju Ren , Deyu Zhang , Ting Cao

The occurrence of diffusion on a graph is a prevalent and significant phenomenon, as evidenced by the spread of rumors, influenza-like viruses, smart grid failures, and similar events. Comprehending the behaviors of flow is a formidable…

Social and Information Networks · Computer Science 2023-08-09 Zijian Zhang , Zonghan Zhang , Zhiqian Chen

More often than not, there is a need to understand the structure of complex computer code: what functions and in what order they are called, how information travels around static, input, and output variables, what depends on what. As a…

Software Engineering · Computer Science 2016-10-10 Igor Polkovnikov

Workflow and serverless frameworks have empowered new approaches to distributed application design by abstracting compute resources. However, their typically limited or one-size-fits-all support for advanced data flow patterns leaves…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-03 J. Gregory Pauloski , Valerie Hayot-Sasson , Logan Ward , Alexander Brace , André Bauer , Kyle Chard , Ian Foster
‹ Prev 1 3 4 5 6 7 10 Next ›