75 papers:
DocEng-2015-AzevedoLS #3d #approach- An Approach to Convert NCL Applications into Stereoscopic 3D (RGDAA, GAFL, LFGS), pp. 177–186.
CADE-2015-Baumgartner #named #proving #theorem proving- SMTtoTPTP — A Converter for Theorem Proving Formats (PB), pp. 285–294.
CASE-2014-OhnishiY #performance- Switching control of DC-DC converters with Electric Double-Layer Capacitor based on control performance index (YO, TY), pp. 188–193.
DATE-2014-GinesL #pipes and filters #testing- Sigma-delta testability for pipeline A/D converters (AJG, GL), pp. 1–6.
DHM-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.
ECOOP-2014-OkurED #abstraction #low level #parallel- Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions (SO, CE, DD), pp. 515–540.
DAC-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.
DATE-2013-LuL #multi- Slack budgeting and slack to length converting for multi-bit flip-flop merging (CCL, RBL), pp. 1837–1842.
DATE-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.
DATE-2012-LiuTWY #simulation- A GPU-accelerated envelope-following method for switching power converter simulation (XL, SXDT, HW, HY), pp. 1349–1354.
DLT-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.
ICALP-v1-2012-MansourRVX #algorithm #online- Converting Online Algorithms to Local Computation Algorithms (YM, AR, SV, NX), pp. 653–664.
CASE-2011-HejriG #hybrid #modelling- Hybrid modeling and control of switching DC-DC converters via MLD systems (MH, AG), pp. 714–719.
CASE-2011-SekerZ- A new sliding mode controller for the DC to DC flyback converter (MS, EZ), pp. 720–724.
DATE-2011-LuPRR #energy #optimisation- Stage number optimization for switched capacitor power converters in micro-scale energy harvesting (CL, SPP, VR, KR), pp. 770–775.
ASE-2010-KhatchadourianM #automation #java #refactoring- Enumeration refactoring: a tool for automatically converting Java constants to enumerated types (RK, BM), pp. 181–182.
DocEng-2010-MarinaiMS #documentation #recognition- Table of contents recognition for converting PDF documents in e-book formats (SM, EM, GS), pp. 73–76.
TACAS-2010-AvnitSP #automation #named #protocol #synthesis- ACS: Automatic Converter Synthesis for SoC Bus Protocols (KA, AS, JP), pp. 343–348.
DATE-2009-AvnitS #approach #design #formal method #protocol- A formal approach to design space exploration of protocol converters (KA, AS), pp. 129–134.
DATE-2009-KeCG #configuration management #design- A design methodology for fully reconfigurable Delta-Sigma data converters (YK, JC, GGEG), pp. 1379–1384.
DATE-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.
CIAA-2009-CaoN #case study #protocol- Formally Synthesising a Protocol Converter: A Case Study (JC, AN), pp. 249–252.
LATA-2009-JiraskovaP #automaton #self #verification- Converting Self-verifying Automata into Deterministic Automata (GJ, GP), pp. 458–468.
DAC-2008-NiM #power management #reduction #scheduling- Leakage power-aware clock skew scheduling: converting stolen time into leakage power reduction (MN, SOM), pp. 610–613.
DATE-2008-AvnitDSRP #approach #formal method #problem #protocol- A Formal Approach To The Protocol Converter Problem (KA, VD, AS, SR, SP), pp. 294–299.
DATE-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.
DATE-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.
DATE-2008-ZjajoG #analysis #fault #multi- Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters (AZ, JPdG), pp. 74–79.
DATE-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.
HIMI-MTT-2007-ChonRL #adaptation- Converting Information Through a Complete and Minimal Unit Transcoder for QoS Adaptation (SC, DR, YL), pp. 594–603.
DAC-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.
CC-2006-DiasR #assembly #declarative #using- Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.
DAC-2005-ChoiCK #embedded #power management- DC-DC converter-aware power management for battery-operated embedded systems (YC, NC, TK), pp. 895–900.
DATE-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.
ICEIS-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.
LOPSTR-2005-GallagherPA #abstract domain #type system- Converting One Type-Based Abstract Domain to Another (JPG, GP, EA), pp. 147–162.
DAC-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.
DATE-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.
DATE-v2-2004-BranoverKG #design- Asynchronous Design By Conversion: Converting Synchronous Circuits into Asynchronous Ones (AB, RK, RG), pp. 870–877.
ICEIS-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.
LSO-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.
OOPSLA-2004-DincklageD #java- Converting Java classes to use generics (DvD, AD), pp. 1–14.
OOPSLA-2004-DonovanKTE #java #library #source code- Converting java programs to use generic libraries (AD, AK, MST, MDE), pp. 15–34.
DAC-2003-VogelsG #architecture- Architectural selection of A/D converters (MV, GGEG), pp. 974–977.
DATE-2003-AlbiolGA #design #performance- Improved Design Methodology for High-Speed High-Accuracy Current Steering D/A Converters (MA, JLG, EA), pp. 10636–10641.
DATE-2003-VogelsG- Figure of Merit Based Selection of A/D Converters (MV, GGEG), pp. 11090–11091.
DATE-2003-WegenerK #fault #identification #linear #modelling- Linear Model-Based Error Identification and Calibration for Data Converters (CW, MPK), pp. 10630–10635.
DAC-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.
DATE-2002-VandenbusscheLUSG #design- Systematic Design of a 200 Ms/S 8-bit Interpolating A/D Converter (JV, EL, KU, MS, GGEG), pp. 357–361.
SIGIR-2002-MayfieldM #online- Converting on-line bilingual dictionaries from human-readable to machine-readable form (JM, PM), pp. 405–406.
DATE-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.
DAC-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.
DATE-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.
CL-2000-LimN #approach #documentation #heuristic #html #xml- A Heuristic Approach for Converting HTML Documents to XML Documents (SJL, YKN), pp. 1182–1196.
DAC-1999-AllenBS- Converting a 64b PowerPC Processor from CMOS Bulk to SOI Technology (DA, DB, BS), pp. 892–897.
DAC-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.
DATE-1999-LauwersG #estimation #performance- A Power Estimation Model for High-Speed CMOS A/D Converters (EL, GGEG), pp. 401–405.
HCI-EI-1999-SiioM #named- IconStickers: Converting Computer Icons into Real Paper Icons (IS, YM), pp. 271–275.
EDTC-1997-ArabiK #performance #testing #using- Efficient and accurate testing of analog-to-digital converters using oscillation-test method (KA, BK), pp. 348–352.
EDTC-1997-Lee #configuration management- Reconfigurable data converter as a building block for mixed-signal test (EKFL), pp. 359–363.
EDTC-1997-VriesZBR #self- Built-in self-test methodology for A/D converters (RdV, TZ, EMJGB, PPLR), pp. 353–358.
ICSE-1997-DeLineZS #case study #experience #interactive #lessons learnt- Lessons on Converting Batch Systems to Support Interaction (Experience Report) (RD, GZ, MS), pp. 195–204.
DAC-1996-KamonM #modelling- Package and Interconnect Modeling of the HFA3624, a 2.4GHz RF to IF Converter (MK, SSM), pp. 2–7.
WIA-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.
AdaEurope-1996-Gliss #ada #fortran #legacy- An Ada 95 Harness for Converting Legacy Fortran Applications (BG), pp. 413–426.
AdaEurope-1996-Molenmaker #ada- Converting the Part Task Nautical Simulator to Ada 95 (KM), pp. 439–450.
CADE-1996-SchmittK #matrix #proving- Converting Non-Classical Matrix Proofs into Sequent-Style Systems (SS, CK), pp. 418–432.
EDAC-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.
EDAC-1994-GevaertVNS- Switched Current Sigma-Delta A/D Converter for a CMOS Subscriber Line Analog Front End (DG, JV, JN, JS), pp. 75–79.
DAC-1992-ZeinED #logic #named- HLSIM — A New Hierarchical Logic Simulator and Netlist Converter (DAZ, OPE, GSD), pp. 432–437.
STOC-1991-MatiasV #parallel #probability- Converting High Probability into Nearly-Constant Time-with Applications to Parallel Hashing (Extended Abstract) (YM, UV), pp. 307–316.
DAC-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.
SOSP-1981-BabaogluJ #architecture- Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits (ÖB, WNJ), pp. 78–86.
SIGMOD-1975-ShuHL #named- CONVERT: A High Level Translation Definition Language for Data Conversion (Abstract) (NCS, BCH, VYL), p. 111.
VLDB-1975-ShoshaniB #database #implementation #logic #on the- On the Implementation of a Logical Data Base Converter (AS, KB), pp. 529–531.