Filters








13,334 Hits in 2.3 sec

Lazy man's logic synthesis

Wenlong Yang, Lingli Wang, Alan Mishchenko
2012 Proceedings of the International Conference on Computer-Aided Design - ICCAD '12  
This paper presents a "lazy" approach to logic synthesis based on the following observations: (a) optimal or near-optimal circuits for many practical functions are already derived by the tools, making  ...  Moreover, a case-study shows that logic level minimization using lazy man's synthesis improves delay after LUT mapping into 4-and 6-input LUTs, compared to earlier work on high-effort delay optimization  ...  LMS is an abbreviation for "lazy man's logic synthesis". IV. ALGORITHM This section introduces the proposed algorithm. A.  ... 
doi:10.1145/2429384.2429513 dblp:conf/iccad/YangWM12 fatcat:pvb5hp5gk5f25jaml5oskw6stu

Lazy Solid Texture Synthesis

Yue Dong, Sylvain Lefebvre, Xin Tong, George Drettakis
2008 Computer graphics forum (Print)  
Memory usage and synthesis time only depend on the output textured surface area.  ...  This significantly reduces the search space during subsequent synthesis. The result is a new parallel, spatially deterministic solid texture synthesis algorithm which runs efficiently on the GPU.  ...  Lazy Solid Synthesis For each pixel of each 2D exemplar, we now have a set of pre-computed 3D candidates, which we will use to perform efficient solid synthesis.  ... 
doi:10.1111/j.1467-8659.2008.01254.x fatcat:ellqkv5okzgjfkvrmmqh2oafiy

Lazy Evaluation In Microsound Synthesis

Hiroki Nishino, Adrian David Cheok
2016 Proceedings of the SMC Conferences  
Lazy Evaluation and Digital Sound Synthesis Lazy Evaluation Lazy evaluation is a method to evaluate programs, often seen in functional programing languages.  ...  In this paper, we propose a solution to this problem by adopting lazy evaluation to the microsound synthesis framework.  ... 
doi:10.5281/zenodo.851279 fatcat:y6wzb27ljzapzoei2zjtmhkjve

Lazy Abstraction-Based Controller Synthesis [article]

Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2019 arXiv   pre-print
We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications.  ...  We show that lazy ABCS can significantly outperform previous multi-layered ABCS algorithms: on standard benchmarks, lazy ABCS is more than 4 times faster.  ...  We apply the paradigm of lazy abstraction [21] to multi-layered synthesis for safety specifications in [23] .  ... 
arXiv:1804.02722v2 fatcat:i3ftqytwoneinowlblqujoxok4

Architecture aware compilation of quantum circuits via lazy synthesis [article]

Simon Martiel, Timothée Goubault de Brugière
2022 arXiv   pre-print
Usually, this problem is tackled via either SWAP insertion techniques or re-synthesis of portions of the circuit using architecture aware synthesis algorithms.  ...  In this work, we propose a meta-heuristic that couples the iterative approach of SWAP insertion techniques with greedy architecture aware synthesis routines.  ...  Lazy linear synthesis.  ... 
arXiv:2012.09663v4 fatcat:vwmpvcjrdjfu7m7o4kzmupl6iu

Architecture aware compilation of quantum circuits via lazy synthesis

Simon Martiel, Timothée Goubault de Brugière
2022 Quantum  
Usually, this problem is tackled via either SWAP insertion techniques or re-synthesis of portions of the circuit using architecture aware synthesis algorithms.  ...  In this work, we propose a meta-heuristic that couples the iterative approach of SWAP insertion techniques with greedy architecture-aware synthesis routines.  ...  Lazy linear synthesis.  ... 
doi:10.22331/q-2022-06-07-729 fatcat:yh5d3orcpvbnhmq7pibsf2cpsi

Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema

Bruno Buchberger, Adrian Crăciun
2004 Electronical Notes in Theoretical Computer Science  
Also, we give details about the implementation of the lazy thinking algorithm synthesis method in the frame of the Theorema system.  ...  Recently, we proposed a systematic method for top-down synthesis and verification of lemmata and algorithms called "lazy thinking method" as a part of systematic mathematical theory exploration (mathematical  ...  The lazy thinking approach to algorithm synthesis is an adaptation of the lazy thinking paradigm for lemmata invention introduced in [4] .  ... 
doi:10.1016/j.entcs.2003.12.027 fatcat:vucw6tgxybfjpoxx6hzoyrbtam

Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions

J. Cortadella, M. Kishinevsky, S.M. Burns, A. Kondratyev, L. Lavagno, K.S. Stevens, A. Taubin, A. Yakovlev
2002 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
It introduces lazy transitions systems as a new computational model to represent the timing information required for synthesis.  ...  The paper presents necessary conditions to generate circuits and a synthesis algorithm that exploits the timing assumptions for optimization.  ...  The concept of lazy quiescent region (LzQR) is useful for the synthesis of circuits.  ... 
doi:10.1109/43.980253 fatcat:obv4tt2jn5gx5dqvtzgh5xky4e

Lazy cache invalidation for self-modifying codes

Anthony Gutierrez, Joseph Pusdesris, Ronald G. Dreslinski, Trevor Mudge
2012 Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems - CASES '12  
Lazy cache invalidation reduces the amount of time spent stalling due to instruction cache invalidation by removing stale instructions on demand as they are accessed, as opposed to all at once.  ...  The key observation behind lazy cache invalidation is that stale instructions do not necessarily need to be removed from the instruction cache; as long as it is guaranteed that attempts to fetch stale  ...  LAZY CACHE INVALIDATION In this section we outline our lazy cache invalidation technique.  ... 
doi:10.1145/2380403.2380433 dblp:conf/cases/GutierrezPDM12 fatcat:4n77tazaa5co3eccmvt7rfi3fa

A PROLOG PROGRAM FOR ANALYSIS AND SYNTHESIS OF TYPICAL SENTENCES TAKEN FROM ADVERTISEMENTS

Mirjana Lazi´clazi´c
2002 Kragujevac J. Math   unpublished
This paper is about a PROLOG program for analysis and synthesis of typical sentences taken from advertisements.  ...  The first one is used in the analysis, and the second one is used in the synthesis of sentences.  ...  parse tree for that sentence (in the clumsy form). 192 This PROLOG program can be applied for: • Control of the belonging of sentence to a chosen fragment • Analysis of the chosen fragment's sentence • Synthesis  ... 
fatcat:ltnfchbsnvgqvcgaharsusvp6e

Wavelet-based progressive compression scheme for triangle meshes: wavemesh

S. Valette, R. Prost
2004 IEEE Transactions on Visualization and Computer Graphics  
Exact Integer Analysis-Synthesis Scheme via the Lazy Filterbank First, we introduce A j lazy , B j lazy , P j lazy , and Q j lazy as the "lazy" filterbank.  ...  Fig. 6 . 6 One level integer-to-integer wavelet analysis and synthesis schemes: (a) with lazy wavelets, (b) with lifted lazy wavelets. Fig. 7 . 7 Rate-distortion curve for the Fandisk.  ... 
doi:10.1109/tvcg.2004.1260764 pmid:15384637 fatcat:hzmatb4wprgndoblt3qftta76i

Implementation of hybrid version management in hardware transactional memory

Lihang Zhao, Jeff Draper
2013 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013)  
Synthesis results show that the hardware structures incur an area overhead of only 0.4% and a power overhead of 1.65% to the Sun Rock processor design.  ...  SYNTHESIS RESULTS The proposed designs were implemented with Verilog HDL and synthesized using Synopsys Design Compiler, targeting the IBM 32nm SOI technology.  ...  Section IV and Section V discuss the full-system simulation and synthesis results, respectively. Section VI concludes this paper. II. HYBRID VERSION MANAGEMENT IN HTM A.  ... 
doi:10.1109/iscas.2013.6571962 dblp:conf/iscas/ZhaoD13 fatcat:oohh4vs6sbbpdnn77jmunlv7ma

Design and Verification of Lazy and Hybrid Implementations of the SELF Protocol [chapter]

Eliyah Kilada, Kenneth S. Stevens
2012 IFIP Advances in Information and Communication Technology  
The design space of lazy SELF protocols is evaluated and verified.  ...  Several new designs are mapped to hybrid eager/lazy implementations that retain the performance advantage of the eager design but have power advantages of lazy implementations.  ...  Synthesis The synthesis of a lazy join as a control buffer is performed similar to the lazy fork. The KM is shown in Fig. 10 . There are 16 possible implementations.  ... 
doi:10.1007/978-3-642-28566-0_9 fatcat:kdnl6ii4jbbfdei4dx6xw5grkq

Image Resolution Enhancement via Data-Driven Parametric Models in the Wavelet Space

Xin Li
2007 EURASIP Journal on Image and Video Processing  
Both parametric and nonparametric models have been developed and demonstrated visually appealing synthesis results.  ...  Various statistical models developed for texture synthesis (e.g., [21, 27, 28] ) can be used to derive the prior constraint sets.  ... 
doi:10.1186/1687-5281-2007-041516 fatcat:cvluupum7vawdkgsxfhdxshgbq

Image Resolution Enhancement via Data-Driven Parametric Models in the Wavelet Space

Xin Li
2007 EURASIP Journal on Image and Video Processing  
Both parametric and nonparametric models have been developed and demonstrated visually appealing synthesis results.  ...  Various statistical models developed for texture synthesis (e.g., [21, 27, 28] ) can be used to derive the prior constraint sets.  ... 
doi:10.1155/2007/41516 fatcat:baaz6naevffvjpm6vijq4huhja
« Previous Showing results 1 — 15 out of 13,334 results