A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Network-wide Configuration Synthesis
[article]
2017
arXiv
pre-print
Preserved Fulltext
Other Versions
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2012
Proceedings of the ACM/SIGDA international symposium on Field Programmable Gate Arrays - FPGA '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 International Conference on Field Programmable Logic and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2021
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
; 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
2001
Proceedings of the 14th international symposium on Systems synthesis - ISSS '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the 14th international symposium on Systems synthesis - ISSS '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2018
Process Integration and Optimization for Sustainability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2018
2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Antennas and Propagation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2008
Advanced Engineering Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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