Stem full$ (all stems)

280 papers:

DAC-2015-JiangLZYW #effectiveness #feature model #image #performance

A 127 fps in full hd accelerator based on optimized AKAZE with efficiency and effectiveness for image feature extraction (GJ, LL, WZ, SY, SW), p. 6.

DAC-2015-LiuSZLQ #generative #statistics

A statistical methodology for noise sensor placement and full-chip voltage map generation (XL, SS, PZ, XL, HQ), p. 6.

SIGMOD-2015-DeshpandeRDA #approach #named

ShareInsights: An Unified Approach to Full-stack Data Processing (MD, DR, SD, AA), pp. 1925–1940.

ESOP-2015-SchererR #reduction

Full Reduction in the Face of Absurdity (GS, DR), pp. 685–709.

CHI-2015-ChanHCYHLC #gesture #named #smarttech

Cyclops: Wearable and Single-Piece Full-Body Gesture Input Devices (LWC, CHH, YLC, SY, DYH, RHL, BYC), pp. 3001–3009.

SIGIR-2015-AzzopardiZ #modelling #retrieval #tutorial #using

Building and Using Models of Information Seeking, Search and Retrieval: Full Day Tutorial (LA, GZ), pp. 1107–1110.

POPL-2015-BonchiSZ #abstraction #graph

Full Abstraction for Signal Flow Graphs (FB, PS, FZ), pp. 515–526.

SAC-2015-QueirozH #capacity

Translating full duplexity into capacity gains for the high-priority traffic classes of IEEE 802.11 (SQ, RH), pp. 634–639.

DAC-2014-PengPL #optimisation #performance

Fast and Accurate Full-chip Extraction and Optimization of TSV-to-Wire Coupling (YP, DP, SKL), p. 6.

DAC-2014-WuXKCH #named #simulation #statistics #towards

REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage (WW, WX, RK, YLC, LH), p. 6.

DATE-2014-ChenCT #performance #simulation

An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.

DATE-2014-PerriconeHNN #3d #case study #design #logic

Design of 3D nanomagnetic logic circuits: A full-adder case study (RP, XSH, JN, MTN), pp. 1–6.

VLDB-2014-FloratouMO #architecture #database #named

SQL-on-Hadoop: Full Circle Back to Shared-Nothing Database Architectures (AF, UFM, FÖ), pp. 1295–1306.

WRLA-2014-Riesco #integration #maude

An Integration of CafeOBJ into Full Maude (AR), pp. 230–246.

STOC-2014-BuhrmanCKLS #memory management

Computing with a full memory: catalytic space (HB, RC, MK, BL, FS), pp. 857–866.

HCI-AIMT-2014-BoulabiarCP #2d #3d #case study #gesture #interactive

The Study of the Full Cycle of Gesture Interaction, The Continuum between 2D and 3D (MIB, GC, FP), pp. 24–35.

ICPR-2014-AfzalAFMO #3d #multi #re-engineering

RGB-D Multi-view System Calibration for Full 3D Scene Reconstruction (HA, DA, DF, BM, BEO), pp. 2459–2464.

ICPR-2014-Chetouani #assessment #image #quality

Full Reference Image Quality Assessment: Limitation (AC), pp. 833–837.

SIGIR-2014-BastBBH #semantics

Semantic full-text search with broccoli (HB, FB, BB, EH), pp. 1265–1266.

OSDI-2014-HawblitzelHLNPZZ #automation #security #verification

Ironclad Apps: End-to-End Security via Automated Full-System Verification (CH, JH, JRL, AN, BP, DZ, BZ), pp. 165–181.

IJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability

A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.

DAC-2013-LiP #framework #modelling

An accurate semi-analytical framework for full-chip TSV-induced stress modeling (YL, DZP), p. 8.

DAC-2013-SongLPL #3d #multi #optimisation

Full-chip multiple TSV-to-TSV coupling extraction and optimization in 3D ICs (TS, CL, YP, SKL), p. 7.

DATE-2013-HanCL #compilation

Compiling control-intensive loops for CGRAs with state-based full predication (KH, KC, JL), pp. 1579–1582.

DATE-2013-KhanBBSH #video

An H.264 Quad-FullHD low-latency intra video encoder (MUKK, JMB, LB, MS, JH), pp. 115–120.

VLDB-2013-Rao0HT #keyword #named #performance

Bitlist: New Full-text Index for Low Space Cost and Efficient Keyword Search (WR, LC, PH, ST), pp. 1522–1533.

ICSM-2013-ScannielloR #fault #identifier #source code

Dealing with Faults in Source Code: Abbreviated vs. Full-Word Identifier Names (GS, MR), pp. 190–199.

PEPM-2013-Garcia-PerezN #functional #reduction #semantics

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.

ICALP-v1-2013-KucherovN #constant #realtime

Full-Fledged Real-Time Indexing for Constant Size Alphabets (GK, YN), pp. 650–660.

CHI-2013-OulasvirtaRML #capacity

Information capacity of full-body movements (AO, TR, AM, LL), pp. 1289–1298.

CIKM-2013-BastB #performance #semantics

An index for efficient semantic full-text search (HB, BB), pp. 369–378.

SIGIR-2013-PanzeriP #flexibility #named #xml #xquery

Flex-BaseX: an XML engine with a flexible extension of Xquery full-text (EP, GP), pp. 1083–1084.

OOPSLA-2013-PolitzMMWPLCK #named #python

Python: the full monty (JGP, AM, MM, SW, DP, JL, AC, SK), pp. 217–232.

GPCE-2013-0001RN #abstract syntax tree #declarative #fine-grained #mining #source code

Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes (RD, HR, TNN), pp. 23–32.

PPDP-2013-Garcia-PerezNM #order #semantics

Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order (ÁGP, PN, JJMN), pp. 85–96.

POPL-2013-LoschP #abstraction

Full abstraction for nominal Scott domains (SL, AMP), pp. 3–14.

PPoPP-2013-ChenC #parallel #scalability

Scalable deterministic replay in a parallel full-system emulator (YC, HC), pp. 207–218.

CSL-2013-CloustonDGT #calculus #linear #logic

Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic (RC, JED, RG, AT), pp. 197–214.

CASE-2012-AhnPR

The construction of a full-scale wheel/rail roller rig in Korea (KA, JP, SR), pp. 802–803.

DAC-2012-MurilloEJYLA #hybrid #simulation

Synchronization for hybrid MPSoC full-system simulation (LGM, JFE, JJ, SY, RL, GA), pp. 121–126.

DAC-2012-ZhouLCKQY #framework #monitoring

An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring (HZ, XL, CYC, EK, HQ, SCY), pp. 642–647.

DATE-2012-HanPC #architecture #configuration management #power management

State-based full predication for low power coarse-grained reconfigurable architecture (KH, SP, KC), pp. 1367–1372.

DATE-2012-MittagKJR #constraints #design #geometry #physics

Hierarchical propagation of geometric constraints for full-custom physical design of ICs (MM, AK, GJ, WR), pp. 1471–1474.

DocEng-2012-MahlowGHS #framework #retrieval #using #xquery

A framework for retrieval and annotation in digital humanities using XQuery full text and update in BaseX (CM, CG, AH, MHS), pp. 195–204.

DocEng-2012-WongSL #documentation #multi

Full-text search on multi-byte encoded documents (RKW, FS, NL), pp. 227–236.

SIGMOD-2012-MeachamS #named #privacy #sql #transaction

JustMyFriends: full SQL, full transactional amenities, and access privacy (AM, DS), pp. 633–636.

VLDB-2012-LuoLMCZ #data transformation #hybrid #named

hStorage-DB: Heterogeneity-aware Data Management to Exploit the Full Capability of Hybrid Storage Systems (TL, RL, MPM, FC, XZ), pp. 1076–1087.

FoSSaCS-2012-DArgenioL #abstraction #bisimulation #congruence #probability #specification

Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation (PRD, MDL), pp. 452–466.

FoSSaCS-2012-MazzaR #abstraction #combinator #interactive #modelling #symmetry

Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators (DM, NJR), pp. 316–330.

ICALP-v2-2012-MurawskiT #algorithm #game studies

Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.

CHI-2012-GerlingLNM #game studies #interactive

Full-body motion-based game interaction for older adults (KMG, IJL, LN, RLM), pp. 1873–1882.

CAiSE-2012-PastorE #code generation #modelling #requirements

Full Model-Driven Practice: From Requirements to Code Generation (OP, SE), pp. 701–702.

CIKM-2012-LiuZG #analysis #ranking

Full-text citation analysis: enhancing bibliometric and scientific publication ranking (XL, JZ, CG), pp. 1975–1979.

CIKM-2012-XinKALH #design #modelling

Do ads compete or collaborate?: designing click models with full relationship incorporated (XX, IK, RA, MRL, HH), pp. 1839–1843.

ECIR-2012-AtilganAU #keyword #on the #xml

On the Size of Full Element-Indexes for XML Keyword Search (DA, ISA, ÖU), pp. 556–560.

ECIR-2012-GalleR #clustering

Full and Mini-batch Clustering of News Articles with Star-EM (MG, JMR), pp. 494–498.

ECIR-2012-JonassenB #concurrent #distributed #pipes and filters #retrieval

Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval (SJ, SEB), pp. 413–425.

ISSTA-2012-SuiYX #analysis #detection #memory management #using

Static memory leak detection using full-sparse value-flow analysis (YS, DY, JX), pp. 254–264.

LICS-2012-Mazza #λ-calculus

An Infinitary Affine λ-Calculus Isomorphic to the Full λ-Calculus (DM), pp. 471–480.

DAC-2011-JungMPL #3d #analysis #optimisation #reliability

TSV stress-aware full-chip mechanical reliability analysis and optimization for 3D IC (MJ, JM, DZP, SKL), pp. 188–193.

DAC-2011-LiuSCKKL #3d #analysis #optimisation

Full-chip TSV-to-TSV coupling analysis and optimization in 3D IC (CL, TS, JC, JK, JK, SKL), pp. 783–788.

DAC-2011-PatelACG #manycore #named

MARSS: a full system simulator for multicore x86 CPUs (AP, FA, SC, KG), pp. 1050–1055.

ICDAR-2011-TerasawaSK #image #performance

A Fast Appearance-Based Full-Text Search Method for Historical Newspaper Images (KT, TS, TK), pp. 1379–1383.

SIGMOD-2011-BalesDV #algebra #optimisation #query

Score-consistent algebraic optimization of full-text search queries with GRAFT (NB, AD, VV), pp. 769–780.

STOC-2011-MoserS #algorithm #satisfiability

A full derandomization of schöning’s k-SAT algorithm (RAM, DS), pp. 245–252.

DLT-2011-KortelainenS #bound #context-free grammar

There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages (JK, TS), pp. 312–323.

PPoPP-2011-WangLCWCZZ #named #parallel #scalability

COREMU: a scalable and portable parallel full-system emulator (ZW, RL, YC, XW, HC, WZ, BZ), pp. 213–222.

CADE-2011-SchneiderS #automation #first-order #ontology #owl #proving #reasoning #theorem proving #using

Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving (MS, GS), pp. 461–475.

CSL-2011-BucciarelliCEM #abstraction #calculus #testing

Full Abstraction for Resource Calculus with Tests (AB, AC, TE, GM), pp. 97–111.

TLCA-2011-Gimenez #difference #linear #logic #normalisation #proving

Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.

DAC-2010-NowrozCR #monitoring

Thermal monitoring of real processors: techniques for sensor allocation and full characterization (ANN, RC, SR), pp. 56–61.

DAC-2010-ShenTX #algorithm #analysis #correlation #linear #power management #statistics

A linear algorithm for full-chip statistical leakage power analysis considering weak spatial correlation (RS, SXDT, JX), pp. 481–486.

DATE-2010-FanucciPDSTCLT #programmable

An high voltage CMOS voltage regulator for automotive alternators with programmable functionalities and full reverse polarity capability (LF, GP, PD, RS, FT, PC, LL, PT), pp. 526–531.

SIGMOD-2010-CampbellKE #sql

Extreme scale with full SQL language support in microsoft SQL Azure (DGC, GK, NE), pp. 1021–1024.

SIGMOD-2010-LiuBCDNA #adaptation #approach #documentation #named

Pay-as-you-go: an adaptive approach to provide full context-aware text search over document content (ZHL, TB, SC, JD, AN, VA), pp. 1025–1036.

STOC-2010-AaronsonD #quantum

A full characterization of quantum advice (SA, AD), pp. 131–140.

IFM-2010-HulsbuschKRSSW #comparison #model transformation #semantics

Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.

ICEIS-DISI-2010-KasprzakBCO #effectiveness #enterprise #scalability #using

Access Rights in Enterprise Full-text Search — Searching Large Intranets Effectively using Virtual Terms (JK, MB, MC, TO), pp. 32–39.

ICPR-2010-HarmanciH #adaptation #image #query

Content Adaptive Hash Lookups for Near-Duplicate Image Search by Full or Partial Image Queries (OH, IH), pp. 1582–1585.

ICPR-2010-LiH #image

A Full-View Spherical Image Format (SL, YH), pp. 2337–2340.

LICS-2010-SilesH #similarity #type system

Equality Is Typable in Semi-full Pure Type Systems (VS, HH), pp. 21–30.

DAC-2009-VeetilSBSR #analysis #dependence #performance

Efficient smart sampling based full-chip leakage analysis for intra-die variation considering state dependence (VV, DS, DB, SS, SR), pp. 154–159.

DATE-2009-PaciBB #adaptation #bias #communication #effectiveness #variability

Effectiveness of adaptive supply voltage and body bias as post-silicon variability compensation techniques for full-swing and low-swing on-chip communication channels (GP, DB, LB), pp. 1404–1409.

DATE-2009-PengC #parallel #simulation

Parallel transistor level full-chip circuit simulation (HP, CKC), pp. 304–307.

DRR-2009-ZhangLDW #documentation #image #segmentation

Restoring warped document image through segmentation and full-page interpolation (YZ, CL, XD, KW), pp. 1–10.

ICDAR-2009-PalRRK #automation #multi #recognition #string

Indian Multi-Script Full Pin-code String Recognition for Postal Automation (UP, RKR, KR, FK), pp. 456–460.

VLDB-2009-TerwilligerBM #flexibility #object-oriented #xml

Full-Fidelity Flexible Object-Oriented XML Access (JFT, PAB, SM), pp. 1030–1041.

WRLA-2008-DuranO09 #implementation #maude #realtime

A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.

FoSSaCS-2009-MurawskiT #abstraction #ml

Full Abstraction for Reduced ML (ASM, NT), pp. 32–47.

PLDI-2009-Oiwa #compilation #implementation

Implementation of the memory-safe full ANSI-C compiler (YO), pp. 259–269.

IFM-2009-PaceS #challenge #contract #specification

Challenges in the Specification of Full Contracts (GJP, GS), pp. 292–306.

HCD-2009-Kurosu #approach

Full Description Persona vs. Trait List Persona in the Persona-Based sHEM Approach (MK), pp. 230–238.

HCI-NT-2009-DahlAS #mobile #simulation #usability

Evaluating Mobile Usability: The Role of Fidelity in Full-Scale Laboratory Simulations with Mobile ICT for Hospitals (YD, OAA, DS), pp. 232–241.

HCI-VAD-2009-CharissisPV #case study #development #interface

Interface Development for Early Notification Warning System: Full Windshield Head-Up Display Case Study (VC, SP, GV), pp. 683–692.

CIKM-2009-HeYS #documentation #version control

Compact full-text indexing of versioned document collections (JH, HY, TS), pp. 415–424.

CIKM-2009-MargaritisA #low cost #online

Low-cost management of inverted files for online full-text search (GM, SVA), pp. 455–464.

CIKM-2009-MassSS #effectiveness #network #scalability

A scalable and effective full-text search in P2P networks (YM, YS, MSS), pp. 1979–1982.

LOPSTR-2009-PettorossiPS #branch #logic #program transformation

Deciding Full Branching Time Logic by Program Transformation (AP, MP, VS), pp. 5–21.

HPDC-2009-LiuJLHY #migration #virtual machine

Live migration of virtual machine based on full system trace and replay (HL, HJ, XL, LH, CY), pp. 101–110.

VMCAI-2009-GondiPS #monitoring #probability

Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.

CASE-2008-LiF

Full-view car navigator (SL, KF), pp. 744–749.

DAC-2008-LiZY #analysis #verification

Full-chip leakage analysis in nano-scale technologies: mechanisms, variation sources, and verification (TL, WZ, ZY), pp. 594–599.

SIGMOD-2008-FengFN #order #ranking

Discovering bucket orders from full rankings (JF, QF, WN), pp. 55–66.

ESOP-2008-GiustoG #abstraction

Full Abstraction for Linda (CDG, MG), pp. 78–92.

TACAS-2008-FarzanCCTW #automation #composition #regular expression #verification

Extending Automated Compositional Verification to the Full Class of ω-Regular Languages (AF, YFC, EMC, YKT, BYW), pp. 2–17.

PLDI-2008-ZeeKR #data type #functional #linked data #open data #verification

Full functional verification of linked data structures (KZ, VK, MCR), pp. 349–361.

ICALP-B-2008-BergerHY #abstraction #logic #mobile #process

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (MB, KH, NY), pp. 99–111.

ICALP-B-2008-Kesner #composition

Perpetuality for Full and Safe Composition (in a Constructive Setting) (DK), pp. 311–322.

SEFM-2008-Gladisch #branch #generative #testing

Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.

ICPR-2008-GuDWW #recognition

Full body tracking-based human action recognition (JG, XD, SW, YW), pp. 1–4.

ICPR-2008-OhyamaNYN

Reversible data hiding of full color JPEG2000 compressed bit-stream preserving bit-depth information (SO, MN, KY, HN), pp. 1–4.

ASPLOS-2008-MysoreMAS #comprehension #data flow #visualisation

Understanding and visualizing full systems with data flow tomography (SM, BM, BA, TS), pp. 211–221.

HPCA-2008-FenschC #hardware

An OS-based alternative to full hardware coherence on tiled CMPs (CF, MC), pp. 355–366.

CASE-2007-LiI #image #locality

Qualitative Localization by Full-View Spherical Image (SL, TI), pp. 566–571.

DAC-2007-HeloueAN #correlation #estimation #modelling

Modeling and Estimation of Full-Chip Leakage Current Considering Within-Die Correlation (KRH, NA, FNN), pp. 93–98.

DAC-2007-LiY #analysis #power management #statistics

Statistical Analysis of Full-Chip Leakage Power Considering Junction Tunneling Leakage (TL, ZY), pp. 99–102.

EDOC-2007-PesicSA #named #process

DECLARE: Full Support for Loosely-Structured Processes (MP, HS, WMPvdA), pp. 287–300.

ICML-2007-dAspremontBG #analysis #component

Full regularization path for sparse principal component analysis (Ad, FRB, LEG), pp. 177–184.

SIGIR-2007-ChenBLCZ #mobile #retrieval #tool support

A full-text retrieval toolkit for mobile desktop search (WC, JB, KL, CC, CZ), p. 905.

SAC-2007-QuZGC #framework #named

Unichos: a full system simulator for thin client platform (NQ, YZ, XG, XC), pp. 1552–1556.

HPCA-2007-AnnavaramGR #variability

Implications of Device Timing Variability on Full Chip Timing (MA, EG, PR), pp. 37–45.

HPDC-2007-RidruejoMN #component #concept #distributed #memory management #parallel #simulation

Concepts and components of full-system simulation of distributed memory parallel computers (FJRP, JMA, JN), pp. 225–226.

CSL-2007-Abramsky #geometry #interactive #proving

Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) (SA), pp. 1–2.

LICS-2007-Tzevelekos #abstraction

Full abstraction for nominal general references (NT), pp. 399–410.

TLCA-2007-Mazza #abstraction #combinator #interactive #symmetry

Edifices and Full Abstraction for the Symmetric Interaction Combinators (DM), pp. 305–320.

DAC-2006-ChenCCCH #novel

Novel full-chip gridless routing considering double-via insertion (HYC, MFC, YWC, LC, BH), pp. 755–760.

DAC-2006-LiLP #analysis #power management #statistics

Projection-based statistical analysis of full-chip leakage power with non-log-normal distributions (XL, JL, LTP), pp. 103–108.

DATE-2006-GarciaMN

Bootstrapped full--swing CMOS driver for low supply voltage operation (JCG, JAMN, SN), pp. 410–411.

DATE-2006-WangM #algorithm #analysis #multi

A logarithmic full-chip thermal analysis algorithm based on multi-layer Green’s function (BW, PM), pp. 39–44.

SIGMOD-2006-Amer-YahiaCD #flexibility #performance #xml

Flexible and efficient XML search with complex full-text predicates (SAY, EC, AD), pp. 575–586.

SIGMOD-2006-BhaskarBCGSSY #implementation #named #performance #xquery

Quark: an efficient XQuery full-text implementation (AB, CB, MC, LG, JS, FS, FY), pp. 781–783.

VLDB-2006-CohenFKKS

Full Disjunctions: Polynomial-Delay Iterators in Action (SC, IF, YK, BK, YS), pp. 739–750.

FoSSaCS-2006-Laird #abstraction #nondeterminism

Bidomains and Full Abstraction for Countable Nondeterminism (JL), pp. 352–366.

FoSSaCS-2006-LuttgenV #process #semantics

Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics (GL, WV), pp. 261–276.

STOC-2006-Ben-OrPV

Byzantine agreement in the full-information model in O(log n) rounds (MBO, EP, VV), pp. 179–186.

ICALP-v2-2006-PhanST #hybrid

Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.

ICALP-v2-2006-Yan #automaton #bound

Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique (QY), pp. 589–600.

ICML-2006-SuZ #classification #network

Full Bayesian network classifiers (JS, HZ), pp. 897–904.

ICPR-v2-2006-OsawaWWY #3d #using

Human Tracking by Particle Filtering Using Full 3D Model of Both Target and Environment (TO, XW, KW, TY), pp. 25–28.

ICPR-v4-2006-Li06b #image

Full-View Spherical Image Camera (SL), pp. 386–390.

SIGIR-2006-LarsenTM #documentation #retrieval #xml

Is XML retrieval meaningful to users?: searcher preferences for full documents vs. elements (BL, AT, SM), pp. 663–664.

SIGIR-2006-LuC #modelling #network #peer-to-peer

User modeling for full-text federated search in peer-to-peer networks (JL, JPC), pp. 332–339.

IJCAR-2006-Boldo #algorithm #float #proving

Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms (SB), pp. 52–66.

CASE-2005-CengicALYF #composition #implementation #using

Implementation of full synchronous composition using IEC 61499 function blocks (GC, KÅ, BL, CY, PMF), pp. 267–272.

DAC-2005-ChangS #analysis #correlation #power management #process

Full-chip analysis of leakage power under process variations, including spatial correlations (HC, SSS), pp. 523–528.

DAC-2005-HoCCC #architecture #multi

Multilevel full-chip routing for the X-based architecture (TYH, CFC, YWC, SJC), pp. 597–602.

DAC-2005-HuLWD #analysis #integration #novel #using

Analysis of full-wave conductor system impedance over substrate using novel integration techniques (XH, JHL, JW, LD), pp. 147–152.

DAC-2005-KlemasDW #algorithm #order #reduction

Segregation by primary phase factors: a full-wave algorithm for model order reduction (TJK, LD, JKW), pp. 943–946.

DATE-2005-PomeranzR05a #detection #fault #heuristic

The Accidental Detection Index as a Fault Ordering Heuristic for Full-Scan Circuits (IP, SMR), pp. 1008–1013.

PODS-2005-CohenS #algorithm #incremental

An incremental algorithm for computing ranked full disjunctions (SC, YS), pp. 98–107.

SIGMOD-2005-LeFevreDR #named #performance

Incognito: Efficient Full-Domain K-Anonymity (KL, DJD, RR), pp. 49–60.

VLDB-2005-Amer-YahiaS #challenge #xml

XML Full-Text Search: Challenges and Opportunities (SAY, JS), p. 1368.

WRLA-2004-DuranEL05 #evaluation #maude

New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.

FoSSaCS-2005-JeffreyR #abstraction #polymorphism #π-calculus

Full Abstraction for Polymorphic π-Calculus (AJ, JR), pp. 266–281.

PADL-2005-BenzakenCM #paradigm #query #xml

A Full Pattern-Based Paradigm for XML Query Processing (VB, GC, CM), pp. 235–252.

CAV-2005-HeljankoJL #bound #incremental #model checking

Incremental and Complete Bounded Model Checking for Full PLTL (KH, TAJ, TL), pp. 98–111.

DAC-2004-KapurL #scalability #simulation

Large-scale full-wave simulation (SK, DEL), pp. 806–809.

DATE-v1-2004-MurgaiRMHT #analysis #modelling

Sensitivity-Based Modeling and Methodology for Full-Chip Substrate Noise Analysis (RM, SMR, TM, TH, MBT), pp. 610–615.

DATE-v2-2004-XiongH #multi

Full-Chip Multilevel Routing for Power and Signal Integrity (JX, LH), pp. 1116–1123.

SIGMOD-2004-Amer-YahiaLP #flexibility #named #query #xml

FleXPath: Flexible Structure and Full-Text Querying for XML (SAY, LVSL, SP), pp. 83–94.

SIGMOD-2004-BotevSA #xml

A TeXQuery-Based XML Full-Text Search Engine (CB, JS, SAY), pp. 943–944.

ICEIS-v3-2004-HirvonenAP

The Profiles of Projects Supplied by a Full-Scale ICT-Services Provider (APH, JJA, MP), pp. 123–130.

ICPR-v4-2004-ReddyS #estimation #predict

A New Predictive Full-Search Block Motion Estimation (VSKR, SS), pp. 721–724.

LOPSTR-2004-PueblaAH #performance #prolog

Efficient Local Unfolding with Ancestor Stacks for Full Prolog (GP, EA, MVH), pp. 149–165.

LICS-2004-AbramskyGMOS #abstraction #calculus #game studies

Nominal Games and Full Abstraction for the Nu-Calculus (SA, DRG, ASM, CHLO, IDBS), pp. 150–159.

VMCAI-2004-Harel #challenge #modelling #multi #towards

A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal (DH), pp. 323–324.

PODS-2003-KanzaS

Computing full disjunctions (YK, YS), pp. 78–89.

CSMR-2003-BaldassarreBCV #maintenance #process #reuse

Full Reuse Maintenance Process for Reducing Software Degradatio (MTB, AB, DC, CAV), p. 289–?.

CHI-2003-KurniawanKEB #design #evaluation

Design and user evaluation of a joystick-operated full-screen magnifier (SHK, AK, DGE, PB), pp. 25–32.

TACAS-2002-Ouaknine #abstraction #model checking

Digitisation and Full Abstraction for Dense-Time Model Checking (JO), pp. 37–51.

ICEIS-2002-PequenoV #self #using

Using Full Match Classes for Self-Maintenance of Mediated Views (VMP, VMPV), pp. 148–154.

PPDP-2002-Chen #integration #type system

Full integration of subtyping and if-expression (GC), pp. 181–188.

DAC-2001-LiebmannLHG #design #logic

Enabling Alternating Phase Shifted Mask Designs for a Full Logic Gate Level: Design Rules and Design Rule Checking (LL, JL, FLH, IG), pp. 79–84.

DAC-2001-SanieCHM #design #standard

A Practical Application of Full-Feature Alternating Phase-Shifting Technology for a Phase-Aware Standard-Cell Design Flow (MS, MC, PH, VM), pp. 93–96.

DATE-2001-ZengABA #identification

Full chip false timing path identification: applications to the PowerPCTM microprocessors (JZ, MSA, JB, JAA), pp. 514–519.

FME-2001-CalderMS #logic

An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.

TOOLS-EUROPE-2001-SnoeckD01a #concept #modelling #object-oriented

Core Modelling Concepts in Object-Oriented Conceptual Modelling (full paper) (MS, GD), pp. 170–179.

TOOLS-USA-2001-Arsanjani01a #component #lifecycle

Developing Component-Based Software: Arming Yourself for the Full Lifecycle (AA), p. 335.

TLCA-2001-Laurent #geometry #interactive

A Token Machine for Full Geometry of Interaction (OL), pp. 283–297.

DATE-2000-NicoliciA #clustering #multi #power management

Scan Latch Partitioning into Multiple Scan Chains for Power Minimization in Full Scan Sequential Circuits (NN, BMAH), pp. 715–722.

DATE-2000-PomeranzR00a #functional #generative #testing

Functional Test Generation for Full Scan Circuits (IP, SMR), pp. 396–401.

WRLA-2000-DuranM #maude

Parameterized Theories and Views in Full Maude 2.0 (FD, JM), pp. 316–338.

SAS-2000-JaramilloGS #debugging #named

FULLDOC: A Full Reporting Debugger for Optimized Code (CJ, RG, MLS), pp. 240–259.

AdaEurope-2000-LacommeCCN #ada #uml

MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project (TL, SC, AC, FN), pp. 211–224.

ICPR-v1-2000-Weik #using

A Passive Full Body Scanner Using Shape from Silhouettes (SW), pp. 1750–1753.

CSL-2000-Laird #finite #modelling

Finite Models and Full Completeness (JL), pp. 384–398.

DAC-1999-HuS #named

FAR-DS: Full-Plane AWE Routing with Driver Sizing (JH, SSS), pp. 84–89.

DATE-1999-CarlettaNP #synthesis #testing

Synthesis of Controllers for Full Testability of Integrated Datapath-Controller Pairs (JC, MN, CAP), pp. 278–282.

DATE-1999-LinPR #fault

Full Scan Fault Coverage With Partial Scan (XL, IP, SMR), pp. 468–472.

ICDAR-1999-MartiB #database #recognition

A Full English Sentence Database for Off-line Handwriting Recognition (UVM, HB), pp. 705–708.

HCI-CCAD-1999-PrevotC #automation #design #evaluation #simulation

A vertical situation display for automated aircraft — design and evaluation in full mission simulation (TP, BC), pp. 1266–1270.

LICS-1999-AbramskyM #concurrent #game studies

Concurrent Games and Full Completeness (SA, PAM), pp. 431–442.

LICS-1999-DevarajanHPP #linear #logic #multi

Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.

LICS-1999-MarzRS #abstraction

Full Abstraction and Universality via Realisability (MM, AR, TS), pp. 174–182.

DAC-1998-NassifDH #modelling #robust #verification

Robust Elmore Delay Models Suitable for Full Chip Timing Verification of a 600MHz CMOS Microprocessor (NN, MPD, DHH), pp. 230–235.

DAC-1998-SteeleORH #verification

Full-Chip Verification Methods for DSM Power Distribution Systems (GS, DO, SR, SZH), pp. 744–749.

DAC-1998-ZhaoDKL #3d #performance

Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green’s Functions (JZ, WWMD, SK, DEL), pp. 224–229.

DATE-1998-Montiel-NelsonASN #compilation #design

A Cell and Macrocell Compiler for GaAs VLSI Full-Custom Design (JAMN, VdA, RS, AN), pp. 947–948.

HT-1998-Rosenberg #game studies #programmable

Locus Looks at the Turing Play: Hypertextuality vs. Full Programmability (JR), pp. 152–160.

SIGIR-1998-HyoudoNI #comparison #dependence #proximity #retrieval

Comparison Between Proximity Operation and Dependency Operation in Japanese Full-Text Retrieval (YH, KN, TI), pp. 341–342.

LICS-1998-Viswanathan #abstraction #first-order #recursion #type system

Full Abstraction for First-Order Objects with Recursive Types and Subtyping (RV), pp. 380–391.

DAC-1997-GrundmannDAR #design #performance #using

Designing High Performance CMOS Microprocessors Using Full Custom Techniques (WJG, DD, RLA, NLR), pp. 722–727.

EDTC-1997-Gonzalez-TorresMH #set

Full custom chip set for high speed serial communications up to 2.48 Gbit/s (JGT, PAM, JMH), p. 614.

CSMR-1997-Meltz #assessment

Assessment of the options for Hardware-/Software-Reengineering of two KSG/GfS Full-Scope-Simulators (PM), pp. 140–143.

ICALP-1997-BurkartS #calculus #infinity #model checking #process #μ-calculus

Model Checking the Full Modal μ-Calculus for Infinite Sequential Processes (OB, BS), pp. 419–429.

AdaEurope-1997-Pichon #ada #integration

CCO-Mars’96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project (PP), pp. 196–208.

ICSE-1997-HumphreyO #process #tutorial

The Personal Software Process (PSP): A Full-Day Tutorial (WSH, JWO), pp. 645–646.

CSL-1997-HartonasH #concurrent #functional #higher-order

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract) (CH, MH), pp. 239–254.

CSL-1997-Moschovakis #concurrent #game studies #recursion #λ-calculus

A Game-Theoretic, Concurrent and Fair Model of the Typed λ-calculus, with Full Recursion (YNM), pp. 341–359.

LICS-1997-Laird #abstraction #functional

Full Abstraction for Functional Languages with Control (JL), pp. 58–67.

DAC-1996-PhilippsCL #analysis #performance #reduction

Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms (JRP, EC, DDL), pp. 377–382.

PODS-1996-RajaramanU

Integrating Information by Outerjoins and Full Disjunctions (AR, JDU), pp. 238–248.

AdaEurope-1996-RybinSKF #implementation #prototype

ASIS for GNAT: From the Prototype to the Full Implementation (SR, AS, AK, VF), pp. 298–311.

ICPR-1996-LinT #algorithm #performance #video

Fast full-search block-matching algorithm for motion-compensated video compression (YCL, SCT), pp. 914–918.

POPL-1996-GreinerB #implementation #parallel

A Provably Time-Efficient Parallel Implementation of Full Speculation (JG, GEB), pp. 309–321.

ISSTA-1996-CrowleyLL #automation #formal method #testing

Issues in the Full Scale Use of Formal Methods for Automated Testing (JLC, JFL, KAL), pp. 71–78.

LICS-1996-McCusker #abstraction #game studies

Games and Full Abstraction for FPC (GM), pp. 174–183.

CHI-1995-Hearst #information management #named #visualisation

TileBars: Visualization of Term Distribution Information in Full Text Information Access (MAH), pp. 59–66.

SIGIR-1995-Klein #performance #retrieval

Efficient Recompression Techniques for Dynamic Full-Text Retrieval Systems (STK), pp. 39–47.

LICS-1995-AbramskyM #abstraction #game studies #lazy evaluation #λ-calculus

Games and Full Abstraction for the Lazy λ-Calculus (SA, GM), pp. 234–243.

LICS-1995-Lamarche #game studies #linear #logic #semantics

Games Semantics for Full Propositional Linear Logic (FL), pp. 464–473.

VLDB-1994-BrownCC #incremental #information retrieval #performance

Fast Incremental Indexing for Full-Text Information Retrieval (EWB, JPC, WBC), pp. 192–202.

STOC-1994-OstrovskyRV #performance

Simple and efficient leader election in the full information model (RO, SR, UVV), pp. 234–242.

TRI-Ada-1994-Kempe #ada #data type

Abstract Data Types are Under Full Control with Ada 9X (MK), pp. 141–152.

SIGIR-1994-Anick #adaptation #information retrieval

Adapting a Full-text Information Retrieval System to the Computer Troubleshooting Domain (PGA), pp. 349–358.

SIGIR-1994-MiikeIOS #generative #retrieval

A Full-Text Retrieval System with a Dynamic Abstract Generation Function (SM, EI, KO, KS), pp. 152–161.

TOOLS-EUROPE-1994-SappinoVBGMC #lifecycle #object-oriented

Experiencing Full Object-Oriented Lifecycle in a Complex Financial Domain (SS, BV, EB, VG, DM, GC), pp. 217–224.

ICLP-1994-DumortierJ #towards

Towards a Practical Full Mode Inference System for CLP(H, N) (VD, GJ), pp. 569–583.

LICS-1994-Loader #linear #logic

Linear Logic, Totality and Full Completeness (RL), pp. 292–298.

DAC-1993-DaoMHOM

A Compaction Method for Full Chip VLSI Layouts (JD, NM, TH, CO, SM), pp. 407–412.

DAC-1993-GanapathyA #pseudo

Selective Pseudo Scan: Combinational ATPG with Reduced Scan in a Full Custom RISC Microprocessor (GG, JAA), pp. 550–555.

ICALP-1993-CohenF #finite #state machine

Products of Finite State Machines with Full Coverage (DMC, MLF), pp. 469–477.

HCI-ACS-1993-Soderberg #design #how

How the Design of the Premises Supports a New Organizational Structure as Viewed by Full-Time Operators in Large-Scaled Tele-Services (IS), pp. 839–844.

SIGIR-1993-AnickF #retrieval

Integrating a Dynamic Lexicon with a Dynamic Full-Text Retrieval System (PGA, RAF), pp. 136–145.

SIGIR-1993-HearstP #documentation #topic

Subtopic Structuring for Full-Length Document Access (MAH, CP), pp. 59–68.

SIGIR-1993-LinoffS #database #scalability

Compression of Indexes with Full Positional Information in Very Large Text Databases (GL, CS), pp. 88–95.

SIGIR-1993-SaltonAB #information management #retrieval

Approaches to Passage Retrieval in Full Text Information Systems (GS, JA, CB), pp. 49–58.

CAV-1993-KestenMMP #algorithm #logic

A Decision Algorithm for Full Propositional Temporal Logic (YK, ZM, HM, AP), pp. 97–109.

ICLP-1993-BorgerR #in a nutshell #prolog

Full Prolog in a Nutshell (EB, DR), p. 832.

SIGMOD-1992-Wade

Full Distribution in Objectivity/DB (AEW), p. 69.

VLDB-1992-ZobelMS #database #performance

An Efficient Indexing Technique for Full Text Databases (JZ, AM, RSD), pp. 352–362.

WSA-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards

Towards Optimization of Full Prolog Programs guided by Abstract Interpretation (AP, PD, PL), pp. 295–303.

TRI-Ada-C-1992-BailesJSW #ada #declarative #functional #programming

Full Functional Programming in a Declarative Ada Dialect (PAB, DBJ, EJS, LW), pp. 350–358.

SEKE-1992-Reif #correctness #first-order #specification

Correctness of Full First-Order Specifications (WR), pp. 276–283.

SIGIR-1992-AnickF #information retrieval #version control

Versioning a Full-text Information Retrieval System (PGA, RAF), pp. 98–111.

LOPSTR-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards

Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation (AP, PD, PL), pp. 228–241.

LOPSTR-1992-Prestwich #prolog

An Unfold Rule for Full Prolog (SDP), pp. 199–213.

POPL-1992-CartwrightF #abstraction

Observable Sequentiality and Full Abstraction (RC, MF), pp. 328–342.

DAC-1991-PanBGGY #design #verification

Timing Verification on a 1.2M-Device Full-Custom CMOS Design (JP, LLB, JG, WJG, YTY), pp. 551–554.

PEPM-1991-Sahlin #analysis #prolog

Determinacy Analysis for Full Prolog (DS), pp. 23–30.

ICLP-1991-CostaWY #preprocessor #prolog

The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model (VSC, DHDW, RY), pp. 443–456.

ICLP-1991-Sato #first-order #logic programming

Full First Order Logic Programming and Truth Predicate (TS), p. 948.

LFP-1990-SitaramF #abstraction #continuation #modelling #reasoning

Reasoning with Continuations II: Full Abstraction for Models of Control (DS, MF), pp. 161–175.

SIGIR-1990-Coombs #automation #hypermedia

Hypertext, Full Text, and Automatic Linking (JHC), pp. 83–98.

SIGIR-1990-Gauch #evaluation

Evaluation of an Expert System for Searching in Full Text (SG), pp. 255–277.

NACLP-1990-Sahlin #approach #automation #partial evaluation #prolog

The Mixtus Approach to Automatic Partial Evaluation of Full Prolog (DS), pp. 377–398.

VLDB-1989-KuntzM #query #visual notation

Pasta-3’s Graphical Query Language: Direct Manipulation, Cooperative Queries, Full Expressive Power (MK, RM), pp. 97–105.

SIGIR-1989-MaarekS #library

Full Text Indexing Based on Lexical Relations An Application: Software Libraries (YSM, FAS), pp. 198–206.

SIGIR-1989-MitkasBG

An Optical System for Full Text Search (PAM, PBB, PSG), pp. 98–107.

CSL-1989-Borger #logic #prolog #semantics

A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control (EB), pp. 36–64.

LFP-1988-FelleisenWFD #continuation #semantics

Abstract Continuations: A Mathematical Semantics for Handling Full Jumps (MF, MW, DPF, BFD), pp. 52–62.

SIGIR-1988-ChouekaFK #retrieval

Compression of Concordances in Full-Text Retrieval Systems (YC, ASF, STK), pp. 597–612.

JICSCP-1988-BoscoCM88 #functional #logic #power of #programming

Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.

SIGIR-1987-ChouekaFKS #query

Improved Techniques for Processing Queries in Full-Text Systems (YC, ASF, STK, ES), pp. 306–315.

SIGIR-1987-SmithWF #analysis #named #retrieval

MICROARRAS: An Advanced Full-Text Retrieval and Analysis System (JBS, SFW, GJF), pp. 187–195.

POPL-1987-HuizingGR #abstraction #realtime #semantics

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language (CH, RG, WPdR), pp. 223–237.

LICS-1987-HalpernW #abstraction

Full Abstraction and Expressive Completenes for FP (JYH, ELW), pp. 257–271.

SLP-1987-Kale87 #logic programming #parallel

“Completeness” and “Full Parallelism” of Parallel Logic Programming Schemes (LVK), pp. 125–133.

DAC-1986-WatanabeA #design #named

Flute — a floorplanning agent for full custom VLSI design (HW, BDA), pp. 601–607.

SIGIR-1986-ChiaramellaDBK #information retrieval #named

IOTA: A Full Text Information Retrieval System (YC, BD, MFB, DK), pp. 207–213.

SIGIR-1986-MartinMN #design #distributed #retrieval

A Design of a Distributed Full Text Retrieval System (PM, IAM, BN), pp. 131–137.

CADE-1986-PoratF #equation #term rewriting

Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems (SP, NF), pp. 21–41.

PODS-1985-Gyssens #dependence #embedded

Embedded Join Dependencies as a Tool for Decomposing Full Join Dependencies (MG), pp. 205–214.

SIGIR-1985-TongACT #information retrieval #named

RUBRIC — An Environment for Full Text Information Retrieval (RMT, VNA, JFC, CJT), pp. 243–251.

SLP-1985-UmrigarP85 #empirical #first-order #logic #programming

An Experiment in Programming with Full First-Order Logic (ZDU, VP), pp. 40–47.

DAC-1981-HsuSB #fault #testing

Structured trace diagnosis for LSSD board testing — an alternative to full fault simulated diagnosis (FCH, PS, REB), pp. 891–897.

STOC-1978-Baudet #algorithm #analysis

An Analysis of the Full αβ Pruning Algorithm (GMB), pp. 296–313.

SIGIR-1973-Price #retrieval

Comments on Experiments with Retrieval of Legal Information in Full Text (NP), p. 180–?.

STOC-1971-GinsburgG #recursion

Intersection-Closed full AFL and the Recursively Enumerable Languages (SG, JG), pp. 121–131.

SIGIR-1971-ChouekaCDFS #documentation #retrieval

Full Text Document Retrieval: Hebrew Legal Texts (YC, MC, JD, ASF, MS), pp. 61–79.