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
Software defect prediction with Bug-Code analyzer - A data collection tool demo
2014
2014 22nd International Conference on Software, Telecommunications and Computer Networks (SoftCOM)
Preserved Fulltext
Parallel to proposed stochastic methods, we will explore the use of relevant sensitivity analysis tools to precisely assess the sensitivity of the different random parameters. ...
Abstract: This study is related with the problem of protection of electronics systems from the current and voltage surges. ...
Participants are invited to discuss the efficiency and development of the innovation system and infrastructure. ...
doi:10.1109/softcom.2014.7039122
dblp:conf/softcom/MausaGB14
fatcat:3bh4r36gufevxncv2mqfskepoi
D6.1 System Orchestration And Management Design And Implementation
2018
Zenodo
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.
It concludes all the efforts done at WP6, finalizing the control framework, the SLA-base deployment design, and completes the symbolic execution checking and anomaly detection tools implementation. ...
This deliverable reports the efforts of the three WP6 Tasks. ...
Given a symbolic packet p and an input port i to start exploration, symbolic execution will produce a set of symbolic packet and output port pairs: Symbex(M, i, p) = {(o 1 , π 1 ), (o 2 , π 2 ), . . . ...
doi:10.5281/zenodo.1232116
fatcat:sdtzshzkljbennvyyi7qklryby
Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata
2012
it - Information Technology
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.
Wir stellen einen Algorithmus vor, der aus einem abstrakten Modell alle möglichen (zeitbehafteten) Ausgaben berechnet und aus diesen automatisch SystemC Test Benches erzeugt. ...
Combining Model Checking and Testing Static and dynamic verification techniques have both their advantages and disadvantages. ...
The integration of static and dynamic techniques is a particularly promising approach, as it combines the significance of formal verification with the efficiency and convenience of testing. ...
doi:10.1524/itit.2012.0692
fatcat:r5atkjzrpvdhzpm4tunx2oiovy
Final Service Provider DevOps concept and evaluation
[article]
2016
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.
Other Versions
This report presents the results of the UNIFY Service Provider DevOps activities. First, we present the final definition and assessment of the concept. ...
SP-DevOps is realized by a combination of various functional components facilitating integrated service verification, efficient and programmable observability, and automated troubleshooting processes. ...
Therefore, test packets can be transmitted to OpenFlow switches through packet-out messages. ...
arXiv:1610.02387v2
fatcat:clybp24zwzgijdo5db7tvksuaa
A Survey on Data Plane Programming with P4: Fundamentals, Advances, and Applied Research
[article]
2021
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 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Programming protocol-independent packet processors (P4) has emerged as the currently most widespread abstraction, programming language, and concept for data plane programming. ...
In the first part of this paper we give a tutorial of data plane programming models, the P4 programming language, architectures, compilers, targets, and data plane APIs. ...
[134] propose program verification based on symbolic execution in combination with a novel description language designed for the properties of P4. ...
arXiv:2101.10632v3
fatcat:ci4hkca5ibdzpatgowhzqcqzvm
An Exhaustive Survey on P4 Programmable Data Plane Switches: Taxonomy, Applications, Challenges, and Future Trends
[article]
2021
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 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This open-design paradigm is paving the way for an unprecedented wave of innovation and experimentation by reducing the time of designing, testing, and adopting new protocols; enabling a customized, top-down ...
approach to develop network applications; providing granular visibility of packet events defined by the programmer; reducing complexity and enhancing resource utilization of the programmable switches; ...
described an AQM evaluation testbed with P4 in a demo paper. The authors tested the ... ...
arXiv:2102.00643v2
fatcat:izxi645kozdc5ibfsqp2y2foau
On the Confidence in Bit-Alias Measurement of Physical Unclonable Functions
2019
2019 17th IEEE International New Circuits and Systems Conference (NEWCAS)
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.
Other Versions
The proposed methods are publicly available and should improve the design and evaluation of PUFs in the future. ...
Application to several published PUF designs demonstrates the methods' capabilities. The results prove the need for a high number of samples when the unpredictability of PUFs is tested. ...
And through the analysis of inequality
constraints, a theoretical framework is derived, which assist
the exploration the complete optimal operation design. ...
doi:10.1109/newcas44328.2019.8961298
dblp:conf/newcas/WildeP19
fatcat:wv67uzuqlvcmhma3nahzdrr2ta
2019
2022
Zenodo
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.
Causes & effects of corrosion of metals and control of corrosion. ...
Understanding Phase rule and instrumental techniques and its applications. CO5.Over viewing of synthesis, properties and applications of nanomaterials. ...
Teaching Pedagogy: Chalk and talk using PPT and Demo to explain the Concept 10 hours Module IV Test Execution: Overview of test execution, from test case specification to test cases, Scaffolding, Generic ...
doi:10.5281/zenodo.7370735
fatcat:q22x5ccyjnd23irl3shakpvwhy
An Exhaustive Survey on P4 Programmable Data Plane Switches: Taxonomy, Applications, Challenges, and Future Trends
2021
IEEE Access
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.
This open-design paradigm is paving the way for an unprecedented wave of innovation and experimentation by reducing the time of designing, testing, and adopting new protocols; enabling a customized, top-down ...
approach to develop network applications; providing granular visibility of packet events defined by the programmer; reducing complexity and enhancing resource utilization of the programmable switches; ...
ACKNOWLEDGEMENT This material is based upon work supported by the National Science Foundation under grant numbers 1925484 and 1829698, funded by the Office of Advanced Cyberinfrastructure (OAC). ...
doi:10.1109/access.2021.3086704
fatcat:2jgbxj2cbfbp7fawkxwrztbbia
Management and configuration issues for sensor networks
2005
International Journal of Network Management
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.
Short abstract We define three of the key issues related to efficient management and configuration of sensor networks: the distribution and management of roles within the network, efficient code distribution ...
Full abstract In this paper, we define three of the key issues that need to be solved in order to provide efficient management and configuration of applications and system software in sensor networks: ...
Therefore, we have tested our algorithm with random distributions of roles to show that it can also be used effectively in such scenarios. ...
doi:10.1002/nem.571
fatcat:sp45ltexqjcfhi7g4frn67jlpa
Heuristic Algorithm for Efficient Data Retrieval Scheduling in the Multichannel Wireless Broadcast Environments
2015
International Journal of Computer Applications Technology and Research
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.
elements only, and is independent of the number of attributes. ...
From the server's point of view, how to place the data items on channels is a crucial issue, with the objective of minimizing the average access time and tuning time. ...
The tabu search algorithm is added to the mutation step of genetic algorithm to reduce the randomness and the execution time of search and this enhances the quality of the end result. ...
doi:10.7753/ijcatr0405.1001
fatcat:7xpnnpep5vd7hcrmcjr4fvpnq4
PEGASUS: Pre-training with Extracted Gap-sentences for Abstractive Summarization
[article]
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
However, pre-training objectives tailored for abstractive text summarization have not been explored. Furthermore there is a lack of systematic evaluation across diverse domains. ...
Experiments demonstrate it achieves state-of-the-art performance on all 12 downstream datasets measured by ROUGE scores. ...
, and Samy Bengio for reviewing the manuscript. ...
arXiv:1912.08777v3
fatcat:sniaydtda5a35pgyugitvcjtpy
D4.1 METRO-HAUL Control and Management Requirements and Framework
2018
Zenodo
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.
The METRO-HAUL control, orchestration and management system that enables the dynamic provisioning of services, such as network data connectivity or network slicing instances, is presented from a high-level ...
For each component, D4.1 details its implementation roadmap, functional regression and integration tests, and the means to validate the implementation, including control KPIs. ...
For example, within the BVT, we can vary: modulation formats, symbol rates and FEC, and adapt them to instantaneous quality of transmission, assessed through the OSNR. ...
doi:10.5281/zenodo.2586712
fatcat:db2lgebgy5c2tn3i3stsgvqzqu
2019
2022
Zenodo
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.
Test Execution: Overview of test execution, from test case specification to test cases, Scaffolding, Generic versus specific scaffolding, Test oracles, Self-checks as oracles, Capture and replay Process ...
System, Acceptance and Regression Testing: Overview, System testing, Acceptance testing, Usability, Regression testing, Regression test selection techniques, Test case prioritization and selective execution ...
and generalization, the art behind learning and ethical implications of training deep learning algorithms Teaching Methodology: Chalk and talk using PPT and Demo to explain the concept. ...
doi:10.5281/zenodo.7364562
fatcat:xz7jscthq5g2xiw3oolt6vm6by
D3.2 First validation of the METRO-HAUL node architecture and optical solutions
2019
Zenodo
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.
The deliverable also includes an early description of the METRO-HAUL node control and management environment and the developed software for controlling all the OIE developed in T3.4. ...
D3.2 reports the first validation of the METRO-HAUL node architecture and the interconnection, transmission and switching optical solutions developed in T3.1-T3.3 in different disaggregated scenarios. ...
The integration with Berlin demo is expected for M30.
Functional Tests To test the passive probe, a traffic generator is used, based on existing network traces. ...
doi:10.5281/zenodo.3497044
fatcat:zw3dovnytjfsjjwp7lbx7qhyou
« Previous
Showing results 1 — 15 out of 443 results