ION ON NETWORK MODEL UNDER INTEROPERABLE SIMULATION ENVIRONMENT Bong Gu Kang, Byeong Soo Kim, and Tag Gon Kim Department of Electrical Engineering Korea Advanced Institute of Science and Technology Daejeon, 305-701, Republic of Korea E-mail: [email protected]

The prevailing paradigm in the regime of resource-constrained embedded devices is event-driven programming. It offers a lightweight yet powerful concurrency model without multiple stacks resulting in reduced memory usage compared to multi-threading. However, event-driven programs need to be implemented as explicit state machines, often with no or limited support from the development tools, resu...

Openflow provides a standard interface for separating a network into a data plane and a programmatic control plane. This enables easy network reconfiguration, but introduces the potential for programming bugs to cause network effects. To study OpenFlow switch behavior, we used Alloy to create a software abstraction describing the internal state of a network and its OpenFlow switches. This work ...

The Network management, analysis, and testing environment (Netmate) project addresses research and experimental issues in distributed network management of large, heterogeneous networks. This paper describes the Netmate architecture, and its model for network management information, which emphasizes the definition of generic network objects and relationships chosen specifically for efficient ne...

With the increasing integration of neural networks as components in mission-critical systems, there is an need to ensure that they satisfy various safety and liveness requirements. In recent years, numerous sound complete verification methods have been proposed towards end, but these typically suffer from severe scalability limitations. Recent work has enhancing such techniques with abstraction...

The paper proposes the combination of three traditional modelling methods (analytical, continuous and discrete-event) into a unique hybrid two-level modelling approach to address software process simulation modelling issues. At the higher abstraction level, the process is modelled by a discrete-event queuing network, which represents the component activities (i.e. service stations), their inter...

This paper presents a DVB-RCS satellite emulation system built using the NPBox programmable network emulation system. NPBox allows system components to be modeled both at a higher abstraction level using a finite-state-machine like abstraction, and also at a lower level using customized event guards and actions. Comparison experiments show that the emulated performance is similar to that of a c...

Small object detection for 3D point cloud is a challenging problem because of two limitations: (1) The sparsity clouds significantly increases the difficulty perceiving small objects. (2) occlusion objects can easily break shape their clouds. To alleviate these problems, we design point-based network PSA-Det3D which mainly consists pillar set abstraction (PSA) and foreground compensation (FPC)....

ion Methods for Resource Management in a Distributed Information Network Berthe Y. Choueiry AI Laboratory Swiss Federal Institute of Technology (EPFL) CH-1015 Lausanne E-mail: [email protected] .ch Dean Allemang R&D, Swiss Telecom CH-3029 Berne E-mail: [email protected] Abstract The complexity of Distributed Information Networks (DIN) becomes prohibitive for large networks with varied and interchan...

Context-specific independence representations, such as treestructured CPTs, reduce the number of parameters in Bayesian networks by capturing local independence relationships. We previously presented Abstraction-Based Search (ABS), a technique for using attribute value hierarchies during Bayesian network learning to remove unimportant dis-ion-Based Search (ABS), a technique for using attribute ...