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:
model (44)
system (38)
base (34)
design (30)
technolog (29)

Stem advanc$ (all stems)

344 papers:

CASECASE-2015-Malik #composition #verification
Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.
DocEngDocEng-2015-WidlocherBLMR #information retrieval
Combining Advanced Information Retrieval and Text-Mining for Digital Humanities (AW, NB, JML, YM, JR), pp. 157–166.
ICSMEICSME-2015-Hegedus #evolution #metric #quality #roadmap
Advances in software product quality measurement and its applications in software evolution (PH), pp. 590–593.
CHICHI-2015-AmmaKBS #interface
Advancing Muscle-Computer Interfaces with High-Density Electromyography (CA, TK, JB, TS), pp. 929–938.
CHICHI-2015-KnavingWFB #comprehension #design #motivation
Flow is Not Enough: Understanding the Needs of Advanced Amateur Runners to Design Motivation Technology (KK, PW, MF, SB), pp. 2013–2022.
HCIHIMI-IKD-2015-YamamotoYKTK
Proposal of Advance Care Planning Support System (SY, TY, CK, MT, TK), pp. 560–568.
ICEISICEIS-v3-2015-BauerBTR #analysis #flexibility #maintenance #repository
A SOA Repository with Advanced Analysis Capabilities — Improving the Maintenance and Flexibility of Service-Oriented Applications (TB, SB, JT, MR), pp. 238–248.
ECIRECIR-2015-Martinez-Alvarez #information management #named #realtime
Signal: Advanced Real-Time Information Filtering (MMA, UK, WH, MP), pp. 793–796.
SIGIRSIGIR-2015-ChuklinMR #information retrieval #modelling #tutorial
Advanced Click Models and their Applications to IR: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1111–1112.
SACSAC-2015-TudorAP #framework
Harnessing the unknown in advanced metering infrastructure traffic (VT, MA, MP), pp. 2204–2211.
SLESLE-2015-BousseCCGB #debugging #performance
Supporting efficient and advanced omniscient debugging for xDSMLs (EB, JC, BC, JGG, BB), pp. 137–148.
ICLPICLP-2015-Nys #deduction #roadmap
Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction (VN).
WICSAWICSA-2014-HarperD #agile #architecture #data analysis
Agile Software Architecture in Advanced Data Analytics (KEH, AD), pp. 243–246.
CASECASE-2014-AfaghaniA #concurrent #online
Advanced-collision-map-based on-line collision and deadlock avoidance between two robot manipulators with PTP commands (AYA, YA), pp. 1244–1251.
CASECASE-2014-YenLLKWH #in the cloud #industrial #network
Advanced manufacturing solution to industry 4.0 trend through sensing network and Cloud Computing technologies (CTY, YCL, CCL, CCK, WBW, YRH), pp. 1150–1152.
CASECASE-2014-YugmaBDV #bibliography #integration #process #scheduling
Integration of scheduling and advanced process control in semiconductor manufacturing: review and outlook (CY, JB, SDP, PV), pp. 93–98.
DACDAC-2014-HuangW #estimation #multi
Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects (RHMH, CHPW), p. 6.
DACDAC-2014-ReimannGTCGUWEA #architecture #integration
Advanced Diagnosis: SBST and BIST Integration in Automotive E/E Architectures (FR, MG, JT, AC, LRG, DU, HJW, PE, UA), p. 9.
DACDAC-2014-TsoutsosKM #design #hardware
Advanced Techniques for Designing Stealthy Hardware Trojans (NGT, CK, MM), p. 4.
DATEDATE-2014-AbeleinCEGRGRTUW #architecture #integration
Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures (UA, AC, PE, MG, FR, LRG, TR, JT, DU, HJW), pp. 1–6.
DATEDATE-2014-BoettcherAEGR #architecture
Advanced SIMD: Extending the reach of contemporary SIMD architectures (MB, BMAH, ME, GG, AR), pp. 1–4.
DATEDATE-2014-DijkR #protocol
Protocol attacks on advanced PUF protocols and countermeasures (MvD, UR), pp. 1–6.
DATEDATE-2014-GaillardonAZM #design
Advanced system on a chip design based on controllable-polarity FETs (PEG, LGA, JZ, GDM), pp. 1–6.
DATEDATE-2014-Kreupl
Advancing CMOS with carbon electronics (FK), pp. 1–6.
SIGMODSIGMOD-2014-HuaiCGHHOPYL0
Major technical advancements in apache hive (YH, AC, AG, GH, ENH, OO, JP, YY, RL, XZ), pp. 1235–1246.
VLDBVLDB-2014-BrunoKW #distributed #scalability
Advanced Join Strategies for Large-Scale Distributed Computation (NB, YK, MCW), pp. 1484–1495.
VLDBVLDB-2014-TozunAAM #named #transaction
ADDICT: Advanced Instruction Chasing for Transactions (PT, IA, AA, AM), pp. 1893–1904.
VLDBVLDB-2014-WoodsIA #named #sql
Ibex — An Intelligent Storage Engine with Support for Advanced SQL Off-loading (LW, ZI, GA), pp. 963–974.
ITiCSEITiCSE-2014-Marttila-KontioKH #data analysis #education #student
Advanced data analytics education for students and companies (MMK, MK, VH), pp. 249–254.
HCIHIMI-AS-2014-TerwilligerIVL #interface
Advancement and Application of Unmanned Aerial System Human-Machine-Interface (HMI) Technology (BAT, DCI, DAV, DL), pp. 273–283.
ICEISICEIS-v1-2014-DominguezAERLE #data mining #fuzzy #logic #mining #roadmap #using
Advances in the Decision Making for Treatments of Chronic Patients Using Fuzzy Logic and Data Mining Techniques (MD, JA, JGE, IMR, JMLS, MJE), pp. 325–330.
KDDKDD-2014-TangTL #future of #recommendation #social #social media
Recommendation in social media: recent advances and new frontiers (JT, JT, HL), p. 1977.
KDDKDD-2014-ZhengZLJXLSZLTLDLW #data mining #mining #optimisation #process
Applying data mining techniques to address critical process optimization needs in advanced manufacturing (LZ, CZ, LL, YJ, WX, JL, CS, WZ, HL, LT, TL, BD, ML, PW), pp. 1739–1748.
SACSAC-2014-GomesE #adaptation #classification #data type #named #social
SAE2: advances on the social adaptive ensemble classifier for data streams (HMG, FE), pp. 798–804.
ICLPICLP-J-2014-HoosLS #algorithm #programming #set
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (HH, MTL, TS), pp. 569–585.
ICSTICST-2014-BardinKC #execution #performance #symbolic computation #test coverage
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
CASECASE-2013-CecilGCS #collaboration #framework #generative
A next generation collaborative framework for advanced manufacturing (JC, RG, PC, SS), pp. 128–132.
CASECASE-2013-HungLHHYC #development #industrial
Development of an advanced manufacturing cloud for machine tool industry based on AVM technology (MHH, YCL, HCH, MHH, HCY, FTC), pp. 189–194.
DACDAC-2013-MallikZLCBBBCRBMV #analysis #evaluation #framework #named
TEASE: a systematic analysis framework for early evaluation of FinFET-based advanced technology nodes (AM, PZ, TTL, BC, BB, PRDB, RB, KC, JR, MB, AM, DV), p. 6.
DATEDATE-2013-DiversiBTBB #identification
SCC thermal model identification via advanced bias-compensated least-squares (RD, AB, AT, FB, LB), pp. 230–235.
DATEDATE-2013-KavousianosC #testing
Testing for SoCs with advanced static and dynamic power-management capabilities (XK, KC), pp. 737–742.
DATEDATE-2013-YakovlevVR #industrial #logic #roadmap #tool support
Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools (AY, PV, MR), pp. 1715–1724.
SIGMODSIGMOD-2013-BailisVFHS #consistency #data transformation #metric
PBS at work: advancing data management with consistency metrics (PB, SV, MJF, JMH, IS), pp. 1113–1116.
CSEETCSEET-2013-Jarzabek #design #education
Teaching advanced software design in team-based project course (SJ), pp. 31–40.
TACASTACAS-2013-CranenGKSVWW #bibliography #tool support
An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.
ICALPICALP-v2-2013-Albers #problem #scheduling
Recent Advances for a Classical Scheduling Problem (SA), pp. 4–14.
HCIHCI-UC-2013-HsiehH #interface
The Effect of Information Quantity on Cbp Interface in the Advanced Nuclear Power Plant (MCH, SLH), pp. 166–173.
HCIHIMI-HSM-2013-AndersenKM
NFC Provided User Friendliness for Technologically Advanced Services (AA, RK, AME), pp. 337–346.
KDDKDD-2013-KermanyMBNM #analysis #framework
Analysis of advanced meter infrastructure data of water consumption in apartment buildings (EK, HM, DB, YN, HM), pp. 1159–1167.
KDDKDD-2013-NishimuraU #algorithm #clustering #graph
Restreaming graph partitioning: simple versatile algorithms for advanced balancing (JN, JU), pp. 1106–1114.
POPLPOPL-2013-MayrC #automaton
Advanced automata minimization (RM, LC), pp. 63–74.
SACSAC-2013-AraujoGMSAB #approach #composition #feature model #modelling
Advanced modularity for building SPL feature models: a model-driven approach (JA, MG, AMDM, IS, VA, ELAB), pp. 1246–1253.
HPDCHPDC-2013-CuiBLD #optimisation #performance
Virtual TCP offload: optimizing ethernet overlay performance on advanced interconnects (ZC, PGB, JRL, PAD), pp. 49–60.
ICLPICLP-J-2013-BusoniuOPST #debugging #ide #named #programming
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support (PAB, JO, JP, PS, HT), pp. 657–673.
QoSAQoSA-2012-Barnes #architecture #case study #evolution #multi
NASA’s advanced multimission operations system: a case study in software architecture evolution (JMB), pp. 3–12.
DACDAC-2012-GuoK #concurrent #detection #encryption #fault #standard
Invariance-based concurrent error detection for advanced encryption standard (XG, RK), pp. 573–578.
DATEDATE-2012-JongheMGMTS #modelling #roadmap #testing #verification
Advances in variation-aware modeling, verification, and testing of analog ICs (DdJ, EM, GGEG, TM, BT, HGDS), pp. 1615–1620.
DATEDATE-2012-MarinissenVGHRMB #detection #process
EDA solutions to new-defect detection in advanced process technologies (EJM, GV, SKG, FH, JR, NM, SB), pp. 123–128.
DATEDATE-2012-Pyl #perspective #research
Research and innovation on Advanced Computing — an EU perspective (TVdP), p. 591.
DATEDATE-2012-ShoaibJV
Enabling advanced inference on sensor nodes through direct use of compressively-sensed signals (MS, NKJ, NV), pp. 437–442.
SIGMODSIGMOD-2012-ZhouBL #clustering #distributed
Advanced partitioning techniques for massively distributed computation (JZ, NB, WL), pp. 13–24.
VLDBVLDB-2012-LaptevZZ #pipes and filters
Early Accurate Results for Advanced Analytics on MapReduce (NL, KZ, CZ), pp. 1028–1039.
ITiCSEITiCSE-2012-BaghdadiAR #case study #distance #learning #safety #tool support
Applying advanced technology tools in distance learning: case study: traffic data and road safety (MB, KA, JR), p. 389.
ITiCSEITiCSE-2012-MeyerW #lessons learnt #programming
Programming studio: advances and lessons learned (CM, MW), p. 369.
IFLIFL-2012-ReichNR #lazy evaluation #roadmap
Advances in Lazy SmallCheck (JSR, MN, CR), pp. 53–70.
ICEISICEIS-J-2012-SilcherDMM12a #lifecycle
Advanced Product Lifecycle Management by Introducing Domain-Specific Service Buses (SS, MD, JM, BM), pp. 92–107.
ICPRICPR-2012-Ohtsuka #analysis #detection
Advanced ridge flux analysis for fingerprint minutiae detection (TO), pp. 1225–1228.
SIGIRSIGIR-2012-CarteretteKY #development #evaluation #metric
Advances on the development of evaluation measures (BC, EK, EY), pp. 1200–1201.
ECMFAECMFA-2012-RathHV #emf #query
Derived Features for EMF by Integrating Advanced Model Queries (IR, ÁH, DV), pp. 102–117.
PADLPADL-2012-LooGLMMSWZ #declarative #network
Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.
SACSAC-2012-GiuntaPT #aspect-oriented #composition #design pattern #named #refactoring
AODP: refactoring code to provide advanced aspect-oriented modularization of design patterns (RG, GP, ET), pp. 1243–1250.
CCCC-2012-JimboreanMLC #framework #named #program analysis
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework (AJ, LM, VL, PC), pp. 220–239.
DATEDATE-2011-MicheliGBVC #framework
An integrated platform for advanced diagnostics (GDM, SSG, CB, FV, SC), pp. 1454–1459.
ICDARICDAR-2011-ClausnerPA #documentation #layout #named
Aletheia — An Advanced Document Layout and Text Ground-Truthing System for Production Environments (CC, SP, AA), pp. 48–52.
SIGMODSIGMOD-2011-GulloDT #clustering
Advancing data clustering via projective clustering ensembles (FG, CD, AT), pp. 733–744.
SCAMSCAM-J-2009-Giffhorn11 #concurrent #source code
Advanced chopping of sequential and concurrent programs (DG), pp. 239–294.
AGTIVEAGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #sequence chart #specification
Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.
HCIHIMI-v2-2011-Najjar #design #e-commerce #roadmap #user interface
Advances in E-commerce User Interface Design (LJN), pp. 292–300.
ICEISICEIS-v3-2011-LuLC #hybrid
An Advanced Hybrid P2P Botnet 2.0 (TTL, HYL, MFC), pp. 273–276.
CIKMCIKM-2011-AbedjanN
Advancing the discovery of unique column combinations (ZA, FN), pp. 1565–1570.
CIKMCIKM-2011-KrishnaswamyGG #data type #mining #mobile #roadmap #ubiquitous
Advances in data stream mining for mobile and ubiquitous environments (SK, JG, MMG), pp. 2607–2608.
CIKMCIKM-2011-WangC #information retrieval #modelling #probability #ranking #statistics
Statistical information retrieval modelling: from the probability ranking principle to recent advances in diversity, portfolio theory, and beyond (JW, KCT), pp. 2603–2604.
KDIRKDIR-2011-ZalikZ #algorithm #clustering #network
Network Clustering by Advanced Label Propagation Algorithm (KRZ, BZ), pp. 444–447.
KEODKEOD-2011-ModicaT #semantics
A Semantic Model to Support Advanced Supply-demand Matchmaking in Future Cloud Resources Market (GDM, OT), pp. 429–432.
SIGIRSIGIR-2011-LiuJWZ #named #twitter
QuickView: advanced search of tweets (XL, LJ, FW, MZ), pp. 1275–1276.
ECMFAECMFA-2011-Schafer
Building Advanced Mechatronic Systems (WS), pp. 1–2.
TOOLSTOOLS-EUROPE-2011-BockischSMA #bibliography #execution
An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.
SACSAC-2011-FosterS #composition #monitoring
Advanced service monitoring configurations with SLA decomposition and selection (HF, GS), pp. 1582–1589.
SACSAC-2011-KalendarJTD #architecture #novel
Novel processor architecture for modified advanced routing in NGN (MK, DJ, AT, GD), pp. 486–491.
ESEC-FSEESEC-FSE-2011-Schafer
Building advanced mechatronic systems (WS), p. 1.
ICSEICSE-2011-SoffaWM #debugging #hardware #testing
Exploiting hardware advances for software testing and debugging (MLS, KRW, JM), pp. 888–891.
CADECADE-2011-Cook #liveness #proving #roadmap #termination
Advances in Proving Program Termination and Liveness (BC), p. 4.
ICSTICST-2011-CasadoTY #framework #transaction #web #web service
A Framework to Test Advanced Web Services Transactions (RC, JT, MY), pp. 443–446.
CASECASE-2010-GeK #contract
Integrating advance demand information in supply chain contracts (DG, AK), pp. 380–385.
DACDAC-2010-MitraSN #challenge #validation
Post-silicon validation opportunities, challenges and recent advances (SM, SAS, NN), pp. 12–17.
DRRDRR-2010-Sako #self
Technologies for developing an advanced intelligent ATM with self-defence capabilities (HS), pp. 1–10.
VLDBVLDB-2010-CaliGP #ontology #query
Advanced Processing for Ontological Queries (AC, GG, AP), pp. 554–565.
CSEETCSEET-2010-LewHS #re-engineering #using
Using LEGO MINDSTORMS NXT and LEJOS in an Advanced Software Engineering Course (MWL, TBH, MS), pp. 121–128.
CHICHI-2010-DixonF #behaviour #implementation #interface #named #reverse engineering #using
Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure (MD, JF), pp. 1525–1534.
KRKR-2010-SiddiqiH #roadmap
New Advances in Sequential Diagnosis (SAS, JH).
SIGIRSIGIR-2010-ShenMYPH #effectiveness #modelling #music #statistics
Effective music tagging through advanced statistical modeling (JS, WM, SY, HP, XSH), pp. 635–642.
MODELSMoDELS-v1-2010-ArendtBJKT #concept #emf #model transformation #named #tool support
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations (TA, EB, SJ, CK, GT), pp. 121–135.
PPDPPPDP-2010-DemeyerALV #declarative #flexibility #process #workflow
Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.
PADLPADL-2010-LeoneRRT #integration #performance #programming #set
Efficient Application of Answer Set Programming for Advanced Data Integration (NL, FR, LAR, GT), pp. 10–24.
SACSAC-2010-ChengHR #detection #video
Advanced motion detection for intelligent video surveillance systems (FCC, SCH, SJR), pp. 983–984.
SACSAC-2010-ElliottMCOO #database #interface #network #query
Advanced querying interface for biochemical network databases (BE, SM, AC, , ZMÖ), pp. 1526–1533.
SACSAC-2010-HautakorpiM #algorithm #network #using
Load balancing for structured P2P networks using the advanced finger selection algorithm (AFSA) (JH, JM), pp. 655–662.
ICSEICSE-2010-NordioMM #distributed #outsourcing #re-engineering
Advanced hands-on training for distributed and outsourced software engineering (MN, RM, BM), pp. 555–558.
PPoPPPPoPP-2010-AliMP #algorithm #communication #modelling
Modeling advanced collective communication algorithms on cell-based systems (QA, SPM, VSP), pp. 293–304.
VMCAIVMCAI-2010-Katoen #model checking #probability #roadmap
Advances in Probabilistic Model Checking (JPK), p. 25.
CASECASE-2009-WuCLZCH
Advanced studies of selection schemes for dual virtual-metrology outputs (WMW, FTC, THL, DLZ, JFC, MHH), pp. 421–426.
DATEDATE-2009-GrabBCCFLS #layout #synthesis
Analog layout synthesis — Recent advances in topological approaches (HG, FB, RCL, YWC, FVF, MPHL, MS), pp. 274–279.
DATEDATE-2009-KasperskiPDS #architecture #configuration management #development #flexibility
High data rate fully flexible SDR modem advanced configurable architecture & development methodology (FK, OP, FD, MS), pp. 1040–1044.
DATEDATE-2009-MadridSNGAVMA #framework #integration
Integration of an advanced emergency call subsystem into a car-gateway platform (NMM, RS, ARN, JSG, AlSA, PSV, CRM, FA), pp. 1100–1105.
DRRDRR-2009-Ding #analysis #documentation #image #recognition #research #topic
Advanced topics in character recognition and document analysis: Research works in Intelligent Image & Document Research Lab, Tsinghua University (XD), pp. 1–10.
SIGMODSIGMOD-2009-LeeMP #database #enterprise #memory management #roadmap
Advances in flash memory SSD technology for enterprise database applications (SWL, BM, CP), pp. 863–870.
ITiCSEITiCSE-2009-Popyack #game studies
Blackjack-playing agents in an advanced AI course (JLP), pp. 208–212.
HCIDHM-2009-PaolisPA #interactive #modelling #visualisation
An Advanced Modality of Visualization and Interaction with Virtual Models of the Human Body (LTDP, MP, GA), pp. 13–18.
HCIHCI-AUII-2009-BamidisFKLLKBPP #approach #recognition
An Integrated Approach to Emotion Recognition for Advanced Emotional Intelligence (PDB, CAF, EIK, AL, CDL, MAK, CB, CLP, CP), pp. 565–574.
HCIHCI-NIMT-2009-Valle-AgudoCCR #generative #independence #interactive
Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management (DdVA, FJCG, DCF, JRE), pp. 674–683.
HCIHCI-VAD-2009-LinYYC #automation #interface
Allocating Human-System Interfaces Functions by Levels of Automation in an Advanced Control Room (CJL, CWY, TCY, LYC), pp. 741–750.
CIKMCIKM-2009-Yu
Advanced metasearch engines (CTY), p. 5.
KDIRKDIR-2009-Fathi #information management #modelling #nondeterminism
Modelling Uncertainties in Advanced Knowledge Management (MF), pp. 7–8.
KEODKEOD-2009-Fathi #information management #modelling #nondeterminism
Modelling Uncertainties in Advanced Knowledge Management (MF), pp. 7–8.
KMISKMIS-2009-Fathi #information management #modelling #nondeterminism
Modelling Uncertainties in Advanced Knowledge Management (MF), pp. 7–8.
RecSysRecSys-2009-TsatsouMKD #analysis #framework #personalisation #recommendation #semantics
A semantic framework for personalized ad recommendation based on advanced textual analysis (DT, FM, IK, PCD), pp. 217–220.
GPCEGPCE-2009-VillazonBAM #adaptation #java #runtime
Advanced runtime adaptation for Java (AV, WB, DA, PM), pp. 85–94.
ISSTAISSTA-2009-AdlerFKPRSUZ #analysis #string #test coverage #using
Advanced code coverage analysis using substring holes (YA, EF, MK, DP, OR, MS, SU, AZ), pp. 37–46.
ICSTSAT-2009-LewisMSNBG #distributed #named
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing (MDTL, PM, TS, MN, BB, EG), pp. 509–523.
VMCAIVMCAI-2009-Cook #liveness #roadmap #termination
Advances in Program Termination and Liveness (BC), p. 4.
CASECASE-2008-FischionePRST #architecture #automation #communication #mining
Mining ventilation automation: Wireless sensing, communication architecture and advanced services (CF, LP, CR, FS, ST), pp. 851–857.
DACDAC-2008-NowakCCR #design
Holistic pathfinding: virtual wireless chip design for advanced technology and design exploration (MN, JC, CC, RR), p. 593.
DATEDATE-2008-MatteisDB
Advanced Analog Filters for Telecommunications (MDM, SD, AB), pp. 1316–1321.
CSEETCSEET-2008-HayesB #education #re-engineering
Nancy Mead and Software Engineering Education: Advancements through Action (JHH, MB), pp. 244–249.
CSCWCSCW-2008-AgustinaLXSS #3d #collaboration #design #named #tool support
CoMaya: incorporating advanced collaboration capabilities into 3d digital media design tools (A, FL, SX, HS, CS), pp. 5–8.
ICPRICPR-2008-GuehamBC #automation #classification #correlation #forensics #using
Automatic classification of partial shoeprints using Advanced Correlation Filters for use in forensic science (MG, AB, DC), pp. 1–4.
RecSysRecSys-2008-Sampaio #internet #network #performance #process #recommendation
A network performance recommendation process for advanced internet applications users (LNS), pp. 315–318.
SACSAC-2008-ChbeirCLY #information management
Track on Advances in Spatial and Image-Based Information Systems (ASIIS): editorial message (RC, CC, KJL, KY), p. 851.
SACSAC-2008-DoringPE #e-commerce #query
Advanced preference query processing for e-commerce (SD, TP, ME), pp. 1457–1462.
ICSEICSE-2008-ReichertKSMH #analysis #network #protocol
A language for advanced protocol analysis in automotive networks (TR, EK, WS, AM, DH), pp. 593–602.
HPDCHPDC-2008-AidaC #scheduling
Scheduling mixed-parallel applications with advance reservations (KA, HC), pp. 65–74.
HPDCHPDC-2008-NurmiWB #named
VARQ: virtual advance reservations for queues (DN, RW, JB), pp. 75–86.
PPoPPPPoPP-2008-NurmiWB #parallel #probability
Probabilistic advanced reservations for batch-scheduled parallel machines (DN, RW, JB), pp. 289–290.
CASECASE-2007-AlbieriBBC #design #simulation
A Simulation Environment for the Design of Advanced Chiller Control Systems (MA, AB, CB, LC), pp. 962–967.
CASECASE-2007-BoettnerCJ #assembly #collaboration #framework
An Advanced Collaborative Framework for Micro Assembly (SSB, JC, YJ), pp. 806–811.
CASECASE-2007-MolterMZHBLM #algorithm #metric
Algorithm Advancements for the Measurement of Single Cell Oxygen Consumption Rates (TWM, SM, MZ, MH, LWB, MEL, DRM), pp. 386–391.
CASECASE-2007-MorrisonM #clustering #on the #throughput #tool support
On the Throughput of Clustered Photolithography Tools: Wafer Advancement and Intrinsic Equipment Loss (JRM, MKM), pp. 88–93.
DATEDATE-2007-LinC #design
Testable design for advanced serial-link transceivers (ML, KT(C), pp. 695–700.
ICDARICDAR-2007-Schomaker07a #identification #roadmap #verification
Advances in Writer Identification and Verification (LS), pp. 1268–1273.
ITiCSEITiCSE-2007-BenayaZ #comprehension #java #thread
Understanding threads in an advanced java course (TB, EZ), p. 323.
GT-VMTGT-VMT-2007-HorvathVV #graph
Generic Search Plans for Matching Advanced Graph Patterns (ÁH, GV, DV).
CHICHI-2007-HolleisOHS #interactive #mobile
Keystroke-level model for advanced mobile phone interaction (PH, FO, HH, AS), pp. 1505–1514.
HCIDHM-2007-Godil #analysis #representation
Advanced Human Body and Head Shape Representation and Analysis (AG), pp. 92–100.
HCIDHM-2007-Heng #roadmap
Advances in Visible Human Based Virtual Medicine (PAH), pp. 623–632.
HCIDHM-2007-UpadrastaKL
Advanced Technology Training for Operating the Microlithography Panel Printer (BU, MTK, SSL), pp. 998–1007.
HCIHCI-IPT-2007-CaleefatoMT #automation
Advanced Drivers Assistant Systems in Automation (CC, RM, FT), pp. 768–777.
HCIHIMI-IIE-2007-Nirschl #development
Human-Centered Development of Advanced Driver Assistance Systems (GN), pp. 1088–1097.
AdaEuropeAdaEurope-2007-PanunzioV #analysis #metamodelling #modelling #process
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis (MP, TV), pp. 128–141.
CAiSECAiSE-2007-SilvaAMC #design #social #using
Designing Social Patterns Using Advanced Separation of Concerns (CTLLS, JA, AMDM, JC), pp. 309–323.
ICEISICEIS-AIDSS-2007-Cuzzocrea #multi
MRE-KDD+: A Multi-Resolution, Ensemble-Based Model for Advanced Knolwedge Discovery (AC), pp. 152–158.
ECIRECIR-2007-QuarteroniMMB #classification #ranking
Advanced Structural Representations for Question Classification and Answer Re-ranking (SQ, AM, SM, RB), pp. 234–245.
SEKESEKE-2007-IlhanAB #named #semantics
SAM: Semantic Advanced Matchmaker (ESI, GBA, ABB), pp. 698–703.
SEKESEKE-2007-Urban #education #research #specification
A View on Software Specification Research and Education Advancement (JU), p. 1.
SIGIRSIGIR-2007-WhiteM #behaviour #query
Investigating the querying and browsing behavior of advanced search engine users (RWW, DM), pp. 255–262.
POPLPOPL-2007-Murthy #design #enterprise #programming language #λ-calculus
Advanced programming language design in enterprise software: a λ-calculus theorist wanders into a datacenter (CM), pp. 263–264.
ICSEICSE-2007-BurmesterGHHTGMV #perspective #realtime #tool support
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (SB, HG, SH, MH, MT, AG, EM, HV), pp. 801–804.
ICSEICSE-2007-JensenS #case study #comparative #migration #process
Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study (CJ, WS), pp. 364–374.
ICLPICLP-2007-Gebser #programming #set
Advanced Techniques for Answer Set Programming (MG), pp. 458–459.
DATEDATE-2006-BurgBWSB #algorithm
Advanced receiver algorithms for MIMO wireless communications (AB, MB, MW, CS, HB), pp. 593–598.
VLDBVLDB-2006-Kim #in memory #memory management #roadmap
Advances in Memory Technology (CK), p. 1105.
ITiCSEITiCSE-2006-SpaccoHPEHP #case study #design #experience #programming #testing #using
Experiences with marmoset: designing and using an advanced submission and testing system for programming courses (JS, DH, WP, FE, JKH, NPP), pp. 13–17.
ICSMEICSM-2006-JaffriK #performance #using
Efficient Delivery of Software Updates Using Advanced Compression Techniques (TJ, KK), pp. 267–268.
STOCSTOC-2006-AbrahamBN #metric #roadmap
Advances in metric embedding theory (IA, YB, ON), pp. 271–286.
CHICHI-2006-BoehnerH #ambiguity
Advancing ambiguity (KB, JTH), pp. 103–106.
AdaSIGAda-2006-LudwigP #named
DEGAS: discrete event Gnu advanced scheduler (LL, PP), pp. 35–42.
EDOCEDOC-2006-DijkmanDQ #concept #design #interactive #towards
Towards Advanced Interaction Design Concepts (RMD, TD, DACQ), pp. 331–344.
ICEISICEIS-HCI-2006-LiSB #correlation #hybrid #recognition #sketching #synthesis #using
Face Recognition from Sketches Using Advanced Correlation Filters Using Hybrid Eigenanalysis for Face Synthesis (YhL, MS, VB), pp. 11–18.
RERE-2006-AxenathGKF #evaluation #synthesis
Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (BA, HG, FK, UF), pp. 156–165.
SACSAC-2006-BaloghV #framework #model transformation
Advanced model transformation language constructs in the VIATRA2 framework (AB, DV), pp. 1280–1287.
SACSAC-2006-FabryD #aspect-oriented #kernel #named #transaction
KALA: Kernel Aspect language for advanced transactions (JF, TD), pp. 1615–1620.
ICSTSAT-2006-Thurley #component #modelling #named
sharpSAT — Counting Models with Advanced Component Caching and Implicit BCP (MT), pp. 424–429.
DACDAC-2005-GilbertCS #network
MIMO technology for advanced wireless local area networks (JMG, WJC, QS), pp. 413–415.
DACDAC-2005-GuptaKKS #analysis
Advanced Timing Analysis Based on Post-OPC Extraction of Critical Dimensions (PG, ABK, YK, DS), pp. 365–368.
DACDAC-2005-YangCS #analysis
Advanced timing analysis based on post-OPC extraction of critical dimensions (JY, LC, DS), pp. 359–364.
SIGMODSIGMOD-2005-LeoneGILTEFFGRLLRKNS #consistency #integration
The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.
VLDBVLDB-2005-LiHHB #named #xml
Hubble: An Advanced Dynamic Folder Technology for XML (NL, JH, HIH, KSB), pp. 541–552.
CSEETCSEET-2005-JarzabekE #design #education
Teaching an Advanced Design, Team-Oriented Software Project Course (SJ, PKE), pp. 223–230.
ITiCSEITiCSE-2005-BenayaZ #education #java #programming
Advanced programming in java workshop: teaching methodology (TB, EZ), p. 348.
FMFM-2005-EislerSJSS #case study #model checking
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications (SE, CS, BJ, GS, JS), pp. 533–536.
CHICHI-2005-TollingerLMTVHP #constraints #development #modelling #multi #performance
Supporting efficient development of cognitive models at multiple skill levels: exploring recent advances in constraint-based modeling (IT, RLL, MM, PT, AHV, AH, LP), pp. 411–420.
ECOOPECOOP-2005-Lopez-HerrejonBC #composition
Evaluating Support for Features in Advanced Modularization Technologies (RELH, DSB, WRC), pp. 169–194.
SACSAC-2005-SartorPV
Computer-aided law and advanced technologies (GS, JVP, AV), pp. 280–281.
SACSAC-2005-WojnickiL #query
Jelly view: a technology for arbitrarily advanced queries within RDBMS (IW, AL), pp. 629–633.
AMOSTAMOST-2005-BinderH #mobile #testing
The advanced mobile application testing environment (RVB, JEH), p. 1.
ICLPICLP-2005-RochaLSC #modelling #named #prolog
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling (RR, RL, FMAS, VSC), pp. 416–417.
ICLPICLP-2005-TompitsW #equivalence #implementation #programming #towards
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming (HT, SW), pp. 189–203.
ICSMEICSM-2004-Krinke04a #concurrent #slicing #source code
Advanced Slicing of Sequential and Concurrent Programs (JK), pp. 464–468.
STOCSTOC-2004-Fischer #graph #morphism #testing
The difficulty of testing for isomorphism against a graph that is given in advance (EF), pp. 391–397.
ECIRECIR-2004-NottelmannF #approach
Combining CORI and the Decision-Theoretic Approach for Advanced Resource Selection (HN, NF), pp. 138–153.
ICPRICPR-v3-2004-JiaQD #detection #markov #modelling #online
An Advanced Segmental Semi-Markov Model Based Online Series Pattern Detection (SJ, YQ, GD), pp. 634–637.
ICPRICPR-v3-2004-SakoM #automation #towards
Image-Recognition Technologies towards Advanced Automated Teller Machines (HS, TM), pp. 282–285.
KDDKDD-2004-AksoyKTM #classification #image #interactive #mining
Interactive training of advanced classifiers for mining remote sensing image archives (SA, KK, CT, GBM), pp. 773–782.
KRKR-2004-Doherty #research
Advanced Research with Autonomous Unmanned Aerial Vehicles (PD), pp. 731–732.
HPDCHPDC-2004-HongLKLP #grid #information management #named
GAIS: Grid Advanced Information Service based on P2P Mechanism (WH, ML, EK, JL, HP), pp. 276–277.
LCTESLCTES-2004-LiZ #control flow #java #programming
Advanced control flow in Java card programming (PL, SZ), pp. 165–174.
CAVCAV-2004-Arons #algorithm #execution #verification
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.
DACDAC-2003-HsuTCT #debugging
Advanced techniques for RTL debugging (YCH, BT, YAC, FST), pp. 362–367.
DACDAC-2003-Wasshuber
Recent advances and future prospects in single-electronics (CW), pp. 274–275.
VLDBVLDB-2003-NicklasGS #distributed #framework #named
NexusScout: An Advanced Location-Based Application on a Distributed, Open Mediation Platform (DN, MG, TS), pp. 1089–1092.
FASEFASE-2003-VanderperrenSWJ #component #composition #visual notation
PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features (WV, DS, BW, VJ), pp. 166–169.
VISSOFTVISSOFT-2003-EichelbergerW #diagrams #layout #uml
Demonstration of Advanced Layout of UML Class Diagrams by SugiBib (HE, JW), pp. 58–59.
AdaEuropeAdaEurope-2003-BriotGDCW #ada #memory management
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada (EB, FG, RD, DC, PW), pp. 129–141.
ECIRECIR-2003-NottelmannF #information retrieval #nondeterminism #probability
From Uncertain Inference to Probability of Relevance for Advanced IR Applications (HN, NF), pp. 235–250.
ICSEICSE-2003-SimEH #benchmark #challenge #metric #re-engineering #research #using
Using Benchmarking to Advance Research: A Challenge to Software Engineering (SES, SME, RCH), pp. 74–83.
CCCC-2003-AzatchiP #garbage collection
Integrating Generations with Advanced Reference Counting Garbage Collectors (HA, EP), pp. 185–199.
CGOCGO-2003-LinCHY #using
Speculative Register Promotion Using Advanced Load Address Table (ALAT) (JL, TC, WCH, PCY), pp. 125–134.
LCTESLCTES-2003-VanbroekhovenCC #array
Advanced copy propagation for arrays (PV, HC, FC), pp. 24–33.
CAVCAV-2003-LahiriB #deduction #verification
Deductive Verification of Advanced Out-of-Order Microprocessors (SKL, REB), pp. 341–353.
DATEDATE-2002-MichelWWM #hardware #trade-off
Hardware/Software Trade-Offs for Advanced 3G Channel Coding (HM, AW, NW, MM), pp. 396–401.
VLDBVLDB-2002-HsuLOMTX #database
Advanced Database Technologies in a Diabetic Healthcare System (WH, MLL, BCO, PKM, KLT, CX), pp. 1059–1062.
VLDBVLDB-2002-ZellerK #case study #database #experience #optimisation #scalability
Experience Report: Exploiting Advanced Database Optimization Features for Large-Scale SAP R/3 Installations (BZ, AK), pp. 894–905.
CSEETCSEET-2002-Armarego #design #learning #problem
Advanced Software Design: A Case in Problem-Based Learning (JA), pp. 44–54.
ICEISICEIS-2002-PanMMARV #query
A Model for Advanced Query Capability Description in Mediator Systems (AP, PM, AM, , JR, ÁV), pp. 140–147.
ICPRICPR-v3-2002-Bourlard #pattern matching #pattern recognition #recognition #speech #statistics
Some Recent Advances in Speech Recognition with Potential Applications in Other Statistical Pattern Recognition Areas (HB), p. 727.
ICPRICPR-v3-2002-MullerH #linear
Extending the Linear Interpolating Condition to Advanced Synthetic Discriminant Function Variants (NM, BMH), pp. 883–886.
SACSAC-2002-BryK #documentation #modelling
Advanced modeling and browsing of technical documents (FB, MK), pp. 520–524.
ICSEICSE-2002-GilHK #modelling #uml #visual notation
Advanced visual modelling: beyond UML (JYG, JH, SK), pp. 697–698.
ICSEICSE-2002-GraunkeK #control flow #flexibility #user interface #visual notation
Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs (PTG, SK), pp. 277–287.
SATSAT-2002-Kullmann #adaptation #branch #database #encryption #normalisation #random #satisfiability #standard #towards #using
Towards an adaptive density based branching rule for SAT solvers, using a database for mixed random conjunctive normal forms built upon the Advanced Encryption Standard (AES) (OK), p. 8.
DACDAC-2001-YalcinPMBSH #dependence #using
An Advanced Timing Characterization Method Using Mode Dependency (HY, RP, MM, CB, KAS, JPH), pp. 657–660.
ICDARICDAR-2001-MiledA #markov #modelling #recognition
Planar Markov Modeling for Arabic Writing Recognition: Advancement State (HM, NEBA), pp. 69–73.
ICDARICDAR-2001-Nagy #recognition
Advanced Character Recognition 6610 (GN), p. 2.
VLDBVLDB-2001-SeegerBBKSDS #approach #database #implementation #library #named #performance #query
XXL — A Library Approach to Supporting Efficient Implementations of Advanced Database Queries (JVdB, BB, JPD, JK, TS, MS, BS), pp. 39–48.
ICEISICEIS-v1-2001-PanticR #challenge #monitoring #multi #ubiquitous
Affect-Sensitive Multi-Modal Monitoring in Ubiquitous Computing: Advances and Challenges (MP, LJMR), pp. 466–474.
CIKMCIKM-2001-AmirES #roadmap #word
Advances in Phonetic Word Spotting (AA, AE, SS), pp. 580–582.
CIKMCIKM-2001-SchallehnSS #integration
Advanced Grouping and Aggregation for Data Integration (ES, KUS, GS), pp. 547–549.
KDDKDD-2001-ApteBNPTCN #modelling
Segmentation-based modeling for advanced targeted marketing (CA, EB, RN, EPDP, FT, DC, BN), pp. 408–413.
KDDKDD-T-2001-GehrkeL #roadmap
Advances in decision tree construction (JG, WYL), pp. 119–185.
DATEDATE-2000-HergenhanR #analysis #architecture #embedded
Static Timing Analysis of Embedded Software on Advanced Processor Architectures (AH, WR), pp. 552–559.
ITiCSEITiCSE-2000-Normark #tool support
A suite of WWW-based tools for advanced course management (KN), pp. 65–68.
WCREWCRE-2000-BalazinskaMDLK #object-oriented #refactoring
Advanced Clone-Analysis to Support Object-Oriented System Refactoring (MB, EM, MD, BL, KK), pp. 98–107.
ICFPICFP-2000-HarperP
Advanced module systems: a guide for the perplexed (abstract of invited talk) (RH, BCP), p. 130.
EDOCEDOC-2000-KawamuraHOH #development #framework
Rental Application to Rental Service Development of Advanced ASP Framework (TK, TH, AO, SH), p. 58–?.
ICEISICEIS-2000-Belo #monitoring #process #realtime
Monitoring Production Plants Activities in Real Time as a Way to Gather Decision Support Information in Advance (OB), pp. 27–31.
ICEISICEIS-2000-ChevalierV #information retrieval #interface #named #visualisation
ISIDOR: A Visualisation Interface for Advanced Information Retrieval (MC, MV), pp. 414–418.
ICPRICPR-v4-2000-Hata #visual notation
Practical Visual Inspection Techniques — Optics, Micro-Electronics and Advanced Software Technology (SH), pp. 4114–4117.
KDDKDD-2000-Senator #case study #detection #information management #scalability
Ongoing management and application of discovered knowledge in a large regulatory organization: a case study of the use and impact of NASD Regulation’s Advanced Detection System (RADS) (TES), pp. 44–53.
TOOLSTOOLS-EUROPE-2000-GilHK #modelling #uml #visual notation
Advanced Visual Modeling: Beyond UML (JYG, JH, SK), p. 474.
ICSEICSE-2000-GilHK #modelling #tutorial #uml #visual notation
Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.
CCCC-2000-Kim #compilation #embedded #optimisation
Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor (DHK), pp. 173–188.
CCCC-2000-Roth #array #syntax
Advanced Scalarization of Array Syntax (GR), pp. 219–231.
CAVCAV-2000-HosabettuGS #architecture #exception #verification
Verifying Advanced Microarchitectures that Support Speculation and Exceptions (RH, GG, MKS), pp. 521–537.
ASEASE-1999-Pecheur #clustering #file system #modelling #verification
Advanced Modelling and Verification Techniques Applied to a Cluster File System (CP), pp. 119–126.
DACDAC-1999-BrunvandNY #design #interface
Practical Advances in Asynchronous Design and in Asynchronous/Synchronous Interfaces (EB, SMN, KYY), pp. 104–109.
ICDARICDAR-1999-KosmalaWR #clustering #online #recognition #scalability
Advanced State Clustering for Very Large Vocabulary HMM-based On-Line Handwriting Recognition (AK, DW, GR), pp. 442–445.
ICDARICDAR-1999-LuSNBM #roadmap
Advances in the BBN BYBLOS OCR System (ZL, RMS, PN, IB, JM), pp. 337–340.
VLDBVLDB-1999-NinkHR #database #generative #interface #programming
Generating Call-Level Interfaces for Advanced Database Application Programming (UN, TH, NR), pp. 575–586.
ITiCSEITiCSE-1999-Ackermann #education #internet
Poster session. Internet curriculum. two courses: introductory and advanced (ECA), pp. 179–180.
HCIHCI-CCAD-1999-PapandroouA #architecture #framework #towards
Towards a teleworking framework based on advanced telematic service architectures (CAP, DXA), pp. 497–501.
ICEISICEIS-1999-Pinto #bibliography #distributed #framework #network
Distributed Networking Computer Model: SUNs JINI as an Advance in the Technology-An Overview of Javas Distributed Platform (HJPBPP), p. 790.
MLDMMLDM-1999-HongW #data mining #mining #predict
Advanced in Predictive Data Mining Methods (SJH, SMW), pp. 13–20.
TOOLSTOOLS-EUROPE-1999-McKim #contract #programming
Advanced Programming by Contract (JCM), p. 402.
TOOLSTOOLS-USA-1999-Henderson-Sellers #metamodelling #modelling
Advanced 00 Modelling: Metamodels and Notations for the Next Millenium (BHS), p. 464.
RERE-1999-Crawford #concept
Advancing Business Concepts in a JAD Workshop Setting (TC), p. 31–?.
DATEDATE-1998-SchmerlerTM #logic #simulation
Advanced Optimistic Approaches in Logic Simulation (SS, YT, KDMG), pp. 362–368.
CHICHI-1998-WolfZ #case study #evolution
Evolution of the Conversation Machine: A Case Study of Bringing Advanced Technology to the Marketplace (CGW, WZ), pp. 488–495.
CAiSECAiSE-1998-SteinerKN #java #named
OMS/Java: Model Extensibility of OODBMS for Advanced Application Domains (AS, AK, MCN), pp. 115–138.
ICPRICPR-1998-TaxtLSH #roadmap
Advances in medical imaging (TT, AL, JS, SH), pp. 505–508.
HPDCHPDC-1998-McRobbieMAGPRWW #education #network #performance #research
Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications (MAM, DFM, KHA, DG, DDP, RAR, SSW, JGW), pp. 252–259.
ITiCSEITiCSE-WGR-1997-DomingoGLRM #approach #generative #programming #using
SEDA, an advanced software tool in its generation: developing a Windows tutor using SEDA versus a classical programming approach (poster) (PD, ÁGC, ML, BR, VMO), p. 148.
TOOLSTOOLS-ASIA-1997-Coplien97a #c++ #programming #using
Advanced C++ Programming Styles: Using C++ as a Higher-Level Language (JC), pp. 418–419.
TOOLSTOOLS-PACIFIC-1997-Coplien #c++ #programming
Advanced C++ Programming Styles and Idioms (JC), p. 352.
TOOLSTOOLS-PACIFIC-1997-Henderson-Sellers #generative #named #object-oriented
OPEN: A Third Generation OO Methodology — Advanced Tasks and Techniques (BHS), pp. 363–365.
TOOLSTOOLS-USA-1997-Ege #design #encapsulation
Class Design: Advanced Encapsulation Techniques (RKE), p. 376.
RERE-1997-Wieringa #object-oriented #requirements #specification
Advanced Object-Oriented Requirements Specification Methods (RW), p. 266.
HPCAHPCA-1997-JanikLM #architecture #pipes and filters
Advances of the Counterflow Pipeline Microarchitecture (KJJ, SLL, MFM), pp. 230–236.
CAVCAV-1997-VarpaaniemiHL #analysis #performance #reachability
prod 3.2: An Advanced Tool for Efficient Reachability Analysis (KV, KH, JL), pp. 472–475.
ICLPILPS-1997-Tarau #internet #logic programming #tool support
Logic Programming Tools for Advanced Internet Programming (Abstract) (PT), pp. 33–34.
DACDAC-1996-BrownMVCGGGLZS #design #experience #multi #programmable #scalability #tool support #using
Experience in Designing a Large-scale Multiprocessor using Field-Programmable Devices and Advanced CAD Tools (SDB, NM, ZGV, SC, AG, RG, MG, KL, ZZ, SS), pp. 427–432.
ITiCSEITiCSE-1996-AndreevaG
Informatics in an advanced mathematical high school (EA, IG), p. 231.
CAiSECAiSE-1996-Beeche #database
Advanced Principles for Changing Schemas of Object Databases (PB), pp. 476–495.
ICMLICML-1996-RaviseS #evolution #fault
An Advanced Evolution Should Not Repeat its Past Errors (CR, MS), pp. 400–408.
CADECADE-1996-GrafM
Advanced Indexing Operations on Substitution Trees (PG, CM), pp. 553–567.
DACDAC-1995-JainMF #learning #verification
Advanced Verification Techniques Based on Learning (JJ, RM, MF), pp. 420–426.
SIGMODSIGMOD-1995-ThomasDM #design #implementation
Design and Implementation of Advanced Knowledge Processing in the KDMS KRISYS (Demonstration Description) (JT, SD, NMM), p. 479.
AdaTRI-Ada-1995-BarbeyKS #ada #object-oriented #programming
Advanced Object-Oriented Features and Programming in Ada 95 (SB, MK, AS), pp. 359–489.
DATEEDAC-1994-DongenR #array #design
Advanced Analog Circuit Design on a Digital Sea-of-Gates Array (RvD, VR), pp. 70–74.
ASEKBSE-1994-Benner #development #knowledge-based
Knowledge-Based Software Assistant — Advanced Development Model Demonstrations (KB), p. 3.
SIGMODSIGMOD-1994-Mohan #bibliography #modelling #transaction
A Survey and Critique of Advanced Transaction Models (CM), p. 521.
CSEETCSEE-1994-HabraD #re-engineering #student
Putting into Practice Advanced Software Engineering Techniques through Students Project (NH, ED), pp. 303–316.
CHICHI-1994-IrvingPI94a #analysis #automation
A GOMS analysis of the advanced automated cockpit (SI, PGP, JEI), pp. 344–350.
AdaEuropeAdaEurope-1994-GerlichW #ada #source code
Tuning Ada Programs in Advance (RG, UW), pp. 440–464.
SACSAC-1994-RosenG #network #using
Training hard to learn networks using advanced simulated annealing methods (BER, JMG), pp. 256–260.
SIGMODSIGMOD-1993-SuLEAPZ #knowledge base #object-oriented
OSAM*KBMS: An Object-Oriented Knowledge Base Management System for Supporting Advanced Applications (SYWS, HL, SE, JA, NP, RZ), pp. 540–541.
FMFME-1993-ValmariKCL #analysis #reachability
Putting Advanced Reachability Analysis Techniques Together: the “ARA” Tool (AV, JK, MC, ML), pp. 597–616.
HCIHCI-ACS-1993-Marcus #design #user interface
Metaphor Design and Cultural Diversity in Advanced User Interfaces (AM), pp. 469–474.
HCIHCI-ACS-1993-PrzygoddaS #development #evaluation
Development and Evaluation of a Productivity Management System for Autonomous Work Groups in Advanced Manufacturing Systems (MP, KHS), pp. 38–43.
HCIHCI-ACS-1993-Sundstrom-Frisk
Near-Accidents in the Use of Advanced Medical Equipment (CSF), pp. 821–826.
HCIHCI-ACS-1993-WeberU #evaluation
Psychological Criteria for the Evaluation of Different Forms of Group Work in Advanced Manufacturing Systems (WGW, EU), pp. 26–31.
HCIHCI-SHI-1993-DohiI #human-computer #interactive #realtime #synthesis #towards
Realtime Synthesis of a Realistic Anthropomorphous Agent Toward Advanced Human-Computer Interaction (HD, MI), pp. 152–157.
HCIHCI-SHI-1993-KoubekS #concept #requirements
A Conceptual Model of Human Skill Requirements for Advanced Manufacturing Settings (RJK, GS), pp. 356–361.
CHIINTERCHI-1993-JohnsonWMP #design #modelling #named #prototype
ADEPT: Advanced Design Environment for Prototyping with Task Models (PJ, SW, PM, JP), p. 56.
CHIINTERCHI-1993-Wenzel #design #hardware #interface #performance
Perceptual vs. hardware performance in advanced acoustic interface design (EMW), pp. 363–366.
TOOLSTOOLS-PACIFIC-1993-Wall93a #c++
Advanced C++ (PW), p. 333.
ESECESEC-1993-AueB #distributed #information management
Distributed Information Systems: An Advanced Methology (AA, MB), pp. 263–282.
DACDAC-1992-RuehliH #analysis #challenge
Challenges and Advances in Electrical Interconnect Analysis (AER, HH), pp. 460–465.
CHICHI-1992-BallasHP #aspect-oriented
Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits (JAB, CLH, MAP), pp. 127–134.
CHICHI-1992-Shackel #human-computer #named #research
HUSAT — 21 Years of HCI: The Human Sciences and Advanced Technology Research Institute (BS), pp. 281–283.
ICSEICSE-1992-Fairley #estimation
Recent Advances in Software Estimation Techniques (REF), pp. 382–391.
ICLPJICSLP-1992-Tick #concurrent #logic programming #tutorial
Advanced Tutorial: Concurrent Logic Programming (ET), p. 25.
SIGMODSIGMOD-1991-ShyyS #database #knowledge base #named #programming language
K: A High-Level Knowledge Base Programming Language for Advanced Database Applications (YMS, SYWS), pp. 338–347.
CHICHI-1991-Gomoll #interface
Apple computer’s human interface group: advanced technology group (KMG), pp. 473–474.
SIGIRSIGIR-1991-JarvelinN #database #deduction #integration #retrieval
Advanced Retrieval From Heterogeneous Fact Databases: Integration of Data Retrieval, Conversion, Aggregation and Deductive Techniques (KJ, TN), pp. 173–182.
TOOLSTOOLS-USA-1991-Caseau
An O-O Language for Advanced Applications (YC), pp. 153–166.
TOOLSTOOLS-USA-1991-Wirfs-Brock #design #object-oriented #topic
Advanced Topics in Object-Oriented Design (RWB), pp. 429–430.
ESECESEC-1991-Lang #automation #problem #process
CASE Support for the Software Process: Advances and Problems (BL), pp. 512–515.
ICTSSIWPTS-1991-GuareneM #network #testing #tool support
Advanced Testing Tools For Intelligent Network (EG, PM), pp. 219–230.
ICTSSIWPTS-1991-HordiesS #concept #testing
OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based Products (MH, SS), pp. 179–193.
SIGMODSIGMOD-1990-StonebrakerRLGCB #database #generative #quote
“The Committee for Advanced DBMS Function”: Third Generation Data Base System Manifesto (MS, LAR, BGL, JG, MJC, DB), p. 396.
VLDBVLDB-1990-KemperM #data access #query #using
Advanced Query Processing in Object Bases Using Access Support Relations (AK, GM), pp. 290–301.
CHICHI-1990-PoltrockB #bibliography
Boeing Advanced Technology Center (lab review) (SEP, KAB), pp. 381–382.
ICSEICSE-1990-Basili #metric
Recent Advances in Software Measurement (Abstract for Talk) (VRB), pp. 44–49.
VLDBVLDB-1989-SaakeLPW #information management #prototype #sorting
Sorting, Grouping and Duplicate Elimination in the Advanced Information Management Prototype (GS, VL, PP, LMW), pp. 307–316.
CHICHI-1989-RobertsE #usability
The effects of device technology on the usability of advanced telephone functions (TLR, GE), pp. 331–337.
DACDAC-1988-LathropHDAK #abstraction #functional #roadmap
Advances in Functional Abstraction from Structure (RHL, RJH, GD, KMA, RSK), pp. 708–711.
CSEETSEI-1988-Stevens #learning
SEI Demonstration: Advanced Learning Technologies Project (SS), p. 120.
ICSEICSE-1988-Wasserman #development #hardware
Implications of Hardware Advances for Software Development (AIW), pp. 250–253.
VLDBVLDB-1987-KuspertDG #information management #prototype
Cooperative Object Buffer Management in the Advanced Information Management Prototype (KK, PD, JG), pp. 483–492.
SIGIRSIGIR-1987-SmithWF #analysis #named #retrieval
MICROARRAS: An Advanced Full-Text Retrieval and Analysis System (JBS, SFW, GJF), pp. 187–195.
OOPSLAOOPSLA-1987-AndrewsH #database #development #object-oriented
Combining Language and Database Advances in an Object-Oriented Development Environment (TA, CH), pp. 430–440.
ICGTGG-1986-Siromoney #array #roadmap
Advances in array languages (RS), pp. 549–563.
CSCWCSCW-1986-DanielsenPPPPSS #communication
The AMIGO Project: advanced group communication model for computer-based communications environment (TD, UPB, WP, AP, PAP, KS, RS), pp. 115–142.
DACDAC-1985-CollinsK #programmable #tutorial
The impact of technological advances on programmable controller s(tutorial session) (RPC, WJK), pp. 498–502.
DACDAC-1985-DwyerMBG #array #automation #design #integration
The integration of an advanced gate array router into a fully automated design system (RD, SM, EB, DG), pp. 770–772.
DACDAC-1985-GranackiKP #automation #bibliography #design #interface #natural language
The ADAM advanced design automation system: overview, planner and natural language interface (JJG, DK, ACP), pp. 727–730.
DACDAC-1984-GuillaumeK #named #proximity
MINUPROX — an advanced proximity correction technique for the IBM EL-2 electron beam tool (WJG, AK), pp. 452–453.
VLDBVLDB-1984-Walter #approach #commit #database #multi #transaction
Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications (BW), pp. 161–171.
SIGIRSIGIR-1984-EstallS
Shared Processing with an Advanced Intelligent Terminal (CE, FJS), pp. 153–166.
SIGIRSIGIR-1984-KraftB #behaviour #information retrieval #roadmap
Advances in a Bayesian Decision Model of User Stopping Behaviour for Scanning the Output of an Information Retrieval System (DHK, DAB), pp. 421–433.
ICSEICSE-1984-TaylorS #ada #programming
Steps to an Advanced Ada Programming Environment (RNT, TAS), pp. 116–125.
ICALPICALP-1982-Pippenger #roadmap
Advances in Pebbling (Preliminary Version) (NP), pp. 407–417.
ICALPICALP-1979-Karp #algorithm #analysis #graph #probability
Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms (Abstract) (RMK), pp. 338–339.
DACDAC-1974-BreuerF #automation #concept #design
Initial design concepts for an advanced design automation system (MAB, ADF), pp. 366–371.
DACDAC-1974-KozawaHISS #automation #generative #layout
Advanced LILAC — an Automated Layout Generation system for MOS/LSIs (TK, HH, TI, JS, SS), pp. 26–46.

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.