CONATEL 2011最新文献

Copyright page 版权页

CONATEL 2011 Pub Date : 2022-11-01 DOI: 10.1109/greencom.2011.6082524

引用次数: 0

Program committee 项目委员会

CONATEL 2011 Pub Date : 2019-07-01 DOI: 10.1109/IOLTS.2005.58

Terry V. Benzel

{"title":"Program committee","authors":"Terry V. Benzel","doi":"10.1109/IOLTS.2005.58","DOIUrl":"https://doi.org/10.1109/IOLTS.2005.58","url":null,"abstract":"Confluence is a critical property of computational systems which is related with determinism and non ambiguity and thus with other relevant computational attributes of functional specifications and rewriting system as termination and completion. Several criteria have been explored that guarantee confluence and their formalisations provide further interesting information. This talk will discuss topics related with the formalisation of confluence properties in the prototype verification system PVS. Syntactic criteria such as avoiding overlapping of rules as well as linearity of rules have been used as a discipline of functional programming which avoids ambiguity. In the context of term rewriting systems, well-known results such as Newman’s Lemma [7], Rosen’s Confluence of Orthogonal term rewriting systems [9] as well as the famous KnutBendix(-Huet) Critical Pair Theorem [6, 5] are of great theoretical and practical relevance. The first one, guarantees confluence of Noetherian and locally confluent abstract reduction systems; the second one, assures confluence of orthogonal term rewriting systems, that are systems which avoid ambiguities generated by overlapping of their rules and whose rules do not allow repetitions of variables in their left-hand side (i.e., left-linear); and, the third one provides local confluence of term rewriting systems whose critical pairs are joinable. Formalisations of these confluence criteria provide valuable and precise data about the theory of rewriting (cf. [4], [3], [8]). Several aspects that arise from these formalisations are of great relevance for the formal discussion about how these properties should be adequately ported to different computational contexts such as the nominal approach of rewriting (cf. [1] [2]).","PeriodicalId":197632,"journal":{"name":"CONATEL 2011","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114236464","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Video compression: An evolving technology for better user experiences 视频压缩:为了更好的用户体验而不断发展的技术

CONATEL 2011 Pub Date : 2011-05-17 DOI: 10.1109/CONATEL.2011.5958675

F. Pereira

引用次数: 7

Design considerations for implant — On-body UWB communication for medical applications 医疗应用中植入体上超宽带通信的设计考虑

CONATEL 2011 Pub Date : 2011-05-17 DOI: 10.1109/CONATEL.2011.5958662

A. C. Gordillo, Kui Zhou

引用次数: 1

2-STCg optical multicast traffic grooming node for the fishbone-like Peruvian WDM core network 用于鱼骨状秘鲁WDM核心网的2-STCg光组播流量梳理节点

CONATEL 2011 Pub Date : 2011-05-17 DOI: 10.1109/CONATEL.2011.5958655

N. C. L. Valdivia, G. M. Fernández

{"title":"2-STCg optical multicast traffic grooming node for the fishbone-like Peruvian WDM core network","authors":"N. C. L. Valdivia, G. M. Fernández","doi":"10.1109/CONATEL.2011.5958655","DOIUrl":"https://doi.org/10.1109/CONATEL.2011.5958655","url":null,"abstract":"In some developing countries, like Peru, optical transport networks are not widely deployed, mainly because of economical factors and geographical difficulties. Its topology has a fishbone-like structure, and it may not need powerful all-optical multicast nodes in order to attend multicast demands. Also, traffic demands may not occupy all the wavelength capacities, which make traffic grooming a necessary capability for saving bandwidth. In the present work we propose an optical node capable of performing multicast routing tasks at traffic grooming level. The node's architecture has been based on two previous works: the 2-Split-Tap-and-Continue (2-STC) node (a multicast capable node with a simple structure, constrained to binary-splitting, but efficient regarding the use of power levels and the number of elements used), and the Stop-and-Go (S/G) Light Tree node (a multicast grooming capable node that uses a labeling technique based on FSK modulation, allowing multicast requests to be routed at the optical level). In this sense, the proposed node improves the use of the optical power, waste of bandwidth and delay, taking advantage of the physical distribution presented in this particular fishbone-like network. Several simulations have been done and results show these assessments.","PeriodicalId":197632,"journal":{"name":"CONATEL 2011","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128605831","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Analysis of Phase-Shift DFB lasers using the dynamic transfer-matrix-method 用动态传递矩阵法分析相移DFB激光器

CONATEL 2011 Pub Date : 2011-05-17 DOI: 10.1109/CONATEL.2011.5958659

C. Fernandes, J. Boavida, J. Morgado

引用次数: 0

Probabilistic description of the NGOSS Change Management process NGOSS变更管理流程的概率描述

CONATEL 2011 Pub Date : 2011-05-17 DOI: 10.1109/CONATEL.2011.5958671

Michal Mrajca, Z. Brabec

引用次数: 0

On the optimal Lagrangian parameter for motion estimation: A low-cost and effective method for improving video coding performance 运动估计的最优拉格朗日参数:一种提高视频编码性能的低成本有效方法

CONATEL 2011 Pub Date : 2011-05-17 DOI: 10.1109/CONATEL.2011.5958668

J. Molinero, Amaya Jiménez, Eduardo Martínez-Enríquez, F. Díaz-de-María

{"title":"On the optimal Lagrangian parameter for motion estimation: A low-cost and effective method for improving video coding performance","authors":"J. Molinero, Amaya Jiménez, Eduardo Martínez-Enríquez, F. Díaz-de-María","doi":"10.1109/CONATEL.2011.5958668","DOIUrl":"https://doi.org/10.1109/CONATEL.2011.5958668","url":null,"abstract":"The most recent video coding standards are usually based on a rate-distortion optimization (RDO) process that has been formulated in terms of an unconstrained Lagrangian optimization. The RDO provides outstanding results in exchange for a high computational cost, especially for the Inter frames, which require a computationally heavy motion estimation (ME) process. In particular, for H.264/AVC, this RDO process allows selecting both the MB partition size and the motion vector. However, as the optimum procedure is not feasible for computational reasons, the ME process uses a simplified rate-distortion (RD) cost function. Therefore, two RDO processes are involved, one for selecting the MB partition size and one for ME. Both RDO processes rely on an Lagrangian formulation and, for practical purposes, the corresponding Lagrangian parameters are related by a simple, experimentally obtained relationship. In this paper, some evidences of the weaknesses of such a relationship between the two Lagrangian parameters are given and a simple effective procedure to improve the R-D encoding performance is proposed according to such weaknesses. The proposed method has been comparatively evaluated with respect to one recently published method, showing significant average performance improvements, above 0.4 dB in terms of PSNR.","PeriodicalId":197632,"journal":{"name":"CONATEL 2011","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121633755","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Off-line signature verification using local patterns 使用本地模式的离线签名验证

CONATEL 2011 Pub Date : 2011-05-17 DOI: 10.1109/CONATEL.2011.5958667

Miguel A. Ferrer, A. Morales, J. Vargas

引用次数: 10

Simulation inspired model for energy consumption in 3G always-on mobiles 基于仿真的3G移动设备能耗模型

CONATEL 2011 Pub Date : 2011-05-17 DOI: 10.1109/CONATEL.2011.5958673

T. R. B. Oliveira, E. Ursini, V. Timóteo

引用次数: 5