Filters








112,466 Hits in 3.8 sec

Network-wide Configuration Synthesis [article]

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
2017 arXiv   pre-print
We leverage our synthesis algorithm to construct the first network-wide configuration synthesis system, called SyNET, that support multiple interacting routing protocols (OSPF and BGP) and static routes  ...  To address this problem, we present a novel synthesis approach that automatically computes correct network configurations that comply with the operator's requirements.  ...  Problem Statement: Network-Wide Configuration Synthesis.  ... 
arXiv:1611.02537v2 fatcat:e7uxki7k5fei5ipjlurmc555bu

Network-Wide Configuration Synthesis [chapter]

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
2017 Lecture Notes in Computer Science  
To address this problem, we present a novel synthesis approach that automatically computes correct network configurations that comply with the operator's requirements.  ...  We leverage our synthesis algorithm to construct the first networkwide configuration synthesis system, called SyNET, that support multiple interacting routing protocols (OSPF and BGP) and static routes  ...  Problem Statement: Network-Wide Configuration Synthesis.  ... 
doi:10.1007/978-3-319-63390-9_14 fatcat:xtgj2to3znbrlao46ndqdcijia

Neural language models for network configuration: Opportunities and reality check [article]

Zied Ben Houidi, Dario Rossi
2022 arXiv   pre-print
By extension, NLP has potential for application to network configuration languages as well, for instance considering tasks such as network configuration verification, synthesis, and cross-vendor translation  ...  and expected performance, and qualitatively assess whether similar techniques can benefit corresponding use-cases in networking.  ...  Similarly, many other approaches (see Sec. 2.2) leverage formal methods to automate various aspects of network configuration, often transforming a network-wide configuration into a large logical formula  ... 
arXiv:2205.01398v2 fatcat:wguzrmqf3zcm7mfjkpgso3ggoe

CONNECT

Michael K. Papamichael, James C. Hoe
2012 Proceedings of the ACM/SIGDA international symposium on Field Programmable Gate Arrays - FPGA '12  
Finally, to demonstrate CONNECT's flexibility and extensive design space coverage, we also report synthesis and network performance results for several router configurations and for entire CONNECT networks  ...  For example, in the case of a 4x4 mesh configuration evaluated using a set of synthetic traffic patterns, we obtain comparable or better performance than the state-of-the-art NoC while reducing logic resource  ...  Moreover, to demonstrate the flexibility and extensive design space coverage of CONNECT we report synthesis and network performance results for a wide range of router configurations and a variety of diverse  ... 
doi:10.1145/2145694.2145703 dblp:conf/fpga/PapamichaelH12 fatcat:cenpus57ovf4jaq6mrsajdbdla

Towards automatic synthesis of a class of application-specific sensor networks

Amol Bakshi, Jingzhao Ou, Viktor K. Prasanna
2002 Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02  
Automatic synthesis of sensor network-based systems can be described as the process of translating a formal specification of application functionality into a particular task mapping, settings of available  ...  To demonstrate the utility and feasibility of our proposed methodology, we define a system model for a class of sensor networks, and implement a software framework for its modeling and simulation.  ...  For automatic synthesis of sensor network-based systems, system-wide power/performance analysis is a necessity.  ... 
doi:10.1145/581636.581639 fatcat:dxy3agcsybcgvm5gblpycd6wtm

Towards automatic synthesis of a class of application-specific sensor networks

Amol Bakshi, Jingzhao Ou, Viktor K. Prasanna
2002 Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02  
Automatic synthesis of sensor network-based systems can be described as the process of translating a formal specification of application functionality into a particular task mapping, settings of available  ...  To demonstrate the utility and feasibility of our proposed methodology, we define a system model for a class of sensor networks, and implement a software framework for its modeling and simulation.  ...  For automatic synthesis of sensor network-based systems, system-wide power/performance analysis is a necessity.  ... 
doi:10.1145/581630.581639 dblp:conf/cases/BakshiOP02 fatcat:uxoeqjvlvfejpczxfg6iwrvcki

IP Based Configurable SIMD Massively Parallel SoC

Mouna Baklouti, Mohamed Abid, Philippe Marquet, Jean Luc Dekeyser
2010 2010 International Conference on Field Programmable Logic and Applications  
The tested mppSoC configurations are obtained varying the parameters and the used networks in order to find the most adequate configuration.  ...  Section 3 presents the FPGA based synthesis results of some mppSoC configurations and discusses the experimental results showing the performance of the mppSoC system.  ...  An mppSoC generation tool is also developed to automatically generate the mppSoC configuration at an RTL abstraction level as specified by the designer at a high abstraction level.  ... 
doi:10.1109/fpl.2010.57 dblp:conf/fpl/BakloutiAMD10 fatcat:jgch2ti27fduhe4ef4mrxxn6oa

Model of an Artificial Neural Network for Solving the Problem of Controlling a Genetic Algorithm Using the Mathematical Apparatus of the Theory of Petri Nets

David Aregovich Petrosov, Vadim Alexsandrovich Lomazov, Nataliy Vladimirovna Petrosova
2021 Applied Sciences  
; simulate the operation and training of an artificial neural network; combine the genetic algorithm with a control add-in based on an artificial neural network to prevent attenuation and premature convergence  ...  in the process of solving the problem of intelligent structural–parametric synthesis of models of large discrete systems.  ...  The synergy of the neural network approach and genetic algorithms is a promising direction that can be widely used.  ... 
doi:10.3390/app11093899 doaj:ea7f2bbefe454c2a95874ff4b36731f9 fatcat:xnvg3mdytzfzzirqcxo5hslxhe

Embedded systems technologies for application-specific architecture platforms

Pierre G. Paulin
2001 Proceedings of the 14th international symposium on Systems synthesis - ISSS '01  
Architectural platforms can be defined as a domain-or application-specific base design which is easily configured to the specific needs of a given market.  ...  An experimental network processing platform developed at STMicroelectronics [1] will be presented to illustrate the concept. Key platform automation challenges will be introduced.  ...  We have based the network processor's toolset on STMicroelectronics internal "FlexWare" [2] embedded software development environment, already used at ST for a wide range of application-specific DSP's  ... 
doi:10.1145/500044.500045 fatcat:xck6kiibprhtpmpt2fm2ascozm

Embedded systems technologies for application-specific architecture platforms

Pierre G. Paulin
2001 Proceedings of the 14th international symposium on Systems synthesis - ISSS '01  
Architectural platforms can be defined as a domain-or application-specific base design which is easily configured to the specific needs of a given market.  ...  An experimental network processing platform developed at STMicroelectronics [1] will be presented to illustrate the concept. Key platform automation challenges will be introduced.  ...  We have based the network processor's toolset on STMicroelectronics internal "FlexWare" [2] embedded software development environment, already used at ST for a wide range of application-specific DSP's  ... 
doi:10.1145/500001.500045 fatcat:3bjj6klscnff5ghhuoepagrbv4

Recent Advances in Process Integration and Its Applications

Jui-Yuan Lee, Cheng-Liang Chen
2018 Process Integration and Optimization for Sustainability  
The overall model is solved simultaneously to determine the costoptimal network configuration.  ...  Isafiade (2018) presents a new synthesis method for retrofitting heat exchanger networks (HENs) using a twostep procedure.  ...  The overall model is solved simultaneously to determine the costoptimal network configuration.  ... 
doi:10.1007/s41660-018-0068-8 fatcat:4tytcffscnhhxl4ah5nlcg4nrm

Egocentric Basketball Motion Planning from a Single First-Person Image

Jianbo Shi, Aaron Chan, Gedas Bertasius
2018 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition  
Next, we propose an inverse synthesis procedure to synthesize a refined sequence of 12D camera configurations that (1) sufficiently matches the initial configurations predicted by the future CNN, while  ...  memory networks (LSTMs), and generative adversarial networks (GANs).  ...  During the inverse synthesis procedure, we fix the parameters of all three networks and only adjust h.  ... 
doi:10.1109/cvpr.2018.00617 dblp:conf/cvpr/BertasiusCS18 fatcat:guimxarb7faspij4dttrcrecva

An ANN-Based Synthesis Model for Parallel Coupled Microstrip Lines with Floating Ground-Plane Conductor and Its Applications

Yuan Cao, Zhongbao Wang, Shaojun Fang
2016 International Journal of Antennas and Propagation  
To directly obtain physical dimensions of parallel coupled microstrip lines with a floating ground-plane conductor (PCMLFGPC), an accurate synthesis model based on an artificial neural network (ANN) is  ...  The performances of the current designs are superior to those of the previous components configured with the PCMLFGPC.  ...  The suitable network configuration for the synthesis model is 5 × 20 × 40 × 16 × 2.  ... 
doi:10.1155/2016/7964528 fatcat:otmfjt6if5cpnef6iqrglcpkwy

Egocentric Basketball Motion Planning from a Single First-Person Image [article]

Gedas Bertasius, Aaron Chan, Jianbo Shi
2018 arXiv   pre-print
Next, we propose an inverse synthesis procedure to synthesize a refined sequence of 12D camera configurations that (1) sufficiently matches the initial configurations predicted by the future CNN, while  ...  memory networks (LSTMs), and generative adversarial networks (GANs).  ...  During the inverse synthesis procedure, we fix the parameters of all three networks and only adjust h.  ... 
arXiv:1803.01413v1 fatcat:la27x7xe3jc53kgplr5tdovxnu

Combinatorial synthesis approach employing graph networks

Offer Shai, Noel Titus, Karthik Ramani
2008 Advanced Engineering Informatics  
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in graph network theory.  ...  To clarify the idea and to demonstrate its generality, the approach is presented through three synthesis case studies from different engineering domains: electrical networks, statics and kinematics.  ...  These graphs are well known and are widely used both in theory and practice.  ... 
doi:10.1016/j.aei.2007.08.003 fatcat:gojkg2icibe4fe3xxfxrcygg6q
« Previous Showing results 1 — 15 out of 112,466 results