17769088
NSIS-Based Quality of Service and Resource Allocation in Ethernet Networks
The definition of the IEEE 802.1Q and IEEE 802.1p standards provided Class of Service (CoS) capabilities to Ethernet networks and, consequently, allowed new QoS services to be deployed. This is used by the Subnet Bandwidth Management (SBM) protocol, an RSVP-based protocol that provides IntServ-like services at Ethernet level. This paper proposes an alternative way to quality of service provision and resource allocation in Ethernet networks, based on the emerging IETF NSIS framework. The proposed approach was validated as a proof of concept by simulation, showing the ability of NSIS to provide QoS differentiation in Ethernet scenarios.
9584994
A Traffic Differentiation Method for IPv6 over ATM Networks
At present, the number of Internet users continues to increase dramatically, accompanied by the large-scale introduction of new applications with multimedia capabilities. New users and applications are constantly demanding better performance from the Internet, if possible with some forms of quality of service (QoS) guarantees. Knowing that no single technology is able to provide such guarantees in the Internet environment — which, by definition is a multi-technology environment — the exploration of promising technologies capable of traffic differentiation that are applicable to parts of the Internet appears as a possible way forward. This paper addresses and explores the benefits of the Internet Protocol version 6 (IPv6) and Asynchronous Transfer Mode (ATM) integration in multimedia environments. A method for traffic differentiation in IPv6-over-ATM networks is proposed, based on the mapping of different IPv6 flows into the address resolution functions of ATM. The proposal is evaluated in terms of introduced overhead, by means of simulation studies, supported by an experimental platform and an IPv6-over-ATM simulator developed for this purpose.
206855912
An algorithm to compare OO-conceptual schemas
In this paper, an algorithmic study of how to compare object-oriented conceptual schemas in a data migration context is carried out. An algorithm is presented based on the tree-comparison technique that compares conceptual schemas. The algorithm uses semantic information in order to optimize efficiency. A template of the equivalences and differences between two schemas is generated in an automatic way. The template shows the results in terms of insertions, updates and deletions. This work is the first phase in a tool which performs the automatic migration of databases starting from the differences detected.
2088546
Combining algorithmic debugging and program slicing
Currently, program slicing and algorithmic debugging are two of the most relevant debugging techniques for declarative languages. They help programmers to find bugs in a semiautomatic manner. On the one hand, program slicing is a technique to extract those program fragments that (potentially) affect the values computed at some point of interest. On the other hand, algorithmic debugging is able to locate a bug by automatically generating a series of questions and processing the programmer's answers. In this work, we show for functional languages how the combination of both techniques produces a more powerful debugging schema that reduces the number of questions that programmers must answer to locate a bug
5433514
Advanced control methods for power electronics systems
The application of modeling methods suitable for control and simulation of power electronic systems is outlined as a self-contained approach to solve the simulation and control problems of novel structures of power electronics converters. The straightforward non-linear modeling for controller design and simulation uses switched state-space models avoiding the averaging task, needs few linear control concepts, derives the stability study from geometric properties and leads to an integrated design of the control, modulators and simulation tasks. On-line sliding mode control techniques are well suited to power converters as they are inherently variable structure systems. Obtained controllers are robust concerning converter parameter variations, semiconductor non-ideal characteristics, load and line disturbances. Main modeling and design steps are summarized and some examples given. Results show fast dynamics, no steady-state errors and robustness against semiconductor non-idealities and dead times.
7296321
Towards CNC Programming Using Haskell
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been proposed to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.
33382273
Implementation of mixed current/voltage testing using the IEEE P1149.4 infrastructure
The development of a mixed-signal test bus infrastructure-IEEE P1149.4-is now in the final stages of the standardization process. Evaluating the test capabilities enabled by this infrastructure is an important step needed to support it as a well established standard. This paper presents experiments carried out with a test chip provided by the P1149.4 working group, which explore the architecture of the proposed analog boundary module to implement alternative testing methods. These include a method for parametric testing of passive components based on the monitoring of the power supply current, and a mixed current/voltage technique allowing the implementation of correlation for testing analog and mixed-signal macros.