BibSLEIGH — dynam stem

Used together with:

system (393)
use (314)
model (311)
base (310)
program (288)

Stem dynam$ (all stems)

3062 papers:

CBSE-2015-EscoffierLG #component #mobile: A Component Model to Manage the Heterogeneity and Dynamism in Mobile Applications (CE, PL, OG), pp. 85–90.
CBSE-2015-PlateniusSA #framework #named #process: MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (MCP, WS, SA), pp. 75–84.
ECSA-2015-AgrawalP #adaptation #framework #towards #using #web: Towards a Framework for Building Adaptive App-Based Web Applications Using Dynamic Appification (AA, TVP), pp. 37–44.
ECSA-2015-BaresiS #approach #architecture: An Architecture-Centric Approach for Dynamic Smart Spaces (LB, AS), pp. 277–284.
WICSA-2015-CavalcanteBO #architecture #implementation: Supporting Dynamic Software Architectures: From Architectural Description to Implementation (EC, TVB, FO), pp. 31–40.
CASE-2015-AlfonsoXA #approach #capacity #programming #representation #scheduling: A simulation-optimization approach for capacity planning and appointment scheduling of blood donors based on mathematical programming representation of event dynamics (EA, XX, VA), pp. 728–733.
CASE-2015-ChenY #monitoring #process: Heterogeneous recurrence T2 charts for monitoring and control of nonlinear dynamic processes (YC, HY), pp. 1066–1071.
CASE-2015-ClevelandTDPKDB #automation #programming #recognition #segmentation #semantics: An automated system for semantic object labeling with soft object recognition and dynamic programming segmentation (JC, DT, PD, CJP, TK, KD, JB, VK), pp. 683–690.
CASE-2015-FrigerioSM #energy #programming #tool support: Dynamic programming for energy control of machine tools in manufacturing (NF, JGS, AM), pp. 39–44.
CASE-2015-JinDAWBBBL #distributed #framework: A comprehensive framework of factory-to-factory dynamic fleet-level prognostics and operation management for geographically distributed assets (CJ, DD, HDA, KW, MB, BB, PB, JL), pp. 225–230.
CASE-2015-NakhaeiniaPHK #architecture #hybrid #mobile #navigation: A hybrid control architecture for autonomous mobile robot navigation in unknown dynamic environment (DN, PP, TSH, BK), pp. 1274–1281.
CASE-2015-SuWCRT #adaptation #fuzzy #learning: Adaptive PD fuzzy control with dynamic learning rate for two-wheeled balancing six degrees of freedom robotic arm (SFS, KJW, MCC, IJR, CCT), pp. 1258–1261.
CASE-2015-TsaiCLT #modelling: Dynamic modeling and vibration suppression of the feed drive system (MST, SJC, CCL, PYT), pp. 106–110.
CASE-2015-WangZ #modelling #predict #simulation: A prediction method for interior temperature of grain storage via dynamics models: A simulation study (DW, XZ), pp. 1477–1483.
DAC-2015-ChenCX #classification #named #power management #video: DaTuM: dynamic tone mapping technique for OLED display power saving based on video classification (XC, YC, CJX), p. 6.
DAC-2015-GangopadhyayNR #power management: Integrated power management in IoT devices under wide dynamic ranges of operation (SG, SBN, AR), p. 6.
DAC-2015-HeyseS: Avoiding transitional effects in dynamic circuit specialisation on FPGAs (KH, DS), p. 6.
DAC-2015-HuangCZL #behaviour #named #realtime #scheduling: PASS: priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling (WHH, JJC, HZ, CL), p. 6.
DAC-2015-LeeHLP #data flow #debugging #information management #interface #performance: Efficient dynamic information flow tracking on a processor with core debug interface (JL, IH, YL, YP), p. 6.
DAC-2015-McLaughlin #behaviour #policy: Blocking unsafe behaviors in control systems through static and dynamic policy enforcement (SM), p. 6.
DAC-2015-SantosVK #adaptation #configuration management #embedded #reliability: Dynamically adaptive scrubbing mechanism for improved reliability in reconfigurable embedded systems (RS, SV, AK), p. 6.
DAC-2015-TavanaHPSH #named #scalability: ElasticCore: enabling dynamic heterogeneity with joint core and voltage/frequency scaling (MKT, MHH, DP, IS, HH), p. 6.
DAC-2015-TsengLHS #synthesis: Reliability-aware synthesis for flow-based microfluidic biochips by dynamic-device mapping (TMT, BL, TYH, US), p. 6.
DAC-2015-WangSBS #feedback #implementation #probability: Randomness meets feedback: stochastic implementation of logistic map dynamical system (ZW, NS, KB, AS), p. 7.
DATE-2015-AmirhosseinRBCM #power management: An all-digital spike-based ultra-low-power IR-UWB dynamic average threshold crossing scheme for muscle force wireless transmission (MSA, PMR, AB, MC, MM, DD, GM), pp. 1479–1484.
DATE-2015-CasagrandeR #algorithm #fuzzy #game studies #named #novel #optimisation #robust: GTFUZZ: a novel algorithm for robust dynamic power optimization via gate sizing with fuzzy games (TC, NR), pp. 677–682.
DATE-2015-ConstantinWKCB: Exploiting dynamic timing margins in microprocessors for frequency-over-scaling with instruction-based clock adjustment (JC, LW, GK, AC, AB), pp. 381–386.
DATE-2015-IqtedarHSH #analysis #distributed #probability: Formal probabilistic analysis of distributed dynamic thermal management (SI, OH, MS, JH), pp. 1221–1224.
DATE-2015-KimKKC #manycore #mobile #named: M-DTM: migration-based dynamic thermal management for heterogeneous mobile multi-core processors (YGK, MK, JMK, SWC), pp. 1533–1538.
DATE-2015-LeeJG #functional #hardware #performance #simulation: Dynamic power and performance back-annotation for fast and accurate functional hardware simulation (DL, LKJ, AG), pp. 1126–1131.
DATE-2015-MuzaffarYSE #power management: A pulsed-index technique for single-channel, low-power, dynamic signaling (SM, JY, AS, IAME), pp. 1485–1490.
DATE-2015-ParkTNII #performance: Platform-aware dynamic configuration support for efficient text processing on heterogeneous system (MSP, OT, VN, MJI, RI), pp. 1503–1508.
DATE-2015-SinglaKUO #mobile #power management #predict: Predictive dynamic thermal and power management for heterogeneous mobile platforms (GS, GK, AKU, ÜYO), pp. 960–965.
DATE-2015-StoppeWD #automation #design #locality: Automated feature localization for dynamically generated SystemC designs (JS, RW, RD), pp. 277–280.
DATE-2015-TangAKP #communication #configuration management: Dynamic reconfigurable puncturing for secure wireless communication (LT, JAA, AK, SP), pp. 888–891.
DATE-2015-TemanKGMB #embedded #energy #logic #trade-off: Energy versus data integrity trade-offs in embedded high-density logic compatible dynamic memories (AT, GK, RG, PAM, APB), pp. 489–494.
DATE-2015-TrinadhBSPK #approach #named #programming #testing: DP-fill: a dynamic programming approach to X-filling for minimizing peak test power in scan tests (ST, CSB, SGS, SP, VK), pp. 836–841.
DATE-2015-YinLLWG15a #policy: Cooperatively managing dynamic writeback and insertion policies in a last-level DRAM cache (SY, JL, LL, SW, YG), pp. 187–192.
DATE-2015-ZhuM #linear #machine learning #optimisation #programming #using: Optimizing dynamic trace signal selection using machine learning and linear programming (CSZ, SM), pp. 1289–1292.
DRR-2015-RabaevCEK #documentation #programming #using: Aligning transcript of historical documents using dynamic programming (IR, RC, JES, KK).
HT-2015-HuynhLM #process #twitter: A Dynamical Model of Twitter Activity Profiles (HNH, EFTL, CPM), pp. 49–57.
PODS-2015-GuhaMT #graph: Vertex and Hyperedge Connectivity in Dynamic Graph Streams (SG, AM, DT), pp. 241–247.
PODS-2015-MunroNV #data type #documentation #graph: Dynamic Data Structures for Document Collections and Graphs (JIM, YN, JSV), pp. 277–289.
SIGMOD-2015-AkenDPCC #named: BenchPress: Dynamic Workload Control in the OLTP-Bench Testbed (DVA, DED, AP, CC, PCM), pp. 1069–1073.
SIGMOD-2015-GuoZLTB #query: Location-Aware Pub/Sub System: When Continuous Moving Queries Meet Dynamic Event Streams (LG, DZ, GL, KLT, ZB), pp. 843–857.
SIGMOD-2015-GurukarRR #approach #commit #communication #mining #named #network #scalability: COMMIT: A Scalable Approach to Mining Communication Motifs from Dynamic Networks (SG, SR, BR), pp. 475–489.
SIGMOD-2015-TauheedHA #named #scalability: THERMAL-JOIN: A Scalable Spatial Join for Dynamic Workloads (FT, TH, AA), pp. 939–950.
VLDB-2015-FinisBK0MF: Indexing Highly Dynamic Hierarchical Data (JF, RB, AK, TN, NM, FF), pp. 986–997.
VLDB-2015-ShaoC0LX #framework #graph #performance #scalability #similarity: An Efficient Similarity Search Framework for SimRank over Large Dynamic Graphs (YS, BC, LC, ML, XX), pp. 838–849.
ESOP-2015-CoxCR #abstraction #multi #source code: Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages (AC, BYEC, XR), pp. 483–509.
TACAS-2015-NamjoshiT #analysis #network #process: Analysis of Dynamic Process Networks (KSN, RJT), pp. 164–178.
ICPC-2015-LafetaMR #dynamic analysis #framework #using: Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.
ICPC-2015-Zeller #dynamic analysis: Test complement exclusion: guarantees from dynamic analysis (AZ), pp. 1–2.
ICSME-2015-LuciaDGR #automation #behaviour #design pattern #detection #dynamic analysis #towards: Towards automating dynamic analysis for behavioral design pattern detection (ADL, VD, CG, MR), pp. 161–170.
ICSME-2015-PoluriR #concurrent #detection: Deterministic dynamic race detection across program versions (SVP, MKR), pp. 181–190.
ICSME-2015-ValeM #architecture #dynamic analysis #mining #named #using: Keecle: Mining key architecturally relevant classes using dynamic analysis (LdNV, MdAM), pp. 566–570.
SANER-2015-CaiS #dependence #effectiveness #framework #impact analysis: A framework for cost-effective dependence-based dynamic impact analysis (HC, RAS), pp. 231–240.
SANER-2015-CaiS15a #analysis #dependence #fine-grained #named: TRACERJD: Generic trace-based dynamic dependence analysis with fine-grained logging (HC, RAS), pp. 489–493.
SANER-2015-HuSLL #development #evolution #modelling #topic #using: Modeling the evolution of development topics using Dynamic Topic Models (JH, XS, DL, BL), pp. 3–12.
SANER-2015-SinghGN #data type #graph #memory management: MG++: Memory graphs for analyzing dynamic data structures (VS, RG, IN), pp. 291–300.
PLDI-2015-EmaniO #approach #runtime: Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments (MKE, MFPO), pp. 499–508.
PLDI-2015-ZhangKW #memory management #modelling #partial order #reduction: Dynamic partial order reduction for relaxed memory models (NZ, MK, CW), pp. 250–259.
STOC-2015-BhattacharyaHNT #algorithm #maintenance: Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams (SB, MH, DN, CET), pp. 173–182.
STOC-2015-HenzingerKNS #multi #online #problem: Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture (MH, SK, DN, TS), pp. 21–30.
STOC-2015-LackiOPSZ #algorithm #distance #performance #power of: The Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree (JL, JO, MP, PS, AZ), pp. 11–20.
CIAA-2015-AdigaKMRRS #complexity: Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems (AA, CJK, MVM, SSR, DJR, RES), pp. 21–34.
ICALP-v1-2015-BernsteinS #graph: Fully Dynamic Matching in Bipartite Graphs (AB, CS), pp. 167–179.
ICALP-v1-2015-BhattacharyaHI #algorithm #design: Design of Dynamic Algorithms via Primal-Dual Method (SB, MH, GFI), pp. 206–218.
ICALP-v2-2015-Charron-BostFN #algorithm #approximate #network: Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms (BCB, MF, TN), pp. 528–539.
FM-2015-DeboisHS #composition #information management #liveness #process #refinement #runtime #safety: Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
FM-2015-SogokonJ #hybrid #liveness #verification: Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
SEFM-2015-ShenB #formal method: A Formal Study of Backward Compatible Dynamic Software Updates (JS, RAB), pp. 231–248.
ICFP-2015-BuirasVR #data flow #dynamic typing #haskell #named #type system: HLIO: mixing static and dynamic typing for information-flow control in Haskell (PB, DV, AR), pp. 289–301.
GaM-2015-HochMS #graph #programming: Dynamic Programming on Nominal Graphs (NH, UM, MS), pp. 80–96.
CHI-2015-HangLH #authentication #exclamation #security #smarttech #what: I Know What You Did Last Week! Do You?: Dynamic Security Questions for Fallback Authentication on Smartphones (AH, ADL, HH), pp. 1383–1392.
CHI-2015-KimKKKKO #social #social media: Social Media Dynamics of Global Co-presence During the 2014 FIFA World Cup (JWK, DK, BK, JHK, SK, AHO), pp. 2623–2632.
CHI-2015-KleimanLDFC #image #named #set #similarity: DynamicMaps: Similarity-based Browsing through a Massive Set of Images (YK, JL, DD, YF, DCO), pp. 995–1004.
CHI-2015-LopesJB #communication: Affordance++: Allowing Objects to Communicate Dynamic Use (PL, PJ, PB), pp. 2515–2524.
CHI-2015-MatejkaAF #optimisation: Dynamic Opacity Optimization for Scatter Plots (JM, FA, GWF), pp. 2707–2710.
CHI-2015-MullerRJR #comparison #navigation: An Experimental Comparison of Vertical and Horizontal Dynamic Peephole Navigation (JM, RR, HCJ, HR), pp. 1523–1526.
CHI-2015-OgataF #named: FluxPaper: Reinventing Paper with Dynamic Actuation Powered by Magnetic Flux (MO, MF), pp. 29–38.
CHI-2015-TaherHKWJHA #interactive: Exploring Interactions with Physically Dynamic Bar Charts (FT, JH, AK, CW, YJ, KH, JA), pp. 3237–3246.
CHI-2015-TrinhRB #named: DynamicDuo: Co-presenting with Virtual Agents (HT, LR, TWB), pp. 1739–1748.
CSCW-2015-AhnWB #education: Open Education in the Wild: The Dynamics of Course Production in the Peer 2 Peer University (JA, SAW, BSB), pp. 1896–1905.
CSCW-2015-Borge-Holthoefer #network #twitter: Content and Network Dynamics Behind Egyptian Political Polarization on Twitter (JBH, WM, KD, IW), pp. 700–711.
CSCW-2015-FarrahiEC #community #mobile #predict: Predicting a Community’s Flu Dynamics with Mobile Phone Data (KF, RE, MC), pp. 1214–1221.
CSCW-2015-HindsRC: In the Flow, Being Heard, and Having Opportunities: Sources of Power and Power Dynamics in Global Teams (PJH, DR, CDC), pp. 864–875.
CSCW-2015-PearsonRJ #named #sketching: PaperChains: Dynamic Sketch+Voice Annotations (JP, SR, MJ), pp. 383–392.
DHM-HM-2015-BoringJM #analysis #modelling #performance #reliability: Human Performance Modeling for Dynamic Human Reliability Analysis (RLB, JCJ, DM), pp. 223–234.
DUXU-DD-2015-Frankjaer #network #smarttech #social: Soft Computation in the Public Sphere: Enhancing Social Dynamics with Wearable Networks (TRF), pp. 447–457.
DUXU-DD-2015-Gasselseder #game studies #music #video: Re-sequencing the Ludic Orchestra — Evaluating the Immersive Effects of Dynamic Music and Situational Context in Video Games (HPG), pp. 458–469.
DUXU-UI-2015-CarvalhoP #design #user interface: Sound Design and UX: The Dynamic Audio Application Guide (LRC, ATCP), pp. 289–300.
HCI-IT-2015-MurataM #analysis #eye tracking #using: Nonlinear Dynamical Analysis of Eye Movement Characteristics Using Attractor Plot and First Lyapunov Exponent (AM, TM), pp. 78–85.
HIMI-IKD-2015-UlbrichVSS #interactive #topic: Reading Through Graphics: Interactive Landscapes to Explore Dynamic Topic Spaces (EU, EEV, SS, VS), pp. 127–137.
ICEIS-v1-2015-CerqueiraOG #community #framework #network #scalability #social: A Framework for Analysing Dynamic Communities in Large-scale Social Networks (VC, MDBO, JG), pp. 235–242.
ICEIS-v1-2015-YanguiNG #concept #design #multi #network #social #towards: Towards Data Warehouse Schema Design from Social Networks — Dynamic Discovery of Multidimensional Concepts (RY, AN, FG), pp. 338–345.
ICEIS-v2-2015-BayaADM #approach #composition #product line #scalability: Dynamic Large Scale Product Lines through Modularization Approach (AB, BEA, ID, ZM), pp. 439–444.
ICEIS-v2-2015-GalalE #modelling #twitter: Dynamic Modeling of Twitter Users (AG, AEK), pp. 585–593.
ICML-2015-BelangerK #linear: A Linear Dynamical System Model for Text (DB, SMK), pp. 833–842.
ICML-2015-GuanSBMBB #linear: Moderated and Drifting Linear Dynamical Systems (JG, KS, EB, CM, EB, KB), pp. 2473–2482.
ICML-2015-HallakSMM #learning #modelling: Off-policy Model-based Learning under Unknown Factored Dynamics (AH, FS, TAM, SM), pp. 711–719.
ICML-2015-HanXA #consistency #estimation #modelling #multi: Consistent estimation of dynamic and multi-layer block models (QH, KSX, EA), pp. 1511–1520.
ICML-2015-PerolatSPP #approximate #game studies #markov #programming: Approximate Dynamic Programming for Two-Player Zero-Sum Markov Games (JP, BS, BP, OP), pp. 1321–1329.
ICML-2015-RichmanM #classification #constraints: Dynamic Sensing: Better Classification under Acquisition Constraints (OR, SM), pp. 267–275.
ICML-2015-ShajarisalesJSB #linear: Telling cause from effect in deterministic linear dynamical systems (NS, DJ, BS, MB), pp. 285–294.
ICML-2015-TangSX #learning #network: Learning Scale-Free Networks by Dynamic Node Specific Degree Prior (QT, SS, JX), pp. 2247–2255.
KDD-2015-BarajasA #approach #health #modelling: Dynamically Modeling Patient’s Health State from Electronic Medical Records: A Time Series Approach (KLCB, RA), pp. 69–78.
KDD-2015-BegumUWK #clustering #novel: Accelerating Dynamic Time Warping Clustering with a Novel Admissible Pruning Strategy (NB, LU, JW, EJK), pp. 49–58.
KDD-2015-DevooghtKM #matrix: Dynamic Matrix Factorization with Priors on Unknown Values (RD, NK, AM), pp. 189–198.
KDD-2015-Pratt #machine learning #predict #protocol #proving: Proof Protocol for a Machine Learning Technique Making Longitudinal Predictions in Dynamic Contexts (KBP), pp. 2049–2058.
KDD-2015-QiATSA #predict: State-Driven Dynamic Sensor Selection and Prediction with State-Stacked Sparseness (GJQ, CA, DST, DMS, PA), pp. 945–954.
KDD-2015-RoyTZLHNM #classification: Dynamic Hierarchical Classification for Patient Risk-of-Readmission (SBR, AT, KZ, RL, DH, SN, AM), pp. 1691–1700.
KDD-2015-ShahKZGF #graph #named #summary: TimeCrunch: Interpretable Dynamic Graph Summarization (NS, DK, TZ, BG, CF), pp. 1055–1064.
KDD-2015-ShaoHYZ #community #detection #distance: Community Detection based on Distance Dynamics (JS, ZH, QY, TZ), pp. 1075–1084.
KDD-2015-VeeriahDQ #architecture #learning #predict: Deep Learning Architecture with Dynamically Programmed Layers for Brain Connectome Prediction (VV, RD, GJQ), pp. 1205–1214.
KDD-2015-WangCMBYR #predict: Dynamic Poisson Autoregression for Influenza-Like-Illness Case Count Prediction (ZW, PC, SRM, JSB, JY, NR), pp. 1285–1294.
KDD-2015-ZhangKX #contest #image #modelling #monitoring #online #topic: Dynamic Topic Modeling for Monitoring Market Competition from Online Text and Image Data (HZ, GK, EPX), pp. 1425–1434.
RecSys-2015-CharlinRMB: Dynamic Poisson Factorization (LC, RR, JM, DMB), pp. 155–162.
RecSys-2015-KapoorKTKS #adaptation #quote: “I like to explore sometimes”: Adapting to Dynamic User Novelty Preferences (KK, VK, LGT, JAK, PRS), pp. 19–26.
SEKE-2015-AbrantesC #exception #monitoring #policy #specification: Specifying and Dynamically Monitoring the Exception Handling Policy (JA, RC), pp. 370–374.
SEKE-2015-AdjoyanS #architecture #product line: An Architecture Description Language for Dynamic Service-Oriented Product Lines (SA, AS), pp. 231–236.
SEKE-2015-PereiraRA #data access #database #distributed #stack: Secure, Dynamic and Distributed Access Control Stack for Database Applications (ÓMP, DDR, RLA), pp. 364–369.
SEKE-2015-WangCMCX #empirical #python: An empirical study on the impact of Python dynamic features on change-proneness (BW, LC, WM, ZC, BX), pp. 134–139.
SEKE-2015-XieCLC #evolution #internet #physics: An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things (KX, HC, DL, LC), pp. 213–216.
SIGIR-2015-LiKF #behaviour #matrix #predict: Predicting User Behavior in Display Advertising via Dynamic Collective Matrix Factorization (SL, JK, YF), pp. 875–878.
SIGIR-2015-OdijkMSR #modelling #query: Dynamic Query Modeling for Related Content Finding (DO, EM, IS, MdR), pp. 33–42.
SIGIR-2015-ZhouLY #named #novel: DUMPLING: A Novel Dynamic Search Engine (AJZ, JL, HY), pp. 1049–1050.
ECOOP-2015-VekrisCJ #trust #type system #verification: Trust, but Verify: Two-Phase Typing for Dynamic Languages (PV, BC, RJ), pp. 52–75.
Onward-2015-Kell #process #towards: Towards a dynamic object model within Unix processes (SK), pp. 224–239.
Onward-2015-PolitoDBFM #library: Virtualization support for dynamic core library update (GP, SD, NB, LF, MM), pp. 211–223.
OOPSLA-2015-ErdwegLW #dependence #incremental: A sound and optimal incremental build system with dynamic dependencies (SE, ML, MW), pp. 89–106.
OOPSLA-2015-ToffolaPG #dynamic analysis #performance #problem: Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.
OOPSLA-2015-ZhengBB #compilation #profiling: Accurate profiling in the presence of dynamic compilation (YZ, LB, WB), pp. 433–450.
PADL-2015-FowlerDG #data flow: Reactive Single-Page Applications with Dynamic Dataflow (SF, LD, AG), pp. 58–73.
SAC-2015-AlmeidaBBCD #variability: Dynamic decision-making based on NFR for managing software variability and configuration selection (AA, NB, TVB, EC, FD), pp. 1376–1382.
SAC-2015-BurtonS #composition #mixin #safety: The safety of dynamic mixin composition (EB, ES), pp. 1992–1999.
SAC-2015-DasK #using: Dynamic associativity management using utility based way-sharing (SD, HKK), pp. 1919–1924.
SAC-2015-DiasGKT #3d #adaptation #architecture #clustering #collaboration: A dynamic-adaptive architecture for 3d collaborative virtual environments based on graphic clusters (DRCD, MdPG, TWK, LCT), pp. 480–487.
SAC-2015-JavedSBJ #feature model #robust: OR-PCA with dynamic feature selection for robust background subtraction (SJ, AS, TB, SKJ), pp. 86–91.
SAC-2015-Messaoud #collaboration #named: Dynamic: a collaborative filtering strategy for assigning examination’s rooms to supervisors (MBM), pp. 264–266.
SAC-2015-MongioviGFPT #analysis #approach #data flow #detection #hybrid #java: Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications (MM, GG, AF, GP, ET), pp. 1573–1579.
SAC-2015-MonteiroL #clustering #power management #scalability #web: Scalable model for dynamic configuration and power management in virtualized heterogeneous web clusters (AFM, OL), pp. 464–467.
SAC-2015-MurguzurTS #evaluation #framework #variability #workflow: Dynamic variability support in workflow-based systems: an evaluation of the LateVa framework (AM, ST, GS), pp. 1641–1643.
SAC-2015-PreuveneersJ #authentication #named: SmartAuth: dynamic context fingerprinting for continuous user authentication (DP, WJ), pp. 2185–2191.
SAC-2015-SilvaMFM #evaluation #metric #mobile: A scheduler for mobile cloud based on weighted metrics and dynamic context evaluation (FAS, PRMM, GF, RRMM), pp. 569–576.
SAC-2015-SilvaMS #analysis #quality: Authorship contribution dynamics on publication venues in computer science: an aggregated quality analysis (THPS, MMM, APCdS), pp. 1142–1147.
SAC-2015-WangCR #multi #optimisation: Dynamic optimization of multi-layered reinsurance treaties (HW, OACC, ARC), pp. 125–132.
ESEC-FSE-2015-CaiC #detection #effectiveness #java #precise #source code: Effective and precise dynamic detection of hidden races for Java programs (YC, LC), pp. 450–461.
ESEC-FSE-2015-KargenS #slicing #source code #using: Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing (UK, NS), pp. 782–792.
ESEC-FSE-2015-NguyenKN #slicing #web: Cross-language program slicing for dynamic web applications (HVN, CK, TNN), pp. 369–380.
ICSE-v1-2015-DenaroMPV #data flow #object-oriented #testing: Dynamic Data Flow Testing of Object Oriented Systems (GD, AM, MP, MV), pp. 947–958.
ICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread: Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
ICSE-v1-2015-PradelSS #analysis #consistency #javascript #named #nondeterminism: TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (MP, PS, KS), pp. 314–324.
ICSE-v1-2015-ZhangCWD0 #execution #symbolic computation: Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.
ICSE-v2-2015-Cornu #debugging #named #null #using: Casper: Using Ghosts to Debug Null Deferences with Dynamic Causality Traces (BC), pp. 790–791.
ICSE-v2-2015-DenneyPH #assurance #safety: Dynamic Safety Cases for Through-Life Safety Assurance (ED, GJP, IH), pp. 587–590.
ICSE-v2-2015-Shahzada #development #framework: A Comprehensive Framework for the Development of Dynamic Smart Spaces (AS), pp. 927–930.
ICSE-v2-2015-SongENCFC #adaptation #architecture #on the: On Architectural Diversity of Dynamic Adaptive Systems (HS, AE, VN, FC, FF, SC), pp. 595–598.
SPLC-2015-MazoMRST #named #product line: VariaMos: an extensible tool for engineering (dynamic) product lines (RM, JCMF, LR, CS, GT), pp. 374–379.
SPLC-2015-QuintonRVGB #challenge #evolution #product line: Evolution in dynamic software product lines: challenges and perspectives (CQ, RR, MV, PG, LB), pp. 126–130.
ASPLOS-2015-AgrawalDPSF #architecture: Architectural Support for Dynamic Linking (VA, AD, TP, YS, MF), pp. 691–702.
ASPLOS-2015-SenguptaBZBK #bound #dynamic analysis #hybrid: Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
CGO-2015-HawkinsDBZ #optimisation: Optimizing binary translation of dynamically generated code (BH, BD, DB, QZ), pp. 68–78.
HPCA-2015-WangM #approach #architecture #manycore #named #resource management #scalability: XChange: A market-based approach to scalable dynamic multi-resource allocation in multicore architectures (XW, JFM), pp. 113–125.
HPCA-2015-XieLWSW #coordination: Coordinated static and dynamic cache bypassing for GPUs (XX, YL, YW, GS, TW), pp. 76–88.
HPDC-2015-EllsworthMRS #named: POW: System-wide Dynamic Reallocation of Limited Power in HPC (DAE, ADM, BR, MS), pp. 145–148.
HPDC-2015-Malony #adaptation #performance: Through the Looking-Glass: From Performance Observation to Dynamic Adaptation (ADM), p. 1.
ISMM-2015-CameronSV #multi: The judgment of forseti: economic utility for dynamic heap sizing of multiple runtimes (CC, JS, DV), pp. 143–156.
ISMM-2015-CliffordPST #optimisation: Memento mori: dynamic allocation-site-based optimizations (DC, HP, MS, BT), pp. 105–117.
LCTES-2015-ZhengW: WCET-Aware Dynamic D-cache Locking for A Single Task (WZ, HW), p. 10.
PPoPP-2015-BaldassinBA #memory management #performance #transaction: Performance implications of dynamic memory allocators on transactional memory systems (AB, EB, GA), pp. 87–96.
PPoPP-2015-CogumbreiroHMY #concurrent #verification: Dynamic deadlock verification for general barrier synchronisation (TC, RH, FM, NY), pp. 150–160.
PPoPP-2015-SaillardCB #concurrent #multi #thread #validation: Static/Dynamic validation of MPI collective communications in multi-threaded context (ES, PC, DB), pp. 279–280.
PPoPP-2015-TangYKTGC #algorithm #parallel #programming #recursion: Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency (YT, RY, HK, JJT, PG, RAC), pp. 205–214.
SOSP-2015-MaceRF #distributed #monitoring: Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.
CADE-2015-BalbianiB #composition #logic #parallel: Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (PB, JB), pp. 539–554.
CADE-2015-Platzer #calculus #difference #logic: A Uniform Substitution Calculus for Differential Dynamic Logic (AP), pp. 467–481.
CSL-2015-SchwentickVZ #source code #static analysis: Static Analysis for Logic-based Dynamic Programs (TS, NV, TZ), pp. 308–324.
ICLP-2015-Charwat #diagrams #programming #research #summary #using: Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary (GC).
ISSTA-2015-GligoricEM #dependence #testing: Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.
ISSTA-2015-GongPSS #javascript #named: DLint: dynamically checking bad coding practices in JavaScript (LG, MP, MS, KS), pp. 94–105.
ISSTA-2015-HayTP #android #communication #detection: Dynamic detection of inter-application communication vulnerabilities in Android (RH, OT, MP), pp. 118–128.
ISSTA-2015-WangZT #case study #execution #experience #how #symbolic computation #testing: Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.
RTA-2015-Kirchner #data analysis #graph: Port Graphs, Rules and Strategies for Dynamic Data Analytics — Extended Abstract (Invited Talk) (HK), pp. 1–4.
RTA-2015-VerguNV #domain-specific language #named #semantics #specification: DynSem: A DSL for Dynamic Semantics Specification (VAV, PN, EV), pp. 365–378.
CBSE-2014-BuissonCDLM #component #configuration management: Coqcots & pycots: non-stopping components for safe dynamic reconfiguration (JB, EC, FD, EL, SM), pp. 85–90.
CBSE-2014-SmaaliCB #metamodelling #towards: Towards a meta-model for dynamic applications (SS, AC, FB), pp. 23–28.
CBSE-2014-SurajbaliGC #architecture #configuration management #flexibility #named: AO-OpenCom: an AO-middleware architecture supporting flexible dynamic reconfiguration (BS, PG, GC), pp. 75–84.
ECSA-2014-HorcasPF #policy #runtime #security: Runtime Enforcement of Dynamic Security Policies (JMH, MP, LF), pp. 340–356.
ECSA-2014-SurajbaliGC #architecture #configuration management #consistency #framework: A Consistency Framework for Dynamic Reconfiguration in AO-Middleware Architectures (BS, PG, GC), pp. 398–405.
WICSA-2014-SmileyMW #adaptation #architecture #performance #product line #reuse: A Dynamic Software Product Line Architecture for Prepackaged Expert Analytics: Enabling Efficient Capture, Reuse and Adaptation of Operational Knowledge (KS, SM, PW), pp. 205–214.
ASE-2014-CaiS #dependence #impact analysis #named #precise #using: Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.
ASE-2014-KusanoW #abstraction #optimisation #partial order #reduction: Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.
ASE-2014-MkaouerKBDC #interactive #optimisation #recommendation #refactoring #using: Recommendation system for software refactoring using innovization and interactive dynamic optimization (MWM, MK, SB, KD, MÓC), pp. 331–336.
ASE-2014-PalepuJ #dynamic analysis #slicing: Discriminating influences among instructions in a dynamic slice (VKP, JAJ), pp. 37–42.
ASE-2014-RamaK #dynamic analysis #refactoring: A dynamic analysis to support object-sharing code refactorings (GMR, RK), pp. 713–724.
CASE-2014-ChenLY #distributed #modelling #network: Sparse particle filtering for modeling space-time dynamics in distributed sensor networks (YC, GL, HY), pp. 626–631.
CASE-2014-HoussemanDRP #reduction: Smart dynamic sampling for wafer at risk reduction in semiconductor manufacturing (SH, SDP, GRV, JP), pp. 780–785.
DAC-2014-AhnYC #hybrid #memory management #power management: Dynamic Power Management of Off-Chip Links for Hybrid Memory Cubes (JA, SY, KC), p. 6.
DAC-2014-AkgulPLBPBT #power management: Power management through DVFS and dynamic body biasing in FD-SOI circuits (YA, DP, SL, EB, IMP, PB, LT), p. 6.
DAC-2014-ChenPCWMYZC #manycore #named #parallel #simulation #thread: DAPs: Dynamic Adjustment and Partial Sampling for Multithreaded/Multicore Simulation (CCC, YCP, CFC, WSW, QM, PCY, WZ, TFC), p. 6.
DAC-2014-ChenWLWSC #design #monitoring #scalability: Critical Path Monitor Enabled Dynamic Voltage Scaling for Graceful Degradation in Sub-Threshold Designs (YGC, TW, KYL, WYW, YS, SCC), p. 6.
DAC-2014-HuXMCHX #thread: Thermal-Sustainable Power Budgeting for Dynamic Threading (XH, YX, JM, GC, YH, YX), p. 6.
DAC-2014-IyengarG #analysis #embedded #memory management #modelling #power management #robust: Modeling and Analysis of Domain Wall Dynamics for Robust and Low-Power Embedded Memory (AI, SG), p. 6.
DAC-2014-KontorinisTHTH: Enabling Dynamic Heterogeneity Through Core-on-Core Stacking (VK, MKT, MHH, DMT, HH), p. 6.
DAC-2014-LiuF: A Time-Unrolling Method to Compute Sensitivity of Dynamic Systems (FL, PF), p. 6.
DAC-2014-NiKA #component #design #implementation: Design and Implementation of a Dynamic Component Model for Federated AUTOSAR Systems (ZN, AK, JA), p. 6.
DAC-2014-SorinMZ #architecture #power management: Architecting Dynamic Power Management to be Formally Verifiable (DJS, OM, MZ), p. 3.
DAC-2014-ZhangKIBWH #configuration management #named #reliability: GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems (HZ, MAK, MEI, LB, HJW, JH), p. 6.
DAC-2014-ZhengBB #analysis #identification #named #robust #towards: CACI: Dynamic Current Analysis Towards Robust Recycled Chip Identification (YZ, AB, SB), p. 6.
DATE-2014-BurgioTCMB #clustering #embedded #hardware #memory management #parallel: Tightly-coupled hardware support to dynamic parallelism acceleration in embedded shared memory clusters (PB, GT, FC, AM, LB), pp. 1–6.
DATE-2014-CasparLH #automation #strict #testing #using: Automated system testing using dynamic and resource restricted clients (MC, ML, WH), pp. 1–4.
DATE-2014-ChenRC #adaptation #design #named #pipes and filters: DARP: Dynamically Adaptable Resilient Pipeline design in microprocessors (HC, SR, KC), pp. 1–6.
DATE-2014-DingLM: WCET-Centric dynamic instruction cache locking (HD, YL, TM), pp. 1–6.
DATE-2014-FriedlerKMNS #effectiveness #locality #slicing #using: Effective post-silicon failure localization using dynamic program slicing (OF, WK, AM, AN, VS), pp. 1–6.
DATE-2014-GangopadhyayLNR #adaptation #analysis #linear #modelling #performance: Modeling and analysis of digital linear dropout regulators with adaptive control for high efficiency under wide dynamic range digital loads (SG, YL, SBN, AR), pp. 1–6.
DATE-2014-KhdrESAH #multi #named: mDTM: Multi-objective dynamic thermal management for on-chip systems (HK, TE, MS, HA, JH), pp. 1–6.
DATE-2014-LeeWP #configuration management #framework #manycore #named: VRCon: Dynamic reconfiguration of voltage regulators in a multicore platform (WL, YW, MP), pp. 1–6.
DATE-2014-LiHCXJX #embedded #memory management #stack: A wear-leveling-aware dynamic stack for PCM memory in embedded systems (QL, YH, YC, CJX, NJ, CX), pp. 1–4.
DATE-2014-LiuJL #parallel: Parallel probe based dynamic connection setup in TDM NoCs (SL, AJ, ZL), pp. 1–6.
DATE-2014-MahmoodPM #performance #reduction #using: Cache aging reduction with improved performance using dynamically re-sizable cache (HM, MP, EM), pp. 1–6.
DATE-2014-MercatiBPRB #android #mobile #reliability: A Linux-governor based Dynamic Reliability Manager for android mobile devices (PM, AB, FP, TSR, LB), pp. 1–4.
DATE-2014-NejatAA #power management #process: Dynamic Flip-Flop conversion to tolerate process variation in low power circuits (MN, BA, AAK), pp. 1–4.
DATE-2014-NoursPB #architecture #evaluation #manycore #performance: A dynamic computation method for fast and accurate performance evaluation of multi-core architectures (SLN, AP, NWB), pp. 1–6.
DATE-2014-OrtinGVIV: Dynamic construction of circuits for reactive traffic in homogeneous CMPs (MO, DSG, MV, CI, VV), pp. 1–4.
DATE-2014-PalominoSASH #named #performance #video: hevcDTM: Application-driven Dynamic Thermal Management for High Efficiency Video Coding (DP, MS, HA, AAS, JH), pp. 1–4.
DATE-2014-RehmanKSH #compilation #reliability: Compiler-driven dynamic reliability management for on-chip systems under variabilities (SR, FK, MS, JH), pp. 1–4.
DATE-2014-ShangZXY #design: Asynchronous design for new on-chip wide dynamic range power electronics (DS, XZ, FX, AY), pp. 1–6.
DocEng-2014-MartinsP #documentation #multi #named #reuse: ActiveTimesheets: extending web-based multimedia documents with dynamic modification and reuse features (DSM, MdGCP), pp. 3–12.
DRR-2014-KumarWG #documentation #keyword: Variational dynamic background model for keyword spotting in handwritten documents (GK, SW, VG), pp. 902104–9.
DRR-2014-LiPLD #analysis #online #verification: On-line signature verification method by Laplacian spectral analysis and dynamic time warping (CL, LP, CL, XD), p. ?–10.
HT-2014-ChoiAL #authoring #hypermedia #modelling: Spatial hypertext modeling for dynamic contents authoring system based on transclusion (JRC, SA, SBL), pp. 303–304.
PODS-2014-Tao: A dynamic I/O-efficient structure for one-dimensional top-k range reporting (YT), pp. 256–265.
SIGMOD-2014-HuangCQTY #community #graph #query #scalability: Querying k-truss community in large and dynamic graphs (XH, HC, LQ, WT, JXY), pp. 1311–1322.
SIGMOD-2014-KaranasosBKOEXJ #optimisation #query #scalability: Dynamically optimizing queries over large scale data platforms (KK, AB, MK, FÖ, VE, CX, JJ), pp. 943–954.
SIGMOD-2014-LiuH #cost analysis #online #optimisation: Online optimization and fair costing for dynamic data sharing in a cloud data market (ZL, HH), pp. 1359–1370.
SIGMOD-2014-MondalD #graph #named #query #scalability: EAGr: supporting continuous ego-centric aggregate queries over large dynamic graphs (JM, AD), pp. 1335–1346.
SIGMOD-2014-ZhuGCL #analysis #clustering #graph #sentiment #social #social media: Tripartite graph clustering for dynamic sentiment analysis on social media (LZ, AG, JC, KL), pp. 1531–1542.
SIGMOD-2014-ZhuLWX #approach #graph #order #query #reachability #scalability: Reachability queries on large dynamic graphs: a total order approach (ADZ, WL, SW, XX), pp. 1323–1334.
VLDB-2014-ChiangDN #algorithm #performance: Tracking Entities in the Dynamic World: A Fast Algorithm for Matching Temporal Records (YHC, AD, JFN), pp. 469–480.
VLDB-2014-GuptaSGGZLL #detection #graph #online #realtime #recommendation #scalability #twitter: Real-Time Twitter Recommendation: Online Motif Detection in Large Dynamic Graphs (PG, VS, AG, SG, VZ, QL, JL), pp. 1379–1380.
VLDB-2014-LiuST0DJ #database #monitoring #named #web: HDBTracker: Monitoring the Aggregates On Dynamic Hidden Web Databases (WL, SBS, ST, NZ, GD, AJ), pp. 1569–1572.
VLDB-2014-LiuT0D #database #estimation #web: Aggregate Estimation Over Dynamic Hidden Web Databases (WL, ST, NZ, GD), pp. 1107–1118.
VLDB-2014-LuCLL #recommendation: Show Me the Money: Dynamic Recommendations for Revenue Maximization (WL, SC, KL, LVSL), pp. 1785–1796.
VLDB-2014-XuCC #clustering #graph #named: LogGP: A Log-based Dynamic Graph Partitioning Method (NX, LC, BC), pp. 1917–1928.
VLDB-2015-ZhangWWY14 #behaviour #predict #social: Inferring Continuous Dynamic Social Influence and Personal Preference for Temporal Behavior Prediction (JZ, CW, JW, JXY), pp. 269–280.
FASE-2014-EsmaeilsabzaliMWZ #interface: Dynamic Package Interfaces (SE, RM, TW, DZ), pp. 261–275.
ICPC-2014-PetersenHR #api #comparison #eclipse #empirical #groovy #ide #java #type system: An empirical comparison of static and dynamic type systems on API usage in the presence of an IDE: Java vs. groovy with eclipse (PP, SH, RR), pp. 212–222.
ICSME-2014-LeYLTR #contract: Dynamic Inference of Change Contracts (TDBL, JY, DL, FT, AR), pp. 451–455.
MSR-2014-AkerblomSTW #python #source code: Tracing dynamic features in python programs (BÅ, JS, MT, TW), pp. 292–295.
SCAM-2014-JiangSGC #maintenance #on the #slicing: On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance (SJ, RAS, MG, HC), pp. 145–154.
SCAM-2014-KargenS #performance #scalability #slicing: Efficient Utilization of Secondary Storage for Scalable Dynamic Slicing (UK, NS), pp. 155–164.
PLDI-2014-LuJS #parallel #scripting language: Dynamic enforcement of determinism in a parallel scripting language (LL, WJ, MLS), p. 53.
PLDI-2014-YangM #haskell: Dynamic space limits for Haskell (EZY, DM), p. 59.
SAS-2014-CoxCR #analysis #automation #source code: Automatic Analysis of Open Objects in Dynamic Language Programs (AC, BYEC, XR), pp. 134–150.
FLOPS-2014-MorihataKO #programming: Dynamic Programming via Thinning and Incrementalization (AM, MK, AO), pp. 186–202.
CIAA-2014-Sirakoulis #automaton: Cellular Automata for Crowd Dynamics (GCS), pp. 58–69.
ICALP-v1-2014-DattaHK #complexity #problem #reachability: Dynamic Complexity of Directed Reachability and Other Problems (SD, WH, RK), pp. 356–367.
ICALP-v1-2014-Wulff-Nilsen #approximate #distance #graph #performance: Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles (CWN), pp. 1063–1074.
ICALP-v2-2014-GiakkoupisSS #graph #random: Randomized Rumor Spreading in Dynamic Graphs (GG, TS, AS), pp. 495–507.
ICALP-v2-2014-KopelowitzKPS #bound #graph #worst-case: Orienting Fully Dynamic Graphs with Worst-Case Time Bounds (TK, RK, EP, SS), pp. 532–543.
LATA-2014-Martos-SalgadoR #network #petri net: Expressiveness of Dynamic Networks of Timed Petri Nets (MMS, FRV), pp. 516–527.
SEFM-2014-DiagneMF #verification: A Tool for Verifying Dynamic Properties in B (FD, AM, MF), pp. 290–295.
ICFP-2014-ChenAT #functional #programming #scalability #self: Functional programming for dynamic and large data with self-adjusting computation (YC, UAA, KT), pp. 227–240.
GRAPHITE-2014-SenniS #knowledge base #reduction: Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.
GT-VMT-2014-AlshanqitiH #contract #java #reverse engineering #towards #visual notation: Towards Dynamic Reverse Engineering Visual Contracts from Java (AMA, RH).
CHI-2014-AferganPSJHBCJ #metric #using: Dynamic difficulty using brain metrics of workload (DA, EMP, ETS, AJ, SWH, ETB, RC, RJKJ), pp. 3797–3806.
CHI-2014-BachPF #matrix #network #visualisation: Visualizing dynamic networks with matrix cubes (BB, EP, JDF), pp. 877–886.
CSCW-2014-MorganGMZ #editing: Editing beyond articles: diversity & dynamics of teamwork in open collaborations (JTM, MG, DWM, MZ), pp. 550–563.
CSCW-2014-TeoJ #functional #online #performance #quality: Fast, functional, and fitting: expert response dynamics and response quality in an online newcomer help forum (HJT, AJ), pp. 332–341.
DHM-2014-XueZCZ #evaluation: Comfort Evaluation of Cockpit Based on Dynamic Pilot Posture (HX, XZ, YC, LZ), pp. 160–166.
HCI-AIMT-2014-CarvalhoP14a #design #interface: Interface Design and Dynamic Audio (LRC, ATCP), pp. 523–531.
HCI-AIMT-2014-TewsOFK #detection #interface #research: Current and New Research Perspectives on Dynamic Facial Emotion Detection in Emotional Interface (TKT, MO, HF, TK), pp. 779–787.
HCI-TMT-2014-HoroldMK #guidelines #testing #usability: Guidelines for Usability Field Tests in the Dynamic Contexts of Public Transport (SH, CM, HK), pp. 489–499.
LCT-NLE-2014-Kim #feedback #learning #self #simulation: Simulation Training in Self-Regulated Learning: Investigating the Effects of Dual Feedback on Dynamic Decision-Making Tasks (JHK), pp. 419–428.
LCT-TRE-2014-YamaguchiSYNSM #collaboration #detection #distance #learning: Posture and Face Detection with Dynamic Thumbnail Views for Collaborative Distance Learning (TY, HS, MY, YN, HS, TM), pp. 227–236.
CAiSE-2014-ChatzikonstantinouAK #reasoning #specification: Task Specification and Reasoning in Dynamically Altered Contexts (GC, MA, KK), pp. 625–639.
CAiSE-2014-MalhotraMNL #database #towards: Towards a Form Based Dynamic Database Schema Creation and Modification System (KM, SM, SBN, MDDL), pp. 595–609.
ICEIS-v1-2014-Tribolet #adaptation #approach #bottom-up #enterprise #top-down: An Engineering Approach to Natural Enterprise Dynamics — From Top-down Purposeful Systemic Steering to Bottom-up Adaptive Guidance Control (JT), p. XIII.
ICEIS-v2-2014-Chung #complexity #profiling #realtime #towards: Towards Real-time Static and Dynamic Profiling of Organisational Complexity (KSKC), pp. 466–471.
ICEIS-v2-2014-RoychoudhurySK #estimation: Impact of Dynamicity and Causality on Cost Drivers in Effort Estimation (SR, SS, VK), pp. 409–414.
ICEIS-v2-2014-SilvaFG #configuration management #product line #runtime #towards: Toward a QoS Based Run-time Reconfiguration in Service-oriented Dynamic Software Product Lines (JRFdS, ASdMF, VCG), pp. 460–465.
CIKM-2014-DeBBGC #learning #linear: Learning a Linear Influence Model from Transient Opinion Dynamics (AD, SB, PB, NG, SC), pp. 401–410.
CIKM-2014-DerntlGTKJ #modelling #topic #web: Building and Exploring Dynamic Topic Models on the Web (MD, NG, AT, RK, MJ), pp. 2012–2014.
CIKM-2014-JiaDGZ #analysis #community #network: Analysis on Community Variational Trend in Dynamic Networks (XJ, ND, JG, AZ), pp. 151–160.
CIKM-2014-KimC #array #performance: Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
CIKM-2014-KimTS: Tracking Temporal Dynamics of Purchase Decisions via Hierarchical Time-Rescaling Model (HK, NT, HS), pp. 1389–1398.
CIKM-2014-LiuXD #mining #network #predict: Relationship Emergence Prediction in Heterogeneous Networks through Dynamic Frequent Subgraph Mining (YL, SX, LD), pp. 1649–1658.
CIKM-2014-MingYC #approach #re-engineering #summary #topic: A Dynamic Reconstruction Approach to Topic Summarization of User-Generated-Content (ZM, JY, TSC), pp. 311–320.
CIKM-2014-NguyenL #clustering #multi: Dynamic Clustering of Contextual Multi-Armed Bandits (TTN, HWL), pp. 1959–1962.
CIKM-2014-RamadanC #realtime: Forest-Based Dynamic Sorted Neighborhood Indexing for Real-Time Entity Resolution (BR, PC), pp. 1787–1790.
ECIR-2014-NguyenK #query #topic: Leveraging Dynamic Query Subtopics for Time-Aware Search Result Diversification (TNN, NK), pp. 222–234.
ICML-c2-2014-LefakisF #programming: Dynamic Programming Boosting for Discriminative Macro-Action Discovery (LL, FF), pp. 1548–1556.
ICML-c2-2014-McGibbonRSKP #comprehension #markov #modelling: Understanding Protein Dynamics with L1-Regularized Reversible Hidden Markov Models (RM, BR, MS, GK, VSP), pp. 1197–1205.
ICML-c2-2014-SatoN #analysis #approximate #equation #probability #process #using: Approximation Analysis of Stochastic Gradient Langevin Dynamics by using Fokker-Planck Equation and Ito Process (IS, HN), pp. 982–990.
ICPR-2014-ChenK #gesture #recognition #using: Using Appearance-Based Hand Features for Dynamic RGB-D Gesture Recognition (XC, MK), pp. 411–416.
ICPR-2014-CruzSC #on the: On Meta-learning for Dynamic Ensemble Selection (RMOC, RS, GDCC), pp. 1230–1235.
ICPR-2014-DonoserHS #multi: Multiple Model Fitting by Evolutionary Dynamics (MD, MH, DS), pp. 3816–3821.
ICPR-2014-GeDGC #learning: Background Subtraction with Dynamic Noise Sampling and Complementary Learning (WG, YD, ZG, YC), pp. 2341–2346.
ICPR-2014-HayamiTOSS: Super-high Dynamic Range Imaging (TH, MT, MO, TS, SS), pp. 720–725.
ICPR-2014-HouHW #modelling #synthesis #video: Cloud Model-Based Dynamic Texture Synthesis for Video Coding (ZH, RH, ZW), pp. 838–842.
ICPR-2014-HuML #composition #probability: Dynamic Task Decomposition for Probabilistic Tracking in Complex Scenes (TH, SM, OL), pp. 4134–4139.
ICPR-2014-KacheleS #independence #recognition #set: Cascaded Fusion of Dynamic, Spatial, and Textural Feature Sets for Person-Independent Facial Emotion Recognition (MK, FS), pp. 4660–4665.
ICPR-2014-LemesSBS #authentication #detection: Dynamic Pore Filtering for Keypoint Detection Applied to Newborn Authentication (RdPL, MPS, ORPB, LS), pp. 1698–1703.
ICPR-2014-MicoO #algorithm #performance: Dynamic Insertions in TLAESA Fast NN Search Algorithm (LM, JO), pp. 3828–3833.
ICPR-2014-MoriKNK #detection #using #video: Video Content Detection with Single Frame Level Accuracy Using Dynamic Thresholding Technique (MM, TK, HN, KK), pp. 2560–2565.
ICPR-2014-MuddamsettySTM #detection #using: Spatio-temporal Saliency Detection in Dynamic Scenes Using Local Binary Patterns (SMM, DS, AT, FM), pp. 2353–2358.
ICPR-2014-NieJ14a #recognition: Capturing Global and Local Dynamics for Human Action Recognition (SN, QJ), pp. 1946–1951.
ICPR-2014-NilufarP #detection #learning #programming: Learning to Detect Contours with Dynamic Programming Snakes (SN, TJP), pp. 984–989.
ICPR-2014-PhamKO #integration #multi #named: DIET: Dynamic Integration of Extended Tracklets for Tracking Multiple Persons (VQP, TK, RO), pp. 1206–1211.
ICPR-2014-RengarajanRA #classification #estimation #metric: Motion Estimation and Classification in Compressive Sensing from Dynamic Measurements (VR, ANR, RA), pp. 3475–3480.
ICPR-2014-WangYLZF #independence #recognition #using: Micro-expression Recognition Using Dynamic Textures on Tensor Independent Color Space (SW, WJY, XL, GZ, XF), pp. 4678–4683.
KDD-2014-FengGBEHM #big data #database #experience #in memory #query: Management and analytic of biomedical big data with cloud-based in-memory database and dynamic querying: a hands-on experience with real-world data (MF, MG, TB, JE, IH, RM), p. 1970.
KDD-2014-GhoshTLY #community #difference #network: The interplay between dynamics and networks: centrality, communities, and cheeger inequality (RG, SHT, KL, XY), pp. 1406–1415.
KDD-2014-GunnemannGF #detection #evolution #probability #rating #robust: Detecting anomalies in dynamic rating data: a robust probabilistic model for rating evolution (SG, NG, CF), pp. 841–850.
KDD-2014-JiangCWXZY #analysis #behaviour #flexibility #multi #named: FEMA: flexible evolutionary multi-faceted analysis for dynamic behavioral pattern discovery (MJ, PC, FW, XX, WZ, SY), pp. 1186–1195.
KDD-2014-TsytsarauPC #social #social media: Dynamics of news events and social media reaction (MT, TP, MC), pp. 901–910.
KEOD-2014-OlszewskaSM #design #ontology #owl #uml #using: Dynamic OWL Ontology Design Using UML and BPMN (JIO, RMS, TLM), pp. 436–444.
KR-2014-Baader #monitoring #ontology: Ontology-Based Monitoring of Dynamic Systems (FB).
KR-2014-Bochman #calculus: Dynamic Causal Calculus (AB).
KR-2014-DoutreHP #framework #logic: A Dynamic Logic Framework for Abstract Argumentation (SD, AH, LP).
KR-2014-HaririCD #bound: State-Boundedness in Data-Aware Dynamic Systems (BBH, DC, MM, AD).
KR-2014-Herzig #logic: Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (AH).
MLDM-2014-SandovalH #learning #network #using: Learning of Natural Trading Strategies on Foreign Exchange High-Frequency Market Data Using Dynamic Bayesian Networks (JS, GH), pp. 408–421.
RecSys-2014-HarmanOAG #recommendation #trust: Dynamics of human trust in recommender systems (JLH, JO, TFA, CG), pp. 305–308.
RecSys-2014-LiuA #framework #recommendation #towards: Towards a dynamic top-N recommendation framework (XL, KA), pp. 217–224.
RecSys-2014-RafailidisN #modelling: Modeling the dynamics of user preferences in coupled tensor factorization (DR, AN), pp. 321–324.
SEKE-2014-ChenM #abstraction #evolution: Change and Role as First-Class Abstractions for Realising Dynamic Evolution (YC, XM), pp. 443–446.
SEKE-2014-TangLYX #configuration management #development #towards: Towards Sustainability-Oriented Development of Dynamic Reconfigurable Software Systems (ST, LL, WY, JX), pp. 598–602.
SEKE-2014-ZhuangZL #fine-grained #framework #layout #reuse #runtime: Runtime Code Reuse Attacks: A Dynamic Framework Bypassing Fine-Grained Address Space Layout Randomization (YZ, TZ, ZL), pp. 609–614.
SIGIR-2014-FangG #modelling: Modeling the dynamics of personal expertise (YF, AG), pp. 1107–1110.
SIGIR-2014-Murdock #modelling: Dynamic location models (VM), pp. 1231–1234.
SIGIR-2014-VuSWTL #personalisation: Improving search personalisation with dynamic group formation (TTV, DS, AW, SNT, JL), pp. 951–954.
SIGIR-2014-YangS0 #information management #information retrieval #modelling: Dynamic information retrieval modeling (HY, MS, JW), p. 1290.
AMT-2014-GogollaHH #dynamic analysis #modelling #ocl #on the #uml: On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
ECOOP-2014-WeiR #analysis #behaviour #javascript #points-to: State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects (SW, BGR), pp. 1–26.
Onward-2014-SpasojevicLN #ecosystem #mining #type inference: Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages (BS, ML, ON), pp. 133–142.
OOPSLA-2014-BellK #data flow #named: Phosphor: illuminating dynamic data flow in commodity jvms (JB, GEK), pp. 83–101.
OOPSLA-2014-GligoricSPVNL #automation #dynamic analysis #migration #refactoring #search-based #using: Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.
OOPSLA-2014-ParrHF #adaptation #dynamic analysis #ll #parsing #power of: Adaptive LL(*) parsing: the power of dynamic analysis (TP, SH, KF), pp. 579–598.
GPCE-2014-DanilewskiKLMS #staging: Specialization through dynamic staging (PD, MK, RL, RM, PS), pp. 103–112.
PADL-2014-ElsmanS #evaluation #named #rule-based #static typing #user interface: Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.
POPL-2014-AbdullaAJS #partial order #reduction: Optimal dynamic partial order reduction (PAA, SA, BJ, KFS), pp. 373–384.
SAC-2014-Al-RefaiCF #modelling #runtime #using: Using models to dynamically refactor runtime code (MAR, WC, RBF), pp. 1108–1113.
SAC-2014-AndradeRMOCFR #architecture #hybrid #performance #scheduling: Efficient dynamic scheduling of heterogeneous applications in hybrid architectures (GA, GSR, DM, RSO, EC, RF, LCdR), pp. 866–871.
SAC-2014-KangI #dynamic analysis: Analysis of binary code topology for dynamic analysis (BK, EGI), pp. 1731–1732.
SAC-2014-KumeNNS #dynamic analysis #framework: A dynamic analysis technique to extract symptoms that suggest side effects in framework applications (IK, NN, MN, ES), pp. 1176–1178.
SAC-2014-LiuGSLSX #communication #encryption #grid #named #smarttech: SEDE: state estimation-based dynamic encryption scheme for smart grid communication (TL, YG, YS, YL, YS, FX), pp. 539–544.
SAC-2014-MaWX #behaviour #commit #developer #empirical #open source: Dynamics of open-source software developer’s commit behavior: an empirical investigation of subversion (YM, YW, YX), pp. 1171–1173.
SAC-2014-MengWK #adaptation #authentication #design #mobile: Design of touch dynamics based user authentication with an adaptive mechanism on mobile phones (YM, DSW, LfK), pp. 1680–1687.
SAC-2014-MotaB #algorithm #anti #internet: A dynamic frame slotted ALOHA anti-collision algorithm for the internet of things (RPBM, DMB), pp. 686–691.
SAC-2014-SahuR #clustering #runtime: Creating heterogeneity at run time by dynamic cache and bandwidth partitioning schemes (AS, SR), pp. 872–879.
SAC-2014-SeffrinRJ #algebra #network: A dynamic bayesian network for inference of learners’ algebraic knowledge (HMS, GLR, PAJ), pp. 235–240.
SAC-2014-Umatani #calculus #implementation: Practical implementation techniques of ambient calculus in conventional dynamic languages (SU), pp. 1345–1351.
FSE-2014-NguyenKN #embedded #graph #web: Building call graphs for embedded client-side code in dynamic web applications (HVN, CK, TNN), pp. 518–529.
FSE-2014-SamakR #concurrent #detection #java #library #parallel #precise #thread: Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.
ICSE-2014-BagheriTS #automation #dynamic analysis #named: TradeMaker: automated dynamic analysis of synthesized tradespaces (HB, CT, KJS), pp. 106–116.
ICSE-2014-CaiWC #approach #constraints #dynamic analysis #named #parallel #source code #thread: ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.
ICSE-2014-GalensonRBHS #interactive #named #synthesis: CodeHint: dynamic and interactive synthesis of code snippets (JG, PR, RB, BH, KS), pp. 653–663.
ICSE-2014-LeeJP #behaviour #detection #machine learning #memory management #modelling #using: Detecting memory leaks through introspective dynamic behavior modelling using machine learning (SL, CJ, SP), pp. 814–824.
ICSE-2014-NguyenKWF #dynamic analysis #invariant #using: Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
LDTA-J-2011-SauthoffG #analysis #domain-specific language #optimisation #programming: Yield grammar analysis and product optimization in a domain-specific language for dynamic programming (GS, RG), pp. 2–22.
SLE-2014-JukssVVV #model transformation: Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.
CC-2014-CharlesCLEG #code generation: deGoal a Tool to Embed Dynamic Code Generators into Applications (HPC, DC, VL, FAE, RG), pp. 107–112.
CC-2014-MadsenA #analysis #string: String Analysis for Dynamic Field Access (MM, EA), pp. 197–217.
CGO-2014-CoppaDFM #cost analysis #empirical: Estimating the Empirical Cost Function of Routines with Dynamic Workloads (EC, CD, IF, RM), p. 230.
CGO-2014-LiWWHX #adaptation #encoding: Dynamic and Adaptive Calling Context Encoding (JL, ZW, CW, WCH, DX), p. 120.
CGO-2014-WangPPLGN #debugging #named #slicing: DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing (YW, HP, CP, GL, RG, IN), p. 98.
CGO-2014-YeSX #analysis #detection: Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis (DY, YS, JX), p. 154.
HPCA-2014-AnsariMXT #energy #named #network: Tangle: Route-oriented dynamic voltage minimization for variation-afflicted, energy-efficient on-chip networks (AA, AKM, JX, JT), pp. 440–451.
HPCA-2014-KimLJK #architecture #gpu #memory management #named #using: GPUdmm: A high-performance and memory-oblivious GPU architecture using dynamic memory management (YK, JL, JEJ, JK), pp. 546–557.
HPCA-2014-LoK #manycore: Dynamic management of TurboMode in modern multi-core chips (DL, CK), pp. 603–613.
HPCA-2014-MatthewsZS #power management: Scalably verifiable dynamic power management (OM, MZ, DJS), pp. 579–590.
HPCA-2014-QiMAT #detection: Dynamically detecting and tolerating IF-Condition Data Races (SQ, AM, WA, JT), pp. 120–131.
HPCA-2014-XieTHC #clustering #memory management #throughput: Improving system throughput and fairness simultaneously in shared memory CMP systems via Dynamic Bank Partitioning (MX, DT, KH, XC), pp. 344–355.
HPDC-2014-BeaumontM #analysis #matrix #multi #scheduling: Analysis of dynamic scheduling strategies for matrix multiplication on heterogeneous platforms (OB, LM), pp. 141–152.
LCTES-2014-SpinkWFT #code generation #performance: Efficient code generation in a region-based dynamic binary translator (TS, HW, BF, NPT), pp. 3–12.
LCTES-2014-ZhengW #named: WCET: aware dynamic instruction cache locking (WZ, HW), pp. 53–62.
PPoPP-2014-Bautista-GomezC #detection #monitoring: Detecting silent data corruption through data dynamic monitoring for scientific applications (LABG, FC), pp. 381–382.
PPoPP-2014-MalekiMM #convergence #programming #rank: Parallelizing dynamic programming through rank convergence (SM, MM, TM), pp. 219–232.
PPoPP-2014-SamakR #concurrent #detection: Trace driven dynamic deadlock detection and reproduction (MS, MKR), pp. 29–42.
ICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using: Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
ICLP-J-2014-MarpleG #consistency #programming #set: Dynamic Consistency Checking in Goal-Directed Answer Set Programming (KM, GG), pp. 415–427.
IJCAR-2014-JeanninP #difference #hybrid #logic #named: dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
ISSTA-2014-GaleottiFA #adaptation #execution #generative #search-based #symbolic computation: Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.
ISSTA-2014-HendersonPYHWZY #analysis #framework #performance: Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform (AH, AP, LKY, XH, XW, RZ, HY), pp. 248–258.
ISSTA-2014-TrippFP #analysis #hybrid #javascript #partial evaluation #security #web: Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.
ISSTA-2014-ZhangYRPK #invariant: Feedback-driven dynamic invariant discovery (LZ, GY, NR, SP, SK), pp. 362–372.
ISSTA-2014-ZouCZZG #effectiveness #testing #web: Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.
TAP-2014-KanigCCGMR #verification: Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.
TAP-2014-KosmatovS #analysis #runtime #tutorial: Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
CBSE-2013-VanwormhoudtF #adaptation #component #framework #named: CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications (GV, AF), pp. 23–32.
ECSA-2013-SilvaB #architecture #automation #consistency #named: PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (LdS, DB), pp. 240–248.
ASE-2013-AroraZRYJ #lightweight #named: iProbe: A lightweight user-level dynamic instrumentation tool (NA, HZ, JR, KY, GJ), pp. 742–745.
ASE-2013-NguyenNNNN #multi #web: Dangling references in multi-configuration and dynamic PHP-based Web applications (HVN, HAN, TTN, ATN, TNN), pp. 399–409.
ASE-2013-OsterlundL #data type: Dynamically transforming data structures (EÖ, WL), pp. 410–420.
ASE-2013-PalepuXJ #dependence #dynamic analysis #performance #summary: Improving efficiency of dynamic analysis with dynamic dependence summaries (VKP, G(X, JAJ), pp. 59–69.
ASE-2013-SumnerZ #analysis #execution #identification: Identifying execution points for dynamic analyses (WNS, XZ), pp. 81–91.
ASE-2013-Wu0LD #analysis #automation #component #dependence #using: Automatically partition software into least privilege components using dynamic data dependency analysis (YW, JS, YL, JSD), pp. 323–333.
CASE-2013-LuoHL #metric #multi #parametricity #recognition: Multisensor integrated stair recognition and parameters measurement system for dynamic stair climbing robots (RCL, MH, CWL), pp. 318–323.
CASE-2013-MoubarakAB #composition #configuration management #multi #scheduling: Reconfiguring a modular robot into a humanoid formation: A multi-body dynamic perspective on motion scheduling for modules and their assemblies (PMM, EJA, PBT), pp. 687–692.
CASE-2013-TanTL #policy #resource management: Improving patient length-of-stay in emergency department through dynamic resource allocation policies (KWT, WHT, HCL), pp. 984–989.
CASE-2013-ZhaoLL #assembly: Dynamic production control of door manufacturing line at an automotive assembly plant (CZ, YL, JL), pp. 398–403.
DAC-2013-AncajasCR #3d #manycore #memory management #named: DMR3D: dynamic memory relocation in 3D multicore systems (DMA, KC, SR), p. 9.
DAC-2013-ChenXKGHKOA #design #manycore #scalability: Dynamic voltage and frequency scaling for shared resources in multicore processor designs (XC, ZX, HK, PVG, JH, MK, ÜYO, RZA), p. 7.
DAC-2013-FattahDLP #agile #manycore: Smart hill climbing for agile dynamic mapping in many-core systems (MF, MD, PL, JP), p. 6.
DAC-2013-MercatiBPRB #manycore #reliability #user interface: Workload and user experience-aware dynamic reliability management in multicore processors (PM, AB, FP, TSR, LB), p. 6.
DAC-2013-Miskov-ZivanovMF #analysis #automation #behaviour #design #network: Dynamic behavior of cell signaling networks: model design and analysis automation (NMZ, DM, JRF), p. 6.
DATE-2013-AdnanG #in the cloud: Utility-aware deferred load balancing in the cloud driven by dynamic pricing of electricity (MAA, RG), pp. 262–265.
DATE-2013-BoleyCAC #analysis #estimation #performance: Leveraging sensitivity analysis for fast, accurate estimation of SRAM dynamic write VMIN (JB, VC, RCA, BHC), pp. 1819–1824.
DATE-2013-BrandonW #using: Support for dynamic issue width in VLIW processors using generic binaries (AB, SW), pp. 827–832.
DATE-2013-GiraoSW #clustering #policy: Exploring resource mapping policies for dynamic clustering on NoC-based MPSoCs (GG, TS, FRW), pp. 681–684.
DATE-2013-JiangEP #embedded #optimisation #set: Optimization of secure embedded systems with dynamic task sets (KJ, PE, ZP), pp. 1765–1770.
DATE-2013-KavousianosC #testing: Testing for SoCs with advanced static and dynamic power-management capabilities (XK, KC), pp. 737–742.
DATE-2013-LifaEP #linear #predict: Dynamic configuration prefetching based on piecewise linear prediction (AAL, PE, ZP), pp. 815–820.
DATE-2013-LotfianJ #architecture #hardware #power management #smarttech #using: An ultra-low power hardware accelerator architecture for wearable computers using dynamic time warping (RL, RJ), pp. 913–916.
DATE-2013-MalburgFF #analysis #comprehension #data flow #design: Tuning dynamic data flow analysis to support design understanding (JM, AF, GF), pp. 1179–1184.
DATE-2013-SauerRSPB #performance #satisfiability: Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths (MS, SR, TS, IP, BB), pp. 448–453.
DATE-2013-ShafiqueVH #adaptation #hybrid #manycore #power management #self: Self-adaptive hybrid dynamic power management for many-core systems (MS, BV, JH), pp. 51–56.
DATE-2013-WagnerW #analysis #performance #statistics: Efficient variation-aware statistical dynamic timing analysis for delay test applications (MW, HJW), pp. 276–281.
DATE-2013-WangTSL #algorithm: A power-driven thermal sensor placement algorithm for dynamic thermal management (HW, SXDT, SS, XL), pp. 1215–1220.
DATE-2013-YanLH #adaptation #fault #self: A dynamic self-adaptive correction method for error resilient application (LY, HL, ZH), pp. 943–946.
DRR-2013-KumarWGS #framework #keyword #using: Segmentation-free keyword spotting framework using dynamic background model (GK, SW, VG, RS).
ICDAR-2013-HuC #classification #pseudo #using #verification: Offline Signature Verification Using Real Adaboost Classifier Combination of Pseudo-dynamic Features (JH, YC), pp. 1345–1349.
ICDAR-2013-LiMVC #distance #multi #optimisation: A Multi-stroke Dynamic Time Warping Distance Based on A* Optimization (JL, HM, CVG, ZC), pp. 1330–1334.
ICDAR-2013-OpreanLPM #recognition #using #web #word: Using the Web to Create Dynamic Dictionaries in Handwritten Out-of-Vocabulary Word Recognition (CO, LLS, AP, CM), pp. 989–993.
ICDAR-2013-YanYWYYH #classification #sorting: Sorting-Based Dynamic Classifier Ensemble Selection (YY, XCY, ZBW, XY, CY, HWH), pp. 673–677.
PODS-2013-HaririCGDM #relational #verification: Verification of relational data-centric dynamic systems with external services (BBH, DC, GDG, AD, MM), pp. 163–174.
SIGMOD-2013-ChoudhuryHCRBF #graph #named: StreamWorks: a system for dynamic graph search (SC, LBH, GCJ, AR, SB, JF), pp. 1101–1104.
SIGMOD-2013-GuilleFHZ #analysis #framework #mining #named #open source #social: SONDY: an open source platform for social dynamics mining and analysis (AG, CF, HH, DAZ), pp. 1005–1008.
SIGMOD-2013-TianHLBJ #named: Noah: a dynamic ridesharing system (CT, YH, ZL, FB, RJ), pp. 985–988.
VLDB-2013-WangWPWH #adaptation #segmentation: A Data-adaptive and Dynamic Segmentation Index for Whole Matching on Time Series (YW, PW, JP, WW, SH), pp. 793–804.
VLDB-2013-WuCHN #concurrent #database #execution #predict #query #towards: Towards Predicting Query Execution Time for Concurrent and Dynamic Database Workloads (WW, YC, HH, JFN), pp. 925–936.
VLDB-2013-ZhouTWN #2d #learning #named #predict #probability: R2-D2: a System to Support Probabilistic Path Prediction in Dynamic Environments via “Semi-Lazy” Learning (JZ, AKHT, WW, WSN), pp. 1366–1369.
TACAS-2013-KoleiniRR #data access #model checking #policy: Model Checking Agent Knowledge in Dynamic Access Control Policies (MK, ER, MR), pp. 448–462.
TACAS-2013-WhiteL #data type #evolution #identification #in memory #learning #memory management: Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory (DHW, GL), pp. 354–369.
ICSM-2013-LabicheKM #analysis #diagrams: Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams (YL, BK, HM), pp. 130–139.
ICSM-2013-NguyenNNN #refactoring #web: Output-Oriented Refactoring in PHP-Based Dynamic Web Applications (HAN, HVN, TTN, TNN), pp. 150–159.
ICSM-2013-NguyenNNN13a #fault #locality #web: Database-Aware Fault Localization for Dynamic Web Applications (HVN, HAN, TTN, TNN), pp. 456–459.
SCAM-2013-NicolayNRM #javascript #type inference #using: Determining dynamic coupling in JavaScript using object type inference (JN, CN, CDR, WDM), pp. 126–135.
PLDI-2013-SchaferSDT #analysis: Dynamic determinacy analysis (MS, MS, JD, FT), pp. 165–174.
SAS-2013-KimDS #documentation #html #parsing #semantics #validation: Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
SAS-2013-LammichMSW #automaton #network: Contextual Locking for Dynamic Pushdown Networks (PL, MMO, HS, AW), pp. 477–498.
STOC-2013-NeimanS #algorithm: Simple deterministic algorithms for fully dynamic maximal matching (ON, SS), pp. 745–754.
ICALP-v1-2013-GrossiRRV #random #string: Dynamic Compressed Strings with Random Access (RG, RR, SRS, RV), pp. 504–515.
ICALP-v2-2013-HenzingerKN #maintenance #network: Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks (MH, SK, DN), pp. 607–619.
LATA-2013-BolligCHKS #automaton #branch #communication: Dynamic Communicating Automata and Branching High-Level MSCs (BB, AC, LH, AK, TS), pp. 177–189.
LATA-2013-Ouaknine #linear: Discrete Linear Dynamical Systems (JO), p. 42.
CHI-2013-EdgeSY #named #prototype: HyperSlides: dynamic presentation prototyping (DE, JS, KY), pp. 671–680.
CHI-2013-MatejkaGF13a #heatmap #named #visualisation: Patina: dynamic heatmaps for visualizing application usage (JM, TG, GWF), pp. 3227–3236.
CHI-2013-MusthagG #mobile: Labor dynamics in a mobile micro-task market (MM, DG), pp. 641–650.
CHI-2013-RiceTOYWN #behaviour #game studies #interactive: The dynamics of younger and older adult’s paired behavior when playing an interactive silhouette game (MDR, WPT, JO, LJY, MW, JN), pp. 1081–1090.
CHI-2013-Yarosh: Shifting dynamics or breaking sacred traditions?: the role of technology in twelve-step fellowships (SY), pp. 3413–3422.
CSCW-2013-ChenX #comprehension #privacy: Privacy management in dynamic groups: understanding information privacy in medical practices (YC, HX), pp. 541–552.
CSCW-2013-FurtadoAOB: Contributor profiles, their dynamics, and their importance in five q&a sites (AF, NA, NO, FVB), pp. 1237–1252.
CSCW-2013-KusunokiSZB #comprehension #monitoring #visual notation: Understanding visual attention of teams in dynamic medical settings through vital signs monitor use (DSK, AS, ZZ, RSB), pp. 527–540.
DHM-HB-2013-BotterBCKME: The Biomechanical and Physiological Effect of Two Dynamic Workstations (JB, EMB, DC, RK, SHvM, RPE), pp. 196–204.
DHM-HB-2013-BurfordBCKME #performance: The Effect of Dynamic Workstations on the Performance of Various Computer and Office-Based Tasks (EMB, JB, DC, RK, SHvM, RPE), pp. 205–212.
DHM-HB-2013-YangZF #simulation: Simulation of Pushing the Push-Pull Rod Action Based on Human Body Dynamics (ZY, YZ, SF), pp. 393–401.
HCI-AS-2013-YamaguchiSYNSM #interface: Zoom Interface with Dynamic Thumbnails Providing Learners with Companionship through Videostreaming (TY, HS, MY, YN, HS, TM), pp. 521–528.
HCI-III-2013-HeLWG #image #segmentation #using: Semi-supervised Remote Sensing Image Segmentation Using Dynamic Region Merging (NH, KL, YW, YG), pp. 153–162.
HCI-III-2013-LiLL #algorithm #performance: Fast Dynamic Channel Allocation Algorithm for TD-HSPA System (HL, HLL, XL), pp. 82–91.
HCI-IMT-2013-ChangLCFC #artificial reality: A Dynamic Fitting Room Based on Microsoft Kinect and Augmented Reality Technologies (HTC, YWL, HTC, SYF, TTC), pp. 177–185.
HCI-UC-2013-BelliniBNP #network #recommendation: A Static and Dynamic Recommendations System for Best Practice Networks (PB, IB, PN, MP), pp. 259–268.
HCI-UC-2013-HayashiKO #empirical #network #social #trust: An Empirical Investigation of Similarity-Driven Trust Dynamics in a Social Network (YH, VVK, HO), pp. 20–28.
HIMI-LCCB-2013-KamoT #collaboration #multi: Interlocked Surfaces: A Dynamic Multi-device Collaboration System (HK, JT), pp. 317–325.
VISSOFT-2013-BenomarSP #heatmap #visualisation: Visualizing software dynamicities with heat maps (OB, HAS, PP), pp. 1–10.
HILT-2013-Taft13a #ada #parallel #programming #set: Bringing safe, dynamic parallel programming to the spark verifiable subset of ada (STT), pp. 37–40.
EDOC-2013-MukkamalaHS #adaptation #graph #towards: Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs (RRM, TTH, TS), pp. 127–136.
ICEIS-J-2013-RibeiroRBE #coordination: Coordinating Agents in Dynamic Environment (RR, AFR, MACB, FE), pp. 137–153.
ICEIS-v1-2013-RibeiroRBFE #coordination #policy: Updating Strategies of Policies for Coordinating Agent Swarm in Dynamic Environments (RR, AFR, MACB, FF, FE), pp. 345–356.
ICEIS-v2-2013-RositoRB #case study #configuration management: An Experimental Study on the Dynamic Reconfiguration of Software Projects (MCR, MBR, RMB), pp. 232–239.
ICEIS-v3-2013-TrojahnAWO #recognition: Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards (MT, FA, MW, FO), pp. 31–37.
CIKM-2013-KimNC #approach #modelling #probability #social #social media: Modeling dynamics of meta-populations with a probabilistic approach: global diffusion in social media (MK, DN, PC), pp. 489–498.
CIKM-2013-MalliarosV #graph #modelling #social: To stay or not to stay: modeling engagement dynamics in social graphs (FDM, MV), pp. 469–478.
CIKM-2013-QianSYZL #mining #query: Dynamic query intent mining from a search log stream (YnQ, TS, JY, QZ, CL), pp. 1205–1208.
CIKM-2013-ReisDPSR #adaptation #automation #ontology: Mapping adaptation actions for the automatic reconciliation of dynamic ontologies (JCdR, DD, CP, MDS, CRD), pp. 599–608.
CIKM-2013-VoseckyJLN #multi #topic #twitter: Dynamic multi-faceted topic discovery in twitter (JV, DJ, KWTL, WN), pp. 879–884.
ICML-c1-2013-GolubCY #learning: Learning an Internal Dynamics Model from Control Demonstration (MG, SC, BY), pp. 606–614.
ICML-c1-2013-HallW #modelling #online #programming: Dynamical Models and tracking regret in online convex programming (ECH, RW), pp. 579–587.
ICML-c1-2013-HamiltonFP #modelling #predict: Modelling Sparse Dynamical Systems with Compressed Predictive State Representations (WLH, MMF, JP), pp. 178–186.
ICML-c1-2013-HeaukulaniG #modelling #network #probability #social: Dynamic Probabilistic Models for Latent Feature Propagation in Social Networks (CH, ZG), pp. 275–283.
ICML-c3-2013-HuangS #learning #markov #modelling: Spectral Learning of Hidden Markov Models from Dynamic and Static Data (TKH, JGS), pp. 630–638.
ICML-c3-2013-WuHG #modelling #multi: Dynamic Covariance Models for Multivariate Financial Time Series (YW, JMHL, ZG), pp. 558–566.
KDD-2013-AsadiLB #memory management #policy #realtime #twitter: Dynamic memory allocation policies for postings in real-time Twitter search (NA, JL, MB), pp. 1186–1194.
KDD-2013-LiuYK #adaptation #modelling #process #using: Adaptive collective routing using gaussian process dynamic congestion models (SL, YY, RK), pp. 704–712.
KDD-2013-ZhongFZY #modelling #network #social: Modeling the dynamics of composite social networks (EZ, WF, YZ, QY), pp. 937–945.
MLDM-2013-BrownPD #algorithm #search-based: Dynamic-Radius Species-Conserving Genetic Algorithm for the Financial Forecasting of Dow Jones Index Stocks (MSB, MJP, HD), pp. 27–41.
RecSys-2013-Dooms #generative #hybrid #personalisation #recommendation: Dynamic generation of personalized hybrid recommender systems (SD), pp. 443–446.
SEKE-2013-AlmeidaCBCLDP #adaptation #in the cloud: Dynamic Adaptation of Cloud Computing Applications (AA, EC, TB, NC, FL, FCD, PFP), pp. 67–72.
SEKE-2013-ZouFCZZ #hybrid #test coverage #testing: A Hybrid Coverage Criterion for DynamicWeb Testing (S) (YZ, CF, ZC, XZ, ZZ), pp. 210–213.
SIGIR-2013-TikhonovBBOKG #web: Studying page life patterns in dynamical web (AT, IB, PB, LO, VK, GG), pp. 905–908.
SIGIR-2013-ZhangCWY #collaboration #optimisation: Optimizing top-n collaborative filtering via dynamic negative item sampling (WZ, TC, JW, YY), pp. 785–788.
ICMT-2013-KrauseDG #co-evolution #evolution #graph transformation #metamodelling: Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (CK, JD, HG), pp. 76–91.
TOOLS-EUROPE-J-2012-WernliLN13 #incremental: Incremental Dynamic Updates with First-class Contexts (EW, ML, ON), pp. 1–27.
ECOOP-2013-AnsaloniKZBBT #composition #java #program analysis #tool support #virtual machine: Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
ECOOP-2013-FlanaganF #detection #named: RedCard: Redundant Check Elimination for Dynamic Race Detectors (CF, SNF), pp. 255–280.
OOPSLA-2013-BolzDT: Storage strategies for collections in dynamically typed languages (CFB, LD, LT), pp. 167–182.
OOPSLA-2013-HuangB #analysis #context-sensitive grammar #memory management #performance: Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management (JH, MDB), pp. 53–72.
OOPSLA-2013-TreichlerBA #clustering: Language support for dynamic, hierarchical data partitioning (ST, MB, AA), pp. 495–514.
GPCE-2013-KramerOKC #product line #user interface #using: Using document-oriented GUIs in dynamic software product lines (DK, SO, PK, TC), pp. 85–94.
GPCE-2013-MarekKZBBTASS #framework #java #named #program analysis #robust: ShadowVM: robust and comprehensive dynamic program analysis for the java platform (LM, SK, YZ, LB, WB, PT, DA, AS, AS), pp. 105–114.
POPL-2013-BenzakenCNS #semantics: Static and dynamic semantics of NoSQL languages (VB, GC, KN, JS), pp. 101–114.
RE-2013-ZarghamiVESW #identification #risk management: Assumption-based risk identification method (ARM) in dynamic service provisioning (AZ, EV, MZE, MvS, RW), pp. 175–184.
REFSQ-2013-BencomoB #adaptation #modelling #network #self: Supporting Decision-Making for Self-Adaptive Systems: From Goal Models to Dynamic Decision Networks (NB, AB), pp. 221–236.
SAC-OOPS-J-2009-BettiniCD13 #flexibility #java #on the: On flexible dynamic trait replacement for Java-like languages (LB, SC, FD), pp. 907–932.
SAC-2013-AnconaBM #consistency #dynamic analysis #multi #protocol: Constrained global types for dynamic checking of protocol conformance in multi-agent systems (DA, MB, VM), pp. 1377–1379.
SAC-2013-Barros #component #representation: Representing dynamic pluggable software units (FB), pp. 1006–1012.
SAC-2013-BellatrecheBCM #algorithm #clustering #incremental #query: Horizontal partitioning of very-large data warehouses under dynamically-changing query workloads via incremental algorithms (LB, RB, AC, SM), pp. 208–210.
SAC-2013-DelahayeKS #c #dynamic analysis #source code #specification: Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
SAC-2013-DugerdilS #legacy: Dynamic decision tree for legacy use-case recovery (PD, DS), pp. 1284–1291.
SAC-2013-ImJLL #configuration management #manycore #operating system: A dynamically reconfigurable operating system for manycore systems (CI, MJ, JL, SL), pp. 1622–1627.
SAC-2013-Jean-BaptisteMJA #adaptation #feature model #modelling #using: Modeling dynamic adaptations using augmented feature models (JBL, MTS, JMG, AB), pp. 1734–1741.
SAC-2013-KimHCYWNPC #similarity #using: Measuring similarity of windows applications using static and dynamic birthmarks (DJK, YH, SC, HY, JW, YN, MP, LC), pp. 1628–1633.
SAC-2013-LinCLG #approach #data-driven #distributed #learning #predict: Distributed dynamic data driven prediction based on reinforcement learning approach (SYL, KMC, CCL, NG), pp. 779–784.
SAC-2013-NguyenSB #consistency: Dynamic virtual arc consistency (HN, TS, CB), pp. 98–103.
SAC-2013-PflugR #information management: Dynamic instance queuing in process-aware information systems (JP, SRM), pp. 1426–1433.
SAC-2013-PougetSCM #approach #data flow #debugging #embedded #interactive #novel: A novel approach for interactive debugging of dynamic dataflow embedded applications (KP, MS, PLC, JFM), pp. 1547–1549.
SAC-2013-SchroderN #behaviour #resource management: Inter cloud capable dynamic resource management with model of behavior (KS, WN), pp. 408–410.
SAC-2013-WaflerH #analysis #approach #dependence #grid #modelling #smarttech: A combined structural and dynamic modelling approach for dependability analysis in smart grid (JW, PEH), pp. 660–665.
ESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named #testing: SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant: Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
ESEC-FSE-2013-SenKBG #dynamic analysis #framework #javascript #named: Jalangi: a selective record-replay and dynamic analysis framework for JavaScript (KS, SK, TGB, SG), pp. 488–498.
ESEC-FSE-2013-SenKBG13a #dynamic analysis #framework #javascript #named #testing: Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.
ESEC-FSE-2013-Tikhonova #domain-specific language #framework #semantics: A framework for defining the dynamic semantics of DSLs (UT), pp. 735–738.
ESEC-FSE-2013-WuHTY #alias #analysis #detection #effectiveness #fault: Effective dynamic detection of alias analysis errors (JW, GH, YT, JY), pp. 279–289.
ICSE-2013-ScharfA #diagrams #editing #injection #sketching: Dynamic injection of sketching features into GEF based diagram editors (AS, TA), pp. 822–831.
ICSE-2013-TanA00DC #composition #synthesis: Dynamic synthesis of local time requirement for service composition (THT, ÉA, JS, YL, JSD, MC), pp. 542–551.
PLEASE-2013-KramerOKC #product line #user interface #visual notation: Graphical user interfaces in dynamic software product lines (DK, SO, PK, TC), pp. 25–28.
SPLC-2013-BashariB #adaptation #product line #self: Engineering self-adaptive systems and dynamic software product line (MB, EB), p. 285.
SPLC-2013-WangPXCZ0 #named: SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.
ASPLOS-2013-McFarlinTZ #performance #question: Discerning the dominant out-of-order performance advantage: is it speculation or dynamism? (DSM, CT, CBZ), pp. 241–252.
ASPLOS-2013-TangMWDS #compilation #named: ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.
CC-2013-WhelanLK #architecture #data flow #independence #information management: Architecture-Independent Dynamic Information Flow Tracking (RW, TL, DRK), pp. 144–163.
HPCA-2013-RobatmiliLEGSPBK #architecture #effectiveness #how #manycore #predict: How to implement effective prediction and forwarding for fusable dynamic multicore architectures (BR, DL, HE, MSSG, AS, AP, DB, SWK), pp. 460–471.
HPCA-2013-WangCWMZLN #architecture #execution #parallel: A multiple SIMD, multiple data (MSMD) architecture: Parallel execution of dynamic and static SIMD fragments (YW, SC, JW, JM, KZ, WL, XN), pp. 603–614.
LCTES-2013-Wu: HW/SW co-designed acceleration of dynamic languages (YW), pp. 1–2.
SOSP-2013-KediaB #kernel #performance: Fast dynamic binary translation for the kernel (PK, SB), pp. 101–115.
CADE-2013-BeckertB #logic #semantics: Dynamic Logic with Trace Semantics (BB, DB), pp. 315–329.
CAV-2013-LvSX #named: CacBDD: A BDD Package with Dynamic Cache Management (GL, KS, YX), pp. 229–234.
ICST-2013-YeolekarUAKV #generative #model checking #scalability #testing #using: Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
ICTSS-2013-SapraMCGC #execution #fault #python #source code #symbolic computation #using: Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.
ICTSS-2013-VorobyovKS #approach #memory management: A Dynamic Approach to Locating Memory Leaks (KV, PK, PS), pp. 255–270.
ISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning: Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
ISSTA-2013-LiCWX #memory management #validation: Dynamically validating static memory leak warnings (ML, YC, LW, G(X), pp. 112–122.
LICS-2013-BalbianiHT #logic: Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.
TAP-2013-JamrozikFTH #execution #generative #symbolic computation #testing: Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
CBSE-2012-CalmantAGDG #component #python: A dynamic and service-oriented component model for python long-lived applications (TC, JCA, OG, DD, KG), pp. 35–40.
CBSE-2012-FouquetMFBPJ #component #physics: A dynamic component model for cyber physical systems (FF, BM, FF, OB, NP, JMJ), pp. 135–144.
CBSE-2012-GhafariJSH #approach #architecture #component #configuration management #consistency: An architectural approach to ensure globally consistent dynamic reconfiguration of component-based systems (MG, PJ, SS, HH), pp. 177–182.
CBSE-2012-Manna #component #distributed: Local dynamic update for component-based distributed systems (VPLM), pp. 167–176.
QoSA-2012-HuberBK #modelling: Modeling dynamic virtualized resource landscapes (NH, FB, SK), pp. 81–90.
WICSA-ECSA-2012-Lopez-JaqueroMNEC #configuration management: Supporting ARINC 653-based Dynamic Reconfiguration (VLJ, FM, EN, AE, JAC), pp. 11–20.
WICSA-ECSA-2012-SuYZ #analysis #architecture #component #semantics: Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles (GS, MY, CZ), pp. 151–160.
ASE-2012-JamrozikFTH #execution #symbolic computation: Augmented dynamic symbolic execution (KJ, GF, NT, JdH), pp. 254–257.
ASE-2012-NguyenNNNN #detection #embedded #smell #web: Detection of embedded code smells in dynamic web applications (HVN, HAN, TTN, ATN, TNN), pp. 282–285.
CASE-2012-AnKP #learning #modelling #process: Grasp motion learning with Gaussian Process Dynamic Models (BA, HK, FCP), pp. 1114–1119.
CASE-2012-BaoLYL #energy #programming #realtime: Battery energy storage system load shifting control based on real time load forecast and dynamic programming (GB, CL, ZY, ZL), pp. 815–820.
CASE-2012-CaoZF #approach #mobile #search-based: Point stabilization of mobile robots by genetic sliding mode approach with neural dynamics model on uneven surface (ZC, YZ, YF), pp. 1150–1155.
CASE-2012-HeZWZ #identification #using: Identification of dynamic posture in lower extremity using optical fiber sensor (CH, XZ, YW, ZZ), pp. 1057–1060.
CASE-2012-KanY #detection: Dynamic spatiotemporal warping for the detection and location of myocardial infarctions (CK, HY), pp. 1046–1051.
CASE-2012-LeeHJKL #matlab #simulation #using: Dynamic simulation of radial active magnetic bearing system for high speed rotor using ADAMS and MATLAB co-simulation (KCL, DKH, YHJ, CYK, MCL), pp. 880–885.
CASE-2012-MerzFV #automation #distributed #industrial #runtime: Dynamic redeployment of control software in distributed industrial automation systems during runtime (MM, TF, BVH), pp. 863–868.
CASE-2012-Rodriguez-VerjanTPDT: Dispatching of lots to dynamically reduce the wafers at risk in semiconductor manufacturing (GRV, ET, JP, SDP, AT), pp. 920–923.
CASE-2012-TanWL #queue: Improving patient flow in emergency department through dynamic priority queue (KWT, CW, HCL), pp. 125–130.
CASE-2012-ZhangWZX #fault #memory management #using: A dynamic memory model for mechanical fault diagnosis using one-class support vector machine (QZ, JW, JZ, GX), pp. 497–501.
DAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named: DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.
DAC-2012-ChenZCZX #mobile #scalability #streaming #video: Quality-retaining OLED dynamic voltage scaling for video streaming applications on mobile devices (XC, JZ, YC, MZ, CJX), pp. 1000–1005.
DAC-2012-JeongESP #cpu #gpu #memory management: A QoS-aware memory controller for dynamically balancing GPU and CPU bandwidth use in an MPSoC (MKJ, ME, CS, NCP), pp. 850–855.
DAC-2012-LinWYSCP #configuration management: Near-optimal, dynamic module reconfiguration in a photovoltaic system to combat partial shading effects (XL, YW, SY, DS, NC, MP), pp. 516–521.
DAC-2012-LionelPSE #monitoring #statistics #testing: Embedding statistical tests for on-chip dynamic voltage and temperature monitoring (LV, PM, SL, EB), pp. 994–999.
DAC-2012-LiuH #network #scalability #simulation: Dynamic river network simulation at large scale (FL, BRH), pp. 723–728.
DAC-2012-UkhovBEP #analysis #embedded #multi #optimisation #reliability: Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems (IU, MB, PE, ZP), pp. 197–204.
DATE-2012-ChenCHLLPR #configuration management #design #energy #hybrid: Dynamically reconfigurable hybrid cache: An energy-efficient last-level cache design (YTC, JC, HH, BL, CL, MP, GR), pp. 45–50.
DATE-2012-DasSHMC #multi: Dynamic Directories: A mechanism for reducing on-chip interconnect power in multicores (AD, MS, NH, GM, ANC), pp. 479–484.
DATE-2012-DimitrakopoulosK #metaprogramming #multi #network: Dynamic-priority arbiter and multiplexer soft macros for on-chip networks switches (GD, EK), pp. 542–545.
DATE-2012-GuglielmoGFP #design #embedded #modelling #verification: Enabling dynamic assertion-based verification of embedded software through model-driven design (GDG, LDG, FF, GP), pp. 212–217.
DATE-2012-HameedBH #adaptation #architecture #manycore #runtime: Dynamic cache management in multi-core architectures through run-time adaptation (FH, LB, JH), pp. 485–490.
DATE-2012-LiuFQ #framework #manycore: Neighbor-aware dynamic thermal management for multi-core platform (GL, MF, GQ), pp. 187–192.
DATE-2012-LiuJL #constant #parallel: Parallel probing: Dynamic and constant time setup procedure in circuit switching NoC (SL, AJ, ZL), pp. 1289–1294.
DATE-2012-MahmoodSD #framework #linear #modelling #multi #performance: An efficient framework for passive compact dynamical modeling of multiport linear systems (ZM, RS, LD), pp. 1203–1208.
DATE-2012-NarayananDZT #design #using #verification: Verifying jitter in an analog and mixed signal design using dynamic time warping (RN, AD, MHZ, ST), pp. 1413–1416.
DATE-2012-RahimiBG #analysis: Analysis of instruction-level vulnerability to dynamic voltage and temperature variations (AR, LB, RKG), pp. 1102–1105.
DATE-2012-XhakoniBG #3d #image #performance: Impact of TSV area on the dynamic range and frame rate performance of 3D-integrated image sensors (AX, DSSB, GGEG), pp. 836–839.
DATE-2012-YunLY #ram: Bloom filter-based dynamic wear leveling for phase-change RAM (JY, SL, SY), pp. 1513–1518.
DATE-2012-ZimmermannBR #analysis #multi #power management: Analysis of multi-domain scenarios for optimized dynamic power management strategies (JZ, OB, WR), pp. 862–865.
DocEng-2012-SoaresNS #architecture #behaviour #constraints #hypermedia: Architecture for hypermedia dynamic applications with content and behavior constraints (LFGS, CdSSN, JGS), pp. 217–226.
HT-2012-KunegisSSF #network #online: Diversity dynamics in online networks (JK, SS, FS, DF), pp. 255–264.
PODS-2012-BorodinLY: Max-Sum diversification, monotone submodular functions and dynamic updates (AB, HCL, YY), pp. 155–166.
PODS-2012-ShengT #memory management: Dynamic top-k range reporting in external memory (CS, YT), pp. 121–130.
SIGMOD-2012-BoltonIRT #declarative #development #encapsulation #javascript #web: Declarative web application development: encapsulating dynamic JavaScript widgets (abstract only) (RB, DI, CR, KLT), p. 863.
SIGMOD-2012-GanFFN: Locality-sensitive hashing scheme based on dynamic collision counting (JG, JF, QF, WN), pp. 541–552.
SIGMOD-2012-GuoPG: So who won?: dynamic max discovery with the crowd (SG, AGP, HGM), pp. 385–396.
SIGMOD-2012-MondalD #graph #scalability: Managing large dynamic graphs efficiently (JM, AD), pp. 145–156.
SIGMOD-2012-MortonBMMS #integration: Dynamic workload driven data integration in tableau (KM, RB, JDM, RM, CS), pp. 807–816.
SIGMOD-2012-OrdonezGC #optimisation #query #sql: Dynamic optimization of generalized SQL queries with horizontal aggregations (CO, JGG, ZC), pp. 637–640.
VLDB-2012-AgarwalRB #clustering #graph #identification #realtime: Real Time Discovery of Dense Clusters in Highly Dynamic Graphs: Identifying Real World Events in Highly Dynamic Environments (MKA, KR, MB), pp. 980–991.
VLDB-2012-AhmadKKN #higher-order #named: DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views (YA, OK, CK, MN), pp. 968–979.
TACAS-2012-CairesV #concurrent #logic #model checking #named #specification: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications (LC, HTV), pp. 485–491.
TACAS-2012-DudkaMPV #contest #data type #linked data #named #open data #source code #verification: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.
CSMR-2012-DeissenboeckHHW #challenge #detection: Challenges of the Dynamic Detection of Functionally Similar Code Fragments (FD, LH, BH, SW), pp. 299–308.
CSMR-2012-Dovgalyuk #debugging #dynamic analysis #execution #multi: Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging (PD), pp. 553–556.
ICSM-2012-KimuraHIK #dynamic analysis #refactoring: Move code refactoring with dynamic analysis (SK, YH, HI, SK), pp. 575–578.
ICSM-2012-TahirM #metric #quality: A systematic mapping study on dynamic metrics and software quality (AT, SGM), pp. 326–335.
SCAM-2012-LazarescuL #analysis #c #dependence #parallel #source code: Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (MTL, LL), pp. 126–131.
WCRE-2012-JanaN #detection #dynamic analysis #precise #using: Precise Detection of Uninitialized Variables Using Dynamic Analysis — Extending to Aggregate and Vector Types (AJ, RN), pp. 197–201.
PLDI-2012-BenzHH #float #problem #program analysis: A dynamic program analysis to find floating-point accuracy problems (FB, AH, SH), pp. 453–462.
PLDI-2012-HolewinskiRRFPRS #analysis: Dynamic trace-based analysis of vectorization potential of applications (JH, RR, MR, NF, LNP, AR, PS), pp. 371–382.
PLDI-2012-LiuNPVY #memory management #modelling #synthesis: Dynamic synthesis for relaxed memory models (FL, NN, NP, MTV, EY), pp. 429–440.
PLDI-2012-RamanZSVY #concurrent #detection #parallel #precise #scalability: Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.
STOC-2012-AbrahamCG #approximate #distance #graph: Fully dynamic approximate distance oracles for planar graphs via forbidden-set distance labels (IA, SC, CG), pp. 1199–1218.
STOC-2012-Larsen #complexity: The cell probe complexity of dynamic range counting (KGL), pp. 85–94.
DLT-2012-SaloT #geometry: Geometry and Dynamics of the Besicovitch and Weyl Spaces (VS, IT), pp. 465–470.
ICALP-v2-2012-ArrighiD #graph: Causal Graph Dynamics (PA, GD), pp. 54–66.
LATA-2012-BilleS #dependence #performance #programming: Fast and Cache-Oblivious Dynamic Programming with Local Dependencies (PB, MS), pp. 131–142.
LATA-2012-Noual: Dynamics of Circuits and Intersecting Circuits (MN), pp. 433–444.
FM-2012-BenkiraneNSS #algebra #process #using: Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra (SB, RN, ES, CS), pp. 101–115.
ICFP-2012-Siederdissen #combinator #performance #programming: Sneaking around concatMap: efficient combinators for dynamic programming (CHzS), pp. 215–226.
ICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code: Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.
CHI-2012-JungCL #interactive #performance #programming: Group hedonic balance and pair programming performance: affective interaction dynamics as indicators of performance (MJ, JC, LJL), pp. 829–838.
CSCW-2012-NackeMGM #game studies #online #quote #social: “I’m just here to play games”: social dynamics and sociality in an online game site (LN, GM, CG, RLM), pp. 549–558.
CSCW-2012-RotmanPHPHPLJ #collaboration #motivation: Dynamic changes in motivation in collaborative citizen-science projects (DR, JP, JH, KP, DLH, CSP, DL, DWJ), pp. 217–226.
HILT-2012-Nilsen #bibliography #comprehension #java #memory management #safety #tutorial: Tutorial overview: understanding dynamic memory management in safety critical java (KN), pp. 15–22.
ICEIS-J-2012-BonacinHRPB12a #aspect-oriented #collaboration #concept #framework #problem #towards: Pragmatic Aspects of Collaborative Problem Solving: Towards a Framework for Conceptualizing Dynamic Knowledge (RB, HHH, JCdR, RP, MCCB), pp. 410–426.
ICEIS-v1-2012-RibeiroFBBDKE #algorithm #approach #learning: Unified Algorithm to Improve Reinforcement Learning in Dynamic Environments — An Instance-based Approach (RR, FF, MACB, APB, OBD, ALK, FE), pp. 229–238.
ICEIS-v2-2012-YiasemisA #automation #fault #locality #mutation testing #testing #using: Dynamic Localisation and Automatic Correction of Software Faults using Evolutionary Mutation Testing (PSY, ASA), pp. 15–26.
ICEIS-v3-2012-BonacinHRPB #analysis #aspect-oriented #challenge #problem #social: Interacting with Dynamic Social Knowledge — Revealing Challenges through an Analysis of Pragmatic Aspects of Problem Solving (RB, HHH, JCdR, RP, MCCB), pp. 54–63.
CIKM-2012-AntonellisSD #recommendation: Dynamic covering for recommendation systems (IA, ADS, SD), pp. 26–34.
CIKM-2012-BarajasAHKFA: Dynamic effects of ad impressions on commercial actions in display advertising (JB, RA, MH, JK, AF, VA), pp. 1747–1751.
CIKM-2012-Gomez-RodriguezR #graph #online #social: Bridging offline and online social graph dynamics (MGR, MR), pp. 2447–2450.
CIKM-2012-LiuCBLR #graph #mining: Utilizing common substructures to speedup tensor factorization for mining dynamic graphs (WL, JC, JB, CL, KR), pp. 435–444.
CIKM-2012-QahtanZW #detection #estimation #performance: Efficient estimation of dynamic density functions with an application to outlier detection (AAQ, XZ, SW), pp. 2159–2163.
ICML-2012-ChenDB #metric #modelling #normalisation #random #topic: Dependent Hierarchical Normalized Random Measures for Dynamic Topic Modeling (CC, ND, WLB), p. 95.
ICML-2012-GrunewalderLBPG #modelling: Modelling transition dynamics in MDPs with RKHS embeddings (SG, GL, LB, MP, AG), p. 208.
ICML-2012-Petrik #approximate #bound #programming #robust: Approximate Dynamic Programming By Minimizing Distributionally Robust Bounds (MP), p. 207.
ICML-2012-SarkarCJ #network #parametricity #predict: Nonparametric Link Prediction in Dynamic Networks (PS, DC, MIJ), p. 246.
ICPR-2012-0001ZP #segmentation #using: Unsupervised dynamic texture segmentation using local descriptors in volumes (JC, GZ, MP), pp. 3622–3625.
ICPR-2012-ChenHCHC #analysis #using: Occluded human action analysis using dynamic manifold model (LCC, JWH, CHC, CYH, DYC), pp. 1245–1248.
ICPR-2012-DriraADSB #3d #novel #random #recognition: 3D dynamic expression recognition based on a novel Deformation Vector Field and Random Forest (HD, BBA, MD, AS, SB), pp. 1104–1107.
ICPR-2012-HouHWH #synthesis #video: Improvements of dynamic texture synthesis for video coding (ZH, RH, ZW, ZH), pp. 3148–3151.
ICPR-2012-KramerABSB #component #documentation #programming #robust: Robust stereo correspondence for documents by matching connected components of text-lines with dynamic programming (MK, MZA, SSB, FS, TMB), pp. 734–737.
ICPR-2012-NakazawaMMNHYY #multi #re-engineering #using: Dynamic scene reconstruction using asynchronous multiple Kinects (MN, IM, YM, HN, HH, HY, YY), pp. 469–472.
ICPR-2012-RayAZ #programming #segmentation: Seeing through clutter: Snake computation with dynamic programming for particle segmentation (NR, STA, HZ), pp. 801–804.
ICPR-2012-Sanchez-RieraCH #robust: Robust spatiotemporal stereo for dynamic scenes (JSR, JC, RH), pp. 360–363.
ICPR-2012-ShiT: Background subtraction via early recurrence in dynamic scenes (XS, JKT), pp. 3172–3175.
ICPR-2012-SrikanthaSM #approach #detection #image: An SVD-based approach for ghost detection and removal in high dynamic range images (AS, DS, FM), pp. 380–383.
ICPR-2012-TuS #adaptation #classification #learning: Dynamical ensemble learning with model-friendly classifiers for domain adaptation (WT, SS), pp. 1181–1184.
ICPR-2012-UchidaFOF #markov: Non-Markovian dynamic time warping (SU, MF, KO, YF), pp. 2294–2297.
ICPR-2012-WangJ #network #recognition: Incorporating contextual knowledge to Dynamic Bayesian Networks for event recognition (XW, QJ), pp. 3378–3381.
ICPR-2012-WangJ12b #learning #network #process #recognition: Learning dynamic Bayesian network discriminatively for human activity recognition (XW, QJ), pp. 3553–3556.
ICPR-2012-WittW #programming #using: Sparse stereo by edge-based search using dynamic programming (JW, UW), pp. 3631–3635.
ICPR-2012-ZhangZNH #learning #multi #recognition: Joint dynamic sparse learning and its application to multi-view face recognition (HZ, YZ, NMN, TSH), pp. 1671–1674.
ICPR-2012-ZhaoXY #learning #network #speech: Unsupervised Tibetan speech features Learning based on Dynamic Bayesian Networks (YZ, XX, GY), pp. 2319–2322.
ICPR-2012-ZhuSX #performance #segmentation: An efficient r-KDE model for the segmentation of dynamic scenes (QZ, ZS, YX), pp. 198–201.
KDD-2012-ChanLLBR #graph #mining #multi #named: SeqiBloc: mining multi-time spanning blockmodels in dynamic graphs (JC, WL, CL, JB, KR), pp. 651–659.
KDD-2012-RakthanmanonCMBWZZK #mining #sequence: Searching and mining trillions of time series subsequences under dynamic time warping (TR, BJLC, AM, GEAPAB, MBW, QZ, JZ, EJK), pp. 262–270.
KDIR-2012-SantosNF #generative #on the: On the Generation of Dynamic Business Indicators (FAPdS, RCdN, JBF), pp. 390–394.
KDIR-2012-UddinAH #analysis #network #social: New Directions in the Analysis of Social Network Dynamics (MSU, SRA, LH), pp. 269–274.
KEOD-2012-WohlgenanntWSS #learning #ontology #web: Confidence Management for Learning Ontologies from Dynamic Web Sources (GW, AW, AS, MS), pp. 172–177.
KMIS-2012-HanelF #towards: Facing the Change — Towards a Dynamic Decision Making in Manufacturing Environments (TH, CF), pp. 107–112.
KMIS-2012-LiuAACT #behaviour #modelling: Modeling Dynamic Behavior of Business Organisations — Extension of BPM with Norms (KL, MAR, ARA, LC, JT), pp. 196–201.
KMIS-2012-VanharantaK #ontology: Strategy Needs Structure — Structure Needs Ontologies — Dynamic Ontologies Carry Meanings (HV, JK), pp. 261–264.
MLDM-2012-MacchiaCM #mining #modelling #network #ranking: Mining Ranking Models from Dynamic Network Data (LM, MC, DM), pp. 566–577.
MLDM-2012-WangYL #corpus: Measuring the Dynamic Relatedness between Chinese Entities Orienting to News Corpus (ZW, JY, XL), pp. 631–644.
RecSys-2012-AharonKLK #elicitation #personalisation #recommendation: Dynamic personalized recommendation of comment-eliciting stories (MA, AK, RL, YK), pp. 209–212.
RecSys-2012-KramarB #personalisation: Dynamically selecting an appropriate context type for personalisation (TK, MB), pp. 321–324.
SEKE-2012-PereiraAS #adaptation #architecture #data access #named: ACADA: Access Control-driven Architecture with Dynamic Adaptation (ÓMP, RLA, MYS), pp. 387–393.
SEKE-2012-SmithP #design pattern #recommendation: Dynamically recommending design patterns (SS, DRP), pp. 499–504.
SEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification: Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.
SEKE-2012-ZhuLLCZJ #continuation #difference #logic #using #verification: HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
SIGIR-2012-LuCL #information retrieval: Fixed versus dynamic co-occurrence windows in TextRank term weights for information retrieval (WL, QC, CL), pp. 1079–1080.
SIGIR-2012-MacdonaldTO12a #effectiveness #learning #rank #safety: Effect of dynamic pruning safety on learning to rank effectiveness (CM, NT, IO), pp. 1051–1052.
SIGIR-2012-ShenPWY #concept #modelling #music #scalability: Modeling concept dynamics for large scale music search (JS, HP, MW, SY), pp. 455–464.
SIGIR-2012-SvoreTDK #web: Creating temporally dynamic web search snippets (KMS, JT, STD, AK), pp. 1045–1046.
SIGIR-2012-TranF #information retrieval #interactive #using: Using eye-tracking with dynamic areas of interest for analyzing interactive information retrieval (VTT, NF), pp. 1165–1166.
SIGIR-2012-YuLZZL #estimation #network #performance #scalability #towards: SimFusion+: extending simfusion towards efficient estimation on large and dynamic networks (WY, XL, WZ, YZ, JL), pp. 365–374.
ECMFA-2012-BatoriTA #component #metamodelling #modelling: Metamodel Based Methodology for Dynamic Component Systems (GB, ZT, DA), pp. 275–286.
MoDELS-2012-AlferezP #evolution #modelling #runtime: Dynamic Evolution of Context-Aware Systems with Models at Runtime (GHA, VP), pp. 70–86.
MoDELS-2012-AlferezP #evolution #modelling #runtime: Dynamic Evolution of Context-Aware Systems with Models at Runtime (GHA, VP), pp. 70–86.
OOPSLA-2012-CastanosEINNOW #compilation #jit #on the #scripting language #static typing: On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages (JGC, DE, KI, PN, TN, TO, PW), pp. 195–212.
OOPSLA-2012-Effinger-DeanLCGB #concurrent #detection #named: IFRit: interference-free regions for dynamic data-race detection (LED, BL, LC, DG, HJB), pp. 467–484.
OOPSLA-2012-HaydenSDHF #c #named #performance: Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.
OOPSLA-2012-MagillHSM #automation: Automating object transformations for dynamic software updating (SM, MH, SS, KSM), pp. 265–280.
TOOLS-EUROPE-2012-WernliLN #incremental: Incremental Dynamic Updates with First-Class Contexts (EW, ML, ON), pp. 304–319.
GPCE-2012-DamianiPS #formal method #product line: A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.
POPL-2012-AustinF #data flow #information management #multi: Multiple facets for dynamic information flow (THA, CF), pp. 165–178.
SAC-2012-AmericoRD #framework #java #realtime: Managing the dynamism of the OSGi Service Platform in real-time Java applications (JCA, WR, DD), pp. 1115–1122.
SAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification: Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
SAC-2012-Gonzalez-FerezPC #automation #named #scheduling: DADS: dynamic and automatic disk scheduling (PGF, JP, TC), pp. 1759–1764.
SAC-2012-GuntherSJ #workflow: Dynamic guidance enhancement in workflow management systems (CG, SS, SJ), pp. 1717–1719.
SAC-2012-HasegawaT #distance #invariant #using: Affine invariant shape matching using radon transform and dynamic time warping distance (MH, ST), pp. 777–781.
SAC-2012-HorikoshiNTO #adaptation #configuration management #non-functional #self: Dynamic reconfiguration in self-adaptive systems considering non-functional properties (HH, HN, YT, AO), pp. 1144–1150.
SAC-2012-JeremicMBR #operating system: Operating system support for dynamic over-provisioning of solid state drives (NJ, GM, AB, JR), pp. 1753–1758.
SAC-2012-KorahSS #framework #multi #realtime #scalability: Multi-agent framework for real-time processing of large and dynamic search spaces (JK, EES, ESJ), pp. 755–762.
SAC-2012-MenezesOV #abstraction #composition #coordination #pervasive: Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp (RM, AO, MV), pp. 1557–1559.
SAC-2012-NoorianFM #trust: Preference-oriented QoS-based service discovery with dynamic trust and reputation management (ZN, MF, SM), pp. 2014–2021.
SAC-2012-SioutasPKT #named #network #probability #query: SART: dynamic P2P query processing in sensor networks with probabilistic guarantees (SS, AP, IK, DT), pp. 847–852.
SAC-2012-YuHJSLH #novel #programming #segmentation: A novel segmentation method for convex lesions based on dynamic programming with local intra-class variance (MY, QH, RJ, ES, HL, CCH), pp. 39–44.
SAC-2012-ZhaoHWA #constraints #diagrams #difference #equation #polynomial: Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.
FSE-2012-GanaiLG #analysis #concurrent #multi #named #source code #thread: DTAM: dynamic taint analysis of multi-threaded programs for relevancy (MKG, DL, AG), p. 46.
FSE-2012-WangZXXM #analysis #automation #collaboration #hybrid #web: Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.
FSE-2012-ZaeemK #generative #programming #using: Test input generation using dynamic programming (RNZ, SK), p. 34.
ICSE-2012-Demuth #constraints #metamodelling #modelling: Enabling dynamic metamodels through constraint-driven modeling (AD), pp. 1622–1624.
ICSE-2012-NguyenKWF #array #dynamic analysis #invariant #polynomial #using: Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
ICSE-2012-NguyenNNN #detection #named #web: BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications (HVN, HAN, TTN, TNN), pp. 1391–1394.
ICSE-2012-OuelletMSG #feature model: Locating features in dynamically configured avionics software (MO, EM, NS, MG), pp. 1453–1454.
ICSE-2012-PerrouinMCFKTBJ #adaptation #evolution #flexibility #towards: Towards flexible evolution of Dynamically Adaptive Systems (GP, BM, FC, FF, JK, YLT, OB, JMJ), pp. 1353–1356.
ICSE-2012-PintoCG: Writing dynamic service orchestrations with DSOL (LSP, GC, CG), pp. 1383–1386.
ASPLOS-2012-FeinerBG #kernel: Comprehensive kernel instrumentation via dynamic binary translation (PF, ADB, AG), pp. 135–146.
ASPLOS-2012-OlszewskiZKAA #analysis #named: Aikido: accelerating shared data dynamic analyses (MO, QZ, DK, JA, SPA), pp. 173–184.
ASPLOS-2012-PanneerselvamS #named #operating system: Chameleon: operating system support for dynamic processors (SP, MMS), pp. 99–110.
CC-2012-JimboreanMLC #framework #named #program analysis: VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework (AJ, LM, VL, PC), pp. 220–239.
CGO-2012-AnsaloniBHC #multi #program analysis: Deferred methods: accelerating dynamic program analysis on multicores (DA, WB, AH, LYC), pp. 242–251.
CGO-2012-HongHYWHLWC #concurrent #multi #named #thread: HQEMU: a multi-threaded and retargetable dynamic binary translator on multicores (DYH, CCH, PCY, JJW, WCH, PL, CMW, YCC), pp. 104–113.
CGO-2012-JablinJPLA #architecture #cpu #gpu: Dynamically managed data for CPU-GPU architectures (TBJ, JAJ, PP, FL, DIA), pp. 165–174.
CGO-2012-KerrDY #compilation #kernel: Dynamic compilation of data-parallel kernels for vector processors (AK, GFD, SY), pp. 23–32.
CGO-2012-LueckPP #debugging #interface #named: PinADX: an interface for customizable debugging with dynamic instrumentation (GL, HP, CP), pp. 114–123.
CGO-2012-ShangXX #analysis #on-demand #points-to: On-demand dynamic summary-based points-to analysis (LS, XX, JX), pp. 264–274.
CGO-2012-ZhangDS #database #named: Micro-specialization: dynamic code specialization of database management systems (RZ, SD, RTS), pp. 63–73.
HPCA-2012-HomayounKSLT #3d: Dynamically heterogeneous cores through 3D resource pooling (HH, VK, AS, TWL, DMT), pp. 323–334.
HPCA-2012-KhanWJ #segmentation: Decoupled dynamic cache segmentation (SMK, ZW, DAJ), pp. 235–246.
HPDC-2012-BaeXDL #adaptation #energy #multi #performance: Dynamic adaptive virtual core mapping to improve power, energy, and performance in multi-socket multicores (CB, LX, PAD, JRL), pp. 247–258.
HPDC-2012-GeorgakoudisLN #manycore #migration #summary #symmetry: Dynamic binary rewriting and migration for shared-ISA asymmetric, multicore processors: summary (GG, SL, DSN), pp. 127–128.
HPDC-2012-LeeWF #distributed #named #resource management #using: PonD: dynamic creation of HTC pool on demand using a decentralized resource discovery system (KL, DW, RJOF), pp. 161–172.
HPDC-2012-ParkLKHM #configuration management #pipes and filters #virtual machine: Locality-aware dynamic VM reconfiguration on MapReduce clouds (JP, DL, BK, JH, SM), pp. 27–36.
LCTES-2012-FangLZLCZ #analysis #multi #predict: Improving dynamic prediction accuracy through multi-level phase analysis (ZF, JL, WZ, YL, HC, BZ), pp. 89–98.
LCTES-2012-KyleBFLT #embedded #manycore #set #simulation #using: Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation (SCK, IB, BF, HL, NPT), pp. 21–30.
PPoPP-2012-EomYJD #named #object-oriented #source code: DOJ: dynamically parallelizing object-oriented programs (YHE, SY, JCJ, BD), pp. 85–96.
PPoPP-2012-HoeflerS #detection #optimisation: Communication-centric optimizations by dynamically detecting collective operations (TH, TS), pp. 305–306.
PPoPP-2012-LeisersonSS #generative #parallel #thread: Deterministic parallel random-number generation for dynamic-multithreading platforms (CEL, TBS, JS), pp. 193–204.
PPoPP-2012-NollG #framework #optimisation #parallel #source code: An infrastructure for dynamic optimization of parallel programs (AN, TRG), pp. 325–326.
PPoPP-2012-TzenakisPKPVN #analysis #dependence #named #parallel: BDDT: : block-level dynamic dependence analysis for deterministic task-based parallelism (GT, AP, JK, PP, HV, DSN), pp. 301–302.
ICST-2012-MalikK #analysis #graph #using: Dynamic Shape Analysis Using Spectral Graph Properties (MZM, SK), pp. 211–220.
ICST-2012-MassicotteCNM #analysis #testing: A Testing Model for Dynamic Malware Analysis Systems (FM, MC, HN, FM), pp. 826–833.
ICST-2012-UjhelyiHV #model transformation #slicing: Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.
LICS-2012-AgrawalAGT #approximate #markov #verification: Approximate Verification of the Symbolic Dynamics of Markov Chains (MA, SA, BG, PST), pp. 55–64.
LICS-2012-GrigorieffV #algorithm #bound #using: Functionals Using Bounded Information and the Dynamics of Algorithms (SG, PV), pp. 345–354.
LICS-2012-Platzer #logic: Logics of Dynamical Systems (AP), pp. 13–24.
RTA-2012-AndersenS #term rewriting: Term Rewriting Systems as Topological Dynamical Systems (SBA, JGS), pp. 53–68.
RTA-2012-BonelliKLR #calculus #normalisation: Normalisation for Dynamic Pattern Calculi (EB, DK, CL, AR), pp. 117–132.
CBSE-2011-Gregersen #composition: Implications of modular systems on dynamic updating (ARG), pp. 169–178.
CBSE-2011-HeinzemannH #adaptation #architecture #communication #component #embedded #protocol #reuse #self: Reusing dynamic communication protocols in self-adaptive embedded component architectures (CH, SH), pp. 109–118.
ECSA-2011-OrlicDML #architecture #component #concept #configuration management #framework #resource management: Dynamically Reconfigurable Resource-Aware Component Framework: Architecture and Concepts (BO, ID, RHM, JJL), pp. 212–215.
ECSA-2011-RytterJ #java #named: Decouplink: Dynamic Links for Java (MR, BNJ), pp. 422–437.
ASE-2011-AlvesGJd #impact analysis #slicing #using: Fault-localization using dynamic slicing and change impact analysis (EA, MG, VJ, Md), pp. 520–523.
ASE-2011-AnandH #execution #java #source code #symbolic computation: Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.
ASE-2011-RamirezJCK #adaptation #automation #behaviour #how #nondeterminism: Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems (AJR, ACJ, BHCC, DBK), pp. 568–571.
ASE-2011-UjhelyiHV #model transformation #slicing #towards: Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.
CASE-2011-HuangG #deployment #heuristic: An improved Least Cost Heuristic for dynamic yard crane deployment in container terminals (SYH, XG), pp. 84–89.
CASE-2011-Incerti #behaviour: Dynamic behaviour of elastic cam devices driven by servomotors with PID velocity control (GI), pp. 268–273.
CASE-2011-KurzKP #maintenance #network #using: Dynamic Maintenance in semiconductor manufacturing using Bayesian networks (DK, JK, JP), pp. 238–243.
CASE-2011-SchererCC #distributed #linear #modelling #network: Transfer function modeling of linear dynamic networks for distributed MPC (HFS, EC, AC), pp. 613–618.
DAC-2011-BroedersL #behaviour #modelling: Extracting behavior and dynamically generated hierarchy from SystemC models (HB, RvL), pp. 357–362.
DAC-2011-ChippaRRC #scalability #trade-off: Dynamic effort scaling: managing the quality-efficiency tradeoff (VKC, AR, KR, STC), pp. 603–608.
DAC-2011-GeQ #machine learning #multi #using: Dynamic thermal management for multimedia applications using machine learning (YG, QQ), pp. 95–100.
DAC-2011-KandemirYK #clustering #concurrent #parallel #thread: A helper thread based dynamic cache partitioning scheme for multithreaded applications (MTK, TY, EK), pp. 954–959.
DAC-2011-KinsmanN #configuration management #on the fly: Dynamic binary translation to a reconfigurable target for on-the-fly acceleration (PK, NN), pp. 286–287.
DAC-2011-ShinKCP #scalability: Dynamic voltage scaling of OLED displays (DS, YK, NC, MP), pp. 53–58.
DAC-2011-WangMR #clustering #configuration management #energy #manycore #optimisation #realtime: Dynamic cache reconfiguration and partitioning for energy optimization in real-time multi-core systems (WW, PM, SR), pp. 948–953.
DATE-2011-BathenD #distributed #embedded #named #power management #reliability: E-RoC: Embedded RAIDs-on-Chip for low power distributed dynamically managed reliable memories (LADB, NDD), pp. 1141–1146.
DATE-2011-ChandraA: Analytical model for SRAM dynamic write-ability degradation due to gate oxide breakdown (VC, RCA), pp. 1172–1175.
DATE-2011-GhasemazarP #architecture #multi #power management: Variation aware dynamic power management for chip multiprocessor architectures (MG, MP), pp. 473–478.
DATE-2011-HameedFH #3d #adaptation #architecture #manycore #runtime: Dynamic thermal management in 3D multi-core architecture through run-time adaptation (FH, MAAF, JH), pp. 299–304.
DATE-2011-MeyerNHBSGSB #configuration management #performance #using: Fast Start-up for Spartan-6 FPGAs using Dynamic Partial Reconfiguration (JM, JN, MH, LB, OS, RMG, RS, JB), pp. 1542–1547.
DATE-2011-MichelFP #embedded #simulation: Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation (LM, NF, FP), pp. 277–280.
DATE-2011-NalamCAC: Dynamic write limited minimum operating voltage for nanoscale SRAMs (SN, VC, RCA, BHC), pp. 467–472.
DATE-2011-SoekenWD #aspect-oriented #modelling #uml #verification: Verifying dynamic aspects of UML models (MS, RW, RD), pp. 1077–1082.
DATE-2011-VidalLGDG #configuration management #design #implementation #uml: Dynamic applications on reconfigurable systems: From UML model design to FPGAs implementation (JV, FdL, GG, JPD, SG), pp. 1208–1211.
DATE-2011-WelpK #approach #markov #process #synthesis: An approach for dynamic selection of synthesis transformations based on Markov Decision Processes (TW, AK), pp. 1533–1536.
DATE-2011-ZiermannTS #adaptation #algorithm #named: DynOAA — Dynamic offset adaptation algorithm for improving response times of CAN systems (TZ, JT, ZS), pp. 269–272.
DocEng-2011-Giannetti #web: Paginate dynamic and web content (FG), pp. 143–152.
DocEng-2011-PortierC #documentation #multi #process: Introduction of a dynamic assistance to the creative process of adding dimensions to multistructured documents (PEP, SC), pp. 167–170.
DRR-2011-SaabniE #distance #documentation #using #word: Word spotting for handwritten documents using Chamfer Distance and Dynamic Time Warping (RS, JES), pp. 1–10.
ICDAR-2011-BaechlerI #analysis #layout #multi #using: Multi Resolution Layout Analysis of Medieval Manuscripts Using Dynamic MLP (MB, RI), pp. 1185–1189.
ICDAR-2011-GalballyFMP #analysis #quality: Quality Analysis of Dynamic Signature Based on the Sigma-Lognormal Model (JG, JFA, MMD, RP), pp. 633–637.
ICDAR-2011-VincentNP #algorithm #documentation #using: Document Recto-verso Registration Using a Dynamic Time Warping Algorithm (VR, NJ, JPD), pp. 1230–1234.
ICDAR-2011-WangL #realtime #recognition #segmentation: Dynamic Text Line Segmentation for Real-Time Recognition of Chinese Handwritten Sentences (DHW, CLL), pp. 931–935.
ITiCSE-2011-CamachoM #learning #programming: Facilitating learning dynamic programming through a previous introduction of exhaustive search (AC, AM), p. 355.
ESOP-2011-ParkinsonS #logic: The Relationship between Separation Logic and Implicit Dynamic Frames (MJP, AJS), pp. 439–458.
FASE-2011-GharaibehRC #framework #question: Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? (BG, HR, JMC), pp. 371–385.
FASE-2011-MassinkLBH #modelling: Modelling Non-linear Crowd Dynamics in Bio-PEPA (MM, DL, AB, JH), pp. 96–110.
TACAS-2011-GarbervetskyGN #invariant #using: Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.
CSMR-2011-KaticF #aspect-oriented #evolution: Model for Dynamic Evolution of Aspect-Oriented Software (MK, KF), pp. 377–380.
ICSM-2011-YousefiS #distributed #identification #mining: Identifying distributed features in SOA by mining dynamic call trees (AY, KS), pp. 73–82.
MSR-2011-CallauRTR #developer #how #programming language #smalltalk: How developers use the dynamic features of programming languages: the case of smalltalk (OC, RR, ÉT, DR), pp. 23–32.
WCRE-2011-FuhrHR #clustering #dynamic analysis #implementation #legacy #reuse #using: Using Dynamic Analysis and Clustering for Implementing Services by Reusing Legacy Code (AF, TH, VR), pp. 275–279.
WCRE-2011-ScholzK #multi #protocol #source code #thread: Object-Based Dynamic Protocol Recovery for Multi-Threading Programs (BS, RK), pp. 251–260.
PEPM-2011-PlasmeijerAKLNG #evolution #runtime #type safety #workflow: iTasks for a change: type-safe run-time change in dynamically evolving workflows (RP, PA, PWMK, BL, TvN, JHGvG), pp. 151–160.
PLDI-2011-BohmKKFT #compilation #parallel #using: Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator (IB, TJKEvK, SCK, BF, NPT), pp. 74–85.
SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation: Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
ICALP-v1-2011-BordewichK #agile #bound #graph #set: Rapid Mixing of Subset Glauber Dynamics on Graphs of Bounded Tree-Width (MB, RJK), pp. 533–544.
ICALP-v1-2011-BrodalT #query: Dynamic Planar Range Maxima Queries (GSB, KT), pp. 256–267.
ICALP-v2-2011-ChanN #convergence #network #performance: Fast Convergence for Consensus in Dynamic Networks (THHC, LN), pp. 514–525.
ICALP-v2-2011-DamsHK #convergence: Convergence Time of Power-Control Dynamics (JD, MH, TK), pp. 637–649.
ICALP-v2-2011-Hoefer #network #social: Local Matching Dynamics in Social Networks (MH), pp. 113–124.
SEFM-2011-Sanchez #using: Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence (MAS), pp. 464–475.
SEFM-2011-TongQ #energy: Energy Consumption and CO2 Emissions of Beijing Heating System: Based on a System Dynamics Model (HT, WQ), pp. 476–485.
SEFM-2011-TschannenFNM #object-oriented #source code #verification: Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques (JT, CAF, MN, BM), pp. 382–398.
SFM-2011-BertolinoCGN #assessment #dependence #performance: Dependability and Performance Assessment of Dynamic CONNECTed Systems (AB, AC, FDG, NN), pp. 350–392.
ICFP-2011-ChyzakD #generative #ml #runtime #using #web: Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
CHI-2011-DowFSASK #design #multi #prototype: Prototyping dynamics: sharing multiple designs improves exploration, group rapport, and results (SD, JF, DS, BA, DLS, SRK), pp. 2807–2816.
CHI-2011-EppLM #identification #using: Identifying emotional states using keystroke dynamics (CE, ML, RLM), pp. 715–724.
CHI-2011-HechtHSC #twitter: Tweets from Justin Bieber’s heart: the dynamics of the location field in user profiles (BH, LH, BS, EHC), pp. 237–246.
CHI-2011-JonesO: Contextual dynamics of group-based sharing decisions (SLJ, EO), pp. 1777–1786.
CHI-2011-KwakCM #online #twitter: Fragile online relationship: a first look at unfollow dynamics in twitter (HK, HC, SBM), pp. 1091–1100.
CSCW-2011-GutwinSXB #distributed: Chalk sounds: the effects of dynamic synthesized audio on workspace awareness in distributed groupware (CG, OSS, RX, SAB), pp. 85–94.
DHM-2011-LinMC: Dynamic Power Tool Operation Model: Experienced Users vs. Novice Users (JHL, RWM, CCC), pp. 394–398.
DHM-2011-LuximonL #case study: Preliminary Study on Dynamic Foot Model (AL, YL), pp. 321–327.
DHM-2011-TangwenF #analysis #architecture #cumulative #learning #polymorphism: Polymorphic Cumulative Learning in Integrated Cognitive Architectures for Analysis of Pilot-Aircraft Dynamic Environment (TY, SF), pp. 409–416.
DHM-2011-WelkePRJ #analysis #how #modelling #validation #what: What Is Human? How the Analysis of Brain Dynamics Can Help to Improve and Validate Driver Models (SW, JP, MR, TJ), pp. 513–522.
DUXU-v1-2011-ZilzF #composition: Smart User Assistance Based on Dynamic Model Composition (RZ, PF), pp. 706–714.
DUXU-v2-2011-ChaeKN #experience #using: Measuring Drivers’ Dynamic Seating Experience Using Pressure Mats (SC, GK, KN), pp. 368–375.
DUXU-v2-2011-McKimmGC #design #navigation: Dynamic Navigation System Design for Networked Electric Vehicles (FM, MG, VC), pp. 156–166.
HCI-DDA-2011-BirinciGG #feedback #image #query #retrieval: Dynamic Queries with Relevance Feedback for Content Based Image Retrieval (MB, EG, MG), pp. 547–554.
HCI-DDA-2011-KimRTT: Investigating the Effects of Metacognition in Dynamic Control Tasks (JHK, LR, AT, HT), pp. 378–387.
HCI-ITE-2011-JiangCL #interface #performance: Musical Skin: A Dynamic Interface for Musical Performance (HJ, TWC, CLL), pp. 53–61.
HCI-ITE-2011-UllahLORM #case study #collaboration #distributed #interactive #what: What You Feel Is What I Do: A Study of Dynamic Haptic Interaction in Distributed Collaborative Virtual Environment (SU, XL, SO, PR, MM), pp. 140–147.
HIMI-v1-2011-AsaoKK: Effects of Joint Acceleration on Rod’s Length Perception by Dynamic Touch (TA, YK, KK), pp. 381–390.
HIMI-v1-2011-ChiabrandoFGLL #configuration management #interface #ontology: Dynamic Interface Reconfiguration Based on Different Ontological Relations (EC, RF, PG, SL, IL), pp. 538–547.
VISSOFT-2011-DengDJ #dependence #information management #visualisation: Constellation visualization: Augmenting program dependence with dynamic information (FD, ND, JAJ), pp. 1–8.
VISSOFT-2011-LonnbergBM #concurrent #dependence #graph #source code #visualisation: Visualising concurrent programs with dynamic dependence graphs (JL, MBA, LM), pp. 1–4.
CAiSE-2011-DornD #process #self: Supporting Dynamic, People-Driven Processes through Self-learning of Message Flows (CD, SD), pp. 657–671.
EDOC-2011-HildebrandtMS #design #graph #using: Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs (TTH, RRM, TS), pp. 161–170.
EDOC-2011-PsaierSSD #resource management: Resource and Agreement Management in Dynamic Crowdcomputing Environments (HP, FS, DS, SD), pp. 193–202.
ICEIS-v1-2011-Li #image #lifecycle #locality #novel: A Novel Method for Dynamic Image Localization of Tourism Destination based on Butler Life Cycle Theory (CL), pp. 473–476.
ICEIS-v1-2011-LiX: A Method of Adjusting the Number of Replica Dynamically in HDFS (BL, KX), pp. 529–533.
ICEIS-v4-2011-SchiefKZRWSMME #internet #process: The ADiWa Project — On the Way to Just-in-time Process Dynamics based on Events from the Internet of Things (MS, CK, BZ, PR, WW, JS, DM, HM, JE), pp. 371–377.
ICEIS-v4-2011-WuM: Study of System Dynamics Model of Green Supply Chain based on Balanced Scorecard (YW, DM), pp. 726–731.
ICEIS-v4-2011-YangZC #ecosystem #enterprise #perspective: The Construction of Dynamic Capabilities for Publishing Enterprises — A Business Ecosystem Perspective (LY, RZ, WC), pp. 636–640.
ICEIS-v4-2011-YangZZZ #policy: Urban Motor Vehicle Limiting Policy based on System Dynamics (HY, ZZ, YZ, HZ), pp. 539–542.
ICEIS-v4-2011-ZhongLG #middleware #modelling: Dynamic Context Modeling based FCA in Context-aware Middleware (ZZ, XL, JG), pp. 103–110.
CIKM-2011-RamanJS #learning #ranking: Structured learning of two-level dynamic rankings (KR, TJ, PS), pp. 291–296.
CIKM-2011-TretyakovAGVD #estimation #graph #performance #scalability: Fast fully dynamic landmark-based estimation of shortest path distances in very large graphs (KT, AAC, LGB, JV, MD), pp. 1785–1794.
ECIR-2011-AltingovdeOCU #approach #hybrid: Second Chance: A Hybrid Approach for Dynamic Result Caching in Search Engines (ISA, RO, BBC, ÖU), pp. 510–516.
ECIR-2011-ArampatzisZC #database #image #multimodal #retrieval #scalability: Dynamic Two-Stage Image Retrieval from Large Multimodal Databases (AA, KZ, SAC), pp. 326–337.
ECIR-2011-OhCM #classification #modelling #scalability #taxonomy #using: Text Classification for a Large-Scale Taxonomy Using Dynamically Mixed Local and Global Models for a Node (HSO, YC, SHM), pp. 7–18.
ICML-2011-DoshiWTR #infinity #network: Infinite Dynamic Bayesian Networks (FD, DW, JBT, NR), pp. 913–920.
ICML-2011-Gomez-RodriguezBS #network: Uncovering the Temporal Dynamics of Diffusion Networks (MGR, DB, BS), pp. 561–568.
ICML-2011-HannahD #approximate #problem #programming: Approximate Dynamic Programming for Storage Problems (LH, DBD), pp. 337–344.
ICML-2011-TarlowBKK #coordination: Dynamic Tree Block Coordinate Ascent (DT, DB, PK, VK), pp. 113–120.
ICML-2011-VuAHS #modelling #network: Dynamic Egocentric Models for Citation Networks (DQV, AUA, DRH, PS), pp. 857–864.
ICML-2011-WellingT #learning #probability: Bayesian Learning via Stochastic Gradient Langevin Dynamics (MW, YWT), pp. 681–688.
KDD-2011-AggarwalXY #data-driven #on the: On dynamic data-driven selection of sensor streams (CCA, YX, PSY), pp. 1226–1234.
KDD-2011-AhmedLAJS #behaviour #distributed #scalability: Scalable distributed inference of dynamic user interests for behavioral targeting (AA, YL, MA, VJ, AJS), pp. 114–122.
KDD-2011-ChenRT #adaptation #detection #incremental #learning: Detecting bots via incremental LS-SVM learning with dynamic feature adaptation (FC, SR, PNT), pp. 386–394.
KDIR-2011-RavulaCL #dynamic analysis #using: Dynamic Analysis of Malware using Decision Trees (RRR, CCC, KJL), pp. 74–83.
KEOD-2011-GuerreiroVT #data access #ontology #transaction: Dynamic Business Transactions Control — An Ontological Example: Organizational Access Control with DEMO (SG, AV, JMT), pp. 549–554.
KEOD-2011-LimYSH #metric #modelling #robust #semantics: Robust Semantic World Modeling by Beta Measurement Likelihood in a Dynamic Indoor Environment (GHL, CY, IHS, SWH), pp. 311–316.
KEOD-2011-TripodiD #logic: Linguistically based Qa by Dynamic Lod Access from Logical Forms (RT, RD), pp. 5–14.
KMIS-2011-PittetCN #evolution #guidelines #ontology #tool support #version control: Guidelines for a Dynamic Ontology — Integrating Tools of Evolution and Versioning in Ontology (PP, CC, CN), pp. 173–179.
RecSys-2011-KoenigsteinDK #exclamation #modelling #music #recommendation #taxonomy: Yahoo! music recommendations: modeling music ratings with temporal dynamics and item taxonomy (NK, GD, YK), pp. 165–172.
SEKE-2011-BaillieAAMCB #architecture #component #performance: A Model-View-DynamicViewModel and its Performance in a Web-based Component Architecture (GB, BA, DA, RM, TMC, RBB), pp. 786–791.
SEKE-2011-BasriO #development #information management #process: The Impact of Software Development Team Dynamics on the Knowledge Management Process(S) (SB, RVO), pp. 339–342.
SEKE-2011-BhattacharyaCSK #enterprise #using: Dynamic Service Choreography using Context Aware Enterprise Service Bus (SB, JC, SS, AK), pp. 319–324.
SEKE-2011-ChawlaXZ #composition #ontology #realtime #reliability #web #web service: A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition (HC, HX, MZ), pp. 153–158.
SIGIR-2011-TonellottoMO #order #retrieval: Effect of different docid orderings on dynamic pruning retrieval strategies (NT, CM, IO), pp. 1179–1180.
OOPSLA-2011-KeLZBJD #dependence #parallel #programming #using: Safe parallel programming using dynamic dependence hints (CK, LL, CZ, TB, BJ, CD), pp. 243–258.
OOPSLA-2011-LiSD #analysis #concurrent #detection #named: SOS: saving time in dynamic race detection with stationary analysis (DL, WSa, MBD), pp. 35–50.
OOPSLA-2011-PuBS #algorithm #first-order #programming #synthesis: Synthesis of first-order dynamic programming algorithms (YP, RB, SS), pp. 83–98.
OOPSLA-2011-TianZS #integration #optimisation #towards: A step towards transparent integration of input-consciousness into dynamic program optimizations (KT, EZZ, XS), pp. 445–462.
OOPSLA-2011-WurthingerABWM #aspect-oriented #evolution #java #runtime: Safe and atomic run-time code evolution for Java and its application to dynamic AOP (TW, DA, WB, CW, HM), pp. 825–844.
GPCE-2011-RosenmullerSPA #product line: Tailoring dynamic software product lines (MR, NS, MP, SA), pp. 3–12.
LOPSTR-2011-Henglein #domain-specific language #implementation #symbolic computation: Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.
PPDP-2011-SauthoffJG #declarative #programming: Bellman’s GAP: a declarative language for dynamic programming (GS, SJ, RG), pp. 29–40.
POPL-2011-AnCFH #ruby #static typing: Dynamic inference of static types for ruby (Jh(A, AC, JSF, MH), pp. 459–472.
POPL-2011-BenderskyP #bound #memory management: Space overhead bounds for dynamic memory management with partial compaction (AB, EP), pp. 475–486.
POPL-2011-DenielouY #multi: Dynamic multirole session types (PMD, NY), pp. 435–446.
SAC-2011-BoixCSCMD #interactive #mobile #named #network #social: Flocks: enabling dynamic group interactions in mobile social networking applications (EGB, ALC, CS, TVC, WDM, TD), pp. 425–432.
SAC-2011-ChiangH #embedded #operating system: Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.
SAC-2011-CollavizzaVRDG #constraints #generative: A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.
SAC-2011-HauptPH #approach #programming language #type system: Type harvesting: a practical approach to obtaining typing information in dynamic programming languages (MH, MP, RH), pp. 1282–1289.
SAC-2011-HorieMC #distributed #weaving: Distributed dynamic weaving is a crosscutting concern (MH, SM, SC), pp. 1353–1360.
SAC-2011-LinCL #data-driven #navigation: Service-oriented dynamic data driven application systems to potential field method vehicle navigation (SYL, KMC, CCL), pp. 462–467.
SAC-2011-MaioranaCGN #authentication #mobile: Keystroke dynamics authentication for mobile phones (EM, PC, NGC, AN), pp. 21–26.
SAC-2011-Perez-CastilloGPWP #comparison #empirical #mining #process: An empirical comparison of static and dynamic business process mining (RPC, IGRdG, MP, BW, ÁSP), pp. 272–279.
SAC-2011-SimoesO #behaviour #game studies #learning #modelling: Leveraging the dynamics of learning by modeling and managing psychosocial relations and behavior by means of game theory and memetics (JCS, NO), pp. 1194–1201.
SAC-2011-SourlasPMFT #modelling: Modeling the dynamics of caching in content-based publish/subscribe systems (VS, GSP, PM, PF, LT), pp. 478–485.
SAC-2011-ZhuWHAHY #outsourcing #verification: Dynamic audit services for integrity verification of outsourced storages in clouds (YZ, HW, ZH, GJA, HH, SSY), pp. 1550–1557.
ESEC-FSE-2011-CafeoNFCR #product line: Inferring test results for dynamic software product lines (BBPC, JN, FCF, RC, AR), pp. 500–503.
ESEC-FSE-2011-GligoricBJ #mutation testing #named #testing: SMutant: a tool for type-sensitive mutation testing in a dynamic language (MG, SB, RJ), pp. 424–427.
ESEC-FSE-2011-MaBGML #component #configuration management #distributed: Version-consistent dynamic reconfiguration of component-based distributed systems (XM, LB, CG, VPLM, JL), pp. 245–255.
GTTSE-2011-CleveNH #database #program analysis #reverse engineering: Dynamic Program Analysis for Database Reverse Engineering (AC, NN, JLH), pp. 297–321.
ICSE-2011-BayneCE #feedback: Always-available static and dynamic feedback (MB, RC, MDE), pp. 521–530.
ICSE-2011-GeTXT #execution #named #symbolic computation #verification: DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.
ICSE-2011-Malik #analysis #graph #using: Dynamic shape analysis of program heap using graph spectra (MZM), pp. 952–955.
ICSE-2011-Petricic #component #deployment #embedded #predict: Predictable dynamic deployment of components in embedded systems (AP), pp. 1128–1129.
ICSE-2011-Pinto #approach #composition #declarative #flexibility: A declarative approach to enable flexible and dynamic service compositions (LSP), pp. 1130–1131.
ICSE-2011-PukallGSKCG #adaptation #java #named #strict: JavAdaptor: unrestricted dynamic software updates for Java (MP, AG, RS, CK, WC, SG), pp. 989–991.
ASPLOS-2011-HoffmannSCMAR #power management: Dynamic knobs for responsive power-aware computing (HH, SS, MC, SM, AA, MCR), pp. 199–212.
ASPLOS-2011-ZhangJGTS #gpu #on the fly: On-the-fly elimination of dynamic irregularities for GPU computing (EZZ, YJ, ZG, KT, XS), pp. 369–380.
CC-2011-SolGPB #compilation #testing: Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.
CGO-2011-LiWH #stack: Dynamic register promotion of stack variables (JL, CW, WCH), pp. 21–31.
CGO-2011-MehraraM #execution #web: Dynamically accelerating client-side web applications through decoupled execution (MM, SAM), pp. 74–84.
CGO-2011-NewburnSLMGTWDCWGLZ #array #compilation #embedded: Intel’s Array Building Blocks: A retargetable, dynamic compiler and embedded language (CJN, BS, ZL, MDM, AMG, SDT, ZGW, ZD, YC, GW, PG, ZL, DZ), pp. 224–235.
HPCA-2011-GovindarajuHS #energy #performance: Dynamically Specialized Datapaths for energy efficient computing (VG, CHH, KS), pp. 503–514.
HPCA-2011-MehraraHSM #javascript #parallel #using: Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism (MM, PCH, MS, SAM), pp. 87–98.
HPDC-2011-WengLYL #adaptation #scheduling #virtual machine: Dynamic adaptive scheduling for virtual machines (CW, QL, LY, ML), pp. 239–250.
SOSP-2011-GuoWZHYZ #interface #model checking #reduction: Practical software model checking via dynamic interface reduction (HG, MW, LZ, GH, JY, LZ), pp. 265–278.
CADE-2011-FredriksonCJ #algorithm #analysis #approximate #behaviour #complexity: Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms (MF, MC, SJ), pp. 252–267.
CADE-2011-Platzer #difference #hybrid #logic #probability #source code: Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (AP), pp. 446–460.
CAV-2011-DudkaPV #data type #logic #named #using: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic (KD, PP, TV), pp. 372–378.
CAV-2011-SistlaZF #probability: Monitorability of Stochastic Dynamical Systems (APS, MZ, YF), pp. 720–736.
ICLP-J-2011-DrescherT #logic programming #named #prolog: ALPprolog — A new logic programming method for dynamic domains (CD, MT), pp. 451–468.
ICST-2011-HummerRSLD #composition #test coverage: Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems (WH, OR, OS, PL, SD), pp. 40–49.
ICST-2011-TsankovJOS #dynamic analysis #execution: Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.
ICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing: Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.
ISSTA-2011-BabicMMS #automation #generative #testing: Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
ISSTA-2011-GodefroidL #automation #generative #summary #testing: Automatic partial loop summarization in dynamic test generation (PG, DL), pp. 23–33.
ISSTA-2011-ZhangSBE #automation #generative #testing: Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.
LICS-2011-Tiwari #biology #logic: Logic in Software, Dynamical and Biological Systems (AT), pp. 9–10.
TLCA-2011-AbelP #dependent type #higher-order #unification: Higher-Order Dynamic Pattern Unification for Dependent Types and Records (AA, BP), pp. 10–26.
VMCAI-2011-GawlitzaLMSW #analysis #concurrent #process #reachability #source code: Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (TMG, PL, MMO, HS, AW), pp. 199–213.
CBSE-2010-LegerLC #component #configuration management #reliability: Reliable Dynamic Reconfigurations in a Reflective Component Model (ML, TL, TC), pp. 74–92.
ECSA-2010-Bahsoon #architecture #dependence #framework #requirements #self: A Framework for Dynamic Self-optimization of Power and Dependability Requirements in Green Cloud Architectures (RB), pp. 510–514.
ECSA-2010-FiadeiroL #architecture #configuration management: A Model for Dynamic Reconfiguration in Service-Oriented Architectures (JLF, AL), pp. 70–85.
ECSA-2010-JohnWP #architecture #configuration management #constraints #monitoring: Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures (JJ, MW, CP), pp. 311–318.
ECSA-2010-Pahl #adaptation #architecture #composition #coordination #towards: Dynamic Adaptive Service Architecture — Towards Coordinated Service Composition (CP), pp. 472–475.
QoSA-2010-GhezziMMT: QoS Driven Dynamic Binding in-the-many (CG, AM, VPLM, GT), pp. 68–83.
ASE-2010-FattoriPMM #analysis: Dynamic and transparent analysis of commodity production systems (AF, RP, LM, MM), pp. 417–426.
ASE-2010-MorinMFTBJ #adaptation #modelling: Security-driven model-based dynamic adaptation (BM, TM, FF, YLT, OB, JMJ), pp. 205–214.
CASE-2010-BraunS #approach #constraints #logic #predict: A Mixed Logical Dynamic Model Predictive Control approach for handling industrially relevant transportation constraints (MWB, JS), pp. 966–971.
CASE-2010-FengZL #evaluation #multi #performance #policy #scheduling: Performance evaluation of a multi-product system with setups and dynamic scheduling policies (WF, LZ, NL), pp. 960–965.
CASE-2010-HewlettK #simulation: Dynamic simulation of ship-system thermal load management (PTH, TMK), pp. 734–741.
CASE-2010-Hui: Optimal control of bio-attack induced infectious disease dynamics: The case of anthrax (QH), pp. 911–916.
CASE-2010-HuSF #analysis #biology #using: Dynamics analysis and closed-loop control of biological cells in transportation using robotic manipulation system with optical tweezers (SH, DS, GF), pp. 240–245.
CASE-2010-Julius #design #hybrid: Trajectory-based controller design for hybrid systems with affine continuous dynamics (AAJ), pp. 1007–1012.
CASE-2010-LeBSK #modelling #realtime #towards #using: Towards virtual instruments for cardiovascular healthcare: Real-time modeling of cardiovascular dynamics using ECG signals (TQL, STSB, AS, RK), pp. 903–910.
CASE-2010-LinAK #configuration management: Manipulator inverse dynamics computation on FPGA for reconfigurable applications (CSL, PKA, HK), pp. 810–815.
CASE-2010-LiuCW #programming: Aggregated state dynamic programming for operating theater planning (YL, CC, KW), pp. 1013–1018.
CASE-2010-ParkB: Utility-based dynamic control of batch processing systems (HP, AB), pp. 439–444.
CASE-2010-WangKF #approach #assembly #hybrid #layout: A hybrid approach for dynamic assembly shop floor layout (LW, SK, HYF), pp. 604–609.
CASE-2010-ZengB #mobile #predict: Collision avoidance for nonholonomic mobile robots among unpredictable dynamic obstacles including humans (LZ, GMB), pp. 940–947.
DAC-2010-BondD #automation #design #modelling: Automated compact dynamical modeling: an enabling tool for analog designers (BNB, LD), pp. 415–420.
DAC-2010-IosifidisMMGBSC #automation #framework #memory management #optimisation #parallel: A framework for automatic parallelization, static and dynamic memory optimization in MPSoC platforms (YI, AM, SM, EdG, AB, DS, FC), pp. 549–554.
DAC-2010-LaiJW #abstraction #learning #named: BooM: a decision procedure for boolean matching with abstraction and dynamic learning (CFL, JHRJ, KHW), pp. 499–504.
DAC-2010-ModarressiST #architecture #configuration management #network #performance: An efficient dynamically reconfigurable on-chip network architecture (MM, HSA, AT), pp. 166–169.
DAC-2010-WangM #approximate #named #realtime #scalability #using: PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme (WW, PM), pp. 705–710.
DAC-2010-YuVH #adaptation #multi #realtime #scheduling: Leakage-aware dynamic scheduling for real-time adaptive applications on multiprocessor systems (HY, BV, YH), pp. 493–498.
DAC-2010-ZhangLH #analysis: Separatrices in high-dimensional state space: system-theoretical tangent computation and application to SRAM dynamic stability analysis (YZ, PL, GMH), pp. 567–572.
DATE-2010-AgheraKFCR #energy #named #performance: DynAHeal: Dynamic energy efficient task assignment for wireless healthcare systems (PA, DK, DF, AKC, TR), pp. 1661–1664.
DATE-2010-AlordaTBS #power management: Static and dynamic stability improvement strategies for 6T CMOS low-power SRAMs (BA, GT, SAB, JS), pp. 429–434.
DATE-2010-BaoAEP #energy #optimisation #scalability: Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling (MB, AA, PE, ZP), pp. 21–26.
DATE-2010-ChenDS #algorithm #analysis: Properties of and improvements to time-domain dynamic thermal analysis algorithms (XC, RPD, LS), pp. 1165–1170.
DATE-2010-HuanYCM #energy #graph: Energy-oriented dynamic SPM allocation based on time-slotted Cache conflict graph (WH, ZY, MC, LM), pp. 598–601.
DATE-2010-JungP #network #nondeterminism #optimisation #power management: Optimizing the power delivery network in dynamically voltage scaled systems with uncertain power mode transition times (HJ, MP), pp. 351–356.
DATE-2010-LiuTQ #algorithm #constraints #performance #power management: Enhanced Q-learning algorithm for dynamic power management with performance constraint (WL, YT, QQ), pp. 602–605.
DATE-2010-PakbazniaGP #power management #resource management: Temperature-aware dynamic resource provisioning in a power-optimized datacenter (EP, MG, MP), pp. 124–129.
DATE-2010-VergariBSDZRC: A Smart Space application to dynamically relate medical and environmental information (FV, SB, FS, AD, GZ, LR, TSC), pp. 1542–1547.
DATE-2010-VidalLGDS #configuration management #design #embedded #multi #uml: UML design for dynamically reconfigurable multiprocessor embedded systems (JV, FdL, GG, JPD, PS), pp. 1195–1200.
DATE-2010-WongAN #configuration management: Dynamically reconfigurable register file for a softcore VLIW processor (SW, FA, FN), pp. 969–972.
DocEng-2010-NunesRD #collaboration: Term frequency dynamics in collaborative articles (SN, CR, GD), pp. 267–270.
SIGMOD-2010-AgrawalCCGKX #generative #query #web: Query portals: dynamically generating portals for entity-oriented web queries (SA, KC, SC, VG, ACK, DX), pp. 1171–1174.
SIGMOD-2010-PredaKSNYW #knowledge base #rdf #web #web service: Active knowledge: dynamically enriching RDF knowledge bases by web services (NP, GK, FMS, TN, WY, GW), pp. 399–410.
VLDB-2010-ChandramouliGM #pattern matching: High-Performance Dynamic Pattern Matching over Disordered Streams (BC, JG, DM), pp. 220–231.
VLDB-2010-Matsudaira #3d #biology #dataset #scalability: High-End Biological Imaging Generates Very Large 3D+ and Dynamic Datasets (PM), p. 3.
VLDB-2010-MihaylovJIG #multi #network #optimisation: Dynamic Join Optimization in Multi-Hop Wireless Sensor Networks (SRM, MJ, ZGI, SG), pp. 1279–1290.
ESOP-2010-NaumannB #bound #first-order #higher-order #information management: Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (DAN, AB), pp. 2–22.
ESOP-2010-Wenner #automaton #network: Weighted Dynamic Pushdown Networks (AW), pp. 590–609.
FASE-2010-GroherRE #consistency #constraints #incremental: Incremental Consistency Checking of Dynamic Constraints (IG, AR, AE), pp. 203–217.
FASE-2010-LauterburgKMA #heuristic #partial order #reduction: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.
FASE-2010-XiaoOWL #development #scheduling: Dynamic Resource Scheduling in Disruption-Prone Software Development Environments (JX, LJO, QW, ML), pp. 107–122.
TACAS-2010-HoenickeOP: Fairness for Dynamic Control (JH, ERO, AP), pp. 251–265.
CSMR-2010-AlalfiCD #automation #metric #web: Automating Coverage Metrics for Dynamic Web Applications (MHA, JRC, TRD), pp. 51–60.
ICSM-2010-LuciaDGR #design pattern #detection #dynamic analysis #eclipse #plugin: An Eclipse plug-in for the detection of design pattern instances through static and dynamic analysis (ADL, VD, CG, MR), pp. 1–6.
ICSM-2010-ZhangXZTHM #execution #generative #mutation testing #symbolic computation #testing: Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
PASTE-2010-FlanaganF #concurrent #dynamic analysis #framework #source code: The RoadRunner dynamic analysis framework for concurrent programs (CF, SNF), pp. 1–8.
PASTE-2010-HaC #communication #concurrent #dynamic analysis: Opportunities for concurrent dynamic analysis with explicit inter-core communication (JH, SPC), pp. 17–20.
PLDI-2010-BondBG #analysis #context-sensitive grammar #debugging #detection #named #performance: Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses (MDB, GZB, SZG), pp. 13–24.
PLDI-2010-LeeWHGM #debugging #detection #interface #named: Jinn: synthesizing dynamic bug detectors for foreign language interfaces (BL, BW, MH, RG, KSM), pp. 36–49.
PLDI-2010-RichardsLBV #analysis #behaviour #javascript #source code: An analysis of the dynamic behavior of JavaScript programs (GR, SL, BB, JV), pp. 1–12.
PLDI-2010-RuwaseCGM #correctness #optimisation #tool support: Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools (OR, SC, PBG, TCM), pp. 25–35.
PLDI-2010-TianFG #data type #parallel: Supporting speculative parallelization in the presence of dynamic data structures (CT, MF, RG), pp. 62–73.
STOC-2010-KuhnLO #distributed #network: Distributed computation in dynamic networks (FK, NAL, RO), pp. 513–522.
STOC-2010-Madry #algorithm #approximate #graph #multi #performance #problem: Faster approximation schemes for fractional multicommodity flow problems via dynamic graph algorithms (AM), pp. 121–130.
STOC-2010-Patrascu #bound #polynomial #problem #towards: Towards polynomial lower bounds for dynamic problems (MP), pp. 603–610.
STOC-2010-VerbinZ #bound #memory management: The limits of buffering: a tight lower bound for dynamic membership in the external memory model (EV, QZ), pp. 447–456.
CIAA-2010-ForysOB #automaton #infinity: Symbolic Dynamics, Flower Automata and Infinite Traces (WF, PO, SB), pp. 135–142.
ICALP-v1-2010-RueST #graph #programming: Dynamic Programming for Graphs on Surfaces (JR, IS, DMT), pp. 372–383.
SEFM-2010-GallardoS #calculus #verification #μ-calculus: Verification of Dynamic Data Tree with μ-calculus Extended with Separation (MdMG, DS), pp. 211–221.
ICGT-2010-BalbianiEH #graph grammar #logic: A Dynamic Logic for Termgraph Rewriting (PB, RE, AH), pp. 59–74.
ICGT-2010-Blume #graph #verification: Recognizable Graph Languages for the Verification of Dynamic Systems (CB), pp. 384–387.
ICGT-2010-Donyina #modelling #probability #resource management #simulation: Stochastic Modelling and Simulation of Dynamic Resource Allocation (AD), pp. 388–390.
CHI-2010-ChoKJSS #distance #interface #proximity #query: Dynamic query interface for spatial proximity query with degree-of-interest varied by distance to query point (MC, BHK, DKJ, YGS, JS), pp. 693–702.
CAiSE-2010-GaaloulZCG #policy: Dynamic Authorisation Policies for Event-Based Task Delegation (KG, EZ, FC, CG), pp. 135–149.
CAiSE-2010-GrossniklausLSN #adaptation #data transformation #metamodelling: Dynamic Metamodel Extension Modules to Support Adaptive Data Management (MG, SL, AdS, MCN), pp. 363–377.
ICEIS-AIDSS-2010-AhdabG #learning #network #performance: Efficient Learning of Dynamic Bayesian Networks from Timed Data (AA, MLG), pp. 226–231.
ICEIS-DISI-2010-AndreiRD #authentication #online: Solutions for Speeding-up On-line Dynamic Signature Authentication (VA, SMR, SD), pp. 121–126.
ICEIS-HCI-2010-VinhasOR #assessment #automation #interface #multi #named #realtime: BioStories — Dynamic Multimedia Interfaces based on Automatic Real-time User Emotion Assessment (VV, ECO, LPR), pp. 21–29.
ICEIS-J-2010-VinhasOR10a #assessment #multi #named #realtime: BioStories: Dynamic Multimedia Environments Based on Real-Time Audience Emotion Assessment (VV, ECO, LPR), pp. 512–525.
CIKM-2010-Dumais #information retrieval: Temporal dynamics and information retrieval (STD), pp. 7–8.
CIKM-2010-KatoOOT: Search as if you were in your home town: geographic search by regional context and dynamic feature-space selection (MPK, HO, SO, KT), pp. 1541–1544.
CIKM-2010-SilvestriV #encoding #integer #named #performance #programming: VSEncoding: efficient coding and fast decoding of integer lists via dynamic programming (FS, RV), pp. 1219–1228.
ICML-2010-ChenW #modelling: Dynamical Products of Experts for Modeling Financial Time Series (YC, MW), pp. 207–214.
ICML-2010-DondelingerLH #flexibility #information management #network: Heterogeneous Continuous Dynamic Bayesian Networks with Flexible Structure and Inter-Time Segment Information Sharing (FD, SL, DH), pp. 303–310.
ICML-2010-Martens10a #learning #linear: Learning the Linear Dynamical System with ASOS (JM), pp. 743–750.
ICML-2010-WunderLB #multi: Classes of Multiagent Q-learning Dynamics with epsilon-greedy Exploration (MW, MLL, MB), pp. 1167–1174.
ICPR-2010-Bouchaffra #network: Topological Dynamic Bayesian Networks (DB), pp. 898–901.
ICPR-2010-CamposZJ: An Improved Structural EM to Learn Dynamic Bayesian Nets (CPdC, ZZ, QJ), pp. 601–604.
ICPR-2010-ChenWL #clustering #on the: On Dynamic Weighting of Data in Clustering with K-Alpha Means (SC, HW, BL), pp. 774–777.
ICPR-2010-DeufemiaRT #recognition #sketching: Sketched Symbol Recognition with a Latent-Dynamic Conditional Model (VD, MR, GT), pp. 1100–1103.
ICPR-2010-DuboisPM #adaptation #analysis #component #composition #using: Decomposition of Dynamic Textures Using Morphological Component Analysis: A New Adaptative Strategy (SD, RP, MM), pp. 2258–2261.
ICPR-2010-FornesELV #classification #using: Symbol Classification Using Dynamic Aligned Shape Descriptor (AF, SE, JL, EV), pp. 1957–1960.
ICPR-2010-GhanemA #linear #recognition: Sparse Coding of Linear Dynamical Systems with an Application to Dynamic Texture Recognition (BG, NA), pp. 987–990.
ICPR-2010-GiotHR #2d #low cost #multimodal #recognition: Low Cost and Usable Multimodal Biometric System Based on Keystroke Dynamics and 2D Face Recognition (RG, BH, CR), pp. 1128–1131.
ICPR-2010-HuangCWC #modelling #probability: Probabilistic Modeling of Dynamic Traffic Flow across Non-overlapping Camera Views (CH, WcC, SJW, JHC), pp. 3332–3335.
ICPR-2010-HuotHMP #physics: Estimating Apparent Motion on Satellite Acquisitions with a Physical Dynamic Model (EGH, IH, NM, EP), pp. 41–44.
ICPR-2010-JokoKY #learning #linear #modelling: Learning Non-linear Dynamical Systems by Alignment of Local Linear Models (MJ, YK, TY), pp. 1084–1087.
ICPR-2010-Lin_ #image: Noise-Insensitive Contrast Enhancement for Rendering High-Dynamic-Range Images (HYSL), pp. 2676–2679.
ICPR-2010-LobranoTGR #decidability: A Score Decidability Index for Dynamic Score Combination (CL, RT, GG, FR), pp. 69–72.
ICPR-2010-RahimBBP #analysis #sequence: Pelvic Organs Dynamic Feature Analysis for MRI Sequence Discrimination (MR, MEB, RB, NP), pp. 2496–2499.
ICPR-2010-SuryanarayanSM #recognition #using: Dynamic Hand Pose Recognition Using Depth Data (PS, AS, DM), pp. 3105–3108.
ICPR-2010-TasdizenH #algorithm #estimation #recursion #video: Recursive Dynamically Variable Step Search Motion Estimation Algorithm for High Definition Video (OT, IH), pp. 2354–2357.
ICPR-2010-WangS #approach #problem: The Motion Dynamics Approach to the PnP Problem (BW, FS), pp. 1682–1685.
ICPR-2010-WoloszynskiK #classification #random: A Measure of Competence Based on Randomized Reference Classifier for Dynamic Ensemble Selection (TW, MK), pp. 4194–4197.
ICPR-2010-WongSML: Dynamic Amelioration of Resolution Mismatches for Local Feature Based Identity Inference (YW, CS, SM, BCL), pp. 1200–1203.
KDD-2010-HeP #topic: Topic dynamics: an alternative model of bursts in streams of topics (DH, DSPJ), pp. 443–452.
KDD-2010-IwataYSU #modelling #multi #online #topic: Online multiscale dynamic topic models (TI, TY, YS, NU), pp. 663–672.
KDD-2010-KumarMM: Dynamics of conversations (RK, MM, MM), pp. 553–562.
KDIR-2010-SinghMG #feedback #query #realtime: Dynamic Query Expansion based on User’s Real Time Implicit Feedback (SRS, HAM, TAG), pp. 112–121.
KEOD-2010-MurdockBA #ontology: Two Methods for Evaluating Dynamic Ontologies (JM, CB, CA), pp. 110–122.
KEOD-2010-RedavidEI #case study #comparative #distributed #framework #perspective #semantics #web #web service: A Comparative Study on Semantic Web Services Frameworks from the Dynamic Orchestration Perspective (DR, FE, LI), pp. 355–359.
KEOD-2010-TiwariAMK #mobile #using #web #web service: Dynamic Discovery of Web Services using Mobile Agents (GT, RA, SM, DSK), pp. 497–500.
KMIS-2010-SrivastavaS #composition #game studies #using #validation: The Validation of a Dynamic Service Composition Model using a Simple Game (AS, PGS), pp. 260–266.
KR-2010-Aucher #logic: Characterizing Updates in Dynamic Epistemic Logic (GA).
RecSys-2010-Burke #algorithm #recommendation: Evaluating the dynamic properties of recommendation algorithms (RDB), pp. 225–228.
SEKE-2010-BansalKBG #composition #non-functional #weaving #web #web service: Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition (AB, SK, MBB, GG), pp. 247–252.
SEKE-2010-LuG #analysis #architecture #concurrent #performance #thread #web: Performance Analysis of a Web Server with Dynamic Thread Pool Architecture (JL, SSG), pp. 99–105.
SEKE-2010-NunesBL #adaptation: An End-user Domain-specific Model to Drive Dynamic User Agents Adaptations (IN, SDJB, CJPdL), pp. 509–514.
SEKE-2010-ThovexT #analysis #approach #modelling #multi #network #semantics #social: Dynamic and semantic social networks analysis: a new model based on a multidisciplinary approach (CT, FT), pp. 548–552.
SIGIR-2010-GoharianM #classification #query #using: Context aware query classification using dynamic query window and relationship net (NG, SSRM), pp. 723–724.
ECMFA-2010-KusterGE #modelling #process: Dynamic Computation of Change Operations in Version Management of Business Process Models (JMK, CG, GE), pp. 201–216.
MoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling #uml: Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.
MoDELS-v1-2010-WangXHZZM #approach #consistency #feature model #modelling: A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models (BW, YX, ZH, HZ, WZ, HM), pp. 181–195.
ECOOP-2010-BiermanMT #c#: Adding Dynamic Types to C^# (GMB, EM, MT), pp. 76–100.
ECOOP-2010-DhooliaMSS #debugging #using: Debugging Model-Transformation Failures Using Dynamic Tainting (PD, SM, VSS, SS), pp. 26–51.
OOPSLA-2010-Hanenberg #development #empirical #static typing #type system: An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time (SH), pp. 22–35.
OOPSLA-2010-HerzeelC #control flow #interactive #parallel #recursion: Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator (CH, PC), pp. 377–396.
OOPSLA-2010-LernerVG #aspect-oriented #javascript #using: Supporting dynamic, third-party code customizations in JavaScript using aspects (BSL, HV, DG), pp. 361–376.
OOPSLA-2010-LiangTNS #abstraction #evaluation #precise: A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.
OOPSLA-2010-TianJZS #optimisation #paradigm: An input-centric paradigm for program dynamic optimizations (KT, YJ, EZZ, XS), pp. 125–139.
TOOLS-EUROPE-2010-ArnaudDDPBS #execution: Read-Only Execution for Dynamic Languages (JBA, MD, SD, DP, AB, MS), pp. 117–136.
TOOLS-EUROPE-2010-BergelRB #metric #profiling #visualisation: Visualizing Dynamic Metrics with Profiling Blueprints (AB, RR, WB), pp. 291–309.
GPCE-2010-TanterMBA #aspect-oriented #composition #dynamic analysis: Composition of dynamic analysis aspects (ÉT, PM, WB, DA), pp. 113–122.
GPCE-2010-WurthingerBAMM #aspect-oriented #development #evolution #java #programming #user interface: Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming (TW, WB, DA, PM, HM), pp. 123–126.
PPDP-2010-Balabonski: Optimality for dynamic patterns (TB), pp. 231–242.
PADL-2010-AreiasR #implementation #linear #order #performance: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives (MA, RR), pp. 279–293.
POPL-2010-MartinHCAC #c #c++ #concurrent #policy #source code: Dynamically checking ownership policies in concurrent c/c++ programs (JPM, MH, MC, PA, MC), pp. 457–470.
REFSQ-2010-WelshS #adaptation #comprehension #nondeterminism: Understanding the Scope of Uncertainty in Dynamically Adaptive Systems (KW, PS), pp. 2–16.
SAC-OOPS-J-2008-PirkelbauerPMS10 #algorithm #concept #runtime: Dynamic algorithm selection for runtime concepts (PP, SP, MM, BS), pp. 773–786.
SAC-2010-BautistaSHPD #clustering #power management #requirements #set: Dynamic task set partitioning based on balancing resource requirements and utilization to reduce power consumption (DB, JS, HH, SP, JD), pp. 521–526.
SAC-2010-BayerKK #analysis #performance: Improving the efficiency of dynamic malware analysis (UB, EK, CK), pp. 1871–1878.
SAC-2010-BernalFMD #approach #identification #process #rule-based: Dynamic context-aware business process: a rule-based approach supported by pattern identification (JFMB, PF, MM, JD), pp. 470–474.
SAC-2010-Brunthaler #performance: Efficient inline caching without dynamic translation (SB), pp. 2155–2156.
SAC-2010-ComuzziS #monitoring: Dynamic set-up of monitoring infrastructures for service based systems (MC, GS), pp. 2414–2421.
SAC-2010-Fernandez-MarquezAS: Infrastructureless storage in dynamic environments (JLFM, JLA, GDMS), pp. 1334–1338.
SAC-2010-HirschfeldPSA #contract: Dynamic contract layers (RH, MP, CS, MA), pp. 2169–2175.
SAC-2010-KimJJ: Dynamic register-renaming scheme for reducing power-density and temperature (JK, STJ, CSJ), pp. 231–237.
SAC-2010-NardiniVP #coordination #semantics #tuple: Coordination in open and dynamic environments with TuCSoN semantic tuple centres (EN, MV, EP), pp. 2037–2044.
SAC-2010-PetrucciLM #clustering #optimisation #performance: Dynamic optimization of power and performance for virtualized server clusters (VP, OL, DM), pp. 263–264.
SAC-2010-SahHR #personalisation #web: Dynamic linking and personalization on web (MS, WH, DDR), pp. 1404–1410.
SAC-2010-TeixeiraG #algorithm #network #scheduling: Uplink scheduling algorithm with dynamic polling management in IEEE 802.16 broadband wireless networks (MAT, PRG), pp. 601–602.
FSE-2010-JoshiNSG #detection #dynamic analysis #effectiveness: An effective dynamic analysis for detecting generalized deadlocks (PJ, MN, KS, DG), pp. 327–336.
FSE-2010-MyersS #dynamic analysis #ide #user interface #using: Using dynamic analysis to create trace-focused user interfaces for IDEs (DM, MADS), pp. 367–368.
ICSE-2010-ArtziDTP #fault #locality #web: Practical fault localization for dynamic web applications (SA, JD, FT, MP), pp. 265–274.
ICSE-2010-ErfurthR #aspect-oriented #named #requirements #uml: CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects (IE, WR), pp. 171–174.
ICSE-2010-HussainC #data type: Dynamic symbolic data structure repair (IH, CC), pp. 215–218.
ICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using: Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.
ICSE-2010-Marinho #consistency #modelling #ocl #product line #using: A proposal for consistency checking in dynamic software product line models using OCL (FGM), pp. 333–334.
ICSE-2010-May #quality: Dynamic service quality and resource negotiation for high-availability service-oriented systems (NRM), pp. 327–328.
SPLC-2010-CetinaGFP #design #guidelines #product line #prototype: Designing and Prototyping Dynamic Software Product Lines: Techniques and Guidelines (CC, PG, JF, VP), pp. 331–345.
ASPLOS-2010-GoodsteinVCGKM #adaptation #analysis #data flow #monitoring #parallel: Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring (MLG, EV, SC, PBG, MAK, TCM), pp. 257–270.
ASPLOS-2010-HarrisTCU #architecture #multi #runtime: Dynamic filtering: multi-purpose architecture support for language runtime systems (TH, ST, AC, OSÜ), pp. 39–52.
ASPLOS-2010-IpekCNBM #memory management #reliability: Dynamically replicated memory: building reliable systems from nanoscale resistive memories (EI, JC, EBN, DB, TM), pp. 3–14.
ASPLOS-2010-PelleyMZWU: Power routing: dynamic power provisioning in the data center (SP, DM, PZ, TFW, JU), pp. 231–242.
ASPLOS-2010-RomanescuLS #consistency #memory management #specification #verification: Specifying and dynamically verifying address translation-aware memory consistency (BFR, ARL, DJS), pp. 323–334.
CGO-2010-BorinWWLBHNRR #named #optimisation: TAO: two-level atomicity for dynamic binary optimizations (EB, YW, CW, WL, MBJ, SH, EN, SR, RR), pp. 12–21.
CGO-2010-WangWY #layout #memory management #on the: On improving heap memory layout by dynamic pool allocation (ZW, CW, PCY), pp. 92–100.
CGO-2010-WilliamsMG #scripting language: Dynamic interpretation for dynamic scripting languages (KW, JM, DG), pp. 278–287.
HPDC-2010-GuanYCGLC #distributed #named: DistriBit: a distributed dynamic binary translator system for thin client computing (HG, YY, KC, YG, LL, YC), pp. 684–691.
HPDC-2010-HuLZHX #clustering #manycore #scheduling #virtual machine: I/O scheduling model of virtual machine based on multi-core dynamic partitioning (YH, XL, JZ, JH, LX), pp. 142–154.
HPDC-2010-SonmezYAIE #analysis #clustering #multi #performance #scheduling #workflow: Performance analysis of dynamic workflow scheduling in multicluster grids (OOS, NY, SA, AI, DHJE), pp. 49–60.
OSDI-2010-AttariyanF #analysis #automation #data flow #information management: Automating Configuration Troubleshooting with Dynamic Information Flow Analysis (MA, JF), pp. 237–250.
OSDI-2010-Chlipala #policy #security #static analysis: Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications (AC), pp. 105–118.
PPoPP-2010-AleenSP #execution #predict #streaming: Input-driven dynamic execution prediction of streaming applications (FA, MS, SP), pp. 315–324.
PPoPP-2010-HoeflerSL #communication #protocol #scalability: Scalable communication protocols for dynamic sparse data exchange (TH, CS, AL), pp. 159–168.
CAV-2010-KaiserKW #concurrent #detection #source code: Dynamic Cutoff Detection in Parameterized Concurrent Programs (AK, DK, TW), pp. 645–659.
CAV-2010-MeyerS #named #network: Petruchio: From Dynamic Networks to Nets (RM, TS), pp. 175–179.
CSL-2010-Platzer #difference #distributed #hybrid #logic #quantifier: Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
ICLP-2010-Alviano10 #datalog #set #source code: Dynamic Magic Sets for Disjunctive Datalog Programs (MA), pp. 226–235.
ICLP-J-2010-SlotaL #reasoning #towards: Towards closed world reasoning in dynamic open worlds (MS, JL), pp. 547–563.
ICST-2010-RoestMD #ajax #testing: Regression Testing Ajax Applications: Coping with Dynamism (DR, AM, AvD), pp. 127–136.
ICST-2010-Vega #adaptation #automation #information management #testing #towards: Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems (DEV), pp. 331–334.
ICST-2010-YanCZZZ #clustering #execution: A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information (SY, ZC, ZZ, CZ, YZ), pp. 147–154.
IJCAR-2010-GoreW #logic: Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (RG, FW), pp. 225–239.
ISSTA-2010-BaoZLZX #analysis #data flow #dependence #information management #strict: Strict control dependence and its effect on dynamic information flow analyses (TB, YZ, ZL, XZ, DX), pp. 13–24.
ISSTA-2010-GodefroidK #float #memory management #program analysis #proving #safety: Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.
SAT-2010-TompkinsH #satisfiability: Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.
TAP-2010-Ernst #feedback #how #proving #testing: How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback (MDE), pp. 1–2.
TAP-2010-ThummalapentaHTW #automation #generative #mining #named #testing: DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces (ST, JdH, NT, SW), pp. 77–93.
CBSE-2009-GamaD #component #framework #towards: Towards Dynamic Component Isolation in a Service Oriented Platform (KG, DD), pp. 104–120.
WICSA-ECSA-2009-RaibuletM #adaptation #evaluation #metric #question: Evaluation of dynamic adaptivity through metrics: an achievable target? (CR, LM), pp. 341–344.
CASE-2009-ChiddarwarB #coordination #multi: Dynamic priority allocation for conflict free coordinated manipulation of multiple agents (SSC, NRB), pp. 549–554.
DAC-2009-BaiocchiC #in memory #memory management #using: Heterogeneous code cache: using scratchpad and main memory in dynamic binary translators (JB, BRC), pp. 744–749.
DAC-2009-BaoAEP #dependence #energy #online #optimisation #scalability: On-line thermal aware dynamic voltage scaling for energy optimization with frequency/temperature dependency consideration (MB, AA, PE, ZP), pp. 490–495.
DAC-2009-BowmanTWLKDB: Circuit techniques for dynamic variation tolerance (KAB, JT, CW, SLL, TK, VD, SYB), pp. 4–7.
DAC-2009-HuangV: Transmuting coprocessors: dynamic loading of FPGA coprocessors (CH, FV), pp. 848–851.
DAC-2009-JayaseelanM #adaptation #architecture: Dynamic thermal management via architectural adaptation (RJ, TM), pp. 484–489.
DAC-2009-KandemirOM #concurrent #thread: Dynamic thread and data mapping for NoC based CMPs (MTK, ÖÖ, SPM), pp. 852–857.
DAC-2009-PlishkerSB #data flow #effectiveness #scheduling: Mode grouping for more effective generalized scheduling of dynamic dataflow applications (WP, NS, SSB), pp. 923–926.
DAC-2009-ShankarL #multi #profiling: Non-intrusive dynamic application profiling for multitasked applications (KS, RLL), pp. 130–135.
DATE-2009-BartoliniRB #analysis #quality #scalability #visual notation: Visual quality analysis for dynamic backlight scaling in LCD systems (AB, MR, LB), pp. 1428–1433.
DATE-2009-CoskunAARL #3d #architecture #manycore: Dynamic thermal management in 3D multicore architectures (AKC, JLA, DA, TSR, YL), pp. 1410–1415.
DATE-2009-EbrahimiDNMAPT #multi #protocol: An efficent dynamic multicast routing protocol for distributing traffic in NOCs (ME, MD, MHN, SM, AAK, JP, HT), pp. 1064–1069.
DATE-2009-OzturkK #compilation #execution #memory management #using: Using dynamic compilation for continuing execution under reduced memory availability (ÖÖ, MTK), pp. 1373–1378.
DATE-2009-PlishkerSB #approach #data flow #scheduling: A generalized scheduling approach for dynamic dataflow applications (WP, NS, SSB), pp. 111–116.
DATE-2009-PuschiniCBST #distributed #energy #latency: Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC (DP, FC, PB, GS, LT), pp. 1564–1567.
DATE-2009-XuVJ #runtime: Selective light Vth hopping (SLITH): Bridging the gap between runtime dynamic and leakage (HX, RV, WBJ), pp. 594–597.
DocEng-2009-ConcolatoFD #declarative #interface: Declarative interfaces for dynamic widgets communications (CC, JLF, JCD), pp. 241–244.
DocEng-2009-KuijkGCB #declarative #documentation #multi #visual notation: Adding dynamic visual manipulations to declarative multimedia documents (FK, RLG, PC, DCAB), pp. 149–152.
DRR-2009-Likforman-SulemS #classification #network #recognition: Combination of dynamic Bayesian network classifiers for the recognition of degraded characters (LLS, MS), pp. 1–10.
HT-2009-Beauvisage #web: The dynamics of personal territories on the web (TB), pp. 25–34.
HT-2009-BoellaTV #metric #network #social: Four measures for the dynamics of coalitions in social networks (GB, LWNvdT, SV), pp. 361–362.
HT-2009-BraP #adaptation #framework #hypermedia: Dynamic and adaptive hypertext: generic frameworks, approaches and techniques (PDB, MP), pp. 387–388.
HT-2009-LoretoC #community #online: Tagging dynamics in online communities (VL, AC), pp. 391–392.
HT-2009-SteichenLOW #corpus #generative #hypermedia #reuse: Dynamic hypertext generation for reusing open corpus content (BS, SL, AO, VW), pp. 119–128.
ICDAR-2009-AgrawalD09a #approach #segmentation: Voronoi++: A Dynamic Page Segmentation Approach Based on Voronoi and Docstrum Features (MA, DSD), pp. 1011–1015.
ICDAR-2009-GalballyFMO #evaluation #using #verification: Evaluation of Brute-force Attack to Dynamic Signature Verification Using Synthetic Samples (JG, JF, MMD, JOG), pp. 131–135.
ICDAR-2009-GalballyFMO09a: Improving the Enrollment in Dynamic Signature Verfication with Synthetic Samples (JG, JF, MMD, JOG), pp. 1295–1299.
ICDAR-2009-PirloITS #classification #normalisation: Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping (GP, DI, CAT, ES), pp. 416–420.
ICDAR-2009-RoyPLD #multi #programming #segmentation #using: Multi-Oriented and Multi-Sized Touching Character Segmentation Using Dynamic Programming (PPR, UP, JL, MD), pp. 11–15.
PODS-2009-Yi #bound #query: Dynamic indexability and lower bounds for dynamic one-dimensional range query indexes (KY), pp. 187–196.
SIGMOD-2009-ChaudhuriNS #profiling #static analysis #using: Bridging the application and DBMS divide using static analysis and dynamic profiling (SC, VRN, MS), pp. 1039–1042.
SIGMOD-2009-ChenOG #performance #using: Fast and dynamic OLAP exploration using UDFs (ZC, CO, CGA), pp. 1087–1090.
SIGMOD-2009-GhazalSBCKG #generative #query: Dynamic plan generation for parameterized queries (AG, DYS, RB, AC, MK, VG), pp. 909–916.
SIGMOD-2009-XuLWB #named #xml: DDE: from dewey to a fully dynamic XML labeling scheme (LX, TWL, HW, ZB), pp. 719–730.
VLDB-2009-DongBS09a #detection: Truth Discovery and Copying Detection in a Dynamic World (XLD, LBE, DS), pp. 562–573.
VLDB-2009-KimH #clustering #network: A Particle-and-Density Based Evolutionary Clustering Method for Dynamic Networks (MSK, JH), pp. 622–633.
VLDB-2009-KrompassKWWDK: A Testbed for Managing Dynamic Mixed Workloads (SK, HAK, JLW, KW, UD, AK), pp. 1562–1565.
VLDB-2009-PangZM #database #outsourcing #scalability #verification: Scalable Verification for Outsourced Dynamic Databases (HP, JZ, KM), pp. 802–813.
CSEET-2009-SaurabhK #re-engineering: Software Engineering: A System Dynamics Simulated Pedagogical Practice (KS, BK), pp. 280–283.
CSEET-2009-Subrahmanyam #education #framework #re-engineering: A Dynamic Framework for Software Engineering Education Curriculum to Reduce the Gap between the Software Organizations and Software Educational Institutions (GVBS), pp. 248–254.
ESOP-2009-SadowskiFF #named #parallel #source code #thread: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.
FASE-2009-ChenWYS #detection #named #static analysis: HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis (QC, LW, ZY, SDS), pp. 425–439.
FoSSaCS-2009-Leivant #logic #on the: On the Completeness of Dynamic Logic (DL), pp. 78–91.
TACAS-2009-AtigBQ #analysis #bound #concurrent #source code #thread: Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads (MFA, AB, SQ), pp. 107–123.
CSMR-2009-PatelHR #clustering #dependence #dynamic analysis #using: Software Clustering Using Dynamic Analysis and Static Dependencies (CP, AHL, JR), pp. 27–36.
CSMR-2009-SoriaPC09a #architecture #aspect-oriented #configuration management #using: Handling the Dynamic Reconfiguration of Software Architectures Using Aspects (CCS, JP, JÁC), pp. 263–266.
ICPC-2009-SatoshiII #interactive #named #visualisation: OGAN: Visualizing object interaction scenarios based on dynamic interaction context (MS, TI, KI), pp. 283–284.
ICSM-2009-DaraLLST #execution #testing #using: Using dynamic execution data to generate test cases (RD, SL, WL, ASG, LT), pp. 433–436.
ICSM-2009-FengG #detection: Detecting virus mutations via dynamic matching (MF, RG), pp. 105–114.
ICSM-2009-RothlisbergerHVABNM #ide #metric: Augmenting static source views in IDEs with dynamic metrics (DR, MH, AV, DA, WB, ON, PM), pp. 253–262.
ICSM-2009-RothlisbergerHVABNM09a #eclipse #metric #named: Senseo: Enriching Eclipse’s static source views with dynamic metrics (DR, MH, AV, DA, WB, ON, PM), pp. 383–384.
ICSM-2009-WangLSKKL #approach #combinator #graph #navigation #web: A combinatorial approach to building navigation graphs for dynamic web applications (WW, YL, SS, RK, RK, JL), pp. 211–220.
ICSM-2009-WitZD #clone tracking #using: Managing code clones using dynamic change tracking and resolution (MdW, AZ, AvD), pp. 169–178.
PLDI-2009-FlanaganF #concurrent #detection #named #performance #precise: FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.
PLDI-2009-GalESAMHKHZORSRBCF: Trace-based just-in-time type specialization for dynamic languages (AG, BE, MS, DA, DM, MRH, BK, GH, BZ, JO, JR, EWS, RR, MB, MC, MF), pp. 465–478.
PLDI-2009-JoshiPSN #detection #program analysis #random: A randomized dynamic program analysis technique for detecting real deadlocks (PJ, CSP, KS, MN), pp. 110–120.
PLDI-2009-SubramanianHM #approach: Dynamic software updates: a VM-centric approach (SS, MWH, KSM), pp. 1–12.
SAS-2009-DohKS #parsing #static analysis #string #using: Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology (KGD, HK, DAS), pp. 256–272.
STOC-2009-Even-DarMN #convergence #game studies #on the: On the convergence of regret minimization dynamics in concave games (EED, YM, UN), pp. 523–532.
CIAA-2009-AtigT #communication #parallel #source code #verification: Verifying Parallel Programs with Dynamic Communication Structures (MFA, TT), pp. 145–154.
ICALP-v1-2009-FarzanM #order: Dynamic Succinct Ordered Trees (AF, JIM), pp. 439–450.
ICALP-v2-2009-AnagnostopoulosKMU #how: Sort Me If You Can: How to Sort Dynamic Data (AA, RK, MM, EU), pp. 339–350.
ICALP-v2-2009-PuglieseTY #on the: On Observing Dynamic Prioritised Actions in SOC (RP, FT, NY), pp. 558–570.
ICALP-v2-2009-Zhang: Proportional Response Dynamics in the Fisher Market (LZ), pp. 583–594.
LATA-2009-Gierasimczuk #learning #logic: Learning by Erasing in Dynamic Epistemic Logic (NG), pp. 362–373.
LATA-2009-NakamuraHT #predict: Prediction of Creole Emergence in Spatial Language Dynamics (MN, TH, ST), pp. 614–625.
FM-2009-AhrendtBG #logic: Abstract Object Creation in Dynamic Logic (WA, FSdB, IG), pp. 612–627.
FM-2009-JohnsenKY #composition #concurrent #distributed #evolution: Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects (EBJ, MK, ICY), pp. 596–611.
IFM-2009-LangariT #graph transformation #verification: Application of Graph Transformation in Verification of Dynamic Systems (ZL, RJT), pp. 261–276.
IFM-2009-YangASHSG #model checking #reduction: Dynamic Path Reduction for Software Model Checking (ZY, BAR, KAS, XH, SAS, RG), pp. 322–336.
CHI-2009-AdarTD #web: Resonance on the web: web dynamics and revisitation patterns (EA, JT, STD), pp. 1381–1390.
CHI-2009-FiebrinkMM #physics: Dynamic mapping of physical controls for tabletop groupware (RF, DM, MRM), pp. 471–480.
CHI-2009-HarrisonH #physics #visual notation: Providing dynamically changeable physical buttons on a visual display (CH, SEH), pp. 299–308.
CHI-2009-SongGFGKAK #mobile #named #visual notation: PenLight: combining a mobile projector and a digital pen for dynamic visual overlay (HS, TG, GWF, FG, AK, RA, GK), pp. 143–152.
CHI-2009-WobbrockFLKH: The angle mouse: target-agnostic dynamic gain adjustment based on angular deviation (JOW, JF, SY(L, SK, SH), pp. 1401–1410.
DHM-2009-ChengR #modelling: Static and Dynamic Human Shape Modeling (ZC, KMR), pp. 3–12.
DHM-2009-Furstenau #ambiguity: Computational Nonlinear Dynamics Model of Percept Switching with Ambiguous Stimuli (NF), pp. 227–236.
HCI-AUII-2009-PaelkeN #agile #concept #design #navigation #user interface: Dynamic Maps for Future Navigation Systems: Agile Design Exploration of User Interface Concepts (VP, KN), pp. 169–178.
HCI-NIMT-2009-AlexanderAA #framework #gesture #incremental #learning #open source #realtime #recognition: An Open Source Framework for Real-Time, Incremental, Static and Dynamic Hand Gesture Learning and Recognition (TCA, HSA, GCA), pp. 123–130.
HCI-NIMT-2009-LevendovszkyM #behaviour #domain-specific language #modelling #visual notation: Tooling the Dynamic Behavior Models of Graphical DSLs (TL, TM), pp. 830–839.
HIMI-II-2009-LinL #evaluation #interface #usability #web: Usability Evaluation of Dynamic RSVP Interface on Web Page (YLL, DL), pp. 55–64.
OCSC-2009-BarberioL #community #network: Weighting Structures: Evolutionary Dynamics of Innovation Networks in Virtual Communities (VB, AL), pp. 295–304.
VISSOFT-2009-VoigtBD #information management: Enhancing structural views of software systems by dynamic information (SV, JB, JD), pp. 47–50.
SIGAda-2009-Lathrop #ada #branch #dynamic analysis #predict: Dynamic analysis of branch mispredictions in Ada (SML), pp. 79–84.
ICEIS-AIDSS-2009-ChongC #using: An Investigation into Dynamic Customer Requirement using Computational Intelligence (YTC, CHC), pp. 113–117.
ICEIS-AIDSS-2009-SpradoG #semantics: Semantic Argumentation in Dynamic Environments (JS, BG), pp. 236–241.
ICEIS-DISI-2009-SofokleousAK #execution #generative #symbolic computation #testing: Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.
ICEIS-HCI-2009-VinhasSOR #assessment #multi #realtime #towards: Dynamic Multimedia Environment based on Realtime user Emotion Assessment — Biometric User Data towards Affective Immersive Environments (VV, DCS, ECO, LPR), pp. 42–47.
CIKM-2009-MasadaFTHSO #analysis #optimisation #topic: Dynamic hyperparameter optimization for bayesian topical trend analysis (TM, DF, AT, TH, YS, KO), pp. 1831–1834.
CIKM-2009-NaLM: Dynamic in-page logging for flash-aware B-tree index (GJN, SWL, BM), pp. 1485–1488.
ICML-2009-BusettoOB: Optimized expected information gain for nonlinear dynamical systems (AGB, CSO, JMB), pp. 97–104.
ICML-2009-Even-DarM #convergence #summary #tutorial: Tutorial summary: Convergence of natural dynamics to equilibria (EED, VSM), p. 13.
ICML-2009-FuSX #evolution #network: Dynamic mixed membership blockmodel for evolving networks (WF, LS, EPX), pp. 329–336.
ICML-2009-GomesK #dynamic analysis #multi: Dynamic analysis of multiagent Q-learning with ε-greedy exploration (ERG, RK), pp. 369–376.
ICML-2009-HuangS #learning #linear #sequence: Learning linear dynamical systems without sequence information (TKH, JGS), pp. 425–432.
ICML-2009-LangfordSZ #learning #modelling: Learning nonlinear dynamic models (JL, RS, TZ), pp. 593–600.
ICML-2009-SongHSF: Hilbert space embeddings of conditional distributions with applications to dynamical systems (LS, JH, AJS, KF), pp. 961–968.
ICML-2009-Welling: Herding dynamical weights to learn (MW), pp. 1121–1128.
KDD-2009-Koren #collaboration: Collaborative filtering with temporal dynamics (YK), pp. 447–456.
KDD-2009-LeskovecBK: Meme-tracking and the dynamics of the news cycle (JL, LB, JMK), pp. 497–506.
KDD-2009-LiuKJ #graph #learning #monitoring: Learning dynamic temporal graphs for oil-production equipment monitoring system (YL, JRK, OJ), pp. 1225–1234.
KDD-2009-ScrippsTE #analysis #network #preprocessor: Measuring the effects of preprocessing decisions and network forces in dynamic network analysis (JS, PNT, AHE), pp. 747–756.
KDD-2009-TantipathananandhB #algorithm #approximate #community #identification: Constant-factor approximation algorithms for identifying dynamic communities (CT, TYBW), pp. 827–836.
KDD-2009-YouHC #biology #learning #network: Learning patterns in the dynamics of biological networks (CHY, LBH, DJC), pp. 977–986.
KDD-2009-ZhangWWZ #community #detection #network #parallel #scalability: Parallel community detection on large networks with propinquity dynamics (YZ, JW, YW, LZ), pp. 997–1006.
KEOD-2009-CastelaT #enterprise #process: Enhancing Organizational Self Awareness — The As-is Enterprise Model Dynamic Updating Process (NC, JMT), pp. 315–320.
KEOD-2009-SellamiGAR #adaptation #multi #ontology: Dynamic Ontology Co-construction based on Adaptive Multi-Agent Technology (ZS, MPG, NAG, SR), pp. 56–63.
MLDM-2009-Mendes-MoreiraJSS #approach #case study #learning: Ensemble Learning: A Study on Different Variants of the Dynamic Selection Approach (JMM, AMJ, CS, JFdS), pp. 191–205.
MLDM-2009-TronciGR: Dynamic Score Combination: A Supervised and Unsupervised Score Combination Method (RT, GG, FR), pp. 163–177.
RecSys-2009-AntonelliFGL #named #recommendation: DynamicTV: a culture-aware recommender (FA, GF, MG, SL), pp. 257–260.
RecSys-2009-Castro-HerreraCM #evolution #online #recommendation: A recommender system for dynamically evolving online forums (CCH, JCH, BM), pp. 213–216.
RecSys-2009-WalterBS #network #personalisation #social #trust: Personalised and dynamic trust in social networks (FEW, SB, FS), pp. 197–204.
SEKE-2009-ChengCSW #composition: Dynamic Service Composition for Virtual UPnP Device Creation (STC, CLC, JS, MW), pp. 364–369.
SEKE-2009-LiuKC #adaptation #case study #random testing #testing: Dynamic Test Profiles in Adaptive Random Testing: A Case Study (HL, FCK, TYC), pp. 418–421.
SIGIR-2009-ItakuraC #detection #markov #using #wiki: Using dynamic markov compression to detect vandalism in the wikipedia (KYI, CLAC), pp. 822–823.
SIGIR-2009-KeSM #clustering #effectiveness #online: Dynamicity vs. effectiveness: studying online clustering for scatter/gather (WK, CRS, JM), pp. 19–26.
MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
ECOOP-2009-SmansJP #logic: Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic (JS, BJ, FP), pp. 148–172.
OOPSLA-2009-FurrAF #scripting language #static typing #type system: Profile-guided static typing for dynamic scripting languages (MF, Jh(A, JSF), pp. 283–300.
OOPSLA-2009-HaABM #concurrent #dynamic analysis #framework #hardware #manycore: A concurrent dynamic analysis framework for multicore hardware (JH, MA, SMB, KSM), pp. 155–174.
TOOLS-EUROPE-2009-BebenitaCGF #compilation #object-oriented: Stream-Based Dynamic Compilation for Object-Oriented Languages (MB, MC, AG, MF), pp. 77–95.
GPCE-2009-VillazonBAM09a #adaptation #aspect-oriented #java #named #programming #tool support: HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java (AV, WB, DA, PM), pp. 95–98.
PPDP-2009-ClericiZ #evaluation: A dynamically customizable process-centered evaluation model (SC, CZ), pp. 37–48.
RE-2009-WnukRK #comprehension #industrial #scalability #visualisation #what: What Happened to Our Features? Visualization and Understanding of Scope Change Dynamics in a Large-Scale Industrial Setting (KW, BR, LK), pp. 89–98.
REFSQ-2009-WelshS #adaptation #requirements: Requirements Tracing to Support Change in Dynamically Adaptive Systems (KW, PS), pp. 59–73.
SAC-2009-CamargoFK #distributed #maintenance #performance: Efficient maintenance of distributed data in highly dynamic opportunistic grids (RYdC, FCF, FK), pp. 1067–1071.
SAC-2009-DelicatoSPOBP #adaptation #aspect-oriented #composition #mobile #using: Using aspects and dynamic composition to provide context-aware adaptation for mobile applications (FCD, ILAS, PFP, ALSO, TVB, LP), pp. 456–460.
SAC-2009-DrumwrightS #robust #simulation: A robust and tractable contact model for dynamic robotic simulation (ED, DAS), pp. 1176–1180.
SAC-2009-Fernandez-MarquezA: Keeping diversity when exploring dynamic environments (JLFM, JLA), pp. 1192–1196.
SAC-2009-GroppeGEL #in memory #memory management #performance #strict: Efficient processing of SPARQL joins in memory by dynamically restricting triple patterns (JG, SG, SE, VL), pp. 1231–1238.
SAC-2009-JeonPC #energy #grid #performance: Sink-oriented dynamic location service for shortest path relay with energy efficient global grid (HJ, KP, HC), pp. 2174–2179.
SAC-2009-LiuMZ #approach #dependence #evolution #identification: An approach to identifying conversation dependency in service oriented system during dynamic evolution (ML, DM, YZ), pp. 1072–1073.
SAC-2009-PetrucciLM #adaptation #clustering #framework #power management: A framework for dynamic adaptation of power-aware server clusters (VP, OL, DM), pp. 1034–1039.
SAC-2009-PinhoOL #incremental #set #visualisation: Incremental board: a grid-based space for visualizing dynamic data sets (RP, MCFdO, AdAL), pp. 1757–1764.
SAC-2009-RouvoyEB #adaptation #dependence #self #ubiquitous #weaving: Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services (RR, FE, MB), pp. 1021–1028.
SAC-2009-SherminO #network #using: Using dynamic bayesian networks to infer gene regulatory networks from expression profiles (AS, MAO), pp. 799–803.
SAC-2009-YiMCKJ #named #network: Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks (SY, HM, YC, YK, IJ), pp. 339–340.
ESEC-FSE-2009-GeipelS #java: Software change dynamics: evidence from 35 java projects (MMG, FS), pp. 269–272.
ESEC-FSE-2009-Schafer #concept #navigation: IQ routes and HD traffic: technology insights about tomtom’s time-dynamic navigation concept (RPS), pp. 171–172.
ICSE-2009-MorinBNJ #adaptation #aspect-oriented #modelling #using: Taming Dynamically Adaptive Systems using models and aspects (BM, OB, GN, JMJ), pp. 122–132.
SLE-2009-LairdB #domain-specific language #evolution #towards: Towards Dynamic Evolution of Domain Specific Languages (PL, SB), pp. 144–153.
SPLC-2009-ParraBD #product line: Context awareness for dynamic service-oriented product lines (CAP, XB, LD), pp. 131–140.
ASPLOS-2009-RajamaniRRV #named #source code: ISOLATOR: dynamically ensuring isolation in comcurrent programs (SKR, GR, VPR, KV), pp. 181–192.
ASPLOS-2009-WegielK #predict: Dynamic prediction of collection yield for managed runtimes (MW, CK), pp. 289–300.
CC-2009-AbadiBHHI #implementation #memory management #transaction: Implementation and Use of Transactional Memory with Dynamic Separation (MA, AB, TH, JH, MI), pp. 63–77.
CC-2009-CampanoniSAC #compilation #jit #manycore: Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment (SC, MS, GA, SCR), pp. 220–235.
CC-2009-FarooqJ #architecture #data flow #scheduling: Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures (MUF, LKJ), pp. 190–203.
CC-2009-GaoLXN #concurrent #predict #recursion #source code #thread: Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction (LG, LL, JX, TFN), pp. 78–93.
CGO-2009-CuthbertsonVBAS #approach #hardware #monitoring #optimisation #performance #virtual machine: A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM (JC, SV, KB, AA, EK, US), pp. 190–199.
CGO-2009-KumarCS #debugging: Transparent Debugging of Dynamically Optimized Code (NK, BRC, MLS), pp. 275–286.
CGO-2009-LiWH #data access #evaluation: An Evaluation of Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems (JL, CW, WCH), pp. 180–189.
HPCA-2009-AwasthiSBC #capacity #scalability: Dynamic hardware-assisted software-controlled page placement to manage capacity allocation and sharing within large caches (MA, KS, RB, JBC), pp. 250–261.
HPCA-2009-HerbertM #scalability: Variation-aware dynamic voltage/frequency scaling (SH, DM), pp. 301–312.
ISMM-2009-HazelwoodLC #parallel #scalability #thread: Scalable support for multithreaded applications on dynamic binary instrumentation systems (KMH, GL, RC), pp. 20–29.
ISMM-2009-JumpM #analysis #metric: Dynamic shape analysis via degree metrics (MJ, KSM), pp. 119–128.
PPoPP-2009-AllenSS #dependence #execution #parallel #set: Serialization sets: a dynamic dependence-based parallel execution model (MDA, SS, GSS), pp. 85–96.
PPoPP-2009-BaskaranVBRRS #effectiveness #manycore #parallel #scheduling: Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors (MMB, NV, UB, JR, AR, PS), pp. 219–228.
CAV-2009-DangS #image #polynomial #using: Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion (TD, DS), pp. 219–232.
CAV-2009-LammichMW #automaton #constraints #network #set: Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints (PL, MMO, AW), pp. 525–539.
ICST-2009-WikstrandFGZW #testing: Dynamic Regression Test Selection Based on a File Cache (GW, RF, JKG, WZ, CW), pp. 299–302.
ISSTA-2009-BabenkoMP #automation #detection #named: AVA: automated interpretation of dynamically detected anomalies (AB, LM, FP), pp. 237–248.
ISSTA-2009-ClauseO #automation #identification #named #using: Penumbra: automatically identifying failure-relevant inputs using dynamic tainting (JAC, AO), pp. 249–260.
ISSTA-2009-ElkarabliehGL #generative #pointer #precise #reasoning #testing: Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.
SAT-2009-SchaafsmaHM #simulation #symmetry: Dynamic Symmetry Breaking by Simulating Zykov Contraction (BS, MH, HvM), pp. 223–236.
TAP-2009-GriesmayerAJS #distributed #execution #symbolic computation #testing: Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.
VMCAI-2009-Oshman #bound #model checking: An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking (RO), pp. 275–289.
CBSE-2008-GamaD #approach #framework: A Practical Approach for Finding Stale References in a Dynamic Service Platform (KG, DD), pp. 246–261.
ECSA-2008-BatistaGCCG #aspect-oriented #configuration management #on the: On the Interplay of Aspects and Dynamic Reconfiguration in a Specification-to-Deployment Environment (TVB, ATAG, GC, CC, AG), pp. 314–317.
ECSA-2008-MyllarniemiPRGM #approach #architecture #constraints #distributed: Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints (VM, CP, MR, JvG, TM), pp. 180–195.
ECSA-2008-Perry #architecture #design #evolution #maintenance #using: Issues in Architecture Evolution: Using Design Intent in Maintenance and Controlling Dynamic Evolution (DEP), p. 1.
ECSA-2008-SoriaPC #architecture #evolution: Managing Dynamic Evolution of Architectural Types (CCS, JP, JÁC), pp. 281–289.
ASE-2008-BeyerHT #precise #program analysis: Program Analysis with Dynamic Precision Adjustment (DB, TAH, GT), pp. 29–38.
ASE-2008-BurnimS #generative #heuristic #scalability #testing: Heuristics for Scalable Dynamic Test Generation (JB, KS), pp. 443–446.
ASE-2008-ZismanSD #framework: A Framework for Dynamic Service Discovery (AZ, GS, JD), pp. 158–167.
CASE-2008-AdamekSS #hybrid #nondeterminism #probability: Stochastic optimal control for hybrid systems with uncertain discrete dynamics (FA, MS, OS), pp. 23–28.
CASE-2008-HanX #identification #multi #network #using: Nonlinear systems identification using dynamic multi-time scales neural networks (XH, WFX), pp. 448–453.
CASE-2008-HouZWCT #adaptation #approach #fuzzy #nondeterminism #using: Adaptive dynamic surface control of a class of uncertain nonlinear systems in pure-feedback form using fuzzy backstepping approach (ZGH, AMZ, FXW, LC, MT), pp. 821–826.
CASE-2008-HuLH #bibliography #enterprise #modelling #problem #towards: Towards modeling of resilience dynamics in manufacturing enterprises: Literature review and problem formulation (YH, JL, LEH), pp. 279–284.
CASE-2008-KangXWW #assembly #scheduling: A swarm-dynamic scheduling method for semiconductor assembly production line (QK, HX, LW, QW), pp. 91–96.
CASE-2008-KimMHJL #image #nondeterminism #robust: Image-based robust control of robot manipulators with image Jacobian and dynamics uncertainties (CSK, EJM, SMH, MSJ, KWL), pp. 732–737.
CASE-2008-MittalYBB #difference #equation #modelling #multi #performance #probability #using: Dynamics and performance modeling of multi-stage manufacturing systems using nonlinear stochastic differential equations (UM, HY, STSB, LGB), pp. 498–503.
CASE-2008-NagarshethSP #modelling: Modeling and dynamics of human arm (HJN, PVS, MAP), pp. 924–928.
CASE-2008-TianL: Particle filter positioning and tracking based on dynamic model (ZT, LL), pp. 756–759.
DAC-2008-BournoutianO #design #embedded #reduction: Miss reduction in embedded processors through dynamic, power-friendly cache design (GB, AO), pp. 304–309.
DAC-2008-CaoFHS #algorithm #multi #scalability: Optimality and improvement of dynamic voltage scaling algorithms for multimedia applications (ZC, BF, LH, MvdS), pp. 179–184.
DAC-2008-HomayounPMV #embedded #energy #performance #scalability: Dynamic register file resizing and frequency scaling to improve embedded processor performance and energy-delay efficiency (HH, SP, MAM, AVV), pp. 68–71.
DAC-2008-KurimotoSAYOTS #detection #fault #optimisation #scalability: Phase-adjustable error detection flip-flops with 2-stage hold driven optimization and slack based grouping scheme for dynamic voltage scaling (MK, HS, RA, TY, HO, HT, HS), pp. 884–889.
DAC-2008-LaiWGLD #architecture: A dynamically-allocated virtual channel architecture with congestion awareness for on-chip routers (McL, ZW, LG, HL, KD), pp. 630–633.
DAC-2008-YeoLK #manycore #predict: Predictive dynamic thermal management for multicore systems (IY, CCL, EJK), pp. 734–739.
DATE-2008-BatcherW #embedded #scheduling: Dynamic Round-Robin Task Scheduling to Reduce Cache Misses for Embedded Systems (KWB, RAW), pp. 260–263.
DATE-2008-BauerSKH #embedded #runtime #set: Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set (LB, MS, SK, JH), pp. 752–757.
DATE-2008-BriaoBW #realtime: Dynamic Task Allocation Strategies in MPSoC for Soft Real-time Applications (EWB, DB, FRW), pp. 1386–1389.
DATE-2008-ChouM: User-Aware Dynamic Task Allocation in Networks-on-Chip (CLC, RM), pp. 1232–1237.
DATE-2008-HongYBCEK #bias #runtime #scalability: Dynamic Voltage Scaling of Supply and Body Bias Exploiting Software Runtime Distribution (SH, SY, BB, KMC, SKE, TK), pp. 242–247.
DATE-2008-JungP #nondeterminism #power management: Resilient Dynamic Power Management under Uncertainty (HJ, MP), pp. 224–229.
DATE-2008-KleanthousS #detection #named: CATCH: A Mechanism for Dynamically Detecting Cache-Content-Duplication and its Application to Instruction Caches (MK, YS), pp. 1426–1431.
DATE-2008-LiuQW #energy #realtime: Energy Aware Dynamic Voltage and Frequency Selection for Real-Time Systems with Energy Harvesting (SL, QQ, QW), pp. 236–241.
DATE-2008-Lotfi-KamranDLN #protocol: BARP-A Dynamic Routing Protocol for Balanced Distribution of Traffic in NoCs (PLK, MD, CL, ZN), pp. 1408–1413.
DATE-2008-MokhovY #configuration management #graph #partial order #synthesis: Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis (AM, AY), pp. 1142–1147.
DATE-2008-MolnosHC #composition #embedded #multi: Compositional, dynamic cache management for embedded chip multiprocessors (AMM, MJMH, SDC), pp. 991–996.
DATE-2008-MuirAL #automation #pipes and filters #streaming: Automated Dynamic Throughput-constrained Structural-level Pipelining in Streaming Applications (MM, TA, IL), pp. 1358–1361.
DATE-2008-RedaelliSS #anti #configuration management #scheduling: Task Scheduling with Configuration Prefetching and Anti-Fragmentation techniques on Dynamically Reconfigurable Systems (FR, MDS, DS), pp. 519–522.
DocEng-2008-KadeH #documentation #xml: Matching XML documents in highly dynamic applications (AMK, CAH), pp. 191–198.
DRR-2008-HottaF #recognition #synthesis: Line-touching character recognition based on dynamic reference feature synthesis (YH, KF), p. 68150.
HT-2008-ChoudhurySJS #communication #predict #social #using: Dynamic prediction of communication flow using social context (MDC, HS, AJ, DDS), pp. 49–54.
HT-2008-ChoudhurySJS08a #communication #correlation #process #question: Can blog communication dynamics be correlated with stock market activity? (MDC, HS, AJ, DDS), pp. 55–60.
HT-2008-DellschaftS: An epistemic dynamic model for tagging systems (KD, SS), pp. 71–80.
HT-2008-Huberman #social #web: Social dynamics in the age of the web (BAH), pp. 1–2.
PODS-2008-SozioNW #network #peer-to-peer #replication: Near-optimal dynamic replication in unstructured peer-to-peer networks (MS, TN, GW), pp. 281–290.
SIGMOD-2008-MoerkotteN #programming: Dynamic programming strikes back (GM, TN), pp. 539–552.
SIGMOD-2008-XiaoT #analysis #privacy #statistics: Dynamic anonymization: accurate statistical analysis with privacy preservation (XX, YT), pp. 107–120.
VLDB-2008-AvanesF #adaptation #constraints #network #resource management #scheduling #workflow: Adaptive workflow scheduling under resource allocation constraints and network dynamics (AA, JCF), pp. 1631–1637.
VLDB-2008-RoitmanCY #maintenance #web: Maintaining dynamic channel profiles on the web (HR, DC, EYT), pp. 151–162.
VLDB-2008-SoundararajanCSA #clustering: Dynamic partitioning of the cache hierarchy in shared data centers (GS, JC, MAS, CA), pp. 635–646.
VLDB-2008-ZhuLCWG #database: Dynamic active probing of helpdesk databases (SZ, TL, ZC, DW, YG), pp. 748–760.
ITiCSE-2008-Shaban-NejadH #education #learning #towards: Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education (ASN, VH), p. 375.
FASE-2008-MossakowskiSG #logic #reasoning: A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.
FASE-2008-SmansJPS #automation #java #source code #verification: An Automatic Verifier for Java-Like Programs Based on Dynamic Frames (JS, BJ, FP, WS), pp. 261–275.
CSMR-2008-GregersenJ: Module Reload through Dynamic Update — The Case of NetBeans (ARG, BNJ), pp. 23–32.
ICPC-2008-EaddyAAG #dynamic analysis #information retrieval #named #program analysis #requirements #source code #using: CERBERUS: Tracing Requirements to Source Code Using Information Retrieval, Dynamic Analysis, and Program Analysis (ME, AVA, GA, YGG), pp. 53–62.
ICPC-2008-Quante #comprehension #empirical #graph #process: Do Dynamic Object Process Graphs Support Program Understanding? — A Controlled Experiment (JQ), pp. 73–82.
ICPC-2008-RohatgiHR #approach #dynamic analysis: An Approach for Mapping Features to Code Based on Static and Dynamic Analysis (AR, AHL, JR), pp. 236–241.
ICSM-2008-AntoniolHGP #cost analysis #reuse: Reuse or rewrite: Combining textual, static, and dynamic analyses to assess the cost of keeping a system up-to-date (GA, JHH, YGG, MDP), pp. 147–156.
ICSM-2008-TallamTG #concurrent #detection #parallel #slicing #source code #thread: Dynamic slicing of multithreaded programs for race detection (ST, CT, RG), pp. 97–106.
MSR-2008-HataMK #precise #using: An extension of fault-prone filtering using precise training and a dynamic threshold (HH, OM, TK), pp. 89–98.
WCRE-2008-CleveH #data-driven #dynamic analysis #reverse engineering #sql: Dynamic Analysis of SQL Statements for Data-Intensive Applications Reverse Engineering (AC, JLH), pp. 192–196.
WCRE-2008-RothlisbergerG #ide #representation: Representing and Integrating Dynamic Collaborations in IDEs (DR, OG), pp. 74–78.
PEPM-2008-LamMLW #data flow #information management #web: Securing web applications with static and dynamic information flow tracking (MSL, MCM, VBL, JW), pp. 3–12.
PEPM-2008-PuchingerS #automation #bound #source code: Automating branch-and-bound for dynamic programs (JP, PJS), pp. 81–89.
PLDI-2008-FlanaganFY #named #parallel #source code #thread: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.
SAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.
FLOPS-2008-Benton #declarative #dynamic typing #type system: Undoing Dynamic Typing (Declarative Pearl) (NB), pp. 224–238.
FLOPS-2008-KameyamaY #continuation: Typed Dynamic Control Operators for Delimited Continuations (YK, TY), pp. 239–254.
DLT-J-2007-Csuhaj-VarjuPV08: Tissue-Like P Systems with Dynamically Emerging Requests (ECV, GP, GV), pp. 729–745.
ICALP-A-2008-FanelliFM #convergence #game studies: The Speed of Convergence in Congestion Games under Best-Response Dynamics (AF, MF, LM), pp. 796–807.
ICALP-A-2008-FrandsenS #normalisation #polynomial: Dynamic Normal Forms and Dynamic Characteristic Polynomial (GSF, PS), pp. 434–446.
LATA-2008-Becker #self: Transformations and Preservation of Self-assembly Dynamics through Homotheties (FB), pp. 101–112.
FM-2008-NollR #pointer #thread #verification: Verifying Dynamic Pointer-Manipulating Threads (TN, SR), pp. 84–99.
GT-VC-2007-BruniBGM08 #architecture #graph grammar #modelling #using: Modelling Dynamic Software Architectures using Typed Graph Grammars (RB, AB, SG, HCM), pp. 39–53.
GT-VMT-2008-BucchiaroneG #architecture #using #verification: Dynamic Software Architectures Verification using DynAlloy (AB, JPG).
CHI-2008-CaoLB #modelling: Peephole pointing: modeling acquisition of dynamically revealed targets (XC, JJL, RB), pp. 1699–1708.
CHI-2008-LawranceBBR #behaviour #maintenance #using: Using information scent to model the dynamic foraging behavior of programmers in maintenance tasks (JL, RKEB, MMB, KR), pp. 1323–1332.
SIGAda-2008-Safari-SharifabadiC #ada #comprehension #dynamic analysis #metric #quality #source code: Dynamic analysis of Ada programs for comprehension and quality measurement (ESS, CC), pp. 15–38.
CAiSE-2008-MullerRH #adaptation #data-driven #paradigm #process: A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures (DM, MR, JH), pp. 48–63.
CAiSE-2008-VanderfeestenRA #execution #workflow: Product Based Workflow Support: Dynamic Workflow Execution (ITPV, HAR, WMPvdA), pp. 571–574.
ICEIS-AIDSS-2008-SofokleousA #data flow #generative #search-based #testing: Dynamic Search-Based Test Data Generation Focused on Data Flow Paths (AAS, ASA), pp. 27–35.
ICEIS-DISI-2008-SharifimehrS #modelling: Dynamic Semi-Markovian Workload Modeling (NS, SS), pp. 125–130.
ICEIS-ISAS1-2008-LoewensternS #lifecycle #using: IT Service Management of Using Heterogeneous, Dynamically Alterable Configuration Item Lifecycles (DL, LS), pp. 155–160.
ICEIS-ISAS2-2008-ImazekiTD #modelling #web: Round-Trip Engineering of Web Applications Focusing on Dynamic Models (YI, ST, ND), pp. 228–233.
ICEIS-SAIC-2008-JainB #approach #novel: A Novel Approach to Model and Evaluate Dynamic Agility in Supply Chains (VJ, LB), pp. 93–100.
ICEIS-SAIC-2008-VladoiuC #community #framework: Framework for Building of a Dynamic User Community (EPH) — Sharing of Context-Aware, Public Interest Information or Knowledge through Always-on Services (MV, ZC), pp. 73–87.
CIKM-2008-ChoudhurySJS #multi #network #social: Multi-scale characterization of social network dynamics in the blogosphere (MDC, HS, AJ, DDS), pp. 1515–1516.
CIKM-2008-DashRMAL #analysis: Dynamic faceted search for discovery-driven analysis (DD, JR, NM, AA, GML), pp. 3–12.
CIKM-2008-LinSK #concept #network #people #process #social #summary: Summarization of social activity over time: people, actions and concepts in dynamic networks (YRL, HS, AK), pp. 1379–1380.
CIKM-2008-RoyWDNM #database: Minimum-effort driven dynamic faceted search in structured databases (SBR, HW, GD, UN, MKM), pp. 13–22.
ICML-2008-KolterCNGD #learning #programming: Space-indexed dynamic programming: learning to follow trajectories (JZK, AC, AYN, YG, CD), pp. 488–495.
ICML-2008-RenDC #process: The dynamic hierarchical Dirichlet process (LR, DBD, LC), pp. 824–831.
ICPR-2008-AlliliZ #approach #bound #segmentation: An approach for dynamic combination of region and boundary information in segmentation (MSA, DZ), pp. 1–4.
ICPR-2008-BouchrikaN #recognition: Gait recognition by dynamic cues (IB, MSN), pp. 1–4.
ICPR-2008-ChenZP #segmentation #using: Unsupervised dynamic texture segmentation using local spatiotemporal descriptors (JC, GZ, MP), pp. 1–4.
ICPR-2008-KaholV #analysis #modelling #process #using: Hand motion expertise analysis using dynamic hierarchical activity modeling and isomap (KK, MV), pp. 1–4.
ICPR-2008-KimuraPTYK #markov #modelling #probability #random #visual notation: Dynamic Markov random fields for stochastic modeling of visual attention (AK, DP, TT, JY, KK), pp. 1–5.
ICPR-2008-Kopylov #image #programming: Tree-serial dynamic programming for image processing (AK), pp. 1–4.
ICPR-2008-OkadaH #incremental #network #recognition #self: Motion recognition based on Dynamic-Time Warping method with Self-Organizing Incremental Neural Network (SO, OH), pp. 1–4.
ICPR-2008-SukSL #gesture #modelling #network #recognition #robust: Robust modeling and recognition of hand gestures with dynamic Bayesian network (HIS, BKS, SWL), pp. 1–4.
ICPR-2008-SunQ #classification #network: Dynamic target classification in wireless sensor networks (YS, HQ), pp. 1–4.
ICPR-2008-TangG #constraints #graph #segmentation #video: Video object segmentation based on graph cut with dynamic shape prior constraint (PT, LG), pp. 1–4.
ICPR-2008-TiernyVD #3d #performance #precise: Fast and precise kinematic skeleton extraction of 3D dynamic meshes (JT, JPV, MD), pp. 1–4.
ICPR-2008-TortorellaPM #approach #programming: A Dynamic Programming approach for segmenting digital planar curves into line segments and circular arcs (FT, RP, MM), pp. 1–4.
ICPR-2008-ZhangYLCG: A covariance-based method for dynamic background subtraction (SZ, HY, SL, XC, WG), pp. 1–4.
ICPR-2008-ZhiC #image: Depth-based image mosaicing for both static and dynamic scenes (QZ, JRC), pp. 1–4.
KDD-2008-LiFGMF #learning #linear #named #parallel #performance: Cut-and-stitch: efficient parallel learning of linear dynamical systems on smps (LL, WF, FG, TCM, CF), pp. 471–479.
KDD-2008-TangLZN #community #evolution #multi #network: Community evolution in dynamic multi-mode networks (LT, HL, JZ, ZN), pp. 677–685.
KDD-2008-TongPSYF #graph #mining #named #performance #scalability: Colibri: fast mining of large static and dynamic graphs (HT, SP, JS, PSY, CF), pp. 686–694.
KDD-2008-YangAPM #graph #interactive #tool support: A visual-analytic toolkit for dynamic interaction graphs (XY, SA, SP, SM), pp. 1016–1024.
KR-2008-RamanujamS #game studies #logic: Dynamic Logic on Games with Structured Strategies (RR, SES), pp. 49–58.
SEKE-2008-AlmeidaPRPLC #enterprise #evolution: Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution (HOdA, MFP, MdMR, AP, EL, EdBC), pp. 599–602.
SEKE-2008-DaiXWLL #execution #process: Dynamically Optimize Process Execution Based on Process-agent (JD, JX, QW, ML, HL), pp. 561–564.
SEKE-2008-HuS #design pattern #detection #dynamic analysis #java #source code: Dynamic Analysis and Design Pattern Detection in Java Programs (LH, KS), pp. 842–846.
SEKE-2008-QuNXZ #testing: A Dynamic Adjusting Method for Test Case Prioritization (BQ, CN, BX, XZ), pp. 484–487.
SEKE-2008-SamimiM #composition #distributed #named: Dynamis: Dynamic Overlay Service Composition for Distributed Stream Processing (FAS, PKM), pp. 881–886.
SEKE-2008-SandersZ #contract #design #execution #java: Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts (SMS, CZ), pp. 824–829.
SEKE-2008-XuSW #adaptation #fault #network #predict: An Adaptive Neural Network with Dynamic Structure for Software Defect Prediction (ZX, NS, WW), pp. 79–84.
SIGIR-2008-AltingovdeDCU #query: Site-based dynamic pruning for query processing in search engines (ISA, ED, FC, ÖU), pp. 861–862.
SIGIR-2008-WestDHJ #classification #music #visualisation: Dynamic visualization of music classification systems (KW, JSD, XH, MCJ), p. 888.
MoDELS-2008-GravinoST #empirical #modelling #requirements: An Empirical Investigation on Dynamic Modeling in Requirements Engineering (CG, GS, GT), pp. 615–629.
MoDELS-2008-MorinFBJSDB #approach #aspect-oriented #modelling #variability: An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability (BM, FF, NB, JMJ, AS, VD, GSB), pp. 782–796.
MoDELS-2008-WaignierSMD #component #framework #interactive #modelling: A Model-Based Framework for Statically and Dynamically Checking Component Interactions (GW, PS, AFLM, LD), pp. 371–385.
MoDELS-2008-GravinoST #empirical #modelling #requirements: An Empirical Investigation on Dynamic Modeling in Requirements Engineering (CG, GS, GT), pp. 615–629.
MoDELS-2008-MorinFBJSDB #approach #aspect-oriented #modelling #variability: An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability (BM, FF, NB, JMJ, AS, VD, GSB), pp. 782–796.
MoDELS-2008-WaignierSMD #component #framework #interactive #modelling: A Model-Based Framework for Statically and Dynamically Checking Component Interactions (GW, PS, AFLM, LD), pp. 371–385.
OOPSLA-2008-ChernV: The impact of static-dynamic coupling on remodularization (RC, KDV), pp. 261–276.
OOPSLA-2008-SchneiderMSA #optimisation #performance: Dynamic optimization for efficient strong atomicity (FTS, VM, TS, ARAT), pp. 181–194.
OOPSLA-2008-ShankarAB #dynamic analysis #lightweight #named: Jolt: lightweight dynamic analysis and removal of object churn (AS, MA, RB), pp. 127–142.
TOOLS-EUROPE-2008-BettiniBV #composition #java: Object Incompleteness and Dynamic Composition in Java-Like Languages (LB, VB, BV), pp. 198–217.
TOOLS-EUROPE-2008-LeueSW #runtime #scheduling #semantics #uml: An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (SL, AS, WW), pp. 238–257.
TOOLS-EUROPE-2008-NielsenE #composition #optimisation #static typing: Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
GPCE-2008-RosenmullerSSA #code generation #composition #product line: Code generation to support static and dynamic composition of software product lines (MR, NS, GS, SA), pp. 3–12.
PPDP-2008-SchulteS: Dynamic variable elimination during propagation solving (CS, PJS), pp. 247–257.
POPL-2008-NeamtiuHFP #concurrent #programming: Contextual effects for version-consistent dynamic software updating and safe concurrent programming (IN, MH, JSF, PP), pp. 37–49.
RE-2008-LauenrothP #consistency #product line #requirements: Dynamic Consistency Checking of Domain Requirements in Product Line Engineering (KL, KP), pp. 193–202.
SAC-2008-BadishiK #adaptation #using: Improving denial of service resistance using dynamic local adaptations (GB, IK), pp. 2212–2218.
SAC-2008-CoelhoO #optimisation: Dynamically tuning the population size in particle swarm optimization (ALVC, DGdO), pp. 1782–1787.
SAC-2008-FreixasJS #composition #geometry: Elements for a modular dynamic geometry system (MF, RJA, ASR), pp. 1816–1820.
SAC-2008-GordijnWRW #self #towards: Towards self-configuration and management of e-service provisioning in dynamic value constellations (JG, HW, MR, RW), pp. 566–571.
SAC-2008-IacobAI #composition #semantics: Optimized dynamic semantic composition of services (SMI, JPAA, MEI), pp. 2286–2292.
SAC-2008-LunaAAB #fault tolerance #heuristic #multi #resource management: Dynamic resource allocation heuristics for providing fault tolerance in multi-agent systems (AdLA, SA, JPB), pp. 66–70.
SAC-2008-MaK #algorithm #search-based: Dynamic populations in genetic algorithms (Z(M, AWK), pp. 1807–1811.
SAC-2008-NogueiraVN #animation: A nervous system model for direct dynamics animation control based on evolutionary computation (YLBN, CAV, JBCN), pp. 1793–1800.
SAC-2008-OliveiraRSCBM #heuristic #problem: A vehicular waiting time heuristic for dynamic vehicle routing problem (HCBdO, GMR, MMdS, LAC, VRB, GRM), pp. 13–17.
SAC-2008-ReverbelN #multi #transaction: Dynamic support to transactional remote invocations over multiple transports (FR, ISN), pp. 499–506.
SAC-2008-RodriguesAP #c++ #evolution: A C++ environment for dynamic unanticipated software evolution (AR, HOdA, AP), pp. 815–819.
SAC-2008-SykoraAS #embedded #pipes and filters: Dynamic configuration of application-specific implicit instructions for embedded pipelined processors (MS, GA, CS), pp. 1509–1516.
SAC-2008-UddinZA #named #trust: CAT: a context-aware trust model for open and dynamic systems (MGU, MZ, SIA), pp. 2024–2029.
FSE-2008-GabelS #automation #mining #named: Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.
ICSE-2008-ChenY #constraints #dependence #grid #verification #workflow: Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems (JC, YY), pp. 141–150.
ICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation: DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
ICSE-2008-HammerDVT #detection: Dynamic detection of atomic-set-serializability violations (CH, JD, MV, FT), pp. 231–240.
ICSE-2008-LauterburgSMV #incremental #source code: Incremental state-space exploration for programs with dynamically allocated data (SL, AS, DM, MV), pp. 291–300.
ICSE-2008-LiW #maintenance #user interface: Dynamic round-trip GUI maintenance (PL, EW), pp. 851–854.
ASPLOS-2008-JoaoMKAP #object-oriented #performance: Improving the performance of object-oriented languages with dynamic predication of indirect jumps (JAJ, OM, HK, RA, YNP), pp. 80–90.
ASPLOS-2008-MallikCDMD #named #performance #scalability: PICSEL: measuring user-perceived performance to control dynamic frequency scaling (AM, JC, RPD, GM, PAD), pp. 70–79.
CC-2008-BergeronFD #compilation #configuration management #hardware #jit #off the shelf: Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs (EB, MF, JPD), pp. 178–192.
CC-2008-WangYW #compilation #legacy #optimisation #transaction: Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization (CW, VY, YW), pp. 291–306.
CC-2008-ZhaoRARW #debugging #how #performance #using: How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation (QZ, RMR, SPA, LR, WFW), pp. 147–162.
HPCA-2008-ChungDKK #memory management #thread #transaction #using: Thread-safe dynamic binary translation using transactional memory (JC, MD, HK, CK), pp. 279–289.
HPCA-2008-KuskinYGBDDS #flexibility #simulation: Incorporating flexibility in Anton, a specialized machine for molecular dynamics simulation (JK, CY, JPG, BB, MMD, ROD, DES), pp. 343–354.
HPCA-2008-LarsonSDDYGSKS #interactive #simulation: High-throughput pairwise point interactions in Anton, a specialized machine for molecular dynamics simulation (RHL, JKS, ROD, MMD, CY, JPG, YS, JLK, DES), pp. 331–342.
HPCA-2008-VenkataramaniDSP #named #programmable: FlexiTaint: A programmable accelerator for dynamic taint propagation (GV, ID, YS, MP), pp. 173–184.
HPDC-2008-CarreraSWTA #using: Managing SLAs of heterogeneous workloads using dynamic application placement (DC, MS, IW, JT, EA), pp. 217–218.
HPDC-2008-PasqualiBCRL #scalability: A two-level scheduler to dynamically schedule a stream of batch jobs in large-scale grids (MP, RB, GC, LR, DL), pp. 231–232.
ISMM-2008-McIlroyDS #memory management #performance: Efficient dynamic heap allocation of scratch-pad memory (RM, PD, JS), pp. 31–40.
OSDI-2008-WangKKLM #concurrent #named #parallel #source code #thread: Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs (YW, TK, MK, SL, SAM), pp. 281–294.
PPoPP-2008-FelberFR #memory management #performance #transaction: Dynamic performance tuning of word-based software transactional memory (PF, CF, TR), pp. 237–246.
CAV-2008-AbdullaBCHR #abstraction #memory management #source code: Monotonic Abstraction for Programs with Dynamic Memory Heaps (PAA, AB, JC, FH, AR), pp. 341–354.
CAV-2008-HolzerSTV #dynamic analysis #generative #metric #named #testing: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement (AH, CS, MT, HV), pp. 209–213.
CAV-2008-VakkalankaGK #order #reduction #source code #verification: Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (SSV, GG, RMK), pp. 66–79.
ICLP-2008-CohenSS #algorithm #logic programming #source code: Dynamic Programming Algorithms as Products of Weighted Logic Programs (SBC, RJS, NAS), pp. 114–129.
ICLP-2008-GelfondL #policy: Authorization and Obligation Policies in Dynamic Systems (MG, JL), pp. 22–36.
ICLP-2008-SchulteS #bound #dynamic analysis: Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.
ICST-2008-LindstromOA #empirical #execution #realtime #testing: Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications (BL, AJO, SFA), pp. 112–120.
ISSTA-2008-ArtziKDTDPE #debugging #web: Finding bugs in dynamic web applications (SA, AK, JD, FT, DD, AMP, MDE), pp. 261–272.
ISSTA-2008-SankaranarayananCIG #learning: Dynamic inference of likely data preconditions over predicates by tree learning (SS, SC, FI, AG), pp. 295–306.
ISSTA-2008-TianNGT #concurrent #detection #recognition: Dynamic recognition of synchronization operations for improved data race detection (CT, VN, RG, ST), pp. 143–154.
ISSTA-2008-WassermannYCDIS #generative #web: Dynamic test input generation for web applications (GW, DY, AC, DD, HI, ZS), pp. 249–260.
VMCAI-2008-GroceJ #dynamic analysis #model checking: Extending Model Checking with Dynamic Analysis (AG, RJ), pp. 142–156.
CBSE-2007-MucciniPRB #architecture #component #monitoring: Monitoring Architectural Properties in Dynamic Component-Based Systems (HM, AP, FR, AB), pp. 124–139.
CBSE-2007-PolakovicMSD #component #configuration management #embedded #experience: Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems (JP, SM, JBS, PCD), pp. 242–257.
CBSE-2007-SoriaPC #adaptation #aspect-oriented #component: Dynamic Adaptation of Aspect-Oriented Components (CCS, JP, JÁC), pp. 49–65.
ECSA-2007-LoulouKJD #architecture #design: Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles (IL, AHK, MJ, KD), pp. 44–59.
ECSA-2007-MorrisonBOWG #approach #architecture #co-evolution: An Active Architecture Approach to Dynamic Systems Co-evolution (RM, DB, FO, BW, RMG), pp. 2–10.
ECSA-2007-SoriaAPCR #architecture #aspect-oriented #configuration management: Dynamic Reconfiguration of Software Architectures Through Aspects (CCS, NA, JP, JÁC, IR), pp. 279–283.
ASE-2007-ArtziKGE #analysis: Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.
ASE-2007-ClauseDOP #effectiveness #memory management #using: Effective memory protection using dynamic tainting (JAC, ID, AO, MP), pp. 284–292.
ASE-2007-DwyerP #cost analysis #dynamic analysis #static analysis #type system: Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis (MBD, RP), pp. 124–133.
ASE-2007-SchulerDL #java: A dynamic birthmark for java (DS, VD, CL), pp. 274–283.
CASE-2007-GuLZF #approach #problem #scheduling: Dynamic Local Focusing Approach for Production Scheduling Problems (PG, YL, XZ, SF), pp. 466–471.
CASE-2007-LeeEP: Proposed Methodology for Dynamic Schedule Compression (JL, RDEJ, JHP), pp. 986–991.
CASE-2007-LeungG #behaviour #locality #multi: Multi-Robot Localization and Mapping Strategy: Utilizing Behavior Based Dynamic Tree Structure and Observer-explorer Routine (KKKL, GG), pp. 881–886.
CASE-2007-MartinWS #algorithm #online #performance: Offline and Online Evolutionary Bi-Directional RRT Algorithms for Efficient Re-Planning in Dynamic Environments (SRM, SEW, JWS), pp. 1131–1136.
CASE-2007-NagarshethSP #simulation: Computer Simulation of Dynamics of Human Leg (HJN, SVS, MAP), pp. 249–254.
CASE-2007-RabindranT #parallel: Study of the dynamic coupling term (μ) in parallel force/velocity actuated systems (DR, DT), pp. 418–423.
CASE-2007-Tomas-RodriguezS #automation #modelling: Automated Modeling of Rotorcraft Dynamics with Special Reference to Autosim (MTR, RSS), pp. 974–979.
CASE-2007-TranKSH #interactive #modelling: Dynamic Modelling of Wheel-Terrain Interaction of a UGV (THT, NMK, SS, QPH), pp. 369–374.
CASE-2007-XiaoWL #flexibility #simulation: Dynamic Coupling Simulation of a Power Transmission Line Inspection Robot with its Flexible Moving Path when Overcoming Obstacles (XX, GW, SL), pp. 326–331.
CASE-2007-ZhangJ0 #multi #scheduling: Multi-criteria Dynamic Scheduling Methodology for Controlling a Semiconductor Wafer Fabrication System (HZ, ZJ, HH), pp. 213–218.
DAC-2007-BanerjeeBDN #architecture #configuration management #resource management #scheduling: Selective Band width and Resource Management in Scheduling for Dynamically Reconfigurable Architectures (SB, EB, ND, JN), pp. 771–776.
DAC-2007-HariziHOB #analysis #modelling #performance: Efficient Modeling Techniques for Dynamic Voltage Drop Analysis (HH, RH, MO, EB), pp. 706–711.
DAC-2007-ZhangSJ #architecture #configuration management #design #hybrid #named #optimisation: NanoMap: An Integrated Design Optimization Flow for a Hybrid Nanotube/CMOS Dynamically Reconfigurable Architecture (WZ, LS, NKJ), pp. 300–305.
DAC-2007-ZhaoPRFMCSY: On-Chip Decoupling Capacitance and P/G Wire Co-optimization for Dynamic Noise (MZ, RP, BR, YF, TM, SC, SS, SY), pp. 162–167.
DAC-2007-ZhuoCLC #hybrid #power management: Dynamic Power Management with Hybrid Power Sources (JZ, CC, KL, NC), pp. 871–876.
DATE-2007-CampiDPCRMLVV #adaptation #configuration management: A dynamically adaptive DSP for heterogeneous reconfigurable platforms (FC, AD, MP, LC, PLR, CM, AL, AV, LV), pp. 9–14.
DATE-2007-GeWL #configuration management #embedded #memory management #named #power management: DRIM: a low power dynamically reconfigurable instruction memory hierarchy for embedded systems (ZG, WFW, HBL), pp. 1343–1348.
DATE-2007-GhoshBR #adaptation #scheduling #synthesis #using: Low-overhead circuit synthesis for temperature adaptation using dynamic voltage scheduling (SG, SB, KR), pp. 1532–1537.
DATE-2007-Huang #learning: Dynamic learning based scan chain diagnosis (YH0), pp. 510–515.
DATE-2007-HwangCR #interactive #process #scalability: Interactive presentation: Process tolerant beta-ratio modulation for ultra-dynamic voltage scaling (MEH, TC, KR), pp. 1550–1555.
DATE-2007-JuCR #analysis #scheduling: Accounting for cache-related preemption delay in dynamic priority schedulability analysis (LJ, SC, AR), pp. 1623–1628.
DATE-2007-JungP #nondeterminism #power management: Dynamic power management under uncertain information (HJ, MP), pp. 1060–1065.
DATE-2007-KandemirYSO #memory management #scheduling: Memory bank aware dynamic loop scheduling (MTK, TY, SWS, ÖÖ), pp. 1671–1676.
DATE-2007-MamagkakisSC #design #middleware #optimisation #protocol: Middleware design optimization of wireless protocols based on the exploitation of dynamic input patterns (SM, DS, FC), pp. 1036–1041.
DATE-2007-MucciVCT #architecture #configuration management #implementation #interactive: Interactive presentation: Implementation of AES/Rijndael on a dynamically reconfigurable architecture (CM, LV, FC, MT), pp. 355–360.
DATE-2007-NahapetianLABS #configuration management #energy #network: Dynamic reconfiguration in sensor networks with regenerative energy sources (AN, PL, AA, LB, MS), pp. 1054–1059.
DATE-2007-QuSN #configuration management #energy #interactive #runtime #scalability #using: Interactive presentation: Using dynamic voltage scaling to reduce the configuration energy of run time reconfigurable devices (YQ, JPS, JN), pp. 147–152.
DATE-2007-RosselloBBS #statistics #testing: Dynamic critical resistance: a timing-based critical resistance model for statistical delay testing of nanometer ICs (JLR, CdB, SAB, JS), pp. 1271–1276.
DATE-2007-RousseauMGMLDG #certification #configuration management #using: Enabling certification for dynamic partial reconfiguration using a minimal flow (BR, PM, DG, DM, JDL, FD, YG), pp. 983–988.
DATE-2007-SuhonenKKHH #capacity #cost analysis #multi #optimisation: Cost-aware capacity optimization in dynamic multi-hop WSNs (JS, MK, MK, MH, TDH), pp. 666–671.
DRR-2007-Likforman-SulemS #network #recognition #using: Recognition of degraded handwritten digits using dynamic Bayesian networks (LLS, MS).
HT-2007-SinclairML #using #wiki: Dynamic link service 2.0: using wikipedia as a linkbase (PASS, KM, PHL), pp. 161–162.
ICDAR-2007-ChangS #online #verification: Modified Dynamic Time Warping for Stroke-Based On-line Signature Verification (WC, JS), pp. 724–728.
ICDAR-2007-Choisy #keyword: Dynamic Handwritten Keyword Spotting Based on the NSHP-HMM (CC), pp. 242–246.
ICDAR-2007-FujimotoSTSN #documentation #image #parallel #programming #using: Curved paper rectification for digital camera document images by shape from parallel geodesics using continuous dynamic programming (KF, JS, HT, MS, SN), pp. 267–271.
ICDAR-2007-KoSB: K-Nearest Oracle for Dynamic Ensemble Selection (AHRK, RS, AdSBJ), pp. 422–426.
ICDAR-2007-Likforman-SulemS #network #recognition #using: Recognition of Broken Characters from Historical Printed Books Using Dynamic Bayesian Networks (LLS, MS), pp. 173–177.
ICDAR-2007-LiwickiIB #detection #online #programming #using: On-Line Handwritten Text Line Detection Using Dynamic Programming (ML, EI, HB), pp. 447–451.
ICDAR-2007-Martinez-DiazFFO #on the #verification: On The Effects of Sampling Rate and Interpolation in HMM-Based Dynamic Signature Verification (MMD, JFA, MRF, JOG), pp. 1113–1117.
ICDAR-2007-RabasseGF #synthesis: A Method for the Synthesis of Dynamic Biometric Signature Data (CR, RMG, MCF), pp. 168–172.
SIGMOD-2007-MiloZV #clustering #topic: Boosting topic-based publish-subscribe systems with dynamic clustering (TM, TZ, EV), pp. 749–760.
SIGMOD-2007-MullerRDAK #flexibility #framework #network: A dynamic and flexible sensor network platform (RM, JSR, MD, GA, DK), pp. 1085–1087.
SIGMOD-2007-WyssW #integration #multi #optimisation #query #relational: Extending relational query optimization to dynamic schemas for information integration in multidatabases (CMW, FIW), pp. 473–484.
SIGMOD-2007-XiaoT #dataset #named #privacy #towards: M-invariance: towards privacy preserving re-publication of dynamic datasets (XX, YT), pp. 689–700.
VLDB-2007-KochSS #evaluation #streaming #xquery: The GCX System: Dynamic Buffer Minimization in Streaming XQuery Evaluation (CK, SS, MS), pp. 1378–1381.
VLDB-2007-KrompassDKK #scalability: Dynamic Workload Management for Very Large Data Warehouses: Juggling Feathers and Bowling Balls (SK, UD, HAK, AK), pp. 1105–1115.
VLDB-2007-TatikondaPG #named #programming #query #xml: LCS-TRIM: Dynamic Programming Meets XML Indexing and Querying (ST, SP, MG), pp. 63–74.
VLDB-2007-ZukowskiHNB: Cooperative Scans: Dynamic Bandwidth Sharing in a DBMS (MZ, SH, NN, PAB), pp. 723–734.
ESOP-2007-RinetzkyPRSY #analysis #composition #encapsulation #source code: Modular Shape Analysis for Dynamically Encapsulated Programs (NR, APH, GR, MS, EY), pp. 220–236.
FASE-2007-EdwardsMM #architecture #distributed #dynamic analysis: Scenario-Driven Dynamic Analysis of Distributed Architectures (GE, SM, NM), pp. 125–139.
FASE-2007-FisherER #interface #web: Dynamic Characterization of Web Application Interfaces (MFI, SGE, GR), pp. 260–275.
TACAS-2007-BouajjaniJS #framework #infinity #network #process #reasoning: A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes (AB, YJ, MS), pp. 690–705.
CSMR-2007-BeszedesGFGF #evolution #metric: The Dynamic Function Coupling Metric and Its Use in Software Evolution (ÁB, TG, SF, TG, FF), pp. 103–112.
CSMR-2007-PengWZ #adaptation #component #evolution #feature model: A Feature-Oriented Adaptive Component Model for Dynamic Evolution (XP, YW, WZ), pp. 49–57.
CSMR-2007-Quante #graph #online #process: Online Construction of Dynamic Object Process Graphs (JQ), pp. 113–122.
CSMR-2007-Quante07a #comprehension #graph #process #protocol: Dynamic Object Process Graph Extraction for Program Understanding and Protocol Recovery (JQ), pp. 345–348.
ICSM-2007-LiuZHB #approach: Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach (CL, XZ, YZ, JH, BKB), pp. 455–464.
ICSM-2007-SiyCRS #developer #segmentation #version control: Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation (HPS, PC, DJR, MS), pp. 415–424.
ICSM-2007-WuHH #empirical #evolution: Empirical Evidence for SOC Dynamics in Software Evolution (JW, RCH, AEH), pp. 244–254.
PASTE-2007-Brown #analysis #composition #integration #named: AWE: improving software analysis through modular integration of static and dynamic analyses (REB), pp. 69–74.
PASTE-2007-XuPV #analysis #java #source code: Dynamic purity analysis for java programs (HX, CJFP, CV), pp. 75–82.
SCAM-2007-BinderHM #bytecode #java #re-engineering #runtime #standard: Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (WB, JH, PM), pp. 91–100.
SCAM-2007-SawinR #java: Improved Static Resolution of Dynamic Class Loading in Java (JS, AR), pp. 143–154.
WCRE-2007-Cornelissen #architecture #dynamic analysis #re-engineering: Dynamic Analysis Techniques for the Reconstruction of Architectural Views (BC), pp. 281–284.
WCRE-2007-QuanteK #protocol: Dynamic Protocol Recovery (JQ, RK), pp. 219–228.
WCRE-2007-SartipiD #architecture #component #framework #interactive #re-engineering: An Amalgamated Dynamic and Static Architecture Reconstruction Framework to Control Component Interactions 259 (KS, ND), pp. 259–268.
PLDI-2007-NethercoteS #framework #named: Valgrind: a framework for heavyweight dynamic binary instrumentation (NN, JS), pp. 89–100.
SAS-2007-BauerW #abstraction #communication #static analysis: Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.
STOC-2007-AndrewsJS #network #protocol #scheduling: Stability of the max-weight routing and scheduling protocol in dynamic networks and at critical loads (MA, KJ, ALS), pp. 145–154.
STOC-2007-WuZ #equilibrium: Proportional response dynamics leads to market equilibrium (FW, LZ), pp. 354–363.
DLT-2007-BienvenuS #automaton #invariant: The Dynamics of Cellular Automata in Shift-Invariant Topologies (LB, MS), pp. 84–95.
ICALP-2007-Elkin #algorithm #maintenance #streaming: Streaming and Fully Dynamic Centralized Algorithms for Constructing and Maintaining Sparse Spanners (ME), pp. 716–727.
ICALP-2007-GuptaHSV #data type #framework: A Framework for Dynamizing Succinct Data Structures (AG, WKH, RS, JSV), pp. 521–532.
LATA-2007-LenaM #automaton #complexity: Computational Complexity of Dynamical Systems: the case of Cellular Automata (PdL, LM), pp. 211–222.
SEFM-2007-BeckertK #concurrent #deduction #logic #source code #verification: A Dynamic Logic for Deductive Verification of Concurrent Programs (BB, VK), pp. 141–150.
ICFP-2007-MarlowYJ #lazy evaluation #performance #pointer #using: Faster laziness using dynamic pointer tagging (SM, ARY, SLPJ), pp. 277–288.
ILC-2007-Jones #memory management: Dynamic memory management (RJ), p. 2.
ILC-2007-WozniakDW #abstraction #data type #policy: Dynamic ADTs: a “don’t ask, don’t tell” policy for data abstraction (GW, MD, SW), p. 26.
CHI-2007-BrumbyHS #constraints #trade-off: A cognitive constraint model of dual-task trade-offs in a highly dynamic driving task (DPB, AH, DDS), pp. 233–242.
CHI-2007-HurstHM #detection: Dynamic detection of novice vs. skilled use without a task model (AH, SEH, JM), pp. 271–280.
CHI-2007-RamachandranKCCF #co-evolution #design #social: Social dynamics of early stage co-design in developing regions (DR, MK, JC, JFC, JFF), pp. 1087–1096.
CHI-2007-RanjanBB #automation #visual notation: Dynamic shared visual spaces: experimenting with automatic camera control in a remote repair task (AR, JPB, RB), pp. 1177–1186.
DHM-2007-FanC #adaptation #using: A Modified Particle Swarm Optimizer Using an Adaptive Dynamic Weight Scheme (SKSF, JMC), pp. 56–65.
DHM-2007-LuoYZ #identification: A Method for Gene Identification by Dynamic Feature Choosing (JL, LY, XZ), pp. 678–683.
DHM-2007-SunFC #evaluation #generative #modelling: Dynamic Generation of Human-Populated VR Models for Workspace Ergonomic Evaluation (TLS, WYF, CJC), pp. 979–987.
DHM-2007-SutherlandD #aspect-oriented #validation: Validating Optical Motion Capture Assessments of the Dynamic Aspects of Work (JS, VGD), pp. 197–204.
DHM-2007-ThomasCRMM #3d #modelling #navigation: Modeling Human Bipedal Navigation in a Dynamic Three Dimensional Virtual Environment (MDT, DWC, BR, JAM, AM), pp. 205–214.
DHM-2007-YangJJZWFZ: An Inverse Dynamical Model for Slip Gait (JY, DJ, LJ, JZ, RW, XF, DZ), pp. 253–258.
DHM-2007-ZhangCZZFD: A New Virtual Dynamic Dentomaxillofacial System for Analyzing Mandibular Movement, Occlusal Contact, and TMJ Condition (CZ, LC, FZ, HZ, HF, GD), pp. 747–756.
HCI-IDU-2007-DavidCDM #collaboration #mobile #named #process: ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns (BTD, RC, OD, GM), pp. 1082–1091.
HCI-MIE-2007-ChevrinC #interactive #mining #multi: Dynamic Association Rules Mining to Improve Intermediation Between User Multi-channel Interactions and Interactive e-Services (VC, OC), pp. 265–274.
HCI-MIE-2007-ReifingerWAPR #artificial reality #recognition: Static and Dynamic Hand-Gesture Recognition for Augmented Reality Applications (SR, FW, MA, TP, GR), pp. 728–737.
HIMI-IIE-2007-KimCE07a #generative #mobile #user interface: Dynamic Cell Phone UI Generation for Mobile Agents (GSK, HjC, YIE), pp. 563–571.
HIMI-MTT-2007-ChienC #comprehension: The Use of Dynamic Display to Improve Reading Comprehension for the Small Screen of a Wrist Watch (YHC, CHC), pp. 814–823.
HIMI-MTT-2007-ChoBKC #difference #on the #probability #using: On Achieving Proportional Loss Differentiation Using Dynamic-MQDDP with Differential Drop Probability (KC, SB, JK, JWC), pp. 584–593.
HIMI-MTT-2007-YamamotoN: The Activation Mechanism for Dynamically Generated Procedures in Hyperlogo (NY, TN), pp. 785–792.
OCSC-2007-YuanZW #community #contest #game studies #online: Cooperation and Competition Dynamics in an Online Game Community (RY, LZ, WW), pp. 475–484.
VISSOFT-2007-BohnetD #2d #graph #source code #visualisation: Facilitating Exploration of Unfamiliar Source Code by Providing 21/2D Visualizations of Dynamic Call Graphs (JB, JD), pp. 63–66.
VISSOFT-2007-DeelenHHW #aspect-oriented #visualisation: Visualization of Dynamic Program Aspects (PD, FvH, CH, HvdW), pp. 39–46.
VISSOFT-2007-MoretaT #memory management #visualisation: Visualizing Dynamic Memory Allocations (SM, ACT), pp. 31–38.
CAiSE-2007-MutschlerRR #approach #information management #modelling: Analyzing the Dynamic Cost Factors of Process-Aware Information Systems: A Model-Based Approach (BM, MR, SR), pp. 589–603.
ICEIS-AIDSS-2007-HouariF #approach #collaboration #performance: An Agent-Based Approach to Support Performance Management for Dynamic and Collaborative Work (NH, BHF), pp. 178–184.
ICEIS-AIDSS-2007-WenningGTSK #algorithm #distributed #framework: Investigations on Object-Centered Routing in Dynamic Environments: Algorithmic Framework and Initial Numerical Results — Support for Distributed Decision Making in Transport Systems (BLW, CG, ATG, JS, HK), pp. 225–230.
ICEIS-DISI-2007-BottcherO #architecture #commit: Dynamic commit tree management for service oriented architectures (SB, SO), pp. 95–101.
ICEIS-EIS-2007-AoumeurSB #architecture #component #information management #interactive #petri net #weaving: Dynamic Interaction of Information Systems — Weaving Architectural Connectors on Component Petri Nets (NA, GS, KB), pp. 152–158.
ICEIS-EIS-2007-CimpanVA #architecture #enterprise #evolution #information management: Dynamic Architecture Based Evolution of Enterprise Information Systems (SC, HV, IA), pp. 221–229.
ICEIS-EIS-2007-HmidaBHMF #adaptation #towards: Towards the Dynamic Adaptability of SOA (MBH, CBS, SH, VM, RFT), pp. 474–479.
ICEIS-SAIC-2007-RezguiN #categorisation #composition #ontology #semantics #using: Ontology-Based Dynamic Service Composition Using Semantic Relatedness and Categorization Techniques (YR, SN), pp. 113–120.
CIKM-2007-GuoCXW #maintenance #online #performance #using: Efficient on-line index maintenance for dynamic text collections by using dynamic balancing tree (RG, XC, HX, BW), pp. 751–760.
CIKM-2007-TsegayTZ #effectiveness: Dynamic index pruning for effective caching (YT, AT, JZ), pp. 987–990.
ICML-2007-PhuaF #approximate #learning #linear: Tracking value function dynamics to improve reinforcement learning with piecewise linear function approximation (CWP, RF), pp. 751–758.
ICML-2007-ZhuNZW #markov #random #web: Dynamic hierarchical Markov random fields and their application to web data extraction (JZ, ZN, BZ, JRW), pp. 1175–1182.
KDD-2007-JanssensGM #analysis #clustering #hybrid #mining: Dynamic hybrid clustering of bioinformatics by incorporating text mining and citation analysis (FALJ, WG, BDM), pp. 360–369.
KDD-2007-TantipathananandhBK #community #framework #identification #network #social: A framework for community identification in dynamic social networks (CT, TYBW, DK), pp. 717–726.
MLDM-2007-JiangI #learning: Dynamic Distance-Based Active Learning with SVM (JJ, HHSI), pp. 296–309.
SEKE-2007-ColziMNR #architecture #component: A Component-Based Solution and Architecture for Dynamic Service-Based Applications (AC, TM, PN, DR), p. 637–?.
SEKE-2007-KanaskarSR #analysis #approach #detection #using: A Dynamical System Approach to Intrusion Detection Using System Call Analysis (NK, RS, SR), pp. 710–717.
SEKE-2007-RodriguesAP #c++ #component #evolution #framework: A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution (AR, HOdA, AP), pp. 326–331.
OOPSLA-2007-BuytaertGHAEB #compilation #using: Using hpm-sampling to drive dynamic compilation (DB, AG, MH, MA, LE, KDB), pp. 553–568.
PPDP-2007-BentonKBH #program transformation #relational #semantics: Relational semantics for effect-based program transformations with dynamic allocation (NB, AK, LB, MH), pp. 87–96.
PPDP-2007-Skalka #data access #type safety #virtual machine: Type safe dynamic linking for JVM access control (CS), pp. 51–62.
POPL-2007-Godefroid #composition #generative #testing: Compositional dynamic test generation (PG), pp. 47–54.
POPL-2007-JumpM #detection #garbage collection #memory management #named: Cork: dynamic memory leak detection for garbage-collected languages (MJ, KSM), pp. 31–38.
POPL-2007-PolishchukLS #comprehension #debugging #type inference: Dynamic heap type inference for program understanding and debugging (MP, BL, CWS), pp. 39–46.
RE-2007-JuretaFT #adaptation #requirements #specification: Dynamic Requirements Specification for Adaptable and Open Service Systems (IJ, SF, PT), pp. 381–382.
SAC-2007-AyedB #adaptation #component #corba: Dynamic adaptation of CORBA component-based applications (DA, YB), pp. 580–585.
SAC-2007-FernandesRR #optimisation: Stigmergic optimization in dynamic binary landscapes (CMF, VR, ACR), pp. 747–748.
SAC-2007-KimmSS #algorithm #evaluation #linux #mobile #scalability: Evaluation of interval-based dynamic voltage scaling algorithms on mobile Linux system (HK, SYS, COS), pp. 1141–1145.
SAC-2007-LeeSKKP #community #named #ubiquitous: CriStore: dynamic storage system for heterogeneous devices in off-site ubiquitous communities (HL, YS, KK, DK, DP), pp. 1146–1150.
SAC-2007-MinYCH #memory management #operating system #performance: An efficient dynamic memory allocator for sensor operating systems (HM, SY, YC, JH), pp. 1159–1164.
SAC-2007-Oriol #component #evolution: Primitives for the dynamic evolution of component-based applications (MO), pp. 1122–1123.
SAC-2007-PaulK #precise #slicing #using: Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.
SAC-2007-SerugendoFRG #architecture: A metadata-based architectural model for dynamically resilient systems (GDMS, JSF, AR, NG), pp. 566–572.
SAC-2007-SongJMJXH #detection #programming: Mass edge detection in mammography based on plane fitting and dynamic programming (ES, LJ, BM, RJ, XX, CCH), pp. 80–81.
ESEC-FSE-2007-PaytonJR #assessment #automation #consistency #query: Automatic consistency assessment for query results in dynamic environments (JP, CJ, GCR), pp. 245–254.
ICSE-2007-ChongH #programming #social: The Social Dynamics of Pair Programming (JC, TH), pp. 354–363.
SPLC-2007-MebaneO #complexity #product line: Dynamic Complexity and the Owen Firmware Product Line Program (HM, JTO), pp. 212–222.
CC-2007-LeeRBM #constraints #control flow #graph #using: Correcting the Dynamic Call Graph Using Control-Flow Constraints (BL, KR, MDB, KSM), pp. 80–95.
CGO-2007-HiserWHDMC #branch: Evaluating Indirect Branch Handling Mechanisms in Software Dynamic Translation Systems (JH, DWW, WH, JWD, JM, BRC), pp. 61–73.
CGO-2007-KimJMP #compilation: Profile-assisted Compiler Support for Dynamic Predication in Diverge-Merge Processors (HK, JAJ, OM, YNP), pp. 367–378.
CGO-2007-WallaceH #named #performance #realtime: SuperPin: Parallelizing Dynamic Instrumentation for Real-Time Performance (SW, KMH), pp. 209–220.
HPCA-2007-ClarkHYMF #hardware #lightweight #using: Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping (NC, AH, SY, SAM, KF), pp. 216–227.
HPDC-2007-DemchenkoSGLGK #security: Security and dynamics in customer controlled virtual workspace organisation (YD, FS, LG, CTAMdL, DLG, OK), pp. 231–232.
LCTES-2007-ChoELS #memory management: Dynamic data scratchpad memory management for a memory subsystem with an MMU (HC, BE, JL, HS), pp. 195–206.
PPoPP-2007-BlagojevicNSA #parallel: Dynamic multigrain parallelization on the cell broadband engine (FB, DSN, AS, CDA), pp. 90–100.
CAV-2007-BouajjaniFQ #analysis #bound #parallel #source code #thread: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures (AB, SF, SQ), pp. 207–220.
CAV-2007-PatinST #named #parallel #recursion #source code #thread #verification: Spade: Verification of Multithreaded Dynamic and Recursive Programs (GP, MS, TT), pp. 254–257.
CSL-2007-Goller #complexity #on the #policy #reasoning: On the Complexity of Reasoning About Dynamic Policies (SG), pp. 358–373.
ICLP-2007-SilvaC #compilation #design #evaluation #framework #implementation: Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System (AFdS, VSC), pp. 410–424.
ISSTA-2007-ClauseLO #analysis #framework #named: Dytan: a generic dynamic taint analysis framework (JAC, WL, AO), pp. 196–206.
ISSTA-2007-EmmiMS #database #generative: Dynamic test input generation for database applications (ME, RM, KS), pp. 151–162.
ISSTA-2007-TallamTGZ #execution #parallel #reduction #source code #thread: Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.
ISSTA-2007-WangR #slicing: Hierarchical dynamic slicing (TW, AR), pp. 228–238.
ISSTA-2007-XinZ #dependence #detection #online #performance: Efficient online detection of dynamic control dependence (BX, XZ), pp. 185–195.
SAT-2007-SamulowitzB #clustering: Dynamically Partitioning for Solving QBF (HS, FB), pp. 215–229.
TAP-2007-RummerS #calculus #java #logic #proving #source code #using: Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (PR, MAS), pp. 41–60.
TAP-2007-SmaragdakisC #debugging #detection #reasoning: Combining Static and Dynamic Reasoning for Bug Detection (YS, CC), pp. 1–16.
CBSE-2006-GrondinBV #automation #component #named: MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications (GG, NB, LV), pp. 360–367.
CBSE-2006-HnetynkaP #component #configuration management #modelling: Dynamic Reconfiguration and Access to Services in Hierarchical Component Models (PH, FP), pp. 352–359.
ASE-2006-WarrenSKW #approach #automation #configuration management #formal method: An Automated Formal Approach to Managing Dynamic Reconfiguration (IW, JS, SK, TW), pp. 37–46.
CASE-2006-0002WM #configuration management: Dynamic Reconfiguration for Robot Software (ZY, IW, BAM), pp. 292–297.
CASE-2006-LiLWC #automation #component #equation #generative #graph #linear #using: Automatic Generation of Component-level Dynamic Equations Using Extensible Element Linear Graph Method (YL, ZL, HW, YC), pp. 118–123.
CASE-2006-LiuW #multi #simulation: Haptic Simulation of Multibody Contact Dynamics for Fixture Loading Planning (TL, MYW), pp. 304–309.
CASE-2006-RenZMP #mobile: Stable Motion Planning for Dynamic Nonholonomic Mobile Robots (JR, HZ, KAM, RVP), pp. 200–205.
CASE-2006-SunZF #convergence #parallel: Convergence of parallel dynamic iteration methods for nonlinear DAEs of index-2 (WS, JHZ, XGF), pp. 129–133.
CASE-2006-ZhouYZJDP #design #fault #network: Design of Dynamic Systems Based on Dynamic Fault Trees and Neural Networks (ZZ, ZY, JZ, GJ, DD, ZP), pp. 124–128.
DAC-2006-DadgourJB #architecture #novel #power management: A novel variation-aware low-power keeper architecture for wide fan-in dynamic gates (HFD, RVJ, KB), pp. 977–982.
DAC-2006-KarlBSM #modelling #reliability: Reliability modeling and management in dynamic microprocessor-based systems (EK, DB, DS, TNM), pp. 1057–1060.
DAC-2006-KumarSPJ #approach #coordination #named: HybDTM: a coordinated hardware-software approach for dynamic thermal management (AK, LS, LSP, NKJ), pp. 548–553.
DAC-2006-LiZJ #concurrent #named #network #proximity: DyXY: a proximity congestion-aware deadlock-free dynamic routing method for network on chip (ML, QAZ, WBJ), pp. 849–852.
DAC-2006-NevoF #distributed #order: Distributed dynamic BDD reordering (ZN, MF), pp. 223–228.
DAC-2006-ZhangJS #architecture #configuration management #hybrid #named: NATURE: a hybrid nanotube/CMOS dynamically reconfigurable architecture (WZ, NKJ, LS), pp. 711–716.
DATE-2006-BanerjeeRMB #fine-grained #logic #power management #synthesis #using: Low power synthesis of dynamic logic circuits using fine-grained clock gating (NB, KR, HMM, SB), pp. 862–867.
DATE-2006-BartzasMPACST #data type #design #energy #network #refinement: Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications (AB, SM, GP, DA,