Stem convert$ (all stems)

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.