Academic literature on the topic 'Retiment de comptes'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Retiment de comptes.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Retiment de comptes"

1

Soibam*, Daimond Singh, and Manoj Kumar. "Design and Implementation of Third Order Low Pass Digital FIR Filter using Pipelining Retiming Technique." International Journal of Engineering and Advanced Technology 10, no. 4 (2021): 178–84. http://dx.doi.org/10.35940/ijeat.d2446.0410421.

Full text
Abstract:
: This paper presents design and implementation of 3rd order low pass digital FIR filter using pipelining retiming technique. Aim of this paper is to apply pipelining retiming technique on low pass digital FIR filter and compare with the existing second order retimed FIR filter and third order broadcast, non-broadcast low pass FIR filter. MATLAB FDA tool is used to calculate digital FIR filter coefficients. Hamming and Kaiser window methods are used to find out the coefficients of the FIR filter. Broadcast and non broadcast third order low pass FIR filter architectures are used for pipelining retiming .Cutset and feed forward pipelining retiming techniques are used to retime the third order low pass digital FIR filter. We design our algorithm in VHDL and implemented on Xilinx Vivado xc7a35tcpg261-1. Area (LUT), speed and power are calculated using Xilinx Vivado 2015.2 tool. Synthesis and simulation results are discussed in this paper. Speed and area (LUT) of proposed third order low pass FIR filter is improved in comparison with existing designs.
APA, Harvard, Vancouver, ISO, and other styles
2

Capdeferro, Josep, and Adrià San Miguel. "‘Los hòmens no són perfets’: revelacions dels processos de fiscalització institucional." SCRIPTA. Revista Internacional de Literatura i Cultura Medieval i Moderna 13 (June 30, 2019): 194. http://dx.doi.org/10.7203/scripta.13.15481.

Full text
Abstract:
Resum: Els processos de visita o fiscalització d’una institució poden donar informacions molt valuoses sobre l’exercici de les seves competències regulars i sobre els seus engranatges interns de poder i de gestió; també sobre aspectes tangencials o col·laterals inesperats, que sovint reflecteixen disfuncions de funcionament, per exemple apropiacions temporals per part de càrrecs públics d’esclaus o forçats institucionals per a usos privats. La Diputació del General, amb amplis poders fiscals, financers, jurídico-polítics i defensius a la Catalunya moderna, comptà amb un mecanisme de retiment de comptes força sofisticat al seu temps. Gràcies a la informació que llegà, fins i tot es poden conèixer processos instruïts arran de denúncies de persones que consideraven que algun càrrec o oficial públic havia abusat de la seva autoritat o actuat amb prepotència. Es reflecteix, així, que existia una ètica del servei públic i no respectar-la es considerava reprobable.
 
 Paraules clau: Visita, Diputació del General, Catalunya, edat moderna, funcionaris, poder
 
 Abstract: In early modern Catalonia, every three years a powerful provincial representative institution called Diputació del General or Generalitat was subject to a strict accountability procedure which lasted nine months. Many records from these procedures provide us with priceless data about the fiscal, financial and political regular functions of the institution. They also inform us that some officials better cared about themselves than about the organism they were supposed to work for in unexpected ways such as using public slaves for private purposes. Through these records, especially testimonies at trial, we perceive that common people understood quite well what was the attitude that public officers were socially required to keep towards citizens. Arrogant behaviours were thus reprobated, such as other sorts of abuse of power.
 
 Keywords: Catalonia, Generalitat, 17th century, Public service, Political Institutions, Accountability
APA, Harvard, Vancouver, ISO, and other styles
3

Yagain, Deepa, and A. Vijaya Krishna. "Design of Synthesizable, Retimed Digital Filters Using FPGA Based Path Solvers with MCM Approach: Comparison and CAD Tool." VLSI Design 2014 (July 24, 2014): 1–18. http://dx.doi.org/10.1155/2014/280701.

Full text
Abstract:
Retiming is a transformation which can be applied to digital filter blocks that can increase the clock frequency. This transformation requires computation of critical path and shortest path at various stages. In literature, this problem is addressed at multiple points. However, very little attention is given to path solver blocks in retiming transformation algorithm which takes up most of the computation time. In this paper, we address the problem of optimizing the speed of path solvers in retiming transformation by introducing high level synthesis of path solver algorithm architectures on FPGA and a computer aided design tool. Filters have their combination blocks as adders, multipliers, and delay elements. Avoiding costly multipliers is very much needed for filter hardware implementation. This can be achieved efficiently by using multiplierless MCM technique. In the present work, retiming which is a high level synthesis optimization method is combined with multiplierless filter implementations using MCM algorithm. It is seen that retiming multiplierless designs gives better performance in terms of operating frequency. This paper also compares various retiming techniques for multiplierless digital filter design with respect to VLSI performance metrics such as area, speed, and power.
APA, Harvard, Vancouver, ISO, and other styles
4

Dunn, Michael R., Heidi Westerfield Ross, Carolina Baumanis, et al. "Data-Driven Methodology for Prioritizing Traffic Signal Retiming Operations." Transportation Research Record: Journal of the Transportation Research Board 2673, no. 6 (2019): 104–13. http://dx.doi.org/10.1177/0361198119843236.

Full text
Abstract:
Signal retiming is one of the chief responsibilities of municipal transportation agencies, and is an important means of reducing congestion and improving transportation quality and reliability. Many agencies conduct signal retiming and adjustment in a schedule-based manner. However, leveraging a data-driven, need-based approach to signal retiming to prioritize operations could better optimize use of agency resources. Additionally, the growing availability of probe vehicle data has made it an increasingly popular tool for use in roadway performance measurement. This paper presents a methodology for using segment-level probe-based speed data to rank the performance of traffic signal corridors for retiming purposes. This methodology is then demonstrated in an analysis of 79 traffic signal corridors maintained by the City of Austin, Texas. The analysis considers 15-minute speed records for all weekdays in September 2016 and September 2017 to compute metrics and rank corridors based on their relative performance across time periods. The results show that the ranking methodology compares corridors equitably despite differences in road length, functional class, and traffic signal density. Additionally, the results indicate that the corridors prioritized by the ranking methodology represent a much greater potential for improving travel time than the corridors selected under the schedule-based approach.
APA, Harvard, Vancouver, ISO, and other styles
5

Leiserson, Charles E., and James B. Saxe. "Retiming synchronous circuitry." Algorithmica 6, no. 1-6 (1991): 5–35. http://dx.doi.org/10.1007/bf01759032.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Zou, Qingru, Xiangming Yao, Peng Zhao, Zijia Wang, and Taoyuan Yang. "Measuring Retiming Responses of Passengers to a Prepeak Discount Fare by Tracing Smart Card Data: A Practical Experiment in the Beijing Subway." Journal of Advanced Transportation 2019 (June 4, 2019): 1–20. http://dx.doi.org/10.1155/2019/6873912.

Full text
Abstract:
Understanding passengers’ responses to fare changes is the basis to design reasonable price policies. This work aims to explore retiming responses of travelers changing departure times due to a prepeak discount pricing strategy in the Beijing subway in China, using smart card records from an automatic fare collection (AFC) system. First, a new set of classification indicators is established to segment passengers through a two-step clustering approach. Then, the potentially influenced passengers for the fare policy are identified, and the shifted passengers who changed their departure time are detected by tracing changes in passengers’ expected departure times before and after the policy. Lastly, the fare elasticity of departure time is defined to measure the retiming responses of passengers. Two scenarios are studied of one month (short term) and six months (middle term) after the policy. The retiming elasticity of different passenger groups, retiming elasticity over time, and retiming elasticity functions of shifted time are measured. The results show that there are considerable differences in the retiming elasticities of different passenger groups; low-frequency passengers are more sensitive to discount fares than high-frequency passengers. The retiming elasticity decreases greatly with increasing shifted time, and 30 minutes is almost the maximum acceptable shifted time for passengers. Moreover, the retiming elasticity of passengers in the middle term is approximately twice that in the short term. Applications of fare optimization are also executed, and the results suggest that optimizing the valid time window of the discount fares is a feasible way to improve the congestion relief effect of the policy, while policy makers should be cautious to change fare structures and increase discounts.
APA, Harvard, Vancouver, ISO, and other styles
7

Veelenturf, Lucas P., Daniel Potthoff, Dennis Huisman, and Leo G. Kroon. "Railway crew rescheduling with retiming." Transportation Research Part C: Emerging Technologies 20, no. 1 (2012): 95–110. http://dx.doi.org/10.1016/j.trc.2010.09.008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lu, Zongwei, Zhenghui Lin, and Houpeng Chen. "Variables bounding based retiming algorithm." Journal of Computer Science and Technology 17, no. 6 (2002): 797–806. http://dx.doi.org/10.1007/bf02960770.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chuan Lin and Hai Zhou. "Optimal wire retiming without binary search." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 25, no. 9 (2006): 1577–88. http://dx.doi.org/10.1109/tcad.2005.858268.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Jiang, Jie-Hong R., and Robert K. Brayton. "Retiming and Resynthesis: A Complexity Perspective." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 25, no. 12 (2006): 2674–86. http://dx.doi.org/10.1109/tcad.2006.882520.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Retiment de comptes"

1

Garcia, Marimon Xavier. "Retiment de comptes en el sector públic universitari a través d’un model de comptabilitat analítica i un sistema d’indicadors de costos, pressupostaris i financers." Doctoral thesis, Universitat de Barcelona, 2021. http://hdl.handle.net/10803/672383.

Full text
Abstract:
La comptabilitat analítica no és quelcom que es pugui regular i normalitzar. Dins de la ciència comptable hi ha un ampli marc normatiu per a la comptabilitat financera, però és pràcticament inexistent respecte la comptabilitat de costos. I el motiu no és altre que el seu únic principi, el de ser útil, que fa que cada ens organitzi aquesta comptabilitat interna per donar resposta a les seves necessitats. D'intents normalitzadors n'hi ha hagut diversos al llarg del temps. Al principi, la dificultat més gran era en com gestionar tota la informació necessària. Ara que els recursos tècnics són capaços de moure aquest volum d'informació de forma àgil, el problema és com estructurar-ho i organitzar-ho tot de forma sistemàtica, a partir de la implantació d'un model de comptabilitat analítica. La darrera iniciativa, que ara com ara és la que té l'adjectiu d'oficial, es va començar a impulsar l'any 2011 amb el Modelo de Contabilidad Analítica para Universidades. Particularización del Modelo C.A.N.O.A. que si bé hi havia un termini inicial per implantar-lo que finalitzava el 2013, a data de tancament d'aquest treball no només no està implantat per totes les universitats del sistema universitari espanyol sinó que està a punt de publicar-se una nova redacció d'aquest model. En aquest treball s'expliquen les principals característiques d'aquest model i, sobre algun dels apartats, se'n fa una revisió crítica. A partir d'aquesta proposta, a la que convergeixen altres dues propostes normalitzadores, una anterior a l'oficial, i una segona publicada no fa massa, com són el Libro Blanco de los Costes en las Universidades (amb la primera edició publicada el 2006 i dues revisions posteriors, la darrera del 2011), i el document d'AECA La contabilidad de gestión en las universidades del 2019, en aquest treball es fa una proposta on coincidint en gran mesura amb el model CANOA, s'expliquen criteris diferents als proposats en aquest així com en quins aspectes es pot simplificar el model de càlcul, amb l'objectiu de tenir disponible una comptabilitat analítica implantada a les universitats. En aquesta proposta, on es justifica el per què aplicar criteris diferents en alguns aspectes, no només es plantegen els outputs que la comptabilitat de costos ha de generar sinó que també s'incorporen, a partir de treballs previs de l'autor en altres àmbits relacionats amb la comptabilitat de costos i de gestió, un conjunt d'indicadors de la comptabilitat financera i la pressupostària que completen el conjunt de dades a elaborar per fer un complet exercici de transparència de les universitats públiques. I donada la importància del cost del personal a les universitats i dins d'aquest, el cost del personal docent i investigador, es dedica un capítol del treball a posar de manifest la incidència que pot tenir la imputació d'aquest sobre el cost final dels serveis que presta la universitat. I no només es fa referència a l'efecte de la seva imputació, sinó també a què pot suposar aplicar criteris d'imputació racional sobre les dedicacions d'aquest PDI i sobre el cost final de les seves activitats: la recerca, la docència, el cost de les assignatures i el cost dels ensenyaments.
APA, Harvard, Vancouver, ISO, and other styles
2

Corcoy, Rius Marta. "Comunicació i periodisme a les corporacions locals: de les primeres eleccions democràtiques al retiment de comptes. Permanències i canvis a les notícies, del paper als recursos digitals." Doctoral thesis, Universitat Autònoma de Barcelona, 2016. http://hdl.handle.net/10803/400073.

Full text
Abstract:
Aquesta tesi representa el fruit de la meva experiència d’anys d’exercici del periodisme en l’àmbit públic local. Els anys 80 del segle XX començo a treballar com a periodista de fonts, primer en un gabinet d’una institució privada i després a l’ajuntament de Santa Coloma de Gramenet, com a cap de premsa. La vida política i social als pobles i ciutats de Catalunya era intensa i rica: s’estrenava democràcia després de 40 anys de dictadura. Tot estava per fer, la il·lusió i el compromís col·lectiu per millorar les condicions de vida de la ciutadania es respirava arreu. En aquest context la comunicació pública va tenir un rol decisiu. S’informava de l’acció del govern i de l’activitat ciutadana sense que les estructures administratives representessin un fre excessiu a l’hora de definir l’agenda informativa i d’elaborar les informacions. L’intervencionisme polític i/o tècnic, si bé existia, no impedia renunciar al periodisme. La comunicació pública ha evolucionat. S’ha estructurat amb la creació i consolidació dels gabinets de premsa però alhora també s’ha burocratitzat i ha deixat pel camí una part dels seus objectius bàsics: informar amb transparència de la gestió dels responsables de l’organització i no amagar la realitat dels fets ni les seves conseqüències. Les dinàmiques i els interessos partidaris s’han imposat i des dels gabinets de premsa s’ha anat renunciant a fer periodisme. L’essència de la comunicació pública com una eina de gestió i de servei a la ciutadania ha deixat pas al màrqueting al servei del grup polític que ostenta el poder. Aquesta tesi presenta un seguit de recerques realitzades des de principis del segle XXI sobre les diverses formes de comunicació i periodisme que es desenvolupen a les corporacions locals a l’Estat espanyol i especialment a Catalunya, des de les primeres eleccions democràtiques l’any 1979 fins l’etapa actual coneguda com la “segona transició”. Es tracta de conèixer les permanències i els canvis produïts en les informacions que mostren els mitjans de comunicació públics locals en el seu recorregut històric, des del format paper a la dècada dels anys 80 del segle XX, fins la implementació de les tecnologies de la informació i la comunicació (Tic’s) i la creació dels webs a la segona meitat dels anys 90 fins les noves possibilitats actuals. Aquest itinerari històric de més de 35 anys de publicacions en format paper i digital, ens aporta elements d’anàlisi sobre, - la coexistència dels dos formats i el grau de desenvolupament i innovació del web 2.0 i les tecnologies mòbils com a eines per a la interacció entre l’administració i la ciutadania. - quins continguts s’ofereixen. - si els continguts s’elaboren –o no- a partir de criteris periodístics. Les conclusions indiquen que la implantació generalitzada de les Tic’s i el desenvolupament del web 2.0 no han estat suficients per generar millores en la informació i els recursos que les administracions públiques locals posen a disposició de la ciutadania per promoure’n la participació i la interacció. La utilització d’Internet no ha servit per millorar els continguts sinó que s’ha mantingut el mateix criteri a l’hora d’elaborar les notícies: informacions en positiu i al servei dels càrrecs electes. No al servei de la ciutadania ni de la institució que representen. Es fa imprescindible introduir canvis en les rutines de treball i en la noció de notícia i d’informació pública, al servei de la ciutadania i no al servei d’interessos partidaris. La força innovadora de les Tic’s no es pot desvincular de la definició d’objectius i dels principis bàsics en què s’ha de fonamentar la funció de comunicar, és a dir dels principis del periodisme i de les bones pràctiques professionals.<br>This thesis represents the fruit of my years of experience in journalism in the public sphere. I began working as a sources journalist in the eighties of the twentieth century, first in a private firm and then in the city council of Santa Coloma de Gramenet, as press officer. The political and social life in the towns and cities of Catalonia was intense and rich: democracy was just released after 40 years of dictatorship. Everything had still to be done, and the enthusiasm and collective commitment to improve the living conditions of citizens were breathed everywhere. In this context the public media had a decisive role. Government action and citizen activity was reported without excessive obstacles from administrative structures when it came down to set the news agenda and prepare the information. Although political and/or technical interventionism existed, it didn’t force to give up journalism. Public communication has evolved. It has been structured with the creation and consolidation of press offices but it has simultaneously been bureaucratized and it has left a part some of its objectives: to inform transparently about management of the organization’s chief and not to hide the reality of facts or consequences. Dynamics and supporters interests have been imposed and press offices have gradually renounced at making journalism. The essence of public communication as a management tool and service to the public has given way to marketing at the service of the group that holds political power. This thesis presents a series of researches carried out since the beginning of the century on the various forms of communication and journalism developed in local corporations in Spain, especially in Catalonia since first democratic elections in 1979 until the current stage known as the "second transition". It is about to knowing the continuities and changes displayed in the information of media local public on their historic journey from the paper in the early 80s of the twentieth century, to the implementation of information technologies and communication (ICT) and the creation of websites in the second half of the 90s to the current new possibilities available. This historic itinerary through over more than 35 years of print and digital publications provides elements of analysis about, - The coexistence of the two formats and the degree of development and innovation of Web 2.0 and mobile technologies as tools for interaction between government and citizens. - The content they offer - If the contents are made -or not- from/with journalistic standards. The findings indicate that the widespread deployment of ICT and the development of Web 2.0 have not been sufficient to generate improvements in the information and resources that local governments provide to citizens to promote participation and interaction. The use of Internet has helped to improve the content but has kept the same approach when preparing news: information is always positive and at the service of elected officials. Not serving the citizenship or the institution they represent. It is absolutely necessary to introduce changes in work routines and in the notion of news and public information at the service of citizenship and not to serve the supporters interests. The innovative power of ICT cannot be separated from the definition of aims and basic principles on which to base communicative function, namely the journalism principles and good professional practices.
APA, Harvard, Vancouver, ISO, and other styles
3

Casadesús, de Mingo Anahí. "La gestión del riesgo aplicada a la gestión de documentos y su impacto en la rendición de cuentas pública." Doctoral thesis, Universitat Autònoma de Barcelona, 2018. http://hdl.handle.net/10803/665386.

Full text
Abstract:
rendición de cuentas pública La presente investigación se centra en el estudio, teórico y práctico, de la metodología de gestión del riesgo aplicada a la gestión de documentos y cómo esta integración puede afectar en los procesos de rendición de cuentas pública. Se parte de tres ámbitos de estudio diferenciados. En primer lugar, la gestión documental, en segundo lugar, la gestión de riesgos y, en tercer lugar, la rendición de cuentas pública. Se estudian las relaciones entre estos ámbitos y, sobre todo, se exploran los beneficios que aportan entre sí y en conjunto. Se plantean tres hipótesis: una general y dos específicas. La hipótesis general plantea que la integración de la metodología de gestión del riesgo en la gestión de documentos puede contribuir, de manera indirecta, a mejorar los procesos de rendición de cuentas pública. De esta primera hipótesis general se derivan las dos específicas. La primera hipótesis específica plantea que la gestión documental puede mejorar a través de la integración de la metodología de gestión del riesgo. La segunda hipótesis específica plantea que la gestión de riesgos puede mejorar a través de la metodología archivística y de gestión documental. Observando la reciprocidad entre estas dos metodologías, se puede profundizar sobre la hipótesis general de esta investigación. El método de base empleado para la investigación es el método archivístico, que sirve como hilo conductor, y permite enlazar los distintos apartados entre sí. Se emplean también la metodología del estudio de caso y la del Focus Group. Estas metodologías permiten desarrollar los objetivos fijados para demostrar las hipótesis planteadas, a partir del acercamiento desde diversas perspectivas y ámbitos de estudio. Las principales aportaciones de la investigación ponen de manifiesto el reposicionamiento de la gestión documental en las organizaciones con la inclusión de la gestión de riesgos documentales, que necesitará de la adquisición de nuevas competencias y de capacitación por parte de los profesionales. Esta metodología contribuye al empoderamiento de la profesión así como a su afianzamiento en las organizaciones. Sin embargo no hay que olvidar que se trata de un primer paso para el desarrollo de nuevas investigaciones y para la profundización en la materia. Se anima a la comunidad a seguir en el futuro con esta filosofía de integración y crecimiento en positivo.<br>The following research focuses in the theoretical and practical study of the risk management methodology applied to records management, and how its integration can affect public accountability. It is based on three different fields of study. To begin, records management, then risk management and finally public accountability. The relationships between them is studied and most importantly, the exploration of benefits between each other and as a whole unit. Three hypothesis are established: one general and two specific. The general hypothesis sets up that the integration of the risk methodology and records management can provide, indirectly, the improvement of public accountability. From this broad hypothesis one can obtain the other two, more specific. The first specific hypothesis establishes that records management can improve integrating risk management methodology. The second specific hypothesis establishes that risk management can improve through archival methodology and records management. Observing the reciprocity between these two methodologies, a deeper knowledge about the general hypothesis can be achieved with this research. The archival method was used for the research as a guiding thread, and allows to connect the different chapters. Furthermore, two more methodologies are used, Case study and Focus group. These methods allow the development of the objectives set up to corroborate the established hypothesis from multiple perspectives and fields of study. The main contributions from the research are the repositioning of the records management within the organizations and the integration of risk management that will need the acquisition of new abilities and capacities by the professionals. This methodology contributes to the empowerment and security of professionals inside the organizations. However, this research is only the first step towards developing new investigations and deepening the subject. The community is encouraged to continue with the philosophy of integration and positive increase.
APA, Harvard, Vancouver, ISO, and other styles
4

Netolická, Karolína. "Equivalence checking of retimed circuits." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/32104.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (p. 25).<br>This thesis addresses the problem of verifying the equivalence of two circuits, one or both of which have undergone register retiming as well as logic resynthesis. The aim of the thesis is to improve the ability of Formality, an equivalence checking tool written at Synopsys, to handle retimed circuits. At the beginning of this project Formality already had an implementation of peripheral retiming, an algorithm that can handle a large set of retimed circuits. In this thesis, I explain the performance, usability and special case coverage problems found in the original implementation. I review other retiming verification algorithms and conclude that none of them would perform satisfactorily in Formality. Finally, I explain the modifications made to peripheral retiming in order to solve some of the identified issues and propose partial solutions for the problems that have not been solved yet.<br>by Karolína Netolická.<br>M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
5

Sun, Hua. "Throughput constrained and area optimized dataflow synthesis for FPGAS." Diss., CLICK HERE for online access, 2008. http://contentdm.lib.byu.edu/ETD/image/etd2276.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Huard, Guillaume. "Algorithmique du décalage d'instructions." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2001. http://tel.archives-ouvertes.fr/tel-00084753.

Full text
Abstract:
L'évolution constante des processeurs vers des architectures proposant des capacités superscalaires, de parallélisme au niveau des instructions, de prédiction, de spéculation et la multiplication des niveaux de hiérarchie mémoire donnent de plus en plus d'importance au travail du compilateur.<br />Dans cette thèse, nous nous intéressons aux transformations du programme source destinées à l'optimisation dans la chaîne de compilation, et plus particulièrement à une transformation appelée décalage d'instructions.<br />Cette transformation sert de base au pipeline logiciel, elle a une influence sur le parallélisme au niveau des instructions et l'utilisation des registres.<br />Elle intervient également comme composante des techniques de parallélisation de boucles par ordonnancement affine.<br />Nous avons voulu mieux comprendre les perspectives offertes par le décalage d'instructions, savoir quels objectifs il permettait d'atteindre mais aussi savoir quels problèmes de décalage restaient difficiles.<br />Pour cela nous avons étudié le décalage d'instructions dans plusieurs contextes plus ou moins proches, et apporté des contributions à chacun d'entre eux.<br /><br />Dans le cadre du pipeline logiciel, nous proposons un algorithme polynomial pour déterminer le décalage le plus à même de produire un maximum de parallélisme au niveau des instructions, et une étude expérimentale de l'efficacité absolue de la technique à l'aide de l'outil logiciel que nous avons réalisé dans ce but : PASTAGA (pour Plate-forme d'Analyse Statistique et de Tests d'Algorithmes sur Graphes Aléatoires).<br />Dans le cadre de l'utilisation des registres (stage scheduling), de la parallélisation de boucle et de la localité, nous apportons des réponses aux problèmes de décalage d'instructions associés~: complexité, solutions exactes, approximations.
APA, Harvard, Vancouver, ISO, and other styles
7

Rollins, Nathaniel Hatley. "Reducing Power in FPGA Designs Through Glitch Reduction." Diss., CLICK HERE for online access, 2007. http://contentdm.lib.byu.edu/ETD/image/etd1707.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

"Retiming with wire delay and post-retiming register placement." 2004. http://library.cuhk.edu.hk/record=b5892145.

Full text
Abstract:
Tong Ka Yau Dennis.<br>Thesis (M.Phil.)--Chinese University of Hong Kong, 2004.<br>Includes bibliographical references (leaves 77-81).<br>Abstracts in English and Chinese.<br>Chapter 1 --- Introduction --- p.1<br>Chapter 1.1 --- Motivations --- p.1<br>Chapter 1.2 --- Progress on the Problem --- p.2<br>Chapter 1.3 --- Our Contributions --- p.3<br>Chapter 1.4 --- Thesis Organization --- p.4<br>Chapter 2 --- Background on Retiming --- p.5<br>Chapter 2.1 --- Introduction --- p.5<br>Chapter 2.2 --- Preliminaries --- p.7<br>Chapter 2.3 --- Retiming Problem --- p.9<br>Chapter 3 --- Literature Review on Retiming --- p.10<br>Chapter 3.1 --- Introduction --- p.10<br>Chapter 3.2 --- The First Retiming Paper --- p.11<br>Chapter 3.2.1 --- """Retiming Synchronous Circuitry""" --- p.11<br>Chapter 3.3 --- Important Extensions of the Basic Retiming Algorithm --- p.14<br>Chapter 3.3.1 --- """A Fresh Look at Retiming via Clock Skew Optimization""" --- p.14<br>Chapter 3.3.2 --- """An Improved Algorithm for Minimum-Area Retiming""" --- p.16<br>Chapter 3.3.3 --- """Efficient Implementation of Retiming""" --- p.17<br>Chapter 3.4 --- Retiming in Physical Design Stages --- p.19<br>Chapter 3.4.1 --- """Physical Planning with Retiming""" --- p.19<br>Chapter 3.4.2 --- """Simultaneous Circuit Partitioning/Clustering with Re- timing for Performance Optimization" --- p.20<br>Chapter 3.4.3 --- """Performance Driven Multi-level and Multiway Parti- tioning with Retiming" --- p.22<br>Chapter 3.5 --- Retiming with More Sophisticated Timing Models --- p.23<br>Chapter 3.5.1 --- """Retiming with Non-zero Clock Skew, Variable Register, and Interconnect Delay""" --- p.23<br>Chapter 3.5.2 --- """Placement Driven Retiming with a Coupled Edge Tim- ing Model""" --- p.24<br>Chapter 3.6 --- Post-Retiming Register Placement --- p.26<br>Chapter 3.6.1 --- """Layout Driven Retiming Using the Coupled Edge Tim- ing Model""" --- p.26<br>Chapter 3.6.2 --- """Integrating Logic Retiming and Register Placement""" --- p.27<br>Chapter 4 --- Retiming with Gate and Wire Delay [2] --- p.29<br>Chapter 4.1 --- Introduction --- p.29<br>Chapter 4.2 --- Problem Formulation --- p.30<br>Chapter 4.3 --- Optimal Approach [2] --- p.31<br>Chapter 4.3.1 --- Original Mathematical Framework for Retiming --- p.31<br>Chapter 4.3.2 --- A Modified Optimal Approach --- p.33<br>Chapter 4.4 --- Near-Optimal Fast Approach [2] --- p.37<br>Chapter 4.4.1 --- Considering Wire Delay Only --- p.38<br>Chapter 4.4.2 --- Considering Both Gate and Wire Delay --- p.42<br>Chapter 4.4.3 --- Computational Complexity --- p.43<br>Chapter 4.4.4 --- Experimental Results --- p.44<br>Chapter 4.5 --- Lin's Optimal Approach [23] --- p.47<br>Chapter 4.5.1 --- Theoretical Results --- p.47<br>Chapter 4.5.2 --- Algorithm Description --- p.51<br>Chapter 4.5.3 --- Computational Complexity --- p.52<br>Chapter 4.5.4 --- Experimental Results --- p.52<br>Chapter 4.6 --- Summary --- p.54<br>Chapter 5 --- Register Insertion in Placement [36] --- p.55<br>Chapter 5.1 --- Introduction --- p.55<br>Chapter 5.2 --- Problem Formulation --- p.57<br>Chapter 5.3 --- Placement of Registers After Retiming --- p.60<br>Chapter 5.3.1 --- Topology Finding --- p.60<br>Chapter 5.3.2 --- Register Placement --- p.69<br>Chapter 5.4 --- Experimental Results --- p.71<br>Chapter 5.5 --- Summary --- p.74<br>Chapter 6 --- Conclusion --- p.75<br>Bibliography --- p.77
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Retiment de comptes"

1

Weik, Martin H. "retiming." In Computer Science and Communications Dictionary. Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_16295.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Maggiolo-Schettini, Andrea, and Adriano Peron. "Retiming techniques for Statecharts." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61648-9_34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Monteiro, José, and Srinivas Devadas. "Retiming for Low Power." In Computer-Aided Design Techniques for Low Power Sequential Logic Circuits. Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-6319-8_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kuehlmann, Andreas, and Jason Baumgartner. "Transformation-Based Verification Using Generalized Retiming." In Computer Aided Verification. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44585-4_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gupta, Aarti, Pranav Ashar, and Sharad Malik. "Exploiting Retiming in a Guided Simulation Based Validation Methodology." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48153-2_32.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Retiment de comptes"

1

Zhu, Xue-Yang. "Efficient Retiming of Unfolded Synchronous Dataflow Graphs." In 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE, 2019. http://dx.doi.org/10.1109/iceccs.2019.00022.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chu, C., E. F. Y. Young, D. K. Y. Tong, and S. Dechu. "Retiming with interconnect and gate delay." In ICCAD-2003. International Conference on Computer Aided Design. IEEE, 2003. http://dx.doi.org/10.1109/iccad.2003.159693.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sergiyenko, Anatolij, Anastasia Serhienko, and Andrij Simonenko. "A method for synchronous dataflow retiming." In 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON). IEEE, 2017. http://dx.doi.org/10.1109/ukrcon.2017.8100404.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Museth, Ken. "Retiming of fluid simulations for VFX." In SIGGRAPH '19: Special Interest Group on Computer Graphics and Interactive Techniques Conference. ACM, 2019. http://dx.doi.org/10.1145/3306307.3328163.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Yu, Cunxi, Chau-Chin Huang, Gi-Joon Nam, et al. "End-to-End Industrial Study of Retiming." In 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE, 2018. http://dx.doi.org/10.1109/isvlsi.2018.00046.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Jiang, Jie-Hong R., and Wei-Lun Hung. "Inductive equivalence checking under retiming and resynthesis." In 2007 IEEE/ACM International Conference on Computer-Aided Design. IEEE, 2007. http://dx.doi.org/10.1109/iccad.2007.4397285.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Maheshwari and Sapatnekar. "Minimum area retiming with equivalent initial states." In Proceedings of IEEE International Conference on Computer Aided Design (ICCAD). IEEE, 1997. http://dx.doi.org/10.1109/iccad.1997.643523.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dokhanchi, Adel, Mostafa Rezvani, Ali Jahanian, and Morteza Saheb Zamani. "Performance Improvement of Physical Retiming with Shortcut Insertion." In 2008 IEEE Computer Society Annual Symposium on VLSI. IEEE, 2008. http://dx.doi.org/10.1109/isvlsi.2008.38.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Hurst, Aaron P., Alan Mishchenko, and Robert K. Brayton. "Fast Minimum-Register Retiming via Binary Maximum-Flow." In Formal Methods in Computer Aided Design (FMCAD'07). IEEE, 2007. http://dx.doi.org/10.1109/fmcad.2007.4401998.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hurst, Aaron P., Alan Mishchenko, and Robert K. Brayton. "Fast Minimum-Register Retiming via Binary Maximum-Flow." In Formal Methods in Computer Aided Design (FMCAD'07). IEEE, 2007. http://dx.doi.org/10.1109/famcad.2007.31.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!