BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
design (14)
power (11)
base (9)
high (8)
analog (7)

Stem convert$ (all stems)

75 papers:

DocEngDocEng-2015-AzevedoLS #3d #approach
An Approach to Convert NCL Applications into Stereoscopic 3D (RGDAA, GAFL, LFGS), pp. 177–186.
CADECADE-2015-Baumgartner #named #proving #theorem proving
SMTtoTPTP — A Converter for Theorem Proving Formats (PB), pp. 285–294.
CASECASE-2014-OhnishiY #performance
Switching control of DC-DC converters with Electric Double-Layer Capacitor based on control performance index (YO, TY), pp. 188–193.
DATEDATE-2014-GinesL #pipes and filters #testing
Sigma-delta testability for pipeline A/D converters (AJG, GL), pp. 1–6.
HCIDHM-2014-KikuchiTTGH #information management
Biomechanics Investigation of Skillful Technician in Spray-up Fabrication Method — Converting Tacit Knowledge to Explicit Knowledge in the Fiber Reinforced Plastics Molding (TK, YT, YT, AG, HH), pp. 24–34.
ECOOPECOOP-2014-OkurED #abstraction #low level #parallel
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions (SO, CE, DD), pp. 515–540.
DACDAC-2013-CarloYM #3d #induction #integration #on the #power management
On the potential of 3D integration of inductive DC-DC converter for high-performance power delivery (SC, WY, SM), p. 8.
DATEDATE-2013-LuL #multi
Slack budgeting and slack to length converting for multi-bit flip-flop merging (CCL, RBL), pp. 1837–1842.
DATEDATE-2013-WangYWZ #3d #configuration management #manycore #network
3D reconfigurable power switch network for demand-supply matching between multi-output power converters and many-core microprocessors (KW, HY, BW, CZ), pp. 1643–1648.
DATEDATE-2012-LiuTWY #simulation
A GPU-accelerated envelope-following method for switching power converter simulation (XL, SXDT, HW, HY), pp. 1349–1354.
DLTDLT-2012-LavadoPS #automaton #context-free grammar #nondeterminism
Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent Deterministic Automata (GJL, GP, SS), pp. 284–295.
ICALPICALP-v1-2012-MansourRVX #algorithm #online
Converting Online Algorithms to Local Computation Algorithms (YM, AR, SV, NX), pp. 653–664.
CASECASE-2011-HejriG #hybrid #modelling
Hybrid modeling and control of switching DC-DC converters via MLD systems (MH, AG), pp. 714–719.
CASECASE-2011-SekerZ
A new sliding mode controller for the DC to DC flyback converter (MS, EZ), pp. 720–724.
DATEDATE-2011-LuPRR #energy #optimisation
Stage number optimization for switched capacitor power converters in micro-scale energy harvesting (CL, SPP, VR, KR), pp. 770–775.
ASEASE-2010-KhatchadourianM #automation #java #refactoring
Enumeration refactoring: a tool for automatically converting Java constants to enumerated types (RK, BM), pp. 181–182.
DocEngDocEng-2010-MarinaiMS #documentation #recognition
Table of contents recognition for converting PDF documents in e-book formats (SM, EM, GS), pp. 73–76.
TACASTACAS-2010-AvnitSP #automation #named #protocol #synthesis
ACS: Automatic Converter Synthesis for SoC Bus Protocols (KA, AS, JP), pp. 343–348.
DATEDATE-2009-AvnitS #approach #design #formal method #protocol
A formal approach to design space exploration of protocol converters (KA, AS), pp. 129–134.
DATEDATE-2009-KeCG #configuration management #design
A design methodology for fully reconfigurable Delta-Sigma data converters (YK, JC, GGEG), pp. 1379–1384.
DATEDATE-2009-KorhonenK #identification
A loopback-based INL test method for D/A and A/D converters employing a stimulus identification technique (EK, JK), pp. 1650–1655.
CIAACIAA-2009-CaoN #case study #protocol
Formally Synthesising a Protocol Converter: A Case Study (JC, AN), pp. 249–252.
LATALATA-2009-JiraskovaP #automaton #self #verification
Converting Self-verifying Automata into Deterministic Automata (GJ, GP), pp. 458–468.
DACDAC-2008-NiM #power management #reduction #scheduling
Leakage power-aware clock skew scheduling: converting stolen time into leakage power reduction (MN, SOM), pp. 610–613.
DATEDATE-2008-AvnitDSRP #approach #formal method #problem #protocol
A Formal Approach To The Protocol Converter Problem (KA, VD, AS, SR, SP), pp. 294–299.
DATEDATE-2008-BingesserLHHMDV #metric
Low-Noise Sigma-Delta Capacitance-to-Digital Converter for Sub-pF Capacitive Sensors with Integrated Dielectric Loss Measurement (MB, TL, WH, JH, SM, RD, MV), pp. 868–872.
DATEDATE-2008-NuzzoNSFP #design
Mixed-Signal Design Space Exploration of Time-Interleaved A/D Converters for Ultra-Wide Band Applications (PN, CN, SS, LF, GVdP), pp. 1390–1393.
DATEDATE-2008-ZjajoG #analysis #fault #multi
Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters (AZ, JPdG), pp. 74–79.
DATEDATE-2007-SavojAAGH #performance
A new technique for characterization of digital-to-analog converters in high-speed systems (JS, AAA, AA, BWG, MAH), pp. 433–438.
HCIHIMI-MTT-2007-ChonRL #adaptation
Converting Information Through a Complete and Minimal Unit Transcoder for QoS Adaptation (SC, DR, YL), pp. 594–603.
DACDAC-2006-EeckelaertSGSS #design #optimisation #standard
Hierarchical bottom--up analog optimization methodology validated by a delta-sigma A/D converter design for the 802.11a/b/g standard (TE, RS, GGEG, MS, WMCS), pp. 25–30.
CCCC-2006-DiasR #assembly #declarative #using
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.
DACDAC-2005-ChoiCK #embedded #power management
DC-DC converter-aware power management for battery-operated embedded systems (YC, NC, TK), pp. 895–900.
DATEDATE-2005-ChienCLMRM #optimisation #pipes and filters
Designer-Driven Topology Optimization for Pipelined Analog to Digital Converters (YTC, DC, JHL, GKM, RAR, TM), pp. 279–280.
ICEISICEIS-v4-2005-OnoMK #evaluation #online
Evaluation of Methods for Converting Request for Quotation Data into Ordinal Preference Data: Estimating Product Preference in Online Shopping System (TO, HM, NK), pp. 24–31.
LOPSTRLOPSTR-2005-GallagherPA #abstract domain #type system
Converting One Type-Based Abstract Domain to Another (JPG, GP, EA), pp. 147–162.
DACDAC-2004-RoyB #algorithm #design #fixpoint #float #matlab
An algorithm for converting floating-point computations to fixed-point in MATLAB based FPGA design (SR, PB), pp. 484–487.
DATEDATE-v1-2004-NagariN #algorithm #multi
A 2.7V 350muW 11-b Algorithmic Analog-to-Digital Converter with Single-Ended Multiplexed Inputs (AN, GN), pp. 76–81.
DATEDATE-v2-2004-BranoverKG #design
Asynchronous Design By Conversion: Converting Synchronous Circuits into Asynchronous Ones (AB, RK, RG), pp. 870–877.
ICEISICEIS-v1-2004-WangLAB #database #legacy #relational #reverse engineering #xml
Converting Legacy Relational Database into XML Database through Reverse Engineering (CW, ACWL, RA, KB), pp. 216–221.
LSOLSO-2004-MontoniMRT #approach #community #information management #multi
Knowledge Acquisition and Communities of Practice: An Approach to Convert Individual Knowledge into Multi-organizational Knowledge (MM, RM, ARR, GHT), pp. 110–121.
OOPSLAOOPSLA-2004-DincklageD #java
Converting Java classes to use generics (DvD, AD), pp. 1–14.
OOPSLAOOPSLA-2004-DonovanKTE #java #library #source code
Converting java programs to use generic libraries (AD, AK, MST, MDE), pp. 15–34.
DACDAC-2003-VogelsG #architecture
Architectural selection of A/D converters (MV, GGEG), pp. 974–977.
DATEDATE-2003-AlbiolGA #design #performance
Improved Design Methodology for High-Speed High-Accuracy Current Steering D/A Converters (MA, JLG, EA), pp. 10636–10641.
DATEDATE-2003-VogelsG
Figure of Merit Based Selection of A/D Converters (MV, GGEG), pp. 11090–11091.
DATEDATE-2003-WegenerK #fault #identification #linear #modelling
Linear Model-Based Error Identification and Calibration for Data Converters (CW, MPK), pp. 10630–10635.
DACDAC-2002-VandenbusscheULSG #design
Systematic design of a 200 MS/s 8-bit interpolating/averaging A/D converter (JV, KU, EL, MS, GGEG), pp. 449–454.
DATEDATE-2002-VandenbusscheLUSG #design
Systematic Design of a 200 Ms/S 8-bit Interpolating A/D Converter (JV, EL, KU, MS, GGEG), pp. 357–361.
SIGIRSIGIR-2002-MayfieldM #online
Converting on-line bilingual dictionaries from human-readable to machine-readable form (JM, PM), pp. 405–406.
DATEDATE-2001-GerfersM #design #power management
A design strategy for low-voltage low-power continuous-time sigma-delta A/D converters (FG, YM), pp. 361–369.
DACDAC-2000-PlasVDBGS #design
Systematic design of a 14-bit 150-MS/s CMOS current-steering D/A converter (GVdP, JV, WD, AvdB, GGEG, WMCS), pp. 452–457.
DATEDATE-2000-PeraliasARH #design #pipes and filters #verification
A Vhdl-Based Methodology for Design and Verification of Pipeline A/D Converters (EJP, AJA, AR, JLH), pp. 534–538.
ICLPCL-2000-LimN #approach #documentation #heuristic #html #xml
A Heuristic Approach for Converting HTML Documents to XML Documents (SJL, YKN), pp. 1182–1196.
DACDAC-1999-AllenBS
Converting a 64b PowerPC Processor from CMOS Bulk to SOI Technology (DA, DB, BS), pp. 892–897.
DACDAC-1999-GoodmanCD #design #embedded #encryption #implementation #scalability
Design and Implementation of a Scalable Encryption Processor with Embedded Variable DC/DC Converter (JG, AC, APD), pp. 855–860.
DATEDATE-1999-LauwersG #estimation #performance
A Power Estimation Model for High-Speed CMOS A/D Converters (EL, GGEG), pp. 401–405.
HCIHCI-EI-1999-SiioM #named
IconStickers: Converting Computer Icons into Real Paper Icons (IS, YM), pp. 271–275.
DATEEDTC-1997-ArabiK #performance #testing #using
Efficient and accurate testing of analog-to-digital converters using oscillation-test method (KA, BK), pp. 348–352.
DATEEDTC-1997-Lee #configuration management
Reconfigurable data converter as a building block for mixed-signal test (EKFL), pp. 359–363.
DATEEDTC-1997-VriesZBR #self
Built-in self-test methodology for A/D converters (RdV, TZ, EMJGB, PPLR), pp. 353–358.
ICSEICSE-1997-DeLineZS #case study #experience #interactive #lessons learnt
Lessons on Converting Batch Systems to Support Interaction (Experience Report) (RD, GZ, MS), pp. 195–204.
DACDAC-1996-KamonM #modelling
Package and Interconnect Modeling of the HFA3624, a 2.4GHz RF to IF Converter (MK, SSM), pp. 2–7.
CIAAWIA-1996-PontyZC #algorithm #automaton #polynomial #regular expression
A New Quadratic Algorithm to Convert a Regular Expression into an Automaton (JLP, DZ, JMC), pp. 109–119.
AdaEuropeAdaEurope-1996-Gliss #ada #fortran #legacy
An Ada 95 Harness for Converting Legacy Fortran Applications (BG), pp. 413–426.
AdaEuropeAdaEurope-1996-Molenmaker #ada
Converting the Part Task Nautical Simulator to Ada 95 (KM), pp. 439–450.
CADECADE-1996-SchmittK #matrix #proving
Converting Non-Classical Matrix Proofs into Sequent-Style Systems (SS, CK), pp. 418–432.
DATEEDAC-1994-BoniCFMO #fault #modelling #physics
Physical Modeling of Linearity Errors for the Diagnosis of High Resolution R-2R D/A Converters (AB, GC, GF, SM, MO), p. 664.
DATEEDAC-1994-GevaertVNS
Switched Current Sigma-Delta A/D Converter for a CMOS Subscriber Line Analog Front End (DG, JV, JN, JS), pp. 75–79.
DACDAC-1992-ZeinED #logic #named
HLSIM — A New Hierarchical Logic Simulator and Netlist Converter (DAZ, OPE, GSD), pp. 432–437.
STOCSTOC-1991-MatiasV #parallel #probability
Converting High Probability into Nearly-Constant Time-with Applications to Parallel Hashing (Extended Abstract) (YM, UV), pp. 307–316.
DACDAC-1990-Fishburn #heuristic #how #logic
A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between (JPF), pp. 361–364.
SOSPSOSP-1981-BabaogluJ #architecture
Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits (ÖB, WNJ), pp. 78–86.
SIGMODSIGMOD-1975-ShuHL #named
CONVERT: A High Level Translation Definition Language for Data Conversion (Abstract) (NCS, BCH, VYL), p. 111.
VLDBVLDB-1975-ShoshaniB #database #implementation #logic #on the
On the Implementation of a Logical Data Base Converter (AS, KB), pp. 529–531.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.