BibSLEIGH — distributed tag

distributed

distributed

Tag #distributed

3087 papers:

POPL-2020-BeckettGMW #abstract interpretation #network: Abstract interpretation of distributed network control planes (RB, AG, RM, DW), p. 27.
ASPLOS-2020-BindschaedlerGZ #database #named: Hailstorm: Disaggregated Compute and Storage for Distributed LSM-based Databases (LB, AG, WZ), pp. 301–316.
ASPLOS-2020-LuoHZQ #named: Prague: High-Performance Heterogeneity-Aware Asynchronous Decentralized Training (QL, JH, YZ, XQ), pp. 401–416.
ASPLOS-2020-YuanY #concurrent #effectiveness #testing: Effective Concurrency Testing for Distributed Systems (XY, JY), pp. 1141–1156.
ICSA-2019-TelschigK #configuration management #embedded: Synchronous Reconfiguration of Distributed Embedded Applications During Operation (KT, AK), pp. 121–130.
EDM-2019-ChoffinPBV #learning #modelling #named #scheduling #student: DAS3H: Modeling Student Learning and Forgetting for Optimally Scheduling Distributed Practice of Skills (BC, FP, YB, JJV).
ICPC-2019-FuC: Measuring interprocess communications in distributed systems (XF, HC), pp. 323–334.
ICPC-2019-GaoLLLYLGC #automation #testing #towards: Towards automated testing of blockchain-based decentralized applications (JG, HL0, YL, CL, ZY, QL, ZG, ZC), pp. 294–299.
MSR-2019-KolovosNBMP #framework #mining #named #repository: Crossflow: a framework for distributed mining of software repositories (DSK, PN, KB, NM, RFP), pp. 155–159.
SANER-2019-LuC00 #comprehension #debugging: Understanding Node Change Bugs for Distributed Systems (JL, LC, LL0, XF0), pp. 399–410.
IFM-2019-CoullonJL #design #model checking #performance: Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning (HC, CJ, DL), pp. 120–137.
FDG-2019-Stricklin: The distributed dungeon master: new media affordances from twitch's choice chamber (CS), p. 5.
CIKM-2019-ConteFPT: Shared-Nothing Distributed Enumeration of 2-Plexes (AC, DF, MP, RT), pp. 2469–2472.
CIKM-2019-HaoYLLJL #named #pattern matching: PatMat: A Distributed Pattern Matching Engine with Cypher (KH, ZY, LL, ZL, XJ, XL0), pp. 2921–2924.
CIKM-2019-ZhaoPZZWZXJ #graph #scalability #visual notation: Large-Scale Visual Search with Binary Distributed Graph at Alibaba (KZ, PP, YZ, YZ, CW, YZ, YX, RJ), pp. 2567–2575.
ICML-2019-AcharyaSFS #communication #learning #sublinear: Distributed Learning with Sublinear Communication (JA, CDS, DJF, KS), pp. 40–50.
ICML-2019-AssadiBM #composition #random: Distributed Weighted Matching via Randomized Composable Coresets (SA, MB, VSM), pp. 333–343.
ICML-2019-AssranLBR #learning #probability: Stochastic Gradient Push for Distributed Deep Learning (MA, NL, NB, MR), pp. 344–353.
ICML-2019-DoanMR #analysis #approximate #finite #learning #linear #multi: Finite-Time Analysis of Distributed TD(0) with Linear Function Approximation on Multi-Agent Reinforcement Learning (TTD, STM, JR), pp. 1626–1635.
ICML-2019-FeraudAL #multi: Decentralized Exploration in Multi-Armed Bandits (RF, RA, RL), pp. 1901–1909.
ICML-2019-HaddadpourKMC #communication #optimisation: Trading Redundancy for Communication: Speeding up Distributed SGD for Non-convex Optimization (FH, MMK, MM, VRC), pp. 2545–2554.
ICML-2019-KoloskovaSJ #algorithm #communication #optimisation #probability: Decentralized Stochastic Optimization and Gossip Algorithms with Compressed Communication (AK, SUS, MJ), pp. 3478–3487.
ICML-2019-PanageasPW #algorithm #convergence #higher-order #multi #optimisation: Multiplicative Weights Updates as a distributed constrained optimization algorithm: Convergence to second-order stationary points almost always (IP, GP, XW), pp. 4961–4969.
ICML-2019-SotoLF #3d #matrix #multi #polynomial: Dual Entangled Polynomial Code: Three-Dimensional Coding for Distributed Matrix Multiplication (PS, JL, XF), pp. 5937–5945.
ICML-2019-TzengW #detection #graph: Distributed, Egocentric Representations of Graphs for Detecting Critical Structures (RCT, SHW), pp. 6354–6362.
ICML-2019-XieKG #fault tolerance #named #probability: Zeno: Distributed Stochastic Gradient Descent with Suspicion-based Fault-tolerance (CX, SK, IG), pp. 6893–6901.
ICML-2019-YinCRB #learning: Defending Against Saddle Point Attack in Byzantine-Robust Distributed Learning (DY, YC0, KR, PLB), pp. 7074–7084.
ICML-2019-YuJY #analysis #communication #linear #on the #optimisation #performance: On the Linear Speedup Analysis of Communication Efficient Momentum SGD for Distributed Non-Convex Optimization (HY, RJ, SY), pp. 7184–7193.
ICML-2019-YuTRKSAZL #learning #network: Distributed Learning over Unreliable Networks (CY, HT, CR, SK, AS, DA, CZ, JL0), pp. 7202–7212.
ICML-2019-ZhangHK #design #graph #named #network: Circuit-GNN: Graph Neural Networks for Distributed Circuit Design (GZ, HH, DK), pp. 7364–7373.
KDD-2019-HuNYZ #collaboration #framework #machine learning #named: FDML: A Collaborative Machine Learning Framework for Distributed Features (YH, DN, JY, SZ), pp. 2232–2240.
Onward-2019-AcharDL #debugging #interactive #named: GoTcha: an interactive debugger for GoT-based distributed systems (RA, PD, CVL), pp. 94–110.
OOPSLA-2019-BenavidesV0 #named #profiling: DProf: distributed profiler with strong guarantees (ZB, KV, RG0), p. 24.
OOPSLA-2019-MogkDSM #fault tolerance #interactive #programming: A fault-tolerant programming model for distributed interactive applications (RM, JD, GS, MM), p. 29.
OOPSLA-2019-OzkanMO #random testing #testing: Trace aware random testing for distributed systems (BKO, RM, SO), p. 29.
OOPSLA-2019-SalvaneschiKSHE #privacy #query: Language-integrated privacy-aware distributed queries (GS, MK, DS, PH, SE, MM), p. 30.
PADL-2019-AndersenS #combinator #protocol: Distributed Protocol Combinators (KJAA, IS), pp. 169–186.
PLDI-2019-LiLCGL #automation #debugging #named: DFix: automatically fixing timing bugs in distributed systems (GL, HL, XC, HSG, SL), pp. 994–1009.
PLDI-2019-MamourasSAIT: Data-trace types for distributed stream processing systems (KM, CS, RA, ZGI, VT), pp. 670–685.
POPL-2019-AlonZLY #learning #named: code2vec: learning distributed representations of code (UA0, MZ, OL, EY), p. 29.
POPL-2019-CastroHJNY #api #communication #parametricity #programming #static typing #using: Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures (DCP, RH, SSJ, NN, NY), p. 30.
POPL-2019-GleissenthallKB #source code #verification: Pretend synchrony: synchronous verification of asynchronous distributed programs (KvG, RGK, AB, DS, RJ), p. 30.
PPDP-2019-LiuCS #algorithm #execution #specification: Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms (YAL, SC, SDS), p. 15.
ESEC-FSE-2019-Coviello #execution #integration #testing: Distributed execution of test cases and continuous integration (CC), pp. 1148–1151.
ESEC-FSE-2019-Fu #analysis #on the #scalability: On the scalable dynamic taint analysis for distributed systems (XF), pp. 1247–1249.
ESEC-FSE-2019-FuC: A dynamic taint analyzer for distributed systems (XF, HC), pp. 1115–1119.
ASPLOS-2019-DathathriGHP #graph #named: Phoenix: A Substrate for Resilient Distributed Graph Analytics (RD, GG, LH, KP), pp. 615–630.
ASPLOS-2019-LuoLZQ #named: Hop: Heterogeneity-aware Decentralized Training (QL, JL, YZ, XQ), pp. 893–907.
ASPLOS-2019-PellauerSCCHVKF #composition #named #performance: Buffets: An Efficient and Composable Storage Idiom for Explicit Decoupled Data Orchestration (MP, YSS, JC, NCC, KH, RV, SWK, CWF, JSE), pp. 137–151.
CASE-2019-CarliDP #approach #energy #game studies #generative #scheduling: A Distributed Control Approach Based on Game Theory for the Optimal Energy Scheduling of a Residential Microgrid with Shared Generation and Storage (RC, MD, VP), pp. 960–965.
CASE-2019-HuCZ #adaptation #multi #realtime #scheduling: Adaptive Real-Time Scheduling of Dynamic Multiple-Criticality Applications on Heterogeneous Distributed Computing Systems (BH, ZC, LZ), pp. 897–903.
CASE-2019-KrupkeSHPDGLSHK #automation #retrieval #scalability: Automated Data Retrieval from Large-Scale Distributed Satellite Systems (DK, VS, AH, MP, JD, BG, MKBL, ES, TH, HK, KFP, MC, CS, SPF), pp. 1789–1795.
CASE-2019-WangW #algorithm #hybrid #problem #scheduling: An Iterated Greedy Algorithm for Distributed Hybrid Flowshop Scheduling Problem with Total Tardiness Minimization (JjW, LW), pp. 350–355.
CASE-2019-WarsewaBRST #design #scalability #using: Decentralized and Distributed Observer Design for Large-Scale Structures using Dynamic Condensation (AW, MB, PR, OS, CT), pp. 1256–1262.
CASE-2019-ZhangXZW #algorithm #estimation #network: A Decentralized State Estimation Algorithm for Building Electrical Distribution Network Based on ADMM (YZ, JX, QZ, SW), pp. 756–761.
CAV-2019-BerkovitsLLPS #algorithm #composition #decidability #logic #verification: Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics (IB, ML, GL, OP, SS), pp. 245–266.
ICST-2019-HellhakeSW #black box #data flow #integration #test coverage #testing #using: Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems (DH, TS, SW0), pp. 420–429.
ICST-2019-Lima #automation #integration #testing: Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems (BL), pp. 486–488.
ECSA-2018-BarbosaGMRM #framework #lightweight #named #platform: Beethoven: An Event-Driven Lightweight Platform for Microservice Orchestration (DMB, RG, PHMM, LSR, NCM), pp. 191–199.
ICSA-2018-GarciaMPBW #architecture #collaboration: An Architecture for Decentralized, Collaborative, and Autonomous Robots (SG0, CM, PP, TB, RW), pp. 75–84.
ICSA-2018-KramerWSR #framework #platform: A Blockchain-Based Micro Economy Platform for Distributed Infrastructure Initiatives (JK, JMEMvdW, JS, MR), pp. 11–20.
JCDL-2018-KobayashiS0 #recommendation #representation #using: Citation Recommendation Using Distributed Representation of Discourse Facets in Scientific Articles (YK, MS, YM0), pp. 243–251.
ICSME-2018-LebeufVHS #comprehension #debugging #design #optimisation: Understanding, Debugging, and Optimizing Distributed Software Builds: A Design Study (CL, EV, KH, MADS), pp. 496–507.
FM-2018-GeislerH #development #model checking #using: Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE (SG, AEH), pp. 277–293.
IFM-2018-KobeissiUJF #implementation #interactive: Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions (SK, AU, MJ, YF), pp. 255–274.
CIKM-2018-CatenaFT #energy #performance #web: Efficient Energy Management in Distributed Web Search (MC, OF, NT), pp. 1555–1558.
CIKM-2018-LevchenkoYAMKS #dataset #named #sketching: Spark-parSketch: A Massively Distributed Indexing of Time Series Datasets (OL, DEY, RA, FM, BK, DES), pp. 1951–1954.
CIKM-2018-SuLK #hybrid #learning #metric: Communication-Efficient Distributed Deep Metric Learning with Hybrid Synchronization (YS, MRL, IK), pp. 1463–1472.
CIKM-2018-WangLKA #documentation #workflow: Distributed Ledger Technology for Document and Workflow Management in Trade and Logistics (ZW, DYL, DK, EA), pp. 1895–1898.
ICML-2018-0001ZM: Proportional Allocation: Simple, Distributed, and Diverse Matching with High Entropy (SA0, MZ, VSM), pp. 99–108.
ICML-2018-BhaskaraW #clustering: Distributed Clustering via LSH Based Data Partitioning (AB, MW), pp. 569–578.
ICML-2018-ChenWCP #named: DRACO: Byzantine-resilient Distributed Training via Redundant Gradients (LC, HW, ZBC, DSP), pp. 902–911.
ICML-2018-CormodeDW #streaming #summary: Leveraging Well-Conditioned Bases: Streaming and Distributed Summaries in Minkowski p-Norms (GC, CD, DPW), pp. 1048–1056.
ICML-2018-DibangoyeB #learning: Learning to Act in Decentralized Partially Observable MDPs (JSD, OB), pp. 1241–1250.
ICML-2018-DunnerLGBHJ #algorithm #higher-order #trust: A Distributed Second-Order Algorithm You Can Trust (CD, AL, MG, AB, TH, MJ), pp. 1357–1365.
ICML-2018-EspeholtSMSMWDF #architecture #named #scalability: IMPALA: Scalable Distributed Deep-RL with Importance Weighted Actor-Learner Architectures (LE, HS, RM, KS, VM, TW, YD, VF, TH, ID, SL, KK), pp. 1406–1415.
ICML-2018-HongRL #algorithm #higher-order #network #optimisation: Gradient Primal-Dual Algorithm Converges to Second-Order Stationary Solution for Nonconvex Distributed Optimization Over Networks (MH, MR, JDL), pp. 2014–2023.
ICML-2018-LiangLNMFGGJS #abstraction #learning #named: RLlib: Abstractions for Distributed Reinforcement Learning (EL, RL, RN, PM, RF, KG, JG, MIJ, IS), pp. 3059–3068.
ICML-2018-LianZZL #parallel #probability: Asynchronous Decentralized Parallel Stochastic Gradient Descent (XL, WZ0, CZ, JL0), pp. 3049–3058.
ICML-2018-LinC #learning #multi #probability: Optimal Distributed Learning with Multi-pass Stochastic Gradient Methods (JL, VC), pp. 3098–3107.
ICML-2018-MhamdiGR #learning: The Hidden Vulnerability of Distributed Learning in Byzantium (EMEM, RG, SR), pp. 3518–3527.
ICML-2018-MishchenkoIMA #algorithm #learning: A Delay-tolerant Proximal-Gradient Algorithm for Distributed Learning (KM, FI, JM, MRA), pp. 3584–3592.
ICML-2018-MokhtariHK: Decentralized Submodular Maximization: Bridging Discrete and Continuous Settings (AM, HH, AK), pp. 3613–3622.
ICML-2018-MoreauOV #coordination #named: DICOD: Distributed Convolutional Coordinate Descent for Convolutional Sparse Coding (TM, LO, NV), pp. 3623–3631.
ICML-2018-ShenMZZQ #communication #convergence #learning #performance #probability #towards: Towards More Efficient Stochastic Decentralized Learning: Faster Convergence and Sparse Communication (ZS, AM, TZ, PZ, HQ), pp. 4631–4640.
ICML-2018-TangLYZL #named: D2: Decentralized Training over Decentralized Data (HT, XL, MY0, CZ, JL0), pp. 4855–4863.
ICML-2018-Wu0H0 #fault #optimisation #scalability: Error Compensated Quantized SGD and its Applications to Large-scale Distributed Optimization (JW, WH0, JH, TZ0), pp. 5321–5329.
ICML-2018-YinCRB #learning #statistics #towards: Byzantine-Robust Distributed Learning: Towards Optimal Statistical Rates (DY, YC0, KR, PLB), pp. 5636–5645.
ICML-2018-ZhangKL #algorithm #privacy: Improving the Privacy and Accuracy of ADMM-Based Distributed Algorithms (XZ, MMK, ML), pp. 5791–5800.
ICML-2018-ZhangYL0B #learning #multi: Fully Decentralized Multi-Agent Reinforcement Learning with Networked Agents (KZ, ZY, HL0, TZ0, TB), pp. 5867–5876.
ICML-2018-ZhouMBGYLF #bound #how #optimisation #question: Distributed Asynchronous Optimization with Unbounded Delays: How Slow Can You Go? (ZZ, PM, NB, PWG, YY, LJL, LFF0), pp. 5965–5974.
ICML-2018-ZhuL #communication #constraints #parametricity: Distributed Nonparametric Regression under Communication Constraints (YZ, JL), pp. 6004–6012.
ICPR-2018-DuCWP #learning #named #representation: Zone2Vec: Distributed Representation Learning of Urban Zones (JD, YC, YW0, JP), pp. 880–885.
KDD-2018-BateniEM #optimisation #sketching: Optimal Distributed Submodular Optimization via Sketching (MB, HE, VSM), pp. 1138–1147.
KDD-2018-ChenLZLZL #collaboration: Distributed Collaborative Hashing and Its Applications in Ant Financial (CC, ZL, PZ, LL, JZ, XL), pp. 100–109.
KDD-2018-LeeLW #algorithm #empirical: A Distributed Quasi-Newton Algorithm for Empirical Risk Minimization with Nonsmooth Regularization (CpL, CHL, SJW), pp. 1646–1655.
KDD-2018-Valdez-VivasGKF #detection #framework #performance #realtime: A Real-time Framework for Detecting Efficiency Regressions in a Globally Distributed Codebase (MVV, CG, AK, EF, KG, SC), pp. 821–829.
KDD-2018-YiZWLZ #network #predict #quality: Deep Distributed Fusion Network for Air Quality Prediction (XY, JZ, ZW, TL, YZ0), pp. 965–973.
MoDELS-2018-EderBVIK #architecture #automation #deployment #framework #hardware #synthesis: From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures (JE, AB, SV, AI, MK), pp. 438–446.
ECOOP-2018-MogkBSFM #fault tolerance #programming: Fault-tolerant Distributed Reactive Programming (RM, LB, GS, BF, MM), p. 26.
Onward-2018-MyterSM #programming: A CAPable distributed programming model (FM, CS, WDM), pp. 88–98.
OOPSLA-2018-DesaiPQS #composition #programming #testing: Compositional programming and testing of dynamic distributed systems (AD, AP, SQ, SAS), p. 30.
OOPSLA-2018-OzkanMNBW #probability #random #testing: Randomized testing of distributed systems with probabilistic guarantees (BKO, RM, FN, MTB, GW), p. 28.
OOPSLA-2018-WeisenburgerKS #development: Distributed system development with ScalaLoci (PW, MK, GS), p. 30.
AdaEurope-2018-GutierrezP #realtime #scheduling #theory and practice: Theory and Practice of EDF Scheduling in Distributed Real-Time Systems (JJG, HP0), pp. 123–137.
PLDI-2018-DathathriGHDBDS #graph #named: Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics (RD, GG, LH, HVD, AB, ND, MS, KP), pp. 752–768.
PLDI-2018-TaubeLMPSSWW #composition #decidability #deduction #verification: Modularity for decidability of deductive verification with applications to distributed systems (MT, GL, KLM, OP, MS, SS, JRW, DW), pp. 662–677.
POPL-2018-SergeyWT #programming #protocol #proving: Programming and proving with distributed protocols (IS, JRW, ZT), p. 30.
SAS-2018-Shoham #decidability #interactive #logic #protocol #using #verification: Interactive Verification of Distributed Protocols Using Decidable Logic (SS), pp. 77–85.
ASE-2018-BaoLXF #automation #named: AutoConfig: automatic configuration tuning for distributed message systems (LB, XL0, ZX, BF), pp. 29–40.
ASE-2018-RoohitavafK #agile #framework #named #prototype: DKVF: a framework for rapid prototyping and evaluating distributed key-value stores (MR, SSK), pp. 912–915.
ASE-2018-Traini #effectiveness #fault #framework #injection #multi #performance: A multi-objective framework for effective performance fault injection in distributed systems (LT), pp. 936–939.
ESEC-FSE-2018-Anand #hybrid #model checking #named: Dara: hybrid model checking of distributed systems (VA), pp. 977–979.
ESEC-FSE-2018-GaoDQGW0HZW #debugging #empirical #scalability: An empirical study on crash recovery bugs in large-scale distributed systems (YG, WD, FQ, CG, DW, JW0, RH, LZ, YW), pp. 539–550.
ESEC-FSE-2018-Lima #automation #integration #testing: Automated scenario-based integration testing of distributed systems (BL), pp. 956–958.
ESEC-FSE-2018-Nocera #adaptation #agile #development: Reshaping distributed agile and adaptive development environment (FN), pp. 968–970.
ICSE-2018-GrantCB #invariant: Inferring and asserting distributed system invariants (SG, HC, IB), pp. 1149–1159.
GPCE-2018-ChristopheRBM #analysis #javascript #process #source code: Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs (LC, CDR, EGB, WDM), pp. 107–118.
ASPLOS-2018-NguyenFNXDL #big data #named: Skyway: Connecting Managed Heaps in Distributed Big Data Systems (KN, LF, CN, G(X, BD, SL), pp. 56–69.
CASE-2018-BasileCM #automation #generative #simulation: Automated generation of a simulation model for the decentralized control of automated warehouse systems (FB, PC, EDM), pp. 540–546.
CASE-2018-GungorFM #composition #configuration management #design #robust: Hierarchical Decentralized Robust Control Design for Modular and Reconfigurable Robots (GG, BF, WM), pp. 1006–1011.
CASE-2018-PetittiPCMSCN #approach #mobile #network: A Distributed Map Building Approach for Mobile Robotic Networks (AP, DDP, RC, AM, ES, AC, DN), pp. 116–121.
CASE-2018-RuppertSWP #architecture #case study #comparative #flexibility: Comparative study of flexible and decentralized agent-based and service-oriented control architectures for production systems (SR, FS, TW, JP), pp. 316–321.
CASE-2018-TelschigSK #architecture #embedded #realtime: A Real-Time Container Architecture for Dependable Distributed Embedded Applications (KT, AS, AK), pp. 1367–1374.
CASE-2018-TomzikX #architecture: Architecture of a Cloud-Based Control System Decentralised at Field Level (DAT, XWX), pp. 353–358.
CASE-2018-WuJX #coordination #energy #on the #optimisation #physics: On Distributed Optimization for Supply Demand Coordination in Cyber Physical Energy Systems (JW, QSJ, ZX), pp. 553–558.
CASE-2018-WuL #algorithm #difference #evolution #flexibility #problem #scheduling: An Improved Differential Evolution Algorithm for Solving a Distributed Flexible Job Shop Scheduling Problem (XW, XL), pp. 968–973.
CASE-2018-YangGWD #cyber-physical #energy #multi #network: A Multi-layered Distributed Cloud Network for Cyber-Physical Energy System (LY, XG, JW, SD), pp. 402–407.
CASE-2018-ZhangSRF #navigation #network: An autonomous robotic system for intralogistics assisted by distributed smart camera network for navigation (XZ, MS, SR, JF), pp. 1224–1229.
CASE-2018-ZhangZY #algorithm #detection #fault: A Distributed Algorithm for Sensor Fault Detection (ZZ, QZ, WY), pp. 756–761.
CC-2018-NeykovaHYA #api #f# #generative #protocol: A session type provider: compile-time API generation of distributed protocols with refinements in F# (RN, RH, NY, FA), pp. 128–138.
CGO-2018-0001LQDL #android #detection #logic #using: Resilient decentralized Android application repackaging detection using logic bombs (QZ0, LL, ZQ, XD, ZL), pp. 50–61.
CGO-2018-0003LJZW #concurrent #debugging #graph #scalability: Scalable concurrency debugging with distributed graph processing (LZ0, XL, HJ0, JZ, QW), pp. 188–199.
ESOP-2018-MertenBS #algorithm #complexity #game studies #learning: Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees (SM, AB, GS0), pp. 561–588.
ESOP-2018-VieringCEHZ #type system: A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems (MV, TCC, PE, RH, LZ), pp. 799–826.
FASE-2018-BurSVV #cyber-physical #graph #monitoring #query #runtime: Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems (MB, GS, AV0, DV), pp. 111–128.
FASE-2018-LiuOSWGM #analysis #formal method #named #protocol #transaction: ROLA: A New Distributed Transaction Protocol and Its Formal Analysis (SL0, PCÖ, KS, QW0, IG, JM), pp. 77–93.
FASE-2018-MenghiSCG #component #design #incremental: Supporting Verification-Driven Incremental Distributed Design of Components (CM, PS, MC, CG), pp. 169–188.
VMCAI-2018-AminofRSWZ #abstraction #algorithm #model checking: Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction (BA, SR, IS, JW, FZ), pp. 1–24.
CSEET-2017-CavrakBZCNMC #development #hall of fame: Hall of Fame Nomination Paper: Distributed Software Development Course (IC, IB, MZ, FC, EDN, RM, IC), pp. 7–8.
Haskell-2017-Ekblad #web: A meta-EDSL for distributed web applications (AE), pp. 75–85.
CHI-PLAY-2017-ShakeriSPN0 #design #evaluation: Escaping Together: The Design and Evaluation of a Distributed Real-Life Escape Room (HS, SS, RP, CN, AT0), pp. 115–128.
FDG-2017-ClarkO #game studies #video: Video games as a distributed computing resource (CC, MO), p. 7.
CIKM-2017-AnindyaRKM #constraints: Building a Dossier on the Cheap: Integrating Distributed Personal Data Resources Under Cost Constraints (ICA, HR, MK, BAM), pp. 1549–1558.
CIKM-2017-CaoZL #approach #approximate #effectiveness #graph #mining #named #scalability: PMS: an Effective Approximation Approach for Distributed Large-scale Graph Data Processing and Mining (YC, YZ, JL), pp. 1999–2002.
CIKM-2017-Mondal0L #email #privacy #profiling: Privacy Aware Temporal Profiling of Emails in Distributed Setup (SM, MS0, SL), pp. 1229–1238.
CIKM-2017-VasiloudisBM #named #streaming: BoostVHT: Boosting Distributed Streaming Decision Trees (TV, FB, GDFM), pp. 899–908.
CIKM-2017-ZhangZ: Communication-Efficient Distributed Skyline Computation (HZ, QZ0), pp. 437–446.
ICML-2017-0002TLFYG #adaptation #optimisation: Adaptive Consensus ADMM for Distributed Optimization (ZX0, GT, HL0, MATF, XY, TG), pp. 3841–3850.
ICML-2017-BachemL0 #constant: Distributed and Provably Good Seedings for k-Means in Constant Rounds (OB, ML, AK0), pp. 292–300.
ICML-2017-DaxbergerL #optimisation #process: Distributed Batch Gaussian Process Optimization (EAD, BKHL), pp. 951–960.
ICML-2017-GarberSS #algorithm #analysis #component #probability: Communication-efficient Algorithms for Distributed Stochastic Principal Component Analysis (DG, OS, NS), pp. 1203–1212.
ICML-2017-Hernandez-Lobato #parallel #scalability: Parallel and Distributed Thompson Sampling for Large-scale Accelerated Exploration of Chemical Space (JMHL, JR, EOPK, AAG), pp. 1470–1479.
ICML-2017-HongHZ #algorithm #learning #named #network #optimisation #performance: Prox-PDA: The Proximal Primal-Dual Algorithm for Fast Distributed Nonconvex Optimization and Learning Over Networks (MH, DH, MMZ), pp. 1529–1538.
ICML-2017-MouLLJ #execution #natural language #query #symbolic computation: Coupling Distributed and Symbolic Execution for Natural Language Queries (LM, ZL, HL0, ZJ), pp. 2518–2526.
ICML-2017-OmidshafieiPAHV #learning #multi: Deep Decentralized Multi-task Multi-Agent Reinforcement Learning under Partial Observability (SO, JP, CA, JPH, JV), pp. 2681–2690.
ICML-2017-PengZZQ #process: Asynchronous Distributed Variational Gaussian Process for Regression (HP, SZ, XZ, YQ), pp. 2788–2797.
ICML-2017-ScamanBBLM #algorithm #network #optimisation: Optimal Algorithms for Smooth and Strongly Convex Distributed Optimization in Networks (KS, FRB, SB, YTL, LM), pp. 3027–3036.
ICML-2017-SureshYKM #communication #estimation: Distributed Mean Estimation with Limited Communication (ATS, FXY, SK, HBM), pp. 3329–3337.
ICML-2017-TandonLDK #learning: Gradient Coding: Avoiding Stragglers in Distributed Learning (RT, QL, AGD, NK), pp. 3368–3376.
ICML-2017-WangKS0 #learning #performance: Efficient Distributed Learning with Sparsity (JW, MK, NS, TZ0), pp. 3636–3645.
ICML-2017-ZhangZZHZ #learning #network #online: Projection-free Distributed Online Learning in Networks (WZ0, PZ, WZ0, SCHH, TZ), pp. 4054–4062.
KDD-2017-GabelKS #approximate: Anarchists, Unite: Practical Entropy Approximation for Distributed Streams (MG, DK, AS), pp. 837–846.
KDD-2017-HsiehSD #kernel: Communication-Efficient Distributed Block Minimization for Nonlinear Kernel Machines (CJH, SS, ISD), pp. 245–254.
KDD-2017-LiuPH #learning #multi: Distributed Multi-Task Relationship Learning (SL, SJP, QH), pp. 937–946.
KDD-2017-XieBLZ #learning #multi #privacy: Privacy-Preserving Distributed Multi-Task Learning with Asynchronous Updates (LX, IMB, KL, JZ), pp. 1195–1204.
KDD-2017-YanCKR #big data #detection: Distributed Local Outlier Detection in Big Data (YY, LC, CK, EAR), pp. 1225–1234.
KDD-2017-ZhouLZCLYCYCDQ #learning #named #parametricity: KunPeng: Parameter Server based Distributed Learning Systems and Its Applications in Alibaba and Ant Financial (JZ, XL, PZ, CC, LL, XY, QC, JY, XC, YD, Y(Q), pp. 1693–1702.
ECMFA-2017-Sunye #collaboration #consistency #modelling: Model Consistency for Distributed Collaborative Modeling (GS), pp. 197–212.
ECOOP-2017-ScalasDHY #composition #linear #multi #programming: A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (AS, OD, RH, NY), p. 31.
OOPSLA-2017-BakstGKJ #canonical #source code #verification: Verifying distributed programs via canonical sequentialization (AB, KvG, RGK, RJ), p. 27.
OOPSLA-2017-GomesKMB #consistency #verification: Verifying strong eventual consistency in distributed systems (VBFG, MK, DPM, ARB), p. 28.
OOPSLA-2017-PadonLSS #decidability #protocol #reasoning: Paxos made EPR: decidable reasoning about distributed protocols (OP, GL, MS, SS), p. 31.
POPL-2017-KonnovLVW #algorithm #fault tolerance #liveness #safety #verification: A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (IVK0, ML, HV, JW), pp. 719–734.
ESEC-FSE-2017-GarbervetskyZL #static analysis #towards: Toward full elasticity in distributed static analysis: the case of callgraph analysis (DG, EZ, BL), pp. 442–453.
ASPLOS-2017-LiuLLLLGT #automation #concurrent #debugging #detection #named: DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems (HL, GL, JFL, JL, SL, HSG, CT0), pp. 677–691.
ASPLOS-2017-VoraTGH #graph #named: CoRAL: Confined Recovery in Distributed Asynchronous Graph Processing (KV, CT0, RG0, ZH), pp. 223–236.
CASE-2017-CarliD #grid #monitoring #multi #smarttech #using: Using the distributed proximal alternating direction method of multipliers for smart grid monitoring (RC, MD), pp. 418–423.
CASE-2017-CarliD17a #energy #programming #scalability #using: A decentralized control strategy for energy retrofit planning of large-scale street lighting systems using dynamic programming (RC, MD), pp. 1196–1200.
CASE-2017-CecilCG #collaboration #framework #generative #physics: Foundational elements of next generation cyber physical and IoT frameworks for distributed collaboration (JC, ACX, AG), pp. 789–794.
CASE-2017-HouH0L #constraints #petri net: Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets (JH, HH, YZ0, YL0), pp. 358–363.
CASE-2017-LiLPS #capacity #energy #network: Optimal placement and capacity allocation of distributed energy storage devices in distribution networks (WL, CL, XP, JS0), pp. 1403–1407.
CASE-2017-PengZH #fault #learning: Distributed fault diagnosis with shared-basis and B-splines-based matched learning (CP, YZ, QH), pp. 536–541.
CASE-2017-Pu0L #predict: Model predictive control for distributed microgrid system with unbalanced loads (YP, JW0, SL), pp. 1622–1627.
CASE-2017-YuDZH #communication #optimisation #resource management: Distributed resource allocation optimization with discrete-time communication and application to economic dispatch in power systems (WY, ZD, HZ, YH), pp. 1226–1231.
CASE-2017-ZhangJ #bias #metric #network: Target tracking over distributed sensor networks by polar measurements with time-varying bias (CZ, YJ), pp. 429–433.
ICTSS-2017-BenharratGHLG #constraints: Constraint-Based Oracles for Timed Distributed Systems (NB, CG, RMH, AL, PLG), pp. 276–292.
VMCAI-2017-KonnovWSS #abstraction #algorithm #fault tolerance: Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (IVK0, JW, FS, LS), pp. 347–366.
CBSE-2016-MorinFHB #generative #middleware: A Generative Middleware for Heterogeneous and Distributed Services (BM, FF, KEH, OB), pp. 107–116.
CBSE-2016-MubeenNSLGL #abstraction #embedded #legacy #modelling: Modeling of Legacy Distributed Embedded Systems at Vehicle Abstraction Level (SM, TN, MS, JL, MG, KLL), pp. 7–12.
QoSA-2016-FreibergPE #communication #source code: Retargetable Communication for Distributed Programs (OF, JP, ME), pp. 21–30.
QoSA-2016-WillneckerK #deployment #enterprise #optimisation: Optimization of Deployment Topologies for Distributed Enterprise Applications (FW, HK), pp. 106–115.
WICSA-2016-MubeenN #abstraction #analysis #component #embedded #on the: On Timing Analysis of Component-Based Vehicular Distributed Embedded Systems at Various Abstraction Levels (SM, TN), pp. 277–278.
FM-2016-ChandLS #multi #verification: Formal Verification of Multi-Paxos for Distributed Consensus (SC, YAL, SDS), pp. 119–136.
CIKM-2016-FengXZ #learning: Distributed Deep Learning for Question Answering (MF, BX, BZ), pp. 2413–2416.
CIKM-2016-HoLSKDWZS #algorithm #behaviour #graph #scalability: A Distributed Graph Algorithm for Discovering Unique Behavioral Groups from Large-Scale Telco Data (QH, WL, ES, SK, TAD, JW, ICZ, ASN), pp. 1353–1362.
CIKM-2016-LiakosPD #graph #novel: Memory-Optimized Distributed Graph Processing through Novel Compression Techniques (PL, KP, AD), pp. 2317–2322.
CIKM-2016-MaSCYKV #network #performance #query: Query Answering Efficiency in Expert Networks Under Decentralized Search (LM0, MS, DC, XY, SK, MV), pp. 2119–2124.
CIKM-2016-OrdentlichYFCGD #scalability #word: Network-Efficient Distributed Word2vec Training System for Large Vocabularies (EO, LY, AF, PC, MG, ND, VR, GO), pp. 1139–1148.
CIKM-2016-WangMGWY #data type #framework #named #resource management: OrientStream: A Framework for Dynamic Resource Allocation in Distributed Data Stream Management Systems (CW, XM0, QG, ZW, CY), pp. 2281–2286.
CIKM-2016-WangWZ #graph #partial evaluation #performance #query #rdf #using: Efficient Distributed Regular Path Queries on RDF Graphs Using Partial Evaluation (XW0, JW, XZ), pp. 1933–1936.
ICML-2016-AltschulerBFMRZ #algorithm #bound #set: Greedy Column Subset Selection: New Bounds and Distributed Algorithms (JA, AB, GF, VSM, AR, MZ), pp. 2539–2548.
ICML-2016-ColinBSC #optimisation: Gossip Dual Averaging for Decentralized Optimization of Pairwise Functions (IC, AB, JS, SC), pp. 1388–1396.
ICML-2016-DingLHL #clustering: K-Means Clustering with Distributed Dimensions (HD, YL, LH, JL0), pp. 1339–1348.
ICML-2016-HoangHL #framework #modelling #parallel #process: A Distributed Variational Inference Framework for Unifying Parallel Sparse Gaussian Process Regression Models (TNH, QMH, BKHL), pp. 382–391.
ICML-2016-KordaSL #clustering #linear #network: Distributed Clustering of Linear Bandits in Peer to Peer Networks (NK, BS, SL), pp. 1301–1309.
ICML-2016-WangSDNSX #algorithm #coordination #parallel: Parallel and Distributed Block-Coordinate Frank-Wolfe Algorithms (YXW, VS, WD0, WN, SS, EPX), pp. 1548–1557.
ICPR-2016-ComiterCKT #automation #clustering #implementation #parametricity: Lambda means clustering: Automatic parameter search and distributed computing implementation (MZC, MC, HTK, ST), pp. 2331–2337.
ICPR-2016-MartinelFM #identification: Distributed and Unsupervised Cost-Driven Person Re-Identification (NM, GLF, CM), pp. 1225–1230.
ICPR-2016-NguyenNLP: Distributed data augmented support vector machine on Spark (TDN, VN0, TL, DQP), pp. 498–503.
KDD-2016-BalcanLSW0 #analysis #communication #component #kernel #performance: Communication Efficient Distributed Kernel Principal Component Analysis (MFB, YL, LS, DPW, BX0), pp. 725–734.
KDD-2016-HuangJA #composition #online #performance: Online Dual Decomposition for Performance and Delivery-Based Distributed Ad Allocation (JCH, RJ, CA), pp. 117–126.
KDD-2016-LazersonKS #lightweight #monitoring: Lightweight Monitoring of Distributed Streams (AL, DK, AS), pp. 1685–1694.
KDD-2016-ParkMK #named: PTE: Enumerating Trillion Triangles On Distributed Systems (HMP, SHM, UK), pp. 1115–1124.
Onward-2016-KurajJ #paradigm #programming: Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift (IK, DJ0), pp. 145–164.
Onward-2016-MillerHMB #functional #programming: Function passing: a model for typed, distributed functional programming (HM, PH, NM, JB), pp. 82–97.
AdaEurope-2016-PerezGHP #realtime #scheduling: The Polling Effect on the Schedulability of Distributed Real-Time Systems (HP0, JJG, MGH, JCP), pp. 179–194.
PLDI-2016-KimJJKL #framework #replication #using: A distributed OpenCL framework using redundant computation and data replication (JK, GJ, JJ, JK, JL), pp. 553–569.
POPL-2016-DragoiHZ #algorithm #fault tolerance #named: PSync: a partially synchronous language for fault-tolerant distributed algorithms (CD, TAH, DZ), pp. 400–415.
POPL-2016-GotsmanYFNS #consistency #reasoning: 'Cause I'm strong enough: reasoning about consistency choices in distributed systems (AG, HY, CF0, MN, MS0), pp. 371–384.
POPL-2016-LesaniBC #consistency #named: Chapar: certified causally consistent distributed key-value stores (ML, CJB, AC), pp. 357–370.
ASE-2016-CaiT #effectiveness #impact analysis #named #source code: DistIA: a cost-effective dynamic impact analysis for distributed programs (HC, DT), pp. 344–355.
SLE-2016-BenelallamTCLC #clustering #model transformation #performance: Efficient model partitioning for distributed model transformations (AB, MT, JSC, JdL, JC), pp. 226–238.
ASPLOS-2016-HanJCH #clustering #parallel: Interference Management for Distributed Parallel Applications in Consolidated Clusters (JH, SJ, YrC, JH), pp. 443–456.
ASPLOS-2016-Leesatapornwongsa #concurrent #debugging #named #nondeterminism #taxonomy: TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems (TL, JFL, SL, HSG), pp. 517–530.
ASPLOS-2016-MaasA0K #coordination #named #runtime: Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications (MM, KA, TH0, JK), pp. 457–471.
CASE-2016-AguiarFFSWWGW: The networked, robotic home+ furniture suite: A distributed, assistive technology facilitating aging in place (CHDA, RF, CGF, RS, YW, MBW, KEG, IDW), pp. 1067–1072.
CASE-2016-AltSS #modelling: Model-based control of MIMO transport systems with spatially distributed control input (SA, SS, OS), pp. 531–536.
CASE-2016-LiuT #hybrid #multi #network #using: Distributed vision network for multiple target tracking using a dynamic hybrid consensus filter (GL, GT), pp. 805–808.
CASE-2016-StenzelL #concept #mobile: Concept of decentralized cooperative path conflict resolution for heterogeneous mobile robots (JS, DL), pp. 715–720.
CASE-2016-YangH #petri net #using: Mono-T-semiflow systems with resources and their distributed control using Petri nets (YY, HH), pp. 1042–1048.
FASE-2016-HenrioKLM #component #ide #verification: Integrated Environment for Verifying and Running Distributed Components (LH, OK, SL, EM), pp. 66–83.
CAV-2016-BloemBJ #self #synthesis: Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems (RB, NBS, SJ), pp. 157–176.
CSL-2016-Muscholl #automation #synthesis: Automated Synthesis: Going Distributed (AM), p. 2.
ICST-2016-HughesPAN #testing: Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service (JH, BCP, TA, UN), pp. 135–145.
ICST-2016-Lima #automation #testing: Automated Scenario-Based Testing of Distributed and Heterogeneous Systems (BL), pp. 383–384.
ICTSS-2016-HieronsMN #nondeterminism #testing: Controllability Through Nondeterminism in Distributed Testing (RMH, MGM, MN0), pp. 89–105.
ECSA-2015-TahriDP #architecture #deployment #feature model #modelling #smarttech #using: Using Feature Models for Distributed Deployment in Extended Smart Home Architecture (AT, LD, JP), pp. 285–293.
DocEng-2015-JansenFC #documentation #multi: Multimedia Document Structure for Distributed Theatre (JJ, MF, PC), pp. 199–202.
JCDL-2015-ShipmanGSMK #library #towards: Towards a Distributed Digital Library for Sign Language Content (FS, RGO, TS, CDDM, VK), pp. 187–190.
PODS-2015-GuchtWWZ #communication #complexity #matrix #multi: The Communication Complexity of Distributed Set-Joins with Applications to Matrix Multiplication (DVG, RW, DPW, QZ), pp. 199–212.
SIGMOD-2015-ElgamalYAMH #analysis #big data #component #named #platform #scalability: sPCA: Scalable Principal Component Analysis for Big Data on Distributed Platforms (TE, MY, AA, WM, MH), pp. 79–91.
SIGMOD-2015-JerglerSJ #framework #named #workflow: D2WORM: A Management Infrastructure for Distributed Data-centric Workflows (MJ, MS, HAJ), pp. 1427–1432.
SIGMOD-2015-LinOWY #scalability: Scalable Distributed Stream Join Processing (QL, BCO, ZW, CY), pp. 811–825.
SIGMOD-2015-LoesingPEK #database #design #on the #scalability: On the Design and Scalability of Distributed Shared-Data Databases (SL, MP, TE, DK), pp. 663–676.
SIGMOD-2015-MytilinisGKDTTG #framework #named #network #platform #social: MoDisSENSE: A Distributed Spatio-Temporal and Textual Processing Platform for Social Networking Services (IM, IG, IK, KD, DT, MT, LG, NK), pp. 895–900.
SIGMOD-2015-PrasadFGMLXHR #data transfer #performance #predict #scalability: Large-scale Predictive Analytics in Vertica: Fast Data Transfer, Distributed Model Creation, and In-database Prediction (SP, AF, VG, JM, JL, VX, MH, IR), pp. 1657–1668.
SIGMOD-2015-ScheibliDB #3d #interactive #named #query #visualisation: QE3D: Interactive Visualization and Exploration of Complex, Distributed Query Plans (DS, CD, AB), pp. 877–881.
SIGMOD-2015-TangLT #online: Distributed Online Tracking (MT, FL, YT), pp. 2047–2061.
SIGMOD-2015-YanZHSMZM #detection #using: Distributed Outlier Detection using Compressive Sensing (YY, JZ, BH, XS, JM, ZZ, TM), pp. 3–16.
SIGMOD-2015-YuSC #dependence #matrix #performance: Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.
VLDB-2015-AhmadK: Compaction Management in Distributed Key-Value Datastores (MYA, BK), pp. 850–861.
VLDB-2015-ChenGXJC #image #named #recommendation #retrieval: I2RS: A Distributed Geo-Textual Image Retrieval and Recommendation System (LC, YG, ZX, CSJ, GC), pp. 1884–1895.
VLDB-2015-HammoudRNBS #adaptation #communication #named #query #rdf: DREAM: Distributed RDF Engine with Adaptive Query Planner and Minimal Communication (MH, DAR, RN, SMRB, SS), pp. 654–665.
VLDB-2015-LazersonSKSGS #monitoring #using: Monitoring Distributed Streams using Convex Decompositions (AL, IS, DK, AS, MNG, VS), pp. 545–556.
VLDB-2015-MahmoodAQRDMAHA #named: Tornado: A Distributed Spatio-Textual Stream Processing System (ARM, AMA, TQ, EKR, AD, AM, ASA, MSH, WGA, SB), pp. 2020–2031.
VLDB-2015-MargoS #graph #scalability: A Scalable Distributed Graph Partitioner (DWM, MIS), pp. 1478–1489.
VLDB-2015-MukherjeeCCDGHH #architecture #database #in memory: Distributed Architecture of Oracle Database In-memory (NM, SC, MC, DD, MG, SH, AH, HJ, JK, KK, TL, JL, NM, VM, AM, AW, JY, MZ), pp. 1630–1641.
VLDB-2015-SharovSMS #exclamation #online #optimisation: Take me to your leader! Online Optimization of Distributed Storage Configurations (AS, AS, AM, MS), pp. 1490–1501.
VLDB-2015-ZhangC0 #approach #graph #set: Bonding Vertex Sets Over Distributed Graph: A Betweenness Aware Approach (XZ, HC, LC), pp. 1418–1429.
CSEET-2015-Robinson #industrial #scalability: Insights from Creating and Deploying a Large, Globally Distributed Industrial Training Program (BPR), p. 2.
ITiCSE-2015-UraiUO #analysis #programming: Enhancements to Support Functions of Distributed Pair Programming Based on Action Analysis (TU, TU, NO), pp. 177–182.
ICALP-v1-2015-BeigiEG: Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources (SB, OE, AG), pp. 143–154.
ICALP-v2-2015-Ghaffari #towards: Distributed Broadcast Revisited: Towards Universal Optimality (MG), pp. 638–649.
ICALP-v2-2015-Muscholl #automation #synthesis: Automated Synthesis of Distributed Controllers (AM), pp. 11–27.
FM-2015-AlbertACGGMPR #analysis #concurrent #source code: Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.
FM-2015-AlTurkiA #framework #towards #using #verification #𝕂: Towards Formal Verification of Orchestration Computations Using the 𝕂 Framework (MAA, OA), pp. 40–56.
SEFM-2015-KamaliHKP #analysis #formal method: Formal Analysis of Proactive, Distributed Routing (MK, PH, MK, LP), pp. 175–189.
SEFM-2015-VollingerR #algorithm #certification #problem: Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.
CIG-2015-YoonLSKK #optimisation: Optimization of Angry Birds AI controllers with distributed computing (DMY, JSL, HSS, JHK, KJK), pp. 544–545.
CHI-2015-BlomkvistPA #agile #bound #communication: Communication through Boundary Objects in Distributed Agile Teams (JKB, JP, JÅ), pp. 1875–1884.
CHI-2015-Boulus-RodjeB #challenge #design: Design Challenges in Supporting Distributed Knowledge: An Examination of Organizing Elections (NBR, PB), pp. 3137–3146.
CHI-2015-KoemanKR #approach #exclamation #quote #visualisation: “Everyone Is Talking about It!”: A Distributed Approach to Urban Voting Technology and Visualisations (LK, VK, YR), pp. 3127–3136.
CSCW-2015-MoghaddamNB #design #named: Procid: Bridging Consensus Building Theory with the Practice of Distributed Design Discussions (RZM, ZN, BPB), pp. 686–699.
ICEIS-v3-2015-KypriotakiZG #network #peer-to-peer: From Bitcoin to Decentralized Autonomous Corporations — Extending the Application Scope of Decentralized Peer-to-Peer Networks and Blockchains (KNK, EDZ, GMG), pp. 284–290.
CIKM-2015-AltingovdeCT #information retrieval #scalability: LSDS-IR'15: 2015 Workshop on Large-Scale and Distributed Systems for Information Retrieval (ISA, BBC, NT), pp. 1947–1948.
CIKM-2015-GuoSA #correlation #performance #streaming: Fast Distributed Correlation Discovery Over Streaming Time-Series Data (TG0, SS, KA), pp. 1161–1170.
CIKM-2015-JinLZHH #learning #multi #online: Collaborating between Local and Global Learning for Distributed Online Multiple Tasks (XJ0, PL0, FZ, JH, QH), pp. 113–122.
ICML-2015-AybatWI #optimisation: An Asynchronous Distributed Proximal Gradient Method for Composite Convex Optimization (NSA, ZW, GI), pp. 2454–2462.
ICML-2015-BarbosaENW #dataset #power of: The Power of Randomization: Distributed Submodular Maximization on Massive Datasets (RdPB, AE, HLN, JW), pp. 1236–1244.
ICML-2015-DeisenrothN #process: Distributed Gaussian Processes (MPD, JWN), pp. 1481–1490.
ICML-2015-GeCWG #modelling #process: Distributed Inference for Dirichlet Process Mixture Models (HG, YC, MW, ZG), pp. 2276–2284.
ICML-2015-GouwsBC #named #performance #word: BilBOWA: Fast Bilingual Distributed Representations without Word Alignments (SG, YB, GC), pp. 748–756.
ICML-2015-HuHDX #parametricity #scalability: Large-scale Distributed Dependent Nonparametric Trees (ZH, QH, AD, EPX), pp. 1651–1659.
ICML-2015-LeeR #linear #optimisation #polynomial: Distributed Box-Constrained Quadratic Optimization for Dual Linear SVM (CPL, DR), pp. 987–996.
ICML-2015-LengWCZL: Hashing for Distributed Data (CL, JW, JC, XZ, HL), pp. 1642–1650.
ICML-2015-MaSJJRT #optimisation: Adding vs. Averaging in Distributed Primal-Dual Optimization (CM, VS, MJ, MIJ, PR, MT), pp. 1973–1982.
ICML-2015-YangX15b #clustering #divide and conquer #framework #graph: A Divide and Conquer Framework for Distributed Graph Clustering (WY, HX), pp. 504–513.
ICML-2015-ZhangL15a #empirical #named #optimisation #self: DiSCO: Distributed Optimization for Self-Concordant Empirical Loss (YZ, XL), pp. 362–370.
ICML-2015-ZhangWJ #algorithm #bound #estimation #matrix #performance #rank: Distributed Estimation of Generalized Matrix Rank: Efficient Algorithms and Lower Bounds (YZ, MJW, MIJ), pp. 457–465.
KDD-2015-AhnKLRW #matrix #probability #scalability #using: Large-Scale Distributed Bayesian Matrix Factorization using Stochastic Gradient MCMC (SA, AK, NL, SR, MW), pp. 9–18.
KDD-2015-ElenbergSBD #framework #graph #scalability: Beyond Triangles: A Distributed Framework for Estimating 3-profiles of Large Graphs (ERE, KS, MB, AGD), pp. 229–238.
KDD-2015-GabelKS #modelling #monitoring: Monitoring Least Squares Models of Distributed Streams (MG, DK, AS), pp. 319–328.
KDD-2015-LucierOS #network #scalability: Influence at Scale: Distributed Computation of Complex Contagion in Networks (BL, JO, YS), pp. 735–744.
KDD-2015-MiaoCTZYB #personalisation: Distributed Personalization (XM, CTC, LT, YZ, JY, AB), pp. 1989–1998.
KDD-2015-ShanahanD #scalability #using: Large Scale Distributed Data Science using Apache Spark (JGS, LD), pp. 2323–2324.
KDD-2015-XingHDKWLZXKY #big data #framework #machine learning #named #platform: Petuum: A New Platform for Distributed Machine Learning on Big Data (EPX, QH, WD, JKK, JW, SL, XZ, PX, AK, YY), pp. 1335–1344.
KDD-2015-YanRHC #learning #modelling #optimisation #performance #scalability: Performance Modeling and Scalability Optimization of Distributed Deep Learning Systems (FY, OR, YH, TMC), pp. 1355–1364.
RecSys-2015-AlmahairiKCC #collaboration #learning: Learning Distributed Representations from Reviews for Collaborative Filtering (AA, KK, KC, ACC), pp. 147–154.
SEKE-2015-AdornesGLF #architecture #domain-specific language #memory management #pipes and filters: A Unified MapReduce Domain-Specific Language for Distributed and Shared Memory Architectures (DA, DG, CL, LGF), pp. 619–624.
SEKE-2015-PereiraRA #data access #database #stack: Secure, Dynamic and Distributed Access Control Stack for Database Applications (ÓMP, DDR, RLA), pp. 364–369.
SIGIR-2015-DaiKC #how #random: How Random Decisions Affect Selective Distributed Search (ZD, YK, JC), pp. 771–774.
SIGIR-2015-Mitra #query #using: Exploring Session Context using Distributed Representations of Queries and Reformulations (BM), pp. 3–12.
SIGIR-2015-ZhengC #learning: Learning to Reweight Terms with Distributed Representations (GZ, JC), pp. 575–584.
MoDELS-2015-HartmannMFNKT #modelling #peer-to-peer #runtime: Stream my models: Reactive peer-to-peer distributed models@run.time (TH, AM, FF, GN, JK, YLT), pp. 80–89.
MoDELS-2015-LeemansA #mining #modelling #process #transaction: Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
Onward-2015-ProkopecO #composition #programming: Isolates, channels, and event streams for composable distributed programming (AP, MO), pp. 171–182.
AdaEurope-2015-DiazG #maintenance #middleware #open source #reliability #years after: Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later (MD, DG), pp. 116–128.
PLDI-2015-WilcoxWPTWEA #framework #implementation #named #verification: Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
PPDP-2015-MeiklejohnR #coordination #named #programming: Lasp: a language for distributed, coordination-free programming (CM, PVR), pp. 184–195.
SAS-2015-AlbertCJR #cost analysis #parallel: Parallel Cost Analysis of Distributed Systems (EA, JC, EBJ, GRD), pp. 275–292.
ESEC-FSE-2015-Florio #adaptation #scalability #self: Decentralized self-adaptation in large-scale distributed systems (LF), pp. 1022–1025.
SAC-2015-AbdiH #algorithm: An algorithm for distributed certificate chain discovery in open environments (SA, JH), pp. 2292–2298.
SAC-2015-BadouelHKM #approach #collaboration: A grammatical approach to data-centric case management in a distributed collaborative environment (EB, LH, GEK, CM), pp. 1834–1839.
SAC-2015-GkorouPE #network #trust: Trust-based collection of information in distributed reputation networks (DG, JAP, DHJE), pp. 2312–2319.
SAC-2015-HogenboomNJFV #optimisation #query #rdf: RDF chain query optimization in a distributed environment (AH, EN, MJ, FF, DV), pp. 353–359.
SAC-2015-MainiS #communication #multi #using: Distributed task servicing using multiple robots with human-in-the-loop under limited communication range (PM, PBS), pp. 301–306.
SAC-2015-MinHJCH #performance #process #scalability: An efficient backup-recovery technique to process large data in distributed key-value store (DM, TH, JJ, YC, JH), pp. 2072–2074.
SAC-2015-MiyashitaITK #graph #named #representation: Catalogue: graph representation of file relations for a globally distributed environment (YM, HI, FT, KK), pp. 806–809.
SAC-2015-StegagnoMB #identification: Distributed target identification in robotic swarms (PS, CM, HHB), pp. 307–313.
SAC-2015-TsengHT #framework #javascript #migration #mobile #web: Migratom.js: a JavaScript migration framework for distributed web computing and mobile devices (TLT, SHH, CHT), pp. 798–801.
SLE-2015-BenelallamGTC #atl #model transformation #pipes and filters: Distributed model-to-model transformation with ATL on MapReduce (AB, AG, MT, JC), pp. 37–48.
CASE-2015-ChenH #assembly #automation #petri net #using: Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets (CC, HH), pp. 532–538.
CASE-2015-FohringZ #multimodal #towards: Towards decentralized electronic market places and agent-based freight exchanges for multimodal transports (RF, SZ), pp. 249–254.
CASE-2015-HillmannS #dependence #linear: Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.
CASE-2015-Hong: Government subsidy impacts on decentralized reverse supply chains (IHH), p. 266.
CASE-2015-HuangJG #generative #multi #optimisation: Multi-timescale optimization between distributed wind generators and electric vehicles in microgrid (QH, QSJ, XG), pp. 671–676.
CASE-2015-HuC #optimisation: Decentralized ordinal optimization (DOO) for networked systems (PH, XC), pp. 787–792.
CASE-2015-JinDAWBBBL #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-KeroglouH #communication #constraints #using: Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints (CK, CNH), pp. 831–836.
CASE-2015-KimCDZF #flexibility: DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems (KK, JC, WD, YZ, GEF), pp. 369–376.
CASE-2015-LuoKNCS: Asynchronous distributed information leader selection in robotic swarms (WL, SSK, SN, NC, KPS), pp. 606–611.
CASE-2015-YangH0 #assembly #automation #petri net: A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
CASE-2015-ZakharovZYJ #algorithm #configuration management #fault tolerance #optimisation #performance #predict: A performance optimization algorithm for controller reconfiguration in fault tolerant distributed model predictive control (AZ, EZ, MY, SLJJ), pp. 886–891.
DATE-2015-BalboniFB #configuration management #latency #multi #network #scalability #using: Synergistic use of multiple on-chip networks for ultra-low latency and scalable distributed routing reconfiguration (MB, JF, DB), pp. 806–811.
DATE-2015-BrunduPAGRRM #energy #framework #integration #strict: A new distributed framework for integration of district energy data from heterogeneous devices (FGB, EP, AA, MG, GR, SR, EM), pp. 992–993.
DATE-2015-ChenM #learning #manycore #optimisation #performance: Distributed reinforcement learning for power limited many-core system performance optimization (ZC, DM), pp. 1521–1526.
DATE-2015-DoustiP #power management: Power-efficient control of thermoelectric coolers considering distributed hot spots (MJD, MP), pp. 966–971.
DATE-2015-IqtedarHSH #analysis #probability: Formal probabilistic analysis of distributed dynamic thermal management (SI, OH, MS, JH), pp. 1221–1224.
DATE-2015-KarkarTMY #communication #multi: Mixed wire and surface-wave communication fabrics for decentralized on-chip multicasting (AK, KFT, TSTM, AY), pp. 794–799.
HPCA-2015-BeckmannTS #scalability: Scaling distributed cache hierarchies through computation and data co-scheduling (NB, PAT, DS), pp. 538–550.
HPDC-2015-KaxirasKNRS #approach #execution #memory management #scalability: Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory (SK, DK, MN, AR, KFS), pp. 3–14.
HPDC-2015-WangZQLMR #consistency #scalability #towards: Towards Scalable Distributed Workload Manager with Monitoring-Based Weakly Consistent Resource Stealing (KW, XZ, KQ, ML, BM, IR), pp. 219–222.
LCTES-2015-LinM #framework #named #programming #simulation #towards #verification: StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems (YL, SM), p. 10.
PDP-2015-AkutsuUCKS #analysis #reliability: Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging (HA, KU, TC, TK, NS), pp. 261–268.
PDP-2015-EvrardL #automation #code generation #concurrent #formal method #modelling #process: Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes (HE, FL), pp. 459–466.
PDP-2015-GuthmullerQC #detection #legacy #similarity #verification: System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications (MG, MQ, GC), pp. 451–458.
PDP-2015-Inostrosa-Psijas #approximate #parallel #simulation: Load Balance Strategies for DEVS Approximated Parallel and Distributed Discrete-Event Simulations (AIP, VGC, RS, MM), pp. 337–340.
PPoPP-2015-RavishankarDEPRRS #code generation #memory management: Distributed memory code generation for mixed Irregular/Regular computations (MR, RD, VE, LNP, JR, AR, PS), pp. 65–75.
PPoPP-2015-XieCGZC: SYNC or ASYNC: time to fuse for distributed graph-parallel computation (CX, RC, HG, BZ, HC), pp. 194–204.
SOSP-2015-DragojevicNNRSB #consistency #performance #transaction: No compromises: distributed transactions with consistency, availability, and performance (AD, DN, EBN, MR, AS, AB, MC), pp. 54–70.
SOSP-2015-HawblitzelHKLPR #named #proving: IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.
SOSP-2015-MaceRF #monitoring: Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.
SOSP-2015-TeixeiraFSSZA #graph #mining #named: Arabesque: a system for distributed graph mining (CHCT, AJF, MS, GS, MJZ, AA), pp. 425–440.
FASE-2015-BrennerGS #on the fly #specification #synthesis: On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications (CB, JG, WS), pp. 51–65.
FASE-2015-CalinescuGB #adaptation #self: Self-adaptive Software with Decentralised Control Loops (RC, SG, AB), pp. 235–251.
STOC-2015-MirrokniZ #composition #random: Randomized Composable Core-sets for Distributed Submodular Maximization (VSM, MZ), pp. 153–162.
CAV-2015-FinkbeinerGO #named #synthesis: Adam: Causality-Based Synthesis of Distributed Systems (BF, MG, ERO), pp. 433–439.
CAV-2015-KonnovVW #abstraction #algorithm #model checking #smt: SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.
CAV-2015-AlurRSTU #automation #protocol #symmetry: Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.
CAV-2015-DesaiSQBE #abstraction #approximate: Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems (AD, SAS, SQ, DB, JCE), pp. 429–448.
ISSTA-2015-GuiSLD #abstraction #assessment #communication #refinement #reliability: Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
LICS-2015-Reiter #automaton #graph: Distributed Graph Automata (FR), pp. 192–201.
VMCAI-2015-SahaEJMT #markov: Distributed Markov Chains (RS, JE, SKJ, MM, PST), pp. 117–134.
ECSA-2014-BennaceurI #architecture: Layered Connectors — Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems (AB, VI), pp. 283–299.
ECSA-2014-ChiprianovFSP #architecture #embedded #modelling #performance #predict #realtime: Architectural Support for Model-Driven Performance Prediction of Distributed Real-Time Embedded Systems of Systems (VC, KEF, CS, GP), pp. 357–364.
QoSA-2014-FouquetNDBBPM #architecture #design #evolution #using: Designing and evolving distributed architecture using kevoree (FF, GN, ED, JB, OB, NP, BM), pp. 147–148.
WICSA-2014-BabazadehP #design #framework: The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
HT-2014-ChengKWT #architecture #memory management #performance #rdf #scalability: A two-tier index architecture for fast processing large RDF data over distributed memory (LC, SK, TEW, GT), pp. 300–302.
SIGMOD-2014-ElmeleegyOR #memory management #named #pipes and filters #using: SpongeFiles: mitigating data skew in mapreduce using distributed memory (KE, CO, BR), pp. 551–562.
SIGMOD-2014-GurajadaSMT #message passing #named #rdf: TriAD: a distributed shared-nothing RDF engine based on asynchronous message passing (SG, SS, IM, MT), pp. 289–300.
SIGMOD-2014-PolychroniouSR #network: Track join: distributed joins with minimal network traffic (OP, RS, KAR), pp. 1483–1494.
SIGMOD-2014-XiongHN #approach #network #performance #query: A software-defined networking based approach for performance management of analytical queries on distributed data stores (PX, HH, JFN), pp. 955–966.
VLDB-2014-BrunoKW #scalability: Advanced Join Strategies for Large-Scale Distributed Computation (NB, YK, MCW), pp. 1484–1495.
VLDB-2014-ConwayAAH #automation #named #programming: Edelweiss: Automatic Storage Reclamation for Distributed Programming (NC, PA, EA, JMH), pp. 481–492.
VLDB-2014-FanWWD #graph #simulation: Distributed Graph Simulation: Impossibility and Possibility (WF, XW, YW, DD), pp. 1083–1094.
VLDB-2014-GhashamiPL #approximate #matrix: Continuous Matrix Approximation on Distributed Data (MG, JMP, FL), pp. 809–820.
VLDB-2014-KuhlenkampKR #benchmark #database #metric #scalability: Benchmarking Scalability and Elasticity of Distributed Database Systems (JK, MK, OR), pp. 1219–1230.
VLDB-2014-MahmoudANAA #coordination #effectiveness #in the cloud #named #scalability #transaction: MaaT: Effective and scalable coordination of distributed transactions in the cloud (HAM, VA, FN, DA, AEA), pp. 329–340.
VLDB-2014-SerafiniMASRM #database #named #scalability #transaction: Accordion: Elastic Scalability for Database Systems Supporting Distributed Transactions (MS, EM, AA, KS, TR, UFM), pp. 1035–1046.
VLDB-2014-XiongH #named #network #performance #query: Pronto: A Software-Defined Networking based System for Performance Management of Analytical Queries on Distributed Data Stores (PX, HH), pp. 1661–1664.
VLDB-2014-YanCLN #framework #graph #named: Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs (DY, JC, YL, WN), pp. 1981–1992.
VLDB-2014-YuanDZLNHWDY #mobile #named #scalability: OceanST: A Distributed Analytic System for Large-Scale Spatiotemporal Mobile Broadband Data (MY, KD, JZ, YL, BN, XH, FW, WD, QY), pp. 1561–1564.
VLDB-2014-YunYHVD #algorithm #matrix #multi #named #probability: NOMAD: Nonlocking, stOchastic Multi-machine algorithm for Asynchronous and Decentralized matrix completion (HY, HFY, CJH, SVNV, ISD), pp. 975–986.
VLDB-2015-LuCYW14 #evaluation #graph #scalability: Large-Scale Distributed Graph Computing Systems: An Experimental Evaluation (YL, JC, DY, HW), pp. 281–292.
VLDB-2015-ShenCJLOT14 #graph #performance: Fast Failure Recovery in Distributed Graph Processing Systems (YS, GC, HVJ, WL, BCO, BMT), pp. 437–448.
VLDB-2015-TaftMSDEAPS14 #clustering #fine-grained #named #transaction: E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing (RT, EM, MS, JD, AJE, AA, AP, MS), pp. 245–256.
VLDB-2015-YangZTCM14 #named #navigation: CANDS: Continuous Optimal Navigation via Distributed Stream Processing (DY, DZ, KLT, JC, FLM), pp. 137–148.
VLDB-2015-ZhouGSY14 #graph #named #online #scalability #using: MOCgraph: Scalable Distributed Graph Processing Using Message Online Computing (CZ, JG, BS, JXY), pp. 377–388.
CSEET-2014-NordioEMAPNS #coordination #education #empirical #re-engineering: An experiment on teaching coordination in a globally distributed software engineering class (MN, HCE, BM, NA, RP, EDN, AS), pp. 109–118.
ICSME-2014-BiazziniMB #commit #on the #version control: On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems (MB, MM, BB), pp. 261–270.
AFL-2014-FernauFH #finite #hybrid: Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes (HF, RF, MH), pp. 246–260.
ICALP-v2-2014-AvinBLP #axiom #design #network: Distributed Computing on Core-Periphery Networks: Axiom-Based Design (CA, MB, ZL, DP), pp. 399–410.
ICALP-v2-2014-CooperER #power of: The Power of Two Choices in Distributed Voting (CC, RE, TR), pp. 435–446.
ICALP-v2-2014-Ghaffari #approximate #set: Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set (MG), pp. 483–494.
FM-2014-DammF #automation #composition #synthesis: Automatic Compositional Synthesis of Distributed Systems (WD, BF), pp. 179–193.
SFM-2014-GmeinerKSVW #algorithm #fault tolerance #model checking #tutorial: Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
ICFP-2014-FredrikssonG #execution #semantics: Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
VS-Games-2014-BugejaDSC #using: High-Fidelity Graphics for Dynamically Generated Environments Using Distributed Computing (KB, KD, SS, AC), pp. 1–8.
ICGT-2014-Delzanno #model checking #protocol #verification: Parameterized Verification and Model Checking for Distributed Broadcast Protocols (GD), pp. 1–16.
CHI-2014-AndreKK #collaboration: Effects of simultaneous and sequential work structures on distributed collaborative interdependent tasks (PA, REK, AK), pp. 139–148.
CHI-2014-YuKK14a #generative #idea: Distributed analogical idea generation: inventing with crowds (LY, AK, REK), pp. 1245–1254.
CSCW-2014-CobbMPBCDS #collaboration #comprehension #design #volunteer: Designing for the deluge: understanding & supporting the distributed, collaborative work of crisis volunteers (CC, TM, AP, AB, JC, BD, KS), pp. 888–899.
CSCW-2014-DuysburghEJ #collaboration: Exploring the social-technological gap in telesurgery: collaboration within distributed or teams (PD, SAE, AJ), pp. 1537–1548.
LCT-NLE-2014-PataB #ecosystem: Promoting Distributed Cognition at MOOC Ecosystems (KP, EB), pp. 204–215.
SCSM-2014-KamalNB #communication #mobile #product line #quote: “Presence in Absence”: Distributed Family Communication Practices for Familial Bonding via Mobile Communication Technology (FMK, NLMN, HB), pp. 474–485.
EDOC-2014-DomaschkaHE #database #reliability: Reliability and Availability Properties of Distributed Database Systems (JD, CBH, BE), pp. 226–233.
ICEIS-v1-2014-DavarG #information management #object-oriented #performance: Performance Tuning of Object-Oriented Applications in Distributed Information Systems (ZD, JRG), pp. 201–208.
ICEIS-v1-2014-KannistoHPK #architecture #assessment #information management #mobile #performance #reasoning #rule-based: Distributed Knowledge Management Architecture and Rule Based Reasoning for Mobile Machine Operator Performance Assessment (PK, DH, LP, SK), pp. 440–449.
ICEIS-v1-2014-PfaffK #benchmark #integration #metric #ontology #semantics #towards: Semantic Integration of Semi-Structured Distributed Data in the Domain of IT Benchmarking — Towards a Domain Specific Ontology (MP, HK), pp. 320–324.
ICEIS-v1-2014-SilvaNMFMM #algorithm #detection #performance #pipes and filters #using: Efficient and Distributed DBScan Algorithm Using MapReduce to Detect Density Areas on Traffic Data (TLCdS, ACAN, RPM, VAEdF, JAFdM, JCM), pp. 52–59.
ICEIS-v2-2014-EstacioP #programming #set: A Set of Practices for Distributed Pair Programming (BJdSE, RP), pp. 331–338.
ICEIS-v2-2014-SantosBLHC #development #metric #performance: Managing Distributed Software Development with Performance Measures (GSdS, RB, GCLL, EHMH, EC), pp. 307–314.
CIKM-2014-KangLSSK #coordination #probability: Data/Feature Distributed Stochastic Coordinate Descent for Logistic Regression (DK, WL, KS, LS, UK), pp. 1269–1278.
CIKM-2014-LiuTHLM #graph #summary: Distributed Graph Summarization (XL, YT, QH, WCL, JM), pp. 799–808.
CIKM-2014-WuZYJL #named #rdf #semantics: SemStore: A Semantic-Preserving Distributed RDF Triple Store (BW, YZ, PY, HJ, LL), pp. 509–518.
CIKM-2014-YinG #scalability: Scalable Distributed Belief Propagation with Prioritized Block Updates (JY, LG), pp. 1209–1218.
CIKM-2014-YuSYL #matrix #probability: Distributed Stochastic ADMM for Matrix Factorization (ZQY, XJS, LY, WJL), pp. 1259–1268.
ICML-c2-2014-AhnSW #probability: Distributed Stochastic Gradient MCMC (SA, BS, MW), pp. 1044–1052.
ICML-c2-2014-LeM #documentation: Distributed Representations of Sentences and Documents (QVL, TM), pp. 1188–1196.
ICML-c2-2014-ShamirS0 #approximate #optimisation #using: Communication-Efficient Distributed Optimization using an Approximate Newton-type Method (OS, NS, TZ), pp. 1000–1008.
ICML-c2-2014-ZhangK #optimisation: Asynchronous Distributed ADMM for Consensus Optimization (RZ, JTK), pp. 1701–1709.
ICPR-2014-ColonnaCN #approach: A Distributed Approach for Classifying Anuran Species Based on Their Calls (JGC, MC, EFN), pp. 1242–1247.
KEOD-2014-Talia #big data #data mining #information management #mining: Big Data Mining Services and Distributed Knowledge Discovery Applications on Clouds (DT), pp. 1–5.
MLDM-2014-BaroutiKKM #clustering #data type #monitoring: Monitoring Distributed Data Streams through Node Clustering (MB, DK, JK, YM), pp. 149–162.
RecSys-2014-PetroniQ #clustering #graph #matrix #named #probability: GASGD: stochastic gradient descent for distributed asynchronous matrix completion via graph partitioning (FP, LQ), pp. 241–248.
SEKE-2014-AverbakhKKS #experience: Dedicated Support for Experience Sharing in Distributed Software Projects (AA, EK, SK, KS), pp. 355–360.
SEKE-2014-AverbakhNS #documentation #re-engineering: Knowledge from Document Annotations as By-Product in Distributed Software Engineering (AA, KN, KS), pp. 350–354.
SEKE-2014-CostaFM #collaboration #development #question: Collaborative Merge in Distributed Software Development: Who Should Participate? (CC, JJCF, LM), pp. 268–273.
SEKE-2014-RochaADCAM #named #ontology: DKDs: An Ontology-based System for Distributed Teams (RGCR, RRA, MPD, DC, ARMA, SRLM), pp. 82–85.
SIGIR-2014-BabbarPGA #approach #classification #ranking #scalability: Re-ranking approach to classification in large-scale power-law distributed category systems (RB, IP, ÉG, MRA), pp. 1059–1062.
MoDELS-2014-ChakiE #compilation #modelling #verification: Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MoDELS-2014-SzarnyasIRHBV #framework #in the cloud #incremental #named #query: IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud (GS, BI, IR, DH, GB, DV), pp. 653–669.
OOPSLA-2014-DrechslerSMM #algorithm #programming: Distributed REScala: an update algorithm for distributed reactive programming (JD, GS, RM, MM), pp. 361–376.
QAPL-2014-Feng #hybrid #modelling #probability #using: Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.
SAS-2014-AlbertFR #cost analysis: Peak Cost Analysis of Distributed Systems (EA, JCF, GRD), pp. 18–33.
RE-2014-BruunHIJK #mobile #requirements: Handling design-level requirements across distributed teams: Developing a new feature for 12 Danish mobile banking apps (LB, MBH, JBI, JBJ, BK), pp. 335–343.
ICSE-2014-BrindescuCSD #how #question #version control: How do centralized and distributed version control systems impact software changes? (CB, MC, SS, DD), pp. 322–333.
ICSE-2014-MusluBNC #case study #version control: Transition from centralized to decentralized version control systems: a case study on reasons, barriers, and outcomes (KM, CB, NN, JC), pp. 334–344.
SAC-2014-AvilaMRPY #quantum #simulation: GPU-aware distributed quantum simulation (AA, AM, RR, MLP, ACY), pp. 860–865.
SAC-2014-CalvoOFR #multi #parametricity: Parametric investigation of a distributed strategy for multiple agents systems applied to cooperative tasks (RC, JdO, MF, RAR), pp. 207–212.
SAC-2014-ChakrabortyCKD #adaptation: Hierarchical topology adaptation for distributed convergecast applications (SC, SC, SK, HSD), pp. 405–407.
SAC-2014-Guimaraes #architecture #composition #fault tolerance: A fault-tolerant architecture for decentralized compositions of services in the wild (FPG), pp. 1255–1256.
SAC-2014-TinK #clustering #performance: Method for fast clustering of data distributed on a sphere surface (TT, SRK), pp. 1735–1736.
SLE-2014-PredaGLMG #adaptation #framework #named: AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
ASPLOS-2014-BanabicCG: Finding trojan message vulnerabilities in distributed systems (RB, GC, RG), pp. 113–126.
CASE-2014-AltMS: Compensation of spatially distributed disturbances in heat conduction systems (SA, FM, OS), pp. 860–865.
CASE-2014-ChenLY #modelling #network: Sparse particle filtering for modeling space-time dynamics in distributed sensor networks (YC, GL, HY), pp. 626–631.
CASE-2014-DengWW #algorithm #problem #scheduling: A competitive memetic algorithm for the distributed flow shop scheduling problem (JD, LW, SW), pp. 107–112.
CASE-2014-HerrNV #complexity #framework #scheduling: Prognostics-based scheduling in a distributed platform: Model, complexity and resolution (NH, JMN, CV), pp. 1054–1059.
CASE-2014-LongLXJ #probability: A scenario-based distributed stochastic MPC for building temperature regulation (YL, SL, LX, KHJ), pp. 1091–1096.
CASE-2014-MaiorR #internet #self: A self-governing, decentralized, extensible Internet of Things to share electrical power efficiently (HAM, SR), pp. 37–43.
DAC-2014-SarmaVD #middleware #mobile #perspective: Sense-making from Distributed and Mobile Sensing Data: A Middleware Perspective (SS, NV, ND), p. 6.
DAC-2014-ZhuangWLC #framework #named #network #simulation: MATEX: A Distributed Framework for Transient Simulation of Power Distribution Networks (HZ, SHW, JHL, CKC), p. 6.
DATE-2014-AzimCPF #communication #generative #multi #realtime: Generation of communication schedules for multi-mode distributed real-time applications (AA, GC, RP, SF), pp. 1–6.
DATE-2014-ChenWP #capacity #concurrent #framework: Concurrent placement, capacity provisioning, and request flow control for a distributed cloud infrastructure (SC, YW, MP), pp. 1–6.
DATE-2014-DamodaranWH #multi: Distributed cooperative shared last-level caching in tiled multiprocessor system on chip (PPD, SW, AH), pp. 1–4.
DATE-2014-KauerSGCA #embedded #fault tolerance #synthesis #verification: Fault-tolerant control synthesis and verification of distributed embedded systems (MK, DS, DG, SC, AMA), pp. 1–6.
DATE-2014-KumarYBT #effectiveness #named: COOLIP: Simple yet effective job allocation for distributed thermally-throttled processors (PK, HY, IB, LT), pp. 1–4.
DATE-2014-SampaioSZBH #architecture #energy #memory management #named #performance #video: dSVM: Energy-efficient distributed Scratchpad Video Memory Architecture for the next-generation High Efficiency Video Coding (FS, MS, BZ, SB, JH), pp. 1–6.
DATE-2014-WildermannGT #multi #resource management #runtime: Multi-objective distributed run-time resource management for many-cores (SW, MG, JT), pp. 1–6.
HPDC-2014-AlamKW #query #scalability: A scalable distributed skip list for range queries (SA, HK, AW), pp. 315–318.
HPDC-2014-ChenDWCZG #communication #graph #performance #perspective: Computation and communication efficient graph processing with distributed immutable view (RC, XD, PW, HC, BZ, HG), pp. 215–226.
HPDC-2014-RajachandrasekarPVHWP #architecture #framework #named: MIC-Check: a distributed check pointing framework for the intel many integrated cores architecture (RR, SP, AV, KH, MWuR, DKP), pp. 121–124.
HPDC-2014-SuAWBS #analysis #correlation #dataset #parallel: Supporting correlation analysis on scientific datasets in parallel and distributed settings (YS, GA, JW, AB, HWS), pp. 191–202.
OSDI-2014-GonzalezXDCFS #data flow #framework #graph #named: GraphX: Graph Processing in a Distributed Dataflow Framework (JEG, RSX, AD, DC, MJF, IS), pp. 599–613.
OSDI-2014-LiAPSAJLSS #machine learning #parametricity #scalability: Scaling Distributed Machine Learning with the Parameter Server (ML, DGA, JWP, AJS, AA, VJ, JL, EJS, BYS), pp. 583–598.
OSDI-2014-MuCZLL #concurrent #transaction: Extracting More Concurrency from Distributed Transactions (SM, YC, YZ, WL, JL), pp. 479–494.
OSDI-2014-XieSK0YAM #database #named: Salt: Combining ACID and BASE in a Distributed Database (CX, CS, MK, YW, NY, LA, PM), pp. 495–509.
OSDI-2014-YuanLZRZZJS #analysis #data-driven #testing: Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems (DY, YL, XZ, GRR, XZ, YZ, PJ, MS), pp. 249–265.
OSDI-2014-ZhaoZLULYS #named #profiling: lprof: A Non-intrusive Request Flow Profiler for Distributed Systems (XZ, YZ, DL, MFU, YL, DY, MS), pp. 629–644.
PDP-2014-AliJS #query #rdf #towards: Towards Load Balancing and Parallelizing of RDF Query Processing in P2P Based Distributed RDF Data Stores (LA, TJ, CS), pp. 307–311.
PDP-2014-AudemardHJP #approach #effectiveness #problem #satisfiability: An Effective Distributed D&C Approach for the Satisfiability Problem (GA, BH, SJ, CP), pp. 183–187.
PDP-2014-BazNJR #deployment #platform: HPC Applications Deployment on Distributed Heterogeneous Computing Platforms via OMF, OML and P2PDC (DEB, TTN, GJ, TR), pp. 617–623.
PDP-2014-FalcoLOSTT #optimisation #source code: Extremal Optimization with Guided State Changes in Load Balancing of Distributed Programs (IDF, EL, RO, US, ET, MT), pp. 228–231.
PDP-2014-FuYCL #memory management #replication: An Exploration of Page Replication for NoC-Based On-Chip Distributed Memory Systems (WF, MY, TC, LL), pp. 410–417.
PDP-2014-GrandjeanU #2d #clustering #difference #finite #memory management #on the #parallel: On Partitioning Two Dimensional Finite Difference Meshes for Distributed Memory Parallel Computers (AG, BU), pp. 9–16.
PDP-2014-HaeriS #evaluation #lazy evaluation #semantics: Distributed Lazy Evaluation: A Big-Step Mechanised Semantics (SHH, SS), pp. 751–755.
PDP-2014-HuaWR #file system #throughput: Enhancing Throughput of Hadoop Distributed File System for Interaction-Intensive Tasks (XH, HW, SR), pp. 508–511.
PDP-2014-KerteszMD #logic #multi #using: Multi-job Meta-brokering in Distributed Computing Infrastructures Using Pliant Logic (AK, GM, JDD), pp. 138–145.
PDP-2014-ManciniMMMT #hardware #manycore #simulation #verification: System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation (TM, FM, AM, IM, ET), pp. 734–742.
PDP-2014-MatosC: Distributed Noninterference (AAM, JC), pp. 760–764.
PDP-2014-MinarolliF #network #resource management #virtual machine: Distributed Resource Allocation to Virtual Machines via Artificial Neural Networks (DM, BF), pp. 490–499.
PDP-2014-SmithWWA #approach #clustering: A Cluster-Based Approach to Consensus Based Distributed Task Allocation (DS, JW, SRW, AAA), pp. 428–431.
STOC-2014-MendesTH: Distributed computability in Byzantine asynchronous systems (HM, CT, MH), pp. 704–713.
STOC-2014-Nanongkai #algorithm #approximate: Distributed approximation algorithms for weighted shortest paths (DN), pp. 565–573.
TACAS-2014-FinkbeinerT #detection #specification: Detecting Unrealizable Specifications of Distributed Systems (BF, LT), pp. 78–92.
CAV-2014-GligoricMSEM #testing: Regression Test Selection for Distributed Software Histories (MG, RM, RS, LE, DM), pp. 293–309.
VMCAI-2014-JezequelE #algorithm #message passing #protocol #verification: Message-Passing Algorithms for the Verification of Distributed Protocols (LJ, JE), pp. 222–241.
ECSA-2013-ZouariR #adaptation #automation #deployment #towards: Towards Automated Deployment of Distributed Adaptation Systems (MZ, IBR), pp. 336–339.
DocEng-2013-JansenCB #documentation #multi #social: Multimedia document synchronization in a distributed social context (JJ, PC, DCAB), pp. 273–276.
DocEng-2013-NedelecMMD #adaptation #collaboration #editing #named #sequence: LSEQ: an adaptive structure for sequences in distributed collaborative editing (BN, PM, AM, ED), pp. 37–46.
HT-2013-HelicSGS #modelling #navigation #network: Models of human navigation in information networks based on decentralized search (DH, MS, MG, RS), pp. 89–98.
JCDL-2013-SchonebergSH #process #scalability #workflow: A scalable, distributed and dynamic workflow system for digitization processes (HS, HGS, WH), pp. 359–362.
JCDL-2013-SuboticRS #network: A distributed archival network for process-oriented autonomic long-term digital preservation (IS, LR, HS), pp. 29–38.
SIGMOD-2013-KonstantinouTMK #named: DBalancer: distributed load balancing for NoSQL data-stores (IK, DT, IM, NK), pp. 1037–1040.
SIGMOD-2013-QiaoSDQSGCSZABBGGIJLPRSSSSTTWZ #framework #on the #platform: On brewing fresh espresso: LinkedIn’s distributed data serving platform (LQ, KS, SD, TQ, BS, BG, AC, OS, ZZ, AA, CB, GB, MG, KG, WI, SJ, SL, AP, AR, AS, RS, SS, YS, ST, CT, JW, DZ), pp. 1135–1146.
SIGMOD-2013-ShaoWL #graph #memory management #named: Trinity: a distributed graph engine on a memory cloud (BS, HW, YL), pp. 505–516.
VLDB-2013-ChandramouliNZ: Supporting Distributed Feed-Following Apps over Edge Devices (BC, SN, WZ), pp. 1570–1581.
VLDB-2013-GarofalakisKS #geometry #monitoring #query #sketching: Sketch-based Geometric Monitoring of Distributed Stream Queries (MNG, DK, VS), pp. 937–948.
VLDB-2013-GuptaRM #data flow #query: Ratio Threshold Queries over Distributed Data Sources (RG, KR, MKM), pp. 565–576.
VLDB-2013-LiuAS #multitenancy #named: DAX: A Widely Distributed Multi-tenant Storage Service for DBMS Hosting (RL, AA, KS), pp. 253–264.
VLDB-2013-ManshadiAGKMS #algorithm #scalability: A Distributed Algorithm for Large-Scale Generalized Matching (FMM, BA, RG, RK, JM, MS), pp. 613–624.
VLDB-2013-SantosTCG #named #streaming: DiAl: Distributed Streaming Analytics Anywhere, Anytime (IS, MT, BC, JG), pp. 1386–1389.
VLDB-2013-SarwatEHM #declarative #graph #query #reachability: Horton+: A Distributed System for Processing Declarative Reachability Queries over Partitioned Graphs (MS, SE, YH, MFM), pp. 1918–1929.
VLDB-2013-SeoPSL #analysis #graph #scalability: Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis (JS, JP, JS, MSL), pp. 1906–1917.
VLDB-2013-ShuteVSHWROLMECRSA #database #named #scalability #sql: F1: A Distributed SQL Database That Scales (JS, RV, BS, BH, CW, ER, MO, KL, DM, SE, JC, IR, TS, HA), pp. 1068–1079.
VLDB-2013-ZengYWSW #graph #rdf #web: A Distributed Graph Engine for Web Scale RDF Data (KZ, JY, HW, BS, ZW), pp. 265–276.
CSEET-2013-FortalezaVJPC #collaboration #communication #development #using: Using Distributed Software Development in the improvement of communication and collaboration skills in SE courses: An observational study (LLF, SRCV, OOMJ, RP, TC), pp. 139–148.
ITiCSE-2013-TsompanoudiSX #collaboration #embedded #programming: Exploring the effects of collaboration scripts embedded in a distributed pair programming system (DT, MS, SX), pp. 225–230.
ICSM-2013-Kwon #automation #energy #execution #fault tolerance #re-engineering: Automated S/W Reengineering for Fault-Tolerant and Energy-Efficient Distributed Execution (YWK), pp. 582–585.
MSR-2013-DullemondGSD #microblog #problem: Fixing the “out of sight out of mind” problem: one year of mood-based microblogging in a distributed software team (KD, BvG, MADS, AvD), pp. 267–276.
ICALP-v2-2013-JurdzinskiKS #network: Distributed Deterministic Broadcasting in Wireless Networks of Weak Devices (TJ, DRK, GS), pp. 632–644.
ICALP-v2-2013-PettieS #algorithm #graph #performance: Fast Distributed Coloring Algorithms for Triangle-Free Graphs (SP, HHS), pp. 681–693.
IFM-2013-AlbertCPR #abstraction #quantifier: Quantified Abstractions of Distributed Systems (EA, JC, GP, GRD), pp. 285–300.
IFM-2013-AndriamiarinaMS #algorithm #modelling: Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms (MBA, DM, NKS), pp. 268–284.
IFM-2013-GrafQ #implementation: Knowledge for the Distributed Implementation of Constrained Systems (SG, SQ), pp. 77–93.
CHI-2013-FasteRES #design #human-computer: Brainstorm, Chainstorm, Cheatstorm, Tweetstorm: new ideation strategies for distributed HCI design (HF, NR, RE, ES), pp. 1343–1352.
CHI-2013-GrahamSPBD #architecture #game studies #what: Villains, architects and micro-managers: what tabula rasa teaches us about game orchestration (TCNG, IS, MP, QB, RD), pp. 705–714.
CSCW-2013-Al-AniBWTKMRP #developer #process #trust: Globally distributed system developers: their trust expectations and processes (BAA, MJB, YW, ET, BK, SM, DFR, RP), pp. 563–574.
CSCW-2013-FugelliLM #development #open source: Shared prolepsis and intersubjectivity in open source development: expansive grounding in distributed work (PF, LCL, AIM), pp. 129–144.
CSCW-2013-GenestGTKI #game studies #named #tool support: KinectArms: a toolkit for capturing and displaying arm embodiments in distributed tabletop groupware (AG, CG, AT, MK, ZI), pp. 157–166.
CSCW-2013-GopalakrishnanHB #network #similarity: Voluntary turnover in a distributed work setting: an examination of the role of spatial propinquity and role similarity in project affiliation networks (GMG, DSH, SPB), pp. 329–340.
CSCW-2013-GumiennyGWM #collaboration: Supporting creative collaboration in globally distributed companies (RG, LG, MW, CM), pp. 995–1007.
HCI-UC-2013-HermannSTKS #concept #multi #network #social #user interface: The di.me User Interface: Concepts for Sharing Personal Information via Multiple Identities in a Decentralized Social Network (FH, AS, ST, CK, SS), pp. 29–38.
OCSC-2013-LuongGGGH: Supporting Distributed Search in Virtual Worlds (HPL, DG, JMG, SG, JH), pp. 395–404.
OCSC-2013-VillanuevaMTGHP #interactive: Context Management for RFID-Based Distributed Interaction Spaces (PGV, FAM, RT, JAG, AH, VMRP), pp. 355–364.
VISSOFT-2013-PauwWB #visualisation: Visualizing jobs with shared resources in distributed environments (WDP, JLW, AB), pp. 1–10.
ICEIS-v1-2013-GiordanoTACF #database #framework #semantics: Integrating Distributed Data Bases in a Semantic Framework — The K-Metropolis Project (DG, AT, SA, AC, AF), pp. 322–328.
ICEIS-v1-2013-MagalhaesMVMMPC #linked data #named #open data #query: QEF-LD — A Query Engine for Distributed Query Processing on Linked Data (RPM, JMM, VMPV, JAFdM, MM, FP, MAC), pp. 185–192.
ICEIS-v2-2013-TaitH #development #project management: Software Project Management in Distributed Software Development Context (TFCT, EHMH), pp. 216–222.
ICEIS-v3-2013-LangermeierBB #approach #architecture #enterprise #framework #modelling #using: A Model Driven Approach for Open Distributed Systems using an Enterprise Architecture Framework (ML, AJB, BB), pp. 284–291.
CIKM-2013-BroccoloMOOPST: Load-sensitive selective pruning for distributed search (DB, CM, SO, IO, RP, FS, NT), pp. 379–388.
CIKM-2013-TeymorianFM #energy #query: Rank-energy selective query forwarding for distributed search systems (AYT, OF, MAM), pp. 389–398.
ECIR-2013-CrestaniM #information retrieval: Distributed Information Retrieval and Applications (FC, IM), pp. 865–868.
ECIR-2013-KontominasRTP #named #semantics #social: DS4: A Distributed Social and Semantic Search System (DK, PR, CT, EGMP), pp. 832–836.
ECIR-2013-RichardsonC: Ranked Accuracy and Unstructured Distributed Search (SR, IJC), pp. 171–182.
ICML-c2-2013-GopalY #modelling #scalability: Distributed training of Large-scale Logistic models (SG, YY), pp. 289–297.
ICML-c3-2013-SzorenyiBHOJK #algorithm #probability: Gossip-based distributed stochastic bandit algorithms (BS, RBF, IH, RO, MJ, BK), pp. 19–27.
KDD-2013-ZengJZLLLSZLDLW #data mining #mining #named #performance: FIU-Miner: a fast, integrated, and user-friendly system for data mining in distributed environment (CZ, YJ, LZ, JL, LL, HL, CS, WZ, TL, BD, ML, PW), pp. 1506–1509.
MLDM-2013-GaoD #data mining #mining #performance #using: Improving the Efficiency of Distributed Data Mining Using an Adjustment Work Flow (JG, JD), pp. 69–83.
RecSys-2013-SchelterBSAM #matrix #pipes and filters #using: Distributed matrix factorization with mapreduce using a series of broadcast-joins (SS, CB, MS, AA, VM), pp. 281–284.
SEKE-2013-DuttaAKB #approach: Virtual Medical Board: A Distributed Bayesian Agent Based Approach (AD, SA, AK, SB), pp. 685–688.
SEKE-2013-FortalezaJCVP #development #simulation: Improving Software Engineers’ Skills through the Simulation of Distributed Software Development in Academic Environments (LLF, OOMJ, TC, SRCV, RP), pp. 190–195.
SIGIR-2013-SchallerHE #recommendation #visitor: RecSys for distributed events: investigating the influence of recommendations on visitor plans (RS, MH, DE), pp. 953–956.
OOPSLA-2013-RavichandranP #multi #named: Multiverse: efficiently supporting distributed high-level speculation (KR, SP), pp. 533–552.
POPL-2013-Myers #how: How languages can save distributed computing (ACM), pp. 315–316.
PPDP-2013-LamC #constraints #execution: Decentralized execution of constraint handling rules for ensembles (ESLL, IC), pp. 205–216.
ASE-2013-ArthoHPTWY #communication #model checking: Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
ASE-2013-Fard #behaviour #detection #independence #using: Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method (FHF), pp. 746–749.
ASE-2013-Hellerstein #case study #design #experience #named: BOOM: Experiences in language and tool design for distributed systems (JMH), p. 1.
ASE-2013-Lin #agile: Context-aware task allocation for distributed agile team (JL), pp. 758–761.
ESEC-FSE-2013-GarciaPSHM #identification: Identifying message flow in distributed event-based systems (JG, DP, GS, WGJH, NM), pp. 367–377.
ESEC-FSE-2013-SahaDP: Distributed program tracing (DS, PD, GP), pp. 180–190.
ICSE-2013-KocaguneliZBNM #development #harmful #question: Distributed development considered harmful? (EK, TZ, CB, NN, TM), pp. 882–890.
ICSE-2013-LiZLXLLX #source code: A characteristic study on failures of production distributed data-parallel programs (SL, HZ, HL, TX, HL, WL, TX), pp. 963–972.
ICSE-2013-PaasivaaraLDRS #agile #education #re-engineering #student #using: Teaching students global software engineering skills using distributed scrum (MP, CL, DD, PR, AS), pp. 1128–1137.
SAC-2013-GoncalvesEPSKS #network #on the: On the load balancing of virtual networks in distributed clouds (GEG, PTE, AVdAP, MAS, JK, DS), pp. 625–631.
SAC-2013-GrootGYNK #data-driven #modelling: Modeling I/O interference for data intensive distributed applications (SG, KG, DY, MN, MK), pp. 343–350.
SAC-2013-LakhlefMB #algorithm #configuration management #performance #self: Distributed and efficient algorithm for self-reconfiguration of MEMS microrobots (HL, HM, JB), pp. 560–566.
SAC-2013-LarrosaR #bound #constraints #optimisation: Risk-neutral bounded max-sum for distributed constraint optimization (JL, ER), pp. 92–97.
SAC-2013-LinCLG #approach #data-driven #learning #predict: Distributed dynamic data driven prediction based on reinforcement learning approach (SYL, KMC, CCL, NG), pp. 779–784.
SAC-2013-VasquesV #algorithm #grid #scheduling: A decentralized utility-based grid scheduling algorithm (JV, LV), pp. 619–624.
SAC-2013-VeeraragavanBMVNM #analysis #comprehension #experience #interactive #metric #multi #quality: Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis (NRV, AB, LM, RV, NN, HM), pp. 439–446.
SAC-2013-VivianHL #approach #development: Supporting distributed software development through context awareness on software artifacts: the DiSEN-CollaborAR approach (RLV, EHMH, GCLL), pp. 765–770.
SAC-2013-VukovicD #estimation #on the #security: On the security of distributed power system state estimation under targeted attacks (OV, GD), pp. 666–672.
ASPLOS-2013-HuntBCG #named #nondeterminism: DDOS: taming nondeterminism in distributed systems (NH, TB, LC, SDG), pp. 499–508.
CASE-2013-ChenK #probability: Decentralized failure diagnosis of stochastic discrete event systems (JC, RK), pp. 1083–1088.
CASE-2013-HuZL13a #automation #petri net #scalability: Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.
CASE-2013-LiuCXG #energy #optimisation: A decentralized optimization method for energy saving of HVAC systems (ZL, XC, XX, XG), pp. 225–230.
CASE-2013-RoszkowskaG #multi: Correct-by-construction distributed control for multi-vehicle transport systems (ER, IG), pp. 156–161.
DAC-2013-AnagnostopoulosTBS #manycore #platform #resource management #runtime: Distributed run-time resource management for malleable applications on many-core platforms (IA, VT, AB, DS), p. 6.
DAC-2013-GaribottiOBkASR #embedded #memory management #multi #thread: Simultaneous multithreading support in embedded distributed memory MPSoCs (RG, LO, RB, Mk, CAJ, GS, MR), p. 7.
DAC-2013-JungPPC #embedded #framework #named #platform #scalability: netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems (YJ, JP, MP, LPC), p. 10.
DAC-2013-KimOCHH #embedded #estimation #novel: A novel analytical method for worst case response time estimation of distributed embedded systems (JK, HO, JC, HH, SH), p. 10.
DAC-2013-RaiSST #algorithm #analysis #network #process: Distributed stable states for process networks: algorithm, analysis, and experiments on intel SCC (DR, LS, NS, LT), p. 10.
DATE-2013-BanaiyanMofradDG #analysis #fault tolerance #modelling: Modeling and analysis of fault-tolerant distributed memories for networks-on-chip (AB, ND, GG), pp. 1605–1608.
DATE-2013-HsiehWH #configuration management #named #network: DANCE: distributed application-aware node configuration engine in shared reconfigurable sensor networks (CMH, ZW, JH), pp. 839–842.
DATE-2013-KumarCT #approach #realtime #satisfiability: A satisfiability approach to speed assignment for distributed real-time systems (PK, DBC, LT), pp. 749–754.
DATE-2013-WildermannZT #analysis #game studies #manycore: Game-theoretic analysis of decentralized core allocation schemes on many-core systems (SW, TZ, JT), pp. 1498–1503.
HPCA-2013-LiZL #generative: Enabling distributed generation powered sustainable high-performance data center (CL, RZ, TL), pp. 35–46.
HPDC-2013-SuAWMWA #dataset #using: Taming massive distributed datasets: data sampling using bitmap indices (YS, GA, JW, KM, JW, JPA), pp. 13–24.
LCTES-2013-MehiaouiWPMNZBLG #clustering #optimisation: A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems (AM, EW, STP, CM, MDN, HZ, JPB, LL, SG), pp. 121–132.
PDP-2013-0002HCZ #memory management: Asynchronous Work Stealing on Distributed Memory Systems (SL, JH, XC, CZ), pp. 198–202.
PDP-2013-AmorettiLS #approach #execution: A Cooperative Approach for Distributed Task Execution in Autonomic Clouds (MA, ALL, SS), pp. 274–281.
PDP-2013-CamposRMM #crawling: Distributed Ontology-Driven Focused Crawling (RC, OR, MM, MM), pp. 108–115.
PDP-2013-HolmbackaLLL #manycore #migration #operating system #performance: Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems (SH, WL, SL, JL), pp. 310–317.
PDP-2013-MontanolaRH #memory management #sequence: Pairwise Sequence Alignment Method for Distributed Shared Memory Systems (AM, CR, PH), pp. 432–436.
PDP-2013-PawinskiS #low cost #project management: Cost-Efficient Project Management Based on Distributed Processing Model (GP, KS), pp. 157–163.
PDP-2013-SarzyniecBJN #design #evaluation: Design and Evaluation of a Virtual Experimental Environment for Distributed Systems (LS, TB, EJ, LN), pp. 172–179.
PDP-2013-SchlimbachBK #concurrent #memory management: Concurrent Collections on Distributed Memory Theory Put into Practice (FS, JCB, KK), pp. 225–232.
PDP-2013-StrakovaG #network: A Distributed Eigensolver for Loosely Coupled Networks (HS, WNG), pp. 51–57.
PDP-2013-TemboNB #adaptation #clustering #problem #protocol #self #simulation: Distributed Iterative Solution of Numerical Simulation Problems on Infiniband and Ethernet Clusters via the P2PSAP Self-Adaptive Protocol (SRT, TTN, DEB), pp. 121–125.
PDP-2013-WuL #database #information retrieval: Merging Results from Overlapping Databases in Distributed Information Retrieval (SW, JL), pp. 102–107.
PPoPP-2013-FriedleyHBLM #manycore #memory management #performance #programming: Ownership passing: efficient distributed memory programming on multi-core systems (AF, TH, GB, AL, CCM), pp. 177–186.
PPoPP-2013-MorozovW: Distributed merge trees (DM, GHW), pp. 93–102.
SOSP-2013-BalakrishnanMWWPWDRZZ #data type #named: Tango: distributed data structures over a shared log (MB, DM, TW, MW, VP, MW, JDD, SR, TZ, AZ), pp. 325–340.
SOSP-2013-OusterhoutWZS #latency #named #scheduling: Sparrow: distributed, low latency scheduling (KO, PW, MZ, IS), pp. 69–84.
ESOP-2013-MillerCT #javascript: Distributed Electronic Rights in JavaScript (MSM, TVC, BT), pp. 1–20.
FASE-2013-StruberTJS #modelling #process #towards: Towards a Distributed Modeling Process Based on Composite Models (DS, GT, SJ, TS), pp. 6–20.
CAV-2013-BinghamBEG #concurrent #model checking: Distributed Explicit State Model Checking of Deadlock Freedom (BDB, JDB, JE, MRG), pp. 235–241.
CAV-2013-ColangeBKT #diagrams #model checking #towards #using: Towards Distributed Software Model-Checking Using Decision Diagrams (MC, SB, FK, YTM), pp. 830–845.
CSL-2013-Kuusisto #automaton #logic #message passing: Modal Logic and Distributed Message Passing Automata (AK), pp. 452–468.
ICLP-J-2013-MaLWRL #analysis #approach #declarative #execution #specification: A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.
ICTSS-2013-GastonHG #framework #implementation: An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.
CBSE-2012-Manna #component: Local dynamic update for component-based distributed systems (VPLM), pp. 167–176.
QoSA-2012-Montresor #challenge #design: Designing extreme distributed systems: challenges and opportunities (AM), pp. 1–2.
WICSA-ECSA-2012-GorlickST #architecture #named #on-demand: COAST: An Architectural Style for Decentralized On-Demand Tailored Services (MMG, KS, RNT), pp. 71–80.
PODS-2012-HuangYZ #algorithm #random: Randomized algorithms for tracking distributed count, frequencies, and ranks (ZH, KY, QZ), pp. 295–306.
PODS-2012-LiuRV: Continuous distributed counting for non-monotonic streams (ZL, BR, MV), pp. 307–318.
SIGMOD-2012-EngleLXZFSS #data analysis #memory management #named #performance #using: Shark: fast data analysis using coarse-grained distributed memory (CE, AL, RX, MZ, MJF, SS, IS), pp. 689–692.
SIGMOD-2012-GiatrakosDGSS #data type #geometry #monitoring #predict: Prediction-based geometric monitoring over distributed data streams (NG, AD, MNG, IS, AS), pp. 265–276.
SIGMOD-2012-KimPSLDC #clustering #named #performance #ram #scalability: CloudRAMSort: fast and efficient large-scale distributed RAM sort on shared-nothing cluster (CK, JP, NS, HL, PD, JC), pp. 841–850.
SIGMOD-2012-ShuteOEHRSVWCJLT #fault tolerance #named: F1: the fault-tolerant distributed RDBMS supporting google’s ad business (JS, MO, SE, BH, ER, BS, RV, CW, XC, BJ, KL, PT), pp. 777–778.
SIGMOD-2012-ThomsonDWRSA #database #named #performance #transaction: Calvin: fast distributed transactions for partitioned database systems (AT, TD, SCW, KR, PS, DJA), pp. 1–12.
SIGMOD-2012-ZhouBL #clustering: Advanced partitioning techniques for massively distributed computation (JZ, NB, WL), pp. 13–24.
TPDL-2012-MenesesFS #documentation #fault #identification: Identifying “Soft 404” Error Pages: Analyzing the Lexical Signatures of Documents in Distributed Collections (LM, RF, FS), pp. 197–208.
TPDL-2012-NeumayerBN #ranking #repository: Ranking Distributed Knowledge Repositories (RN, KB, KN), pp. 486–491.
VLDB-2012-FanWW #performance #query #reachability: Performance Guarantees for Distributed Reachability Queries (WF, XW, YW), pp. 1304–1315.
VLDB-2012-LiuRLMB #constraints #declarative #framework #named #optimisation #platform: Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
VLDB-2012-LowGKBGH #framework #in the cloud #machine learning: Distributed GraphLab: A Framework for Machine Learning in the Cloud (YL, JG, AK, DB, CG, JMH), pp. 716–727.
VLDB-2012-LuoLZCG #keyword #named #network: DISKs: A System for Distributed Spatial Group Keyword Search on Road Networks (SL, YL, SZ, GC, JG), pp. 1966–1969.
VLDB-2012-PapapetrouGD #data type #query #sketching: Sketch-based Querying of Distributed Sliding-Window Data Streams (OP, MNG, AD), pp. 992–1003.
VLDB-2012-SowellGS #multi #named #scalability: Minuet: A Scalable Distributed Multiversion B-Tree (BS, WMG, MAS), pp. 884–895.
VLDB-2013-ZhouMRLHILS12: Distributed Time-aware Provenance (WZ, SM, YR, YL, AH, ZGI, BTL, MS), pp. 49–60.
CSEET-2012-AlmeidaLFLRWYYY #case study #development #education #experience: Teaching Globally Distributed Software Development: An Experience Report (ESdA, DL, SRF, CL, ZR, DMW, JY, MY, LY), pp. 105–109.
CSMR-2012-Izquierdo-Cortazar #comprehension #debugging #process: Global and Geographically Distributed Work Teams: Understanding the Bug Fixing Process and Potentially Bug-prone Activity Patterns (DIC), pp. 505–508.
MSR-2012-BirdN #development #open source #scalability #what: Who? Where? What? Examining distributed development in two large open source projects (CB, NN), pp. 237–246.
MSR-2012-Rodriguez-BustosA #how #open source #version control: How Distributed Version Control Systems impact open source software projects (CRB, JA), pp. 36–39.
ICALP-v1-2012-HsuKR: Distributed Private Heavy Hitters (JH, SK, AR), pp. 461–472.
ICALP-v2-2012-BernsHP #algorithm #metric: Super-Fast Distributed Algorithms for Metric Facility Location (AB, JH, SVP), pp. 428–439.
ICALP-v2-2012-Honda: Session Types and Distributed Computing (KH), p. 23.
ICALP-v2-2012-PelegRT #algorithm #network: Distributed Algorithms for Network Diameter and Girth (DP, LR, ET), pp. 660–672.
FM-2012-BauerF #ltl #monitoring: Decentralised LTL Monitoring (AKB, YF), pp. 85–100.
FM-2012-HieronsMN #order #testing #using: Using Time to Add Order to Distributed Testing (RMH, MGM, MN), pp. 232–246.
CHI-2012-BardramGHN #collaboration #named: ReticularSpaces: activity-based computing support for physically distributed and collaborative smart spaces (JB, SG, SH, SN), pp. 2845–2854.
CHI-2012-FisherCK: Distributed sensemaking: improving sensemaking by leveraging the efforts of previous users (KF, SC, AK), pp. 247–256.
CHI-2012-MullerC #agile #collaboration: Brainstorming for Japan: rapid distributed global collaboration for disaster response (MM, SC), pp. 2727–2730.
CHI-2012-VoidaBOOD: Cross-cutting faultlines of location and shared identity in the intergroup cooperation of partially distributed groups (AV, NB, JSO, GMO, LD), pp. 3101–3110.
CSCW-2012-BarksdaleICHJRV #thread #video: Video threads: asynchronous video sharing for temporally distributed teams (JTB, KI, MC, AH, PJ, AR, GV), pp. 1101–1104.
CSCW-2012-EhrlichC #analysis #communication #development #multi #performance: All-for-one and one-for-all?: a multi-level analysis of communication patterns and individual performance in geographically distributed software development (KE, MC), pp. 945–954.
CSCW-2012-GenestG #communication #effectiveness #gesture #visualisation: Evaluating the effectiveness of height visualizations for improving gestural communication at distributed tabletops (AG, CG), pp. 519–528.
CSCW-2012-LiRM #collaboration: Distributed scientific group collaboration across biocontainment barriers (JL, TR, CMT), pp. 1247–1256.
CSCW-2012-NobaranyHF #approach #collaboration #process #reuse: Facilitating the reuse process in distributed collaboration: a distributed cognition approach (SN, MH, BDF), pp. 1223–1232.
CSCW-2012-OrenG #named: ConvoCons: a tool for building affinity among distributed team members (MAO, SBG), pp. 1213–1222.
CSCW-2012-PentlandHK #consistency #distance: Awareness as an antidote to distance: making distributed groups cooperative and consistent (AP, PH, TK), pp. 1237–1246.
CSCW-2012-SarcevicPWSBA #coordination #learning: “Beacons of hope” in decentralized coordination: learning from on-the-ground medical twitterers during the 2010 Haiti earthquake (AS, LP, JW, KS, MB, KMA), pp. 47–56.
CAiSE-2012-BoerLBGAGTBAA #information management #interface #named: RadioMarché: Distributed Voice- and Web-Interfaced Market Information Systems under Rural Conditions (VdB, PDL, AB, NBG, CvA, CG, WT, SB, MA, HA), pp. 518–532.
ICEIS-v1-2012-Castanon-PugaGFJC #multi #social #towards: A Distributed Agency Methodology applied to Complex Social Systems — Towards a Multi-dimensional Model of the Religious Affiliation Preference (MCP, CGP, DLF, RJM, JRC), pp. 272–277.
CIKM-2012-BahmaniGS #locality #performance: Efficient distributed locality sensitive hashing (BB, AG, RS), pp. 2174–2178.
CIKM-2012-BohmMNW #named: LINDA: distributed web-of-data-scale entity matching (CB, GdM, FN, GW), pp. 2104–2108.
CIKM-2012-LeeH #robust: Robust distributed indexing for locality-skewed workloads (MWL, SwH), pp. 1342–1351.
CIKM-2012-PapaioannouROA #assessment #effectiveness #recommendation #web: A decentralized recommender system for effective web credibility assessment (TGP, JER, AO, KA), pp. 704–713.
CIKM-2012-TeymorianQF #energy #named #query: RESQ: rank-energy selective query forwarding for distributed search systems (AYT, XQ, OF), pp. 2579–2582.
ECIR-2012-JonassenB #concurrent #pipes and filters #retrieval: Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval (SJ, SEB), pp. 413–425.
ICML-2012-LiuI #estimation #parametricity #pseudo: Distributed Parameter Estimation via Pseudo-likelihood (QL, ATI), p. 182.
ICML-2012-ZanzottoD #kernel: Distributed Tree Kernels (FMZ, LD), p. 20.
ICPR-2012-NarayanamN #algorithm #community #detection #game studies #graph #information management #social: A game theory inspired, decentralized, local information based algorithm for community detection in social graphs (RN, YN), pp. 1072–1075.
ICPR-2012-ZhouS #energy: Spatiotemporal saliency based on distributed opponent oriented energy (YZ, KS), pp. 2021–2024.
KDD-2012-SindhwaniG #learning #scalability #taxonomy: Large-scale distributed non-negative sparse coding and sparse dictionary learning (VS, AG), pp. 489–497.
KDD-2012-StantonK #clustering #graph #scalability #streaming: Streaming graph partitioning for large distributed graphs (IS, GK), pp. 1222–1230.
KMIS-2012-MartinsCJ #architecture #collaboration #ontology #repository: Architecture of a Collaborative Business Intelligence Environment based on an Ontology Repository and Distributed Data Services (VAM, JPCLdC, RTdSJ), pp. 99–106.
RecSys-2012-Herbrich #learning #online #realtime: Distributed, real-time bayesian learning in online services (RH), pp. 203–204.
SEKE-2012-MireslamiMF #behaviour #detection: Detecting Emergent Behavior in Distributed Systems Caused by Overgeneralization (SM, MM, BHF), pp. 70–73.
SIGIR-2012-JunqueiraLM #replication: Reactive index replication for distributed search engines (FPJ, VL, MM), pp. 831–840.
OOPSLA-2012-LiuSLG #algorithm #performance: From clarity to efficiency for distributed algorithms (YAL, SDS, BL, MG), pp. 395–410.
OOPSLA-2012-LucasER #detection #problem #sequence: Detecting problematic message sequences and frequencies in distributed systems (CL, SGE, DSR), pp. 915–926.
AdaEurope-2012-Garcia-VallsI #ada #configuration management #middleware #realtime: Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA (MGV, FIV), pp. 35–48.
PADL-2012-Coleman #classification #policy #specification: Distributed Policy Specification and Interpretation with Classified Advertisements (NC), pp. 198–211.
PPDP-2012-LopezCC #declarative #experience #industrial: Declarative distributed advertisement system for iDTV: an industrial experience (ML, LMC, DC), pp. 185–194.
SAS-2012-EmmiL #source code: Finding Non-terminating Executions in Distributed Asynchronous Programs (ME, AL), pp. 439–455.
ICSE-2012-CavrakOC #collaboration #development: Collaboration patterns in distributed software development projects (IC, MO, IC), pp. 1235–1244.
ICSE-2012-Imtiaz #architecture #perspective #traceability: Architectural task allocation in distributed environment: A traceability perspective (SI), pp. 1515–1518.
ICSE-2012-KumarKRL #specification: Inferring class level specifications for distributed systems (SK, SCK, AR, DL), pp. 914–924.
ICSE-2012-RamasubbuB #challenge #estimation: Overcoming the challenges in cost estimation for distributed software projects (NR, RKB), pp. 91–101.
SAC-2012-KhucSRR #analysis #scalability #sentiment #towards #twitter: Towards building large-scale distributed systems for twitter sentiment analysis (VNK, CS, RR, JR), pp. 459–464.
SAC-2012-MoraisC #ad hoc #detection #network: A distributed intrusion detection scheme for wireless ad hoc networks (ANPM, ARC), pp. 556–562.
SAC-2012-ProencaCVA #coordination #framework #named: Dreams: a framework for distributed synchronous coordination (JP, DC, EPdV, FA), pp. 1510–1515.
SAC-2012-SakkopoulosPSTPS #deployment #framework #named: DREAM: a distributed fRamework for customized dEployment of a vAriety of indexing engines over million-node overlays (ES, AP, SS, DT, GP, AS), pp. 853–858.
SAC-2012-SalaunEPBC #in the cloud #protocol #self #verification: Verification of a self-configuration protocol for distributed applications in the cloud (GS, XE, NDP, FB, TC), pp. 1278–1283.
SAC-2012-SalehSRDBB #design #problem: Mechanism design for decentralized vehicle routing problem (MS, AS, SR, MD, JB, AB), pp. 749–754.
SAC-2012-ShinWC #framework #in the cloud: A policy-based decentralized authorization management framework for cloud computing (DS, YW, WC), pp. 465–470.
CASE-2012-MerzFV #automation #industrial #runtime: Dynamic redeployment of control software in distributed industrial automation systems during runtime (MM, TF, BVH), pp. 863–868.
DAC-2012-BathenD #hybrid #named: HaVOC: a hybrid memory-aware virtualization layer for on-chip distributed ScratchPad and non-volatile memories (LADB, ND), pp. 447–452.
DATE-2012-AnagnostopoulosBKS #divide and conquer #manycore #platform #runtime: A divide and conquer based distributed run-time mapping methodology for many-core platforms (IA, AB, GK, DS), pp. 111–116.
DATE-2012-GanPGM #design #flexibility #realtime #robust: Robust and flexible mapping for real-time distributed applications during the early design phases (JG, PP, FG, JM), pp. 935–940.
DATE-2012-JiangEP #co-evolution #communication #constraints #design #embedded #realtime #security: Co-design techniques for distributed real-time embedded systems with communication security constraints (KJ, PE, ZP), pp. 947–952.
DATE-2012-RajeevMR #architecture #constraints #embedded #verification: Verifying timing synchronization constraints in distributed embedded architectures (ACR, SM, SR), pp. 200–205.
DATE-2012-WernerOGHB #configuration management #manycore: Virtualized on-chip distributed computing for heterogeneous reconfigurable multi-core systems (SW, OO, DG, MH, JB), pp. 280–283.
HPDC-2012-DelamareFKL #named #using: SpeQuloS: a QoS service for BoT applications using best effort distributed computing infrastructures (SD, GF, DK, OL), pp. 173–186.
HPDC-2012-HefeedaGA #approximate #clustering #dataset #scalability: Distributed approximate spectral clustering for large-scale datasets (MH, FG, WAA), pp. 223–234.
HPDC-2012-LeeWF #named #resource management #using: PonD: dynamic creation of HTC pool on demand using a decentralized resource discovery system (KL, DW, RJOF), pp. 161–172.
OSDI-2012-GonzalezLGBG #graph #named: PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs (JEG, YL, HG, DB, CG), pp. 17–30.
OSDI-2012-NarayanH #database #named #query: DJoin: Differentially Private Join Queries over Distributed Databases (AN, AH), pp. 149–162.
PDP-2012-BorkowskiT #process #source code: Global Control in Distributed Programs with Dynamic Process Membership (JB, MT), pp. 525–529.
PDP-2012-HernaneGB #algorithm: A Dynamic Distributed Algorithm for Read Write Locks (SLH, JG, MB), pp. 180–184.
PDP-2012-IlicS #on the #scheduling: On Realistic Divisible Load Scheduling in Highly Heterogeneous Distributed Systems (AI, LS), pp. 426–433.
PDP-2012-JokhioDLL #reduction #video: Bit Rate Reduction Video Transcoding with Distributed Computing (FJ, TD, SL, JL), pp. 206–212.
PDP-2012-KamelY #network: A Distributed E2E Recovery Mechanism for MPLS Networks (AEK, HY), pp. 245–249.
PDP-2012-MirandaC #locality: Analyzing Long-Term Access Locality to Find Ways to Improve Distributed Storage Systems (AM, TC), pp. 544–553.
PDP-2012-OemigG #standard: SCTA Tracer: A Distributed Environment for Standardized Awareness Support Assessments (CO, TG), pp. 52–56.
PDP-2012-TesserN #monitoring #named #online: DIMVHCM: An On-line Distributed Monitoring Data Collection Model (RKT, POAN), pp. 37–41.
FASE-2012-Aalst #consistency #process: Distributed Process Discovery and Conformance Checking (WMPvdA), pp. 1–25.
STOC-2012-WoodruffZ #bound #functional #monitoring: Tight bounds for distributed functional monitoring (DPW, QZ), pp. 941–960.
CSL-2012-Abiteboul #web: Sharing Distributed Knowledge on the Web (SA), pp. 6–8.
ICST-2012-DustmannSW #testing: Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
ICST-2012-KimKR #approach #empirical #evaluation #scalability #testing: A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation (MK, YK, GR), pp. 340–349.
ICTSS-2012-LahamiFKJ #adaptation #runtime #testing #towards: Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems (ML, FF, MK, MJ), pp. 71–86.
ICTSS-2012-LahamiKBJ #adaptation #architecture #design #problem #using: Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems (ML, MK, MB, MJ), pp. 103–118.
LICS-2012-PierardS #calculus #higher-order: A Higher-Order Distributed Calculus with Name Creation (AP, ES), pp. 531–540.
CBSE-2011-AbdellatifSRL #automation #component #data flow: Automating information flow control in component-based distributed systems (TA, LS, RR, YL), pp. 73–82.
CBSE-2011-OtteGS #component #deployment #embedded #enterprise #predict #realtime: Predictable deployment in component-based enterprise distributed real-time and embedded systems (WO, ASG, DCS), pp. 21–30.
CBSE-2011-TambeG #component #embedded #realtime #using: Rectifying orphan components using group-failover in distributed real-time and embedded systems (ST, ASG), pp. 139–148.
WICSA-2011-BaresiG #architecture #component #coordination #named: A-3: An Architectural Style for Coordinating Distributed Components (LB, SG), pp. 161–170.
WICSA-2011-BordeCFLLMPS #component #development #embedded #named #realtime: PRIDE — An Environment for Component-Based Development of Distributed Real-Time Embedded Systems (EB, JC, JF, LL, TL, JM, AP, SS), pp. 351–354.
SIGMOD-2011-OlstonR #debugging #framework #monitoring: Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.
SIGMOD-2011-XuKQWZ #approach #parallel: A Hadoop based distributed loading approach to parallel data warehouses (YX, PK, YQ, JW, KKZ), pp. 1091–1100.
SIGMOD-2011-ZhouFSTHILS #declarative #framework #maintenance #named #platform #query: NetTrails: a declarative platform for maintaining and querying provenance in distributed systems (WZ, QF, SS, TT, AH, ZGI, BTL, MS), pp. 1323–1326.
VLDB-2011-CaoSDS #monitoring #query: Distributed inference and query processing for RFID tracking and monitoring (ZC, CAS, YD, PJS), pp. 326–337.
VLDB-2011-OlstonR #debugging #framework #monitoring: Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.
ICSM-2011-YousefiS #identification #mining: Identifying distributed features in SOA by mining dynamic call trees (AY, KS), pp. 73–82.
CIAA-2011-OrtizLS #automaton: Distributed Event Clock Automata — Extended Abstract (JJO, AL, PYS), pp. 250–263.
ICALP-v2-2011-ChlebusKPR #ad hoc #communication #network #performance: Efficient Distributed Communication in Ad-Hoc Radio Networks (BSC, DRK, AP, MAR), pp. 613–624.
ICALP-v2-2011-HalldorssonM #bound #scheduling: Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model (MMH, PM), pp. 625–636.
LATA-2011-Huschenbett #logic #modelling #multi: Models for Quantitative Distributed Systems and Multi-Valued Logics (MH), pp. 310–322.
FM-2011-LoosPN #adaptation #hybrid: Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (SML, AP, LN), pp. 42–56.
SEFM-2011-HafaiedhGM #implementation #interactive #multi: Distributed Implementation of Systems with Multiparty Interactions and Priorities (IBH, SG, NM), pp. 38–57.
SFM-2011-BlairPGG: Interoperability in Complex Distributed Systems (GSB, MP, PG, NG), pp. 1–26.
ICFP-2011-SwamyCFSBY #dependent type #programming: Secure distributed programming with value-dependent types (NS, JC, CF, PYS, KB, JY), pp. 266–278.
FDG-2011-LundP #education #game studies #physics: An educational tool for creating distributed physical games (HHL, LP), pp. 219–226.
GT-VMT-2011-Krause #automaton: Distributed Port Automata (CK).
CHI-2011-AragonW #collaboration: Collaborative creativity: a complex systems model with distributed affect (CRA, AW), pp. 1875–1884.
CHI-2011-BaumerT #analysis #process #video: Comparing activity theory with distributed cognition for video analysis: beyond “kicking the tires” (EPSB, BT), pp. 133–142.
CHI-2011-CostaCS #collaboration #coordination #evolution #generative #scalability #tool support: The scale and evolution of coordination needs in large-scale distributed projects: implications for the future generation of collaborative tools (JMdRC, MC, CRBdS), pp. 3151–3160.
CHI-2011-GuillorySDWDH: Upset now?: emotion contagion in distributed groups (JG, JS, MD, BW, WD, JTH), pp. 745–748.
CHI-2011-ScissorsSIRS #behaviour #collaboration #editing #realtime: Real-time collaborative editing behavior in USA and Japanese distributed teams (LES, NSS, TI, SLR, SS), pp. 1119–1128.
CSCW-2011-DornerWSP #named #video: SISO: simple service orchestration (video showcase) (CD, TW, MAS, VP), pp. 575–576.
CSCW-2011-GuibourdencheVGFH #multi #process #product line #using: Using multiple scores for transcribing the distributed activities of a family (JG, JVR, MG, MF, YH), pp. 637–640.
CSCW-2011-GutwinSXB: Chalk sounds: the effects of dynamic synthesized audio on workspace awareness in distributed groupware (CG, OSS, RX, SAB), pp. 85–94.
CSCW-2011-Johri #communication #email #exclamation #tool support: Look ma, no email!: blogs and IRC as primary and preferred communication tools in a distributed firm (AJ), pp. 305–308.
CSCW-2011-MarlowD: Photo sharing in diverse distributed teams (JM, LD), pp. 317–320.
CSCW-2011-YamashitaKKH #collaboration #gesture: Improving visibility of remote gestures in distributed tabletop collaboration (NY, KK, HK, KH), pp. 95–104.
HCI-ITE-2011-UllahLORM #case study #collaboration #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.
IDGD-2011-GaoQ #analysis #simulation: Analysis of the Applied Pattern of Distributed Computing Used in Simulation (SfG, HQ), pp. 152–158.
ICEIS-J-2011-Schulte11a #collaboration #framework #information management: A Service-Oriented Framework for Distributed Collaborative Knowledge Work (JS), pp. 405–419.
ICEIS-v2-2011-MarquezCCS #approach #multi #social: A Distributed Agency Methodology Applied to Complex Social Systems — A Multi-Dimensional Approach (BYM, MCP, JRC, EDS), pp. 204–209.
ICEIS-v3-2011-BoudebousBBS #approach #design #industrial #process: Design Approach of Distributed Systems for the Control of Industrial Process (DB, JB, SB, NS), pp. 157–164.
ICEIS-v3-2011-MansarWS #collaboration #design #exclamation #student: Getting to Global Yes! — Designing a Distributed Student Collaboration (SLM, RW, BGKS), pp. 229–234.
CIKM-2011-BanerjeeC #feature model #privacy #using: Privacy preserving feature selection for distributed data using virtual dimension (MB, SC), pp. 2281–2284.
CIKM-2011-BlancoCJKL #documentation: Assigning documents to master sites in distributed search (RB, BBC, FPJ, IK, VL), pp. 67–76.
CIKM-2011-KermarrecLT #graph #social: Distributed social graph embedding (AMK, VL, GT), pp. 1209–1214.
CIKM-2011-KoloniariNPS: One is enough: distributed filtering for duplicate elimination (GK, NN, EP, DS), pp. 433–442.
CIKM-2011-PillutlaRBSJ #detection: LSH based outlier detection and its application in distributed setting (MRP, NR, PB, KS, CVJ), pp. 2289–2292.
ICML-2011-DekelGSX #online #predict: Optimal Distributed Online Prediction (OD, RGB, OS, LX), pp. 713–720.
KDD-2011-AhmedLAJS #behaviour #scalability: Scalable distributed inference of dynamic user interests for behavioral targeting (AA, YL, MA, VJ, AJS), pp. 114–122.
KDD-2011-Boyd #embedded #optimisation #realtime #scalability: Convex optimization: from embedded real-time to large-scale distributed (SB), p. 1.
KDD-2011-GemullaNHS #matrix #probability #scalability: Large-scale matrix factorization with distributed stochastic gradient descent (RG, EN, PJH, YS), pp. 69–77.
KEOD-2011-PinchukINDBP #analysis #semantics #visual notation: Augmenting Semantics to Distributed Agents Logs — Enabling Graphical After Action Analysis of Federated Agents Logs (RP, SI, TN, TD, CB, GP), pp. 232–241.
KEOD-2011-Yamasaki: Sequential Knowledge Structure in Distributed System with Awareness (SY), pp. 293–298.
RecSys-2011-IsaacmanICM #predict #rating: Distributed rating prediction in user generated content streams (SI, SI, AC, MM), pp. 69–76.
SEKE-2011-Collazo-MojicaS #metamodelling: A Metamodel for Distributed Ensembles of Virtual Appliances (XJCM, SMS), pp. 560–565.
SEKE-2011-LiuGCJ #architecture #design #grid #power management #realtime: Designing a Distributed Systems Architecture Testbed for Real-Time Power Grid Systems (YL, IG, YC, SJ), pp. 268–271.
SIGIR-2011-FeildAG #named: CrowdLogging: distributed, private, and anonymous search logging (HAF, JA, JG), pp. 375–384.
SIGIR-2011-Markov #documentation #information retrieval #modelling: Modeling document scores for distributed information retrieval (IM), pp. 1321–1322.
ECMFA-2011-EllnerADJKP #execution #modelling #process: A FUML-Based Distributed Execution Machine for Enacting Software Process Models (RE, SAH, JD, MJ, DK, MP), pp. 19–34.
MoDELS-2011-AbedK #aspect-oriented #modelling: Aspect-Oriented Modelling for Distributed Systems (WAA, JK), pp. 123–137.
TOOLS-EUROPE-2011-WelschS #object-oriented #programming: Location Types for Safe Distributed Object-Oriented Programming (YW, JS), pp. 194–210.
AdaEurope-2011-MedinaC #ada #analysis #design #modelling #realtime #uml: Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE (JLM, ÁGC), pp. 89–102.
PLDI-2011-RamanKOLA #parallel #using: Parallelism orchestration using DoPE: the degree of parallelism executive (AR, HK, TO, JWL, DIA), pp. 26–37.
PPDP-2011-NigamJLS #incremental #logic programming #maintenance #source code: Maintaining distributed logic programs incrementally (VN, LJ, BTL, AS), pp. 125–136.
ASE-2011-BrosigHK #architecture #automation #component #modelling #performance: Automated extraction of architecture-level performance models of distributed component-based systems (FB, NH, SK), pp. 183–192.
ASE-2011-LeungwattanakitAHTY #model checking #process: Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.
ESEC-FSE-2011-MaBGML #component #configuration management: Version-consistent dynamic reconfiguration of component-based distributed systems (XM, LB, CG, VPLM, JL), pp. 245–255.
ICSE-2011-Kumar #concurrent #mining #specification: Specification mining in concurrent and distributed systems (SK), pp. 1086–1089.
ICSE-2011-Kumar11a #concurrent #mining #specification: Specification mining in concurrent and distributed systems (SK), pp. 1161–1163.
ICSE-2011-ManganoDLH #design #sketching: A demonstration of a distributed software design sketching tool (NM, MD, NL, AvdH), pp. 1028–1030.
ICSE-2011-Tiako #development #framework: Perspectives of delegation in team-based distributed software development over the GENI infrastructure (PFT), pp. 796–799.
SAC-2011-CherifIR #collaboration #data access #editing: Optimistic access control for distributed collaborative editors (AC, AI, MR), pp. 861–868.
SAC-2011-FuPT #clustering #framework #named: CluB: a cluster based framework for mitigating distributed denial of service attacks (ZF, MP, PT), pp. 520–527.
SAC-2011-GrootGK #data-driven #towards: Towards improved load balancing for data intensive distributed computing (SG, KG, MK), pp. 139–146.
SAC-2011-HorieMC #weaving: Distributed dynamic weaving is a crosscutting concern (MH, SM, SC), pp. 1353–1360.
SAC-2011-HummerLD #named #web #web service: WS-Aggregation: distributed aggregation of web services data (WH, PL, SD), pp. 1590–1597.
SAC-2011-LinTBBK #component #configuration management #evolution #programming: Transparent componentisation: high-level (re)configurable programming for evolving distributed systems (SL, FT, MB, GSB, AMK), pp. 203–208.
SAC-2011-RyengHN #semantics: Site-autonomous distributed semantic caching (NHR, JOH, KN), pp. 1015–1021.
SAC-2011-SchryenVRH #approach #formal method #towards #trust: A formal approach towards measuring trust in distributed systems (GS, MV, SR, SMH), pp. 1739–1745.
SAC-2011-ZellerWEK #adaptation #approach #embedded #self: An approach for providing dependable self-adaptation in distributed embedded systems (MZ, GW, DE, RK), pp. 236–237.
GPCE-2011-SlattenKH #automation #case study #generative #industrial #reliability #specification #towards #validation #verification: Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
ASPLOS-2011-FarhadKBS #approximate #architecture #manycore #source code: Orchestration by approximation: mapping stream programs onto multicore architectures (SMF, YK, BB, BS), pp. 357–368.
CASE-2011-CatalanSBRC #communication: Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499 (CC, FS, AB, JMR, JMC), pp. 767–772.
CASE-2011-Hackbarth #communication #memory management #self: Self-organizing warehouse management based on communicating distributed memory tags (FH), pp. 232–237.
CASE-2011-KalyanasundaramLR #combinator #resource management: Fail-Stop Distributed Combinatorial Auctioning Systems with fair resource allocation (AK, RAKL, SR), pp. 181–188.
CASE-2011-MikosFG #agile #approach #injection #process #reasoning: A distributed system for rapid determination of nonconformance causes and solutions for the thermoplastic injection molding process: A Case-Based Reasoning Agents approach (WLM, JCEF, FGCG), pp. 755–760.
CASE-2011-SchererCC #linear #modelling #network: Transfer function modeling of linear dynamic networks for distributed MPC (HFS, EC, AC), pp. 613–618.
CASE-2011-VasilePB #interactive: Integrating human swarm interaction in a distributed robotic control system (CIV, AP, CB), pp. 743–748.
CGO-2011-GreathouseLAB #analysis #data flow #scalability: Highly scalable distributed dataflow analysis (JLG, CL, TMA, VB), pp. 277–288.
DAC-2011-DeOrioABP #architecture #manycore #named: DRAIN: distributed recovery architecture for inaccessible nodes in multi-core chips (AD, KA, VB, LSP), pp. 912–917.
DAC-2011-HsuSPCH #algorithm #geometry #layout: A distributed algorithm for layout geometry operations (KTH, SS, YCP, CC, TYH), pp. 182–187.
DAC-2011-HuG #grid #synthesis: Distributed Resonant clOCK grid Synthesis (ROCKS) (XH, MRG), pp. 516–521.
DAC-2011-WuWFT #manycore #scheduling #simulation: A high-parallelism distributed scheduling mechanism for multi-core instruction-set simulation (MHW, PCW, CYF, RST), pp. 339–344.
DATE-2011-BartoliniCTB #energy #multi #predict #self: A distributed and self-calibrating model-predictive controller for energy and thermal management of high-performance multicores (AB, MC, AT, LB), pp. 830–835.
DATE-2011-BathenD #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-KimCY #predict #simulation: A new distributed event-driven gate-level HDL simulation by accurate prediction (DK, MJC, SY), pp. 547–550.
DATE-2011-WagnerL #framework #hardware: Distributed hardware matcher framework for SoC survivability (IW, SLL), pp. 305–310.
DATE-2011-ZhaoK #component: An extension to SystemC-A to support mixed-technology systems with distributed components (CZ, TJK), pp. 1278–1284.
HPCA-2011-RobatmiliGBK: Exploiting criticality to reduce bottlenecks in distributed uniprocessors (BR, MSSG, DB, SWK), pp. 431–442.
HPDC-2011-BalkirFR #architecture #mining #pipes and filters #using: A distributed look-up architecture for text mining applications using mapreduce (ASB, ITF, AR), pp. 279–280.
HPDC-2011-SaadR #framework #memory management #named #performance #transaction: HyFlow: a high performance distributed software transactional memory framework (MMS, BR), pp. 265–266.
HPDC-2011-WolinskyF #case study #experience #grid #self #using: Experiences with self-organizing, decentralized grids using the grid appliance (DIW, RJOF), pp. 183–194.
HPDC-2011-YooLKK #named #parallel: InContext: simple parallelism for distributed applications (SY, HL, CEK, MK), pp. 97–108.
PDP-2011-CamineroHRLCC #summary: Summary Creation for Information Discovery in Distributed Systems (ACC, EH, OFR, IML, BC, CC), pp. 167–171.
PDP-2011-CesarioT #data mining #framework #grid #mining: A Failure Handling Framework for Distributed Data Mining Services on the Grid (EC, DT), pp. 70–79.
PDP-2011-CorneaB #benchmark #metric #performance #predict #using: Performance Prediction of Distributed Applications Using Block Benchmarking Methods (BFC, JB), pp. 183–190.
PDP-2011-CosenzaCCS #parallel #simulation: Distributed Load Balancing for Parallel Agent-Based Simulations (BC, GC, RDC, VS), pp. 62–69.
PDP-2011-GaltierMV #fault tolerance #framework #performance: A Javaspace-Based Framework for Efficient Fault-Tolerant Master-Worker Distributed Applications (VG, CM, SV), pp. 272–276.
PDP-2011-Gomez-IglesiasVCM #algorithm #research: Distributed and Asynchronous Bees Algorithm Applied to Nuclear Fusion Research (AGI, MAVR, FC, MCM), pp. 365–372.
PDP-2011-GrossBS #framework #named #platform #recommendation: GroupRecoPF: Innovative Group Recommendations in a Distributed Platform (TG, CB, MS), pp. 293–300.
PDP-2011-HifiSH #2d #peer-to-peer #performance #problem: High Performance Peer-to-Peer Distributed Computing with Application to Constrained Two-Dimensional Guillotine Cutting Problem (MH, TS, NH), pp. 552–559.
PDP-2011-KerteszKB: Autonomic SLA-Aware Service Virtualization for Distributed Systems (AK, GK, IB), pp. 503–510.
PDP-2011-KoutrouliT: Credibility Enhanced Reputation Mechanism for Distributed E-communities (EK, AT), pp. 627–634.
PDP-2011-LukawskiS #data type #maintenance #scalability: Balancing Workloads of Servers Maintaining Scalable Distributed Data Structures (GL, KS), pp. 80–84.
PDP-2011-MarozzoTT #framework #pipes and filters: A Framework for Managing MapReduce Applications in Dynamic Distributed Environments (FM, DT, PT), pp. 149–158.
PDP-2011-Peter #reliability: Reliability Study of Coding Schemes for Wide-Area Distributed Storage Systems (KP), pp. 19–23.
PDP-2011-QuesnelL #framework #operating system: Operating Systems and Virtualization Frameworks: From Local to Distributed Similarities (FQ, AL), pp. 495–502.
SOSP-2011-ErlingssonPPB #clustering #kernel #named: Fay: extensible distributed tracing from kernels to clusters (ÚE, MP, SP, MB), pp. 311–326.
SOSP-2011-LenersWHAW #detection #network: Detecting failures in distributed systems with the Falcon spy network (JBL, HW, WLH, MKA, MW), pp. 279–294.
FoSSaCS-2011-PierardS #bisimulation #calculus #higher-order #process: Sound Bisimulations for Higher-Order Distributed Process Calculus (AP, ES), pp. 123–137.
STOC-2011-GolabHW #implementation #random: Linearizable implementations do not suffice for randomized distributed computation (WMG, LH, PW), pp. 373–382.
STOC-2011-SarmaHKKNPPW #approximate #verification: Distributed verification and hardness of distributed approximation (ADS, SH, LK, AK, DN, GP, DP, RW), pp. 363–372.
TACAS-2011-GaravelLMS #analysis #process: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.
CAV-2011-KatzPS #synthesis: Synthesis of Distributed Control through Knowledge Accumulation (GK, DP, SS), pp. 510–525.
ICTSS-2011-CavalcantiGH #consistency #csp #testing: Conformance Relations for Distributed Testing Based on CSP (AC, MCG, RMH), pp. 48–63.
VMCAI-2011-LopesR #model checking #predict: Distributed and Predictable Software Model Checking (NPL, AR), pp. 340–355.
ECSA-2010-KrupaviciuteF #automation #process: Expert Activities Automation through Enhanced Business Services Orchestration (AK, JF), pp. 497–500.
ECSA-2010-PhoomvuthisarnLZ #approach #architecture: An Architectural Approach to Composing Reputation-Based Distributed Services (SP, YL, LZ), pp. 133–149.
ECSA-2010-Phung-KhacGSBK #architecture #data transfer #evolution #modelling #runtime: Modelling Changes and Data Transfers for Architecture-Based Runtime Evolution of Distributed Applications (APK, JMG, MTS, AB, EK), pp. 392–400.
DocEng-2010-Skaf-MolliCM #documentation #framework #named #semantics #wiki: DSMW: a distributed infrastructure for the cooperative edition of semantic wiki documents (HSM, GC, PM), pp. 185–186.
ECDL-2010-ShipmanCFFDBCHEG #community #education #named: Ensemble: A Distributed Portal for the Distributed Community of Computing Education (FMSI, LNC, EAF, RF, LMLD, PB, BSCI, GWH, SHE, DDG), pp. 506–509.
JCDL-2010-FoxCASEBGDDAFSCC: Ensemble PDP-8: eight principles for distributed portals (EAF, YC, MA, CAS, SHE, PB, DDG, LMLD, FD, DWA, RF, FMSI, SC, LNC), pp. 341–344.
PODS-2010-CormodeMYZ: Optimal sampling from distributed streams (GC, SM, KY, QZ), pp. 77–86.
SIGMOD-2010-MarczakHBSLA #named: SecureBlox: customizable secure distributed data processing (WRM, SSH, MB, MS, BTL, MA), pp. 723–734.
SIGMOD-2010-RastogiN #encryption: Differentially private aggregation of distributed time-series with transformation and encryption (VR, SN), pp. 735–746.
VLDB-2010-KantereMKSM #coordination: Peer coordination through distributed triggers (VK, MM, IK, TKS, JM), pp. 1561–1564.
VLDB-2010-Nori #platform: Distributed Caching Platforms (AN), pp. 1645–1646.
VLDB-2010-ZouWSHAGW #query #relational: From a Stream of Relational Queries to Distributed Stream Processing (QZ, HW, RS, MH, HA, BG, KLW), pp. 1394–1405.
VLDB-2011-SagyKSS10 #difference #query #representation: Distributed Threshold Querying of General Functions by a Difference of Monotonic Representation (GS, DK, IS, AS), pp. 46–57.
CSEET-2010-BosnicCZLC #development #education: Customers’ Role in Teaching Distributed Software Development (IB, IC, MZ, RL, IC), pp. 73–80.
ITiCSE-2010-DukielskaS #programming: JavaSpaces NetBeans: a linda workbench for distributed programming course (MD, JS), pp. 23–27.
ICSM-2010-Cosma #object-oriented #reverse engineering: Reverse engineering object-oriented distributed systems (DCC), pp. 1–6.
ICSM-2010-HummelJHC #clone detection #detection #incremental #scalability: Index-based code clone detection: incremental, distributed, scalable (BH, EJ, LH, MC), pp. 1–9.
IFM-2010-Baier #model checking #on the #random: On Model Checking Techniques for Randomized Distributed Systems (CB), pp. 1–11.
FLOPS-2010-DieterleBL: A Skeleton for Distributed Work Pools in Eden (MD, JB, RL), pp. 337–353.
Haskell-2010-LaunchburyE #concurrent #haskell: Concurrent orchestration in Haskell (JL, TE), pp. 79–90.
CSCW-2010-Cataldo #collaboration #development #fault #tool support: Sources of errors in distributed development projects: implications for collaborative tools (MC), pp. 281–290.
CSCW-2010-InkpenHCZ #video: Exploring spatialized audio & video for distributed conversations (KI, RH, MC, ZZ), pp. 95–98.
CSCW-2010-TangPIBTB #collaboration #communication #comprehension: Three’s company: understanding communication channels in three-way distributed collaboration (AT, MP, KI, HB, JCT, BB), pp. 271–280.
SOFTVIS-2010-BeckD10a #analysis #automation #towards #visualisation: Towards automated analysis and visualization of distributed software systems (MB, JD), pp. 213–214.
ICEIS-AIDSS-2010-Chatzinikolaou #adaptation #algorithm #coordination #design #evolution #search-based #self: Coordinating Evolution — Designing a Self-adapting Distributed Genetic Algorithm (NC), pp. 13–20.
ICEIS-DISI-2010-DiboB #architecture #component #deployment #metamodelling #modelling: Defining an Unified Meta Modeling Architecture for Deployment of Distributed Components-based Software Applications (MD, NB), pp. 316–321.
ICEIS-DISI-2010-MoraesZF #algorithm #concept: A Distributed Algorithm for Formal Concepts Processing based on Search Subspaces (NRMdM, LEZ, HCF), pp. 105–111.
ICEIS-J-2010-VilenicaL10a #simulation: Simulation Management for Agent-Based Distributed Systems (AV, WL), pp. 477–492.
ICEIS-SAIC-2010-CanturkS #validation: Service Acquisition and Validation in a Distributed Service Discovery System Consisting of Domain-specific Sub-systems (DC, PS), pp. 93–99.
CIKM-2010-BonifatiWL #named #peer-to-peer #privacy #social: SPac: a distributed, peer-to-peer, secure and privacy-aware social space (AB, WHW, RL), pp. 1953–1954.
CIKM-2010-KulkarniC #documentation #policy: Document allocation policies for selective searching of distributed indexes (AK, JC), pp. 449–458.
ICPR-2010-AhmadNSNN #estimation #network #on the: On Clock Offset Estimation in Wireless Sensor Networks with Weibull Distributed Network Delays (AA, AN, ES, HNN, MNN), pp. 2322–2325.
ICPR-2010-ShamiliBA #detection #machine learning #mobile #using: Malware Detection on Mobile Devices Using Distributed Machine Learning (ASS, CB, TA), pp. 4348–4351.
ICPR-2010-SulicPKK #random #reduction #using: Dimensionality Reduction for Distributed Vision Systems Using Random Projection (VS, JP, MK, SK), pp. 380–383.
ICPR-2010-YangQ #approach #detection #effectiveness #parametricity: An Effective Decentralized Nonparametric Quickest Detection Approach (DY, HQ), pp. 2278–2281.
KDD-2010-KarguptaSG #data mining #mining #overview #performance: MineFleet®: an overview of a widely adopted distributed vehicle performance data mining system (HK, KS, MG), pp. 37–46.
KEOD-2010-DucLZ #api #ontology #reasoning: An API for Distributed Reasoning on Networked Ontologies with Alignments (CLD, ML, AZ), pp. 295–304.
KEOD-2010-RedavidEI #case study #comparative #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.
KMIS-2010-KarimaAO: Experimental Evidence on Data Warehouse Fragmentation and Allocation in a Distributed Context (TK, AA, HO), pp. 102–110.
KR-2010-Dao-TranEFK #multi: Distributed Nonmonotonic Multi-Context Systems (MDT, TE, MF, TK).
SEKE-2010-ChavesHVS #concept #development: A Context Conceptual Model for a Distributed Software Development Environment (APC, EHMH, VV, IS), pp. 437–442.
SEKE-2010-KalayciDFES #adaptation #execution #workflow: Distributed and Adaptive Execution of Condor DAGMan Workflows (SK, GD, LF, OE, SMS), pp. 587–590.
SEKE-2010-MoshirpourMF #behaviour #detection #specification #using: Detecting Emergent Behavior in Distributed Systems Using Scenario-Based Specifications (MM, AM, BHF), pp. 349–354.
SEKE-2010-SilvaGFT #development #process #web #web service: Negotiating Software Acquisition Supported by Web Services in a Distributed Software Development Process (GCS, IMdSG, MF, MBFdT), pp. 221–224.
SIGIR-2010-CambazogluVKAB #query: Query forwarding in geographically distributed search engines (BBC, EV, EK, CA, RABY), pp. 90–97.
MoDELS-v2-2010-GrossmannSS #design #modelling: Model Driven Orchestration: Design for Service Compatibility (GG, MS, MS), pp. 17–31.
SPLC-2010-Schmid #comparison #development #modelling #variability: Variability Modeling for Distributed Development — A Comparison with Established Practice (KS), pp. 151–165.
TOOLS-EUROPE-2010-CarretonMCM #ad hoc #mobile #network #programming: Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks (ALC, SM, TVC, WDM), pp. 41–60.
AdaEurope-2010-SangorrinHPG #flexibility #realtime #transaction: Managing Transactions in Flexible Distributed Real-Time Systems (DS, MGH, HP, JJG), pp. 251–264.
PADL-2010-GrumbachW #programming #rule-based: Netlog, a Rule-Based Language for Distributed Programming (SG, FW), pp. 88–103.
PLDI-2010-KamruzzamanST #concurrent #performance #thread: Software data spreading: leveraging distributed caches to improve single thread performance (MK, SS, DMT), pp. 460–470.
PLDI-2010-RajanRY #collaboration #named #programming: GUESSTIMATE: a programming model for collaborative distributed systems (KR, SKR, SY), pp. 210–220.
POPL-2010-GayVRGC #composition #object-oriented #programming: Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.
ASE-2010-MelissonMRRS #architecture #component #configuration management #runtime: Reconfigurable run-time support for distributed service component architectures (RM, PM, DR, RR, LS), pp. 171–172.
ICSE-2010-Lima #assessment #risk management: Risk assessment on distributed software projects (AML), pp. 349–350.
ICSE-2010-NordioMM #outsourcing #re-engineering: Advanced hands-on training for distributed and outsourced software engineering (MN, RM, BM), pp. 555–558.
ICSE-2010-Wassermann: Improving wide-area distributed system availability (BW), pp. 347–348.
SAC-2010-CostaMB #consistency #database #mobile #protocol: A distributed protocol for ensuring replicated database consistency in mobile computing environments (AC, JMM, AB), pp. 1688–1693.
SAC-2010-CuzzocreaB #framework #multi #privacy #xml: A secure multiparty computation privacy preserving OLAP framework over distributed XML data (AC, EB), pp. 1666–1673.
SAC-2010-DolevT #named: Spanders: distributed spanning expanders (SD, NT), pp. 1309–1314.
SAC-2010-EnsanB #framework #ontology: A framework for handling revisions in distributed ontologies (FE, EB), pp. 1417–1422.
SAC-2010-GaberS #classification #data type #network: Distributed data stream classification for wireless sensor networks (MMG, AMS), pp. 1629–1630.
SAC-2010-HarasicAOT #named #rdf: RDFSwarms: selforganized distributed RDF triple store (MH, AA, PO, RT), pp. 1339–1340.
SAC-2010-HassanB #file system #using: Semi-join computation on distributed file systems using map-reduce-merge model (MAHH, MB), pp. 406–413.
SAC-2010-MelchiorsSMSPGT #network: A network polling solution through a P2P-based distributed management environment (CM, AHdS, DM, CRPdS, AP, LZG, LMRT), pp. 729–730.
SAC-2010-MiaoOWS #network #using: Coverage-hole trap model in target tracking using distributed relay-robot network (HM, CCO, XW, CS), pp. 1299–1304.
SAC-2010-SarrNG #adaptation #monitoring #named #transaction #web: TransPeer: adaptive distributed transaction monitoring for Web2.0 applications (IS, HN, SG), pp. 423–430.
SAC-2010-SiebertCC #coordination #modelling #multi: Agents & artefacts for multiple models coordination: objective and decentralized coordination of simulators (JS, LC, VC), pp. 2024–2028.
SAC-2010-TeixeiraFP #approach: Distributed discrimination of media moments and media intervals: a Watch-and-Comment approach (CACT, GBF, MdGCP), pp. 1929–1935.
SAC-2010-WangLRKL #information management: Improving complex distributed software system availability through information hiding (LW, YL, SR, KAK, XL), pp. 452–456.
ASPLOS-2010-GeladoCNSPH #memory management #parallel #symmetry: An asymmetric distributed shared memory model for heterogeneous parallel systems (IG, JC, NN, JES, SJP, WmWH), pp. 347–358.
CASE-2010-AnandFLM #implementation #network #using: A practical implementation of distributed system control over an asynchronous Ethernet network using time stamped data (DMA, JGF, YSLB, JRM), pp. 515–520.
CASE-2010-IslamL #hybrid: A distributed hybrid sliding mode control system for a class of nonlinear mechanical systems (SI, PXL), pp. 356–361.
CASE-2010-JinJ #automation #generative #overview: Review on planning and automation technologies for distributed generation systems (TJ, JAJ), pp. 269–274.
CASE-2010-MikosFBF #design #development #ontology #reuse #using: Development of a system for distributed sharing and reuse of design and manufacturing knowledge in the PFMEA domain using a description logics-based ontology (WLM, JCEF, PEAB, LSF), pp. 598–603.
CASE-2010-SouzaPC #analysis #implementation #network #predict: Distributed model predictive control applied to urban traffic networks: Implementation, experimentation, and analysis (FAdS, VBP, EC), pp. 399–405.
DAC-2010-GeMQ #manycore #migration: Distributed task migration for thermal management in many-core systems (YG, PM, QQ), pp. 579–584.
DAC-2010-WangZD #logic #parallel #simulation: Distributed time, conservative parallel logic simulation on GPUs (BDW, YZ, YD), pp. 761–766.
DATE-2010-ChenLJC #manycore #memory management #using: Supporting Distributed Shared Memory on multi-core Network-on-Chips using a dual microcoded controller (XC, ZL, AJ, SC), pp. 39–44.
DATE-2010-LoiB #3d #framework #interface #manycore #memory management #performance: An efficient distributed memory interface for many-core platform with 3D stacked DRAM (IL, LB), pp. 99–104.
HPCA-2010-MillerKKGBCEA #named #parallel: Graphite: A distributed parallel simulator for multicores (JEM, HK, GK, CGI, NB, CC, JE, AA), pp. 1–12.
HPDC-2010-BuiYT #abstraction #named #python #using #workflow: Weaver: integrating distributed computing abstractions into scientific workflows using Python (PB, LY, DT), pp. 636–643.
HPDC-2010-GehaniKM #performance #query: Efficient querying of distributed provenance stores (AG, MK, TM), pp. 613–621.
HPDC-2010-GuanYCGLC #named: DistriBit: a distributed dynamic binary translator system for thin client computing (HG, YY, KC, YG, LL, YC), pp. 684–691.
HPDC-2010-HenschelMS #using #workflow: A distributed workflow for an astrophysical OpenMP application: using the data capacitor over WAN to enhance productivity (RH, SM, SCS), pp. 644–650.
HPDC-2010-KimHMAJ #energy #scalability #using: Exploring the RNA folding energy landscape using scalable distributed cyberinfrastructure (JK, WH, SM, FAE, SJ), pp. 477–488.
HPDC-2010-LiewAHH #data type #graph #optimisation #parallel #streaming #towards #using: Towards optimising distributed data streaming graphs using parallel streams (CSL, MPA, JIvH, LH), pp. 725–736.
HPDC-2010-PovznerSB #named #performance: Horizon: efficient deadline-driven disk I/O management for distributed storage systems (AP, DS, SAB), pp. 1–12.
HPDC-2010-ShibataCT #data access #data-driven #workflow: File-access patterns of data-intensive workflow applications and their implications to distributed filesystems (TS, SC, KT), pp. 746–755.
HPDC-2010-TanakaT #data-driven #flexibility #named #parallel #workflow: Pwrake: a parallel and distributed flexible workflow management tool for wide-area data intensive computing (MT, OT), pp. 356–359.
OSDI-2010-FordLPSTBGQ: Availability in Globally Distributed Storage Systems (DF, FL, FIP, MS, VAT, LB, CG, SQ), pp. 61–74.
OSDI-2010-GeambasuLKKL #named: Comet: An active distributed key-value store (RG, AAL, TK, AK, HML), pp. 323–336.
OSDI-2010-KoponenCGSPZRIIHS #framework #named #network #platform #scalability: Onix: A Distributed Control Platform for Large-scale Production Networks (TK, MC, NG, JS, LP, MZ, RR, YI, HI, TH, SS), pp. 351–364.
OSDI-2010-PengD #incremental #scalability #transaction #using: Large-scale Incremental Processing Using Distributed Transactions and Notifications (DP, FD), pp. 251–264.
OSDI-2010-PowerL #named #performance #source code: Piccolo: Building Fast, Distributed Programs with Partitioned Tables (RP, JL), pp. 293–306.
PDP-2010-BazN #adaptation #communication #performance #protocol #self: A Self-adaptive Communication Protocol with Application to High Performance Peer to Peer Distributed Computing (DEB, TTN), pp. 327–333.
PDP-2010-CelayaA #grid #workflow: Distributed Scheduler of Workflows with Deadlines in a P2P Desktop Grid (JC, UA), pp. 69–73.
PDP-2010-ChaparroAMCCM #scalability #video: Supporting Scalable Video Transmission in MANETs through Distributed Admission Control Mechanisms (PAC, JA, JMM, CMTC, JCC, PM), pp. 238–245.
PDP-2010-GennaroR #scalability #similarity: Scalability Issues for Self Similarity Join in Distributed Systems (CG, FR), pp. 309–316.
PDP-2010-LoureiroND #adaptation #optimisation: Adaptive Management of Shared Resource Pools with Decentralized Optimization and Epidemics (EL, PN, SD), pp. 51–58.
PDP-2010-SantoRSZ #clustering #memory management #parallel #transaction: Software Distributed Shared Memory with Transactional Coherence — A Software Engine to Run Transactional Shared-memory Parallel Applications on Clusters (MDS, NR, CS, EZ), pp. 175–179.
PPoPP-2010-BuehrerPT: A distributed placement service for graph-structured and tree-structured data (GB, SP, ST), pp. 355–356.
PPoPP-2010-DashD #memory management #transaction: Symbolic prefetching in transactional distributed shared memory (AD, BD), pp. 331–332.
STOC-2010-KuhnLO #network: Distributed computation in dynamic networks (FK, NAL, RO), pp. 513–522.
CAV-2010-BlomPW #named #reachability: LTSmin: Distributed and Symbolic Reachability (SB, JvdP, MW), pp. 354–359.
CAV-2010-GrafPQ #model checking: Achieving Distributed Control through Model Checking (SG, DP, SQ), pp. 396–409.
CSL-2010-Platzer #difference #hybrid #logic #quantifier: Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
ICLP-J-2010-LopesNRS #prolog: Applying Prolog to develop distributed systems (NPL, JANP, AR, AS), pp. 691–707.
ICTSS-2010-AlmeidaMSTV #architecture #performance #scalability: Efficient Distributed Test Architectures for Large-Scale Systems (ECdA, JEM, GS, YLT, PV), pp. 174–187.
WICSA-ECSA-2009-XuZSL #architecture: An architecting method for distributed process-intensive systems (XX, LZ, MS, YL), pp. 277–280.
ECDL-2009-MayerNR #repository: Data Recovery from Distributed Personal Repositories (RM, RN, AR), pp. 455–458.
ECDL-2009-NakasholeS #architecture #hybrid: A Hybrid Distributed Architecture for Indexing (NN, HS), pp. 250–260.
ECDL-2009-OlsenS #library #using: Gaining Access to Decentralised Library Resources Using Location-Aware Services (BSO, ITS), pp. 388–391.
JCDL-2009-AnandBBST #architecture #named #web: EverLast: a distributed architecture for preserving the web (AA, SJB, KB, RS, CT), pp. 331–340.
PODS-2009-AbiteboulGM #design #xml: Distributed XML design (SA, GG, MM), pp. 247–258.
PODS-2009-YiZ: Optimal tracking of distributed heavy hitters and quantiles (KY, QZ), pp. 167–174.
SIGMOD-2009-IsardY #programming language #using: Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
SIGMOD-2009-LiYJ #probability #ranking: Ranking distributed probabilistic data (FL, KY, JJ), pp. 361–374.
VLDB-2009-LeglerLSK #mining #robust #using: Robust Distributed Top-N Frequent Pattern Mining Using the SAP BW Accelerator (TL, WL, JS, JK), pp. 1438–1449.
VLDB-2009-VigfussonSCF #adaptation #query: Adaptively Parallelizing Distributed Range Queries (YV, AS, BFC, RF), pp. 682–693.
VLDB-2009-WuJOT #online: Distributed Online Aggregation (SW, SJ, BCO, KLT), pp. 443–454.
ITiCSE-2009-CasselWP #named: CPATH: distributed expertise — collaborating with other disciplines (LNC, TW, SP), p. 382.
SIGITE-2009-IslamS #architecture #distance #education #effectiveness: A cost-effective distributed architecture to enable distance education over emerging wireless technologies (KRI, CMS), pp. 182–188.
CSMR-2009-MarwedeRHH #automation #behaviour #correlation #scalability: Automatic Failure Diagnosis Support in Distributed Large-Scale Software Systems Based on Timing Behavior Anomaly Correlation (NM, MR, AvH, WH), pp. 47–58.
ICSM-2009-ParveenTDM #execution #framework #testing #towards: Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.
ICALP-v2-2009-ScheidelerS: A Distributed and Oblivious Heap (CS, SS), pp. 571–582.
FM-2009-JohnsenKY #composition #concurrent #evolution: Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects (EBJ, MK, ICY), pp. 596–611.
SEFM-2009-HieronsN #interface #simulation: Simulation Relations for Systems with Distributed Interfaces (RMH, MN), pp. 41–50.
CHI-2009-MuellerGV #design #game studies #social: Design influence on social play in distributed exertion games (FM, MRG, FV), pp. 1539–1548.
HCD-2009-FuKN #web: Web Orchestration: Customization and Sharing Tool for Web Information (LF, TK, FN), pp. 689–696.
HCI-NT-2009-DavidC #interactive #modelling: Orchestration Modeling of Interactive Systems (BTD, RC), pp. 796–805.
HCI-NT-2009-MiyazakiSY #behaviour #java #runtime #using #virtual machine: Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications (TM, TS, FY), pp. 882–889.
HIMI-DIE-2009-Schlegel #interactive #object-oriented #process: Object-Oriented Interactive Processes in Decentralized Production Systems (TS), pp. 296–305.
HIMI-II-2009-LigdaJLJ #automation #tool support #using: Pilot Confidence with ATC Automation Using Cockpit Situation Display Tools in a Distributed Traffic Management Environment (SVL, NHJ, JL, WWJ), pp. 816–825.
OCSC-2009-Jameson #community #online #trust: Distributed Leadership, Trust and Online Communities (JJ), pp. 226–235.
ICEIS-DISI-2009-GorawskiD #algorithm #execution #performance #query: Algorithms for Efficient Top-K Spatial Preference Query Execution in a Heterogeneous Distributed Environment (MG, KD), pp. 43–48.
ICEIS-DISI-2009-VroomKJ #community #design #industrial #performance #wiki: Efficient Community Management in an Industrial Design Engineering Wiki — Distributed Leadership (RWV, AK, RJ), pp. 190–195.
ICEIS-ISAS-2009-LundbergG #approach #information management #robust #towards: Robust Approach Towards Context Dependant Information Sharing in Distributed Environments (JL, RG), pp. 200–205.
ICEIS-J-2009-AliPTD #data flow #framework #named #semistructured data #xquery: DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources (MIA, RP, HLT, SD), pp. 172–183.
CIKM-2009-ChoiSCSC #evaluation #named #parallel #rdf #scalability: SPIDER: a system for scalable, parallel / distributed evaluation of large-scale RDF data (HC, JS, YC, MKS, YDC), pp. 2087–2088.
CIKM-2009-DoulkeridisVNKV #multi #performance #query: Multidimensional routing indices for efficient distributed query processing (CD, AV, KN, YK, MV), pp. 1489–1492.
CIKM-2009-GedikAW #approach #code generation #data type #optimisation: A code generation approach to optimizing high-performance distributed data stream processing (BG, HA, KLW), pp. 847–856.
CIKM-2009-Moussa #database #implementation #middleware: HDDBrs middleware for implementing highly available distributed databases (RM), pp. 2075–2076.
CIKM-2009-SioutasPSTM #architecture #novel: A novel distributed P2P simulator architecture: D-P2P-sim (SS, GP, ES, KT, YM), pp. 2069–2070.
CIKM-2009-YeCCZ #probability: Stochastic gradient boosted distributed decision trees (JY, JHC, JC, ZZ), pp. 2061–2064.
ECIR-2009-BaillieCC #information retrieval #quality #topic: A Topic-Based Measure of Resource Description Quality for Distributed Information Retrieval (MB, MJC, FC), pp. 485–496.
ECIR-2009-SarigiannisPB #case study #query #web: A Study of the Impact of Index Updates on Distributed Query Processing for Web Search (CS, VP, RABY), pp. 595–602.
ICML-2009-Tillman #independence #learning: Structure learning with independent non-identically distributed data (RET), pp. 1041–1048.
KEOD-2009-MoulinL #approach #ontology #semantics: Ontologies based Approach for Semantic Indexing in Distributed Environments (CM, CL), pp. 420–423.
KMIS-2009-Rios-AlvaradoMR #semantics #web: Distributed Allocation of a Corporate Semantic Web (ABRA, RMJ, RCMR), pp. 173–179.
MLDM-2009-CzarnowskiJ #clustering: Agent-Based Non-distributed and Distributed Clustering (IC, PJ), pp. 347–360.
MLDM-2009-KobayashiS #classification #linear #representation #using: A Linear Classification Method in a Very High Dimensional Space Using Distributed Representation (TK, IS), pp. 137–147.
RecSys-2009-ShokriPTH #collaboration #privacy: Preserving privacy in collaborative filtering through distributed aggregation of offline profiles (RS, PP, GT, JPH), pp. 157–164.
SEKE-2009-EzenwoyeVSFDK #adaptation #composition #staging #workflow: Task Decomposition for Adaptive Data Staging in Workflows for Distributed Environments (OE, BV, SMS, LF, GD, SK), pp. 16–19.
SIGIR-2009-CambazogluPB #performance #quality #web: Quantifying performance and quality gains in distributed web search engines (BBC, VP, RABY), pp. 411–418.
MoDELS-2009-JurackT #concept #graph transformation #model transformation #towards #using: Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MoDELS-2009-JurackT #concept #graph transformation #model transformation #towards #using: Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
AdaEurope-2009-UruenaZP #middleware #realtime #strict: A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems (SU, JZ, JAdlP), pp. 16–29.
PLDI-2009-RoyPBMW #data flow #fine-grained #named: Laminar: practical fine-grained decentralized information flow control (IR, DEP, MDB, KSM, EW), pp. 63–74.
POPL-2009-Ridge #approach #verification: Verifying distributed systems: the operational approach (TR), pp. 429–440.
PPDP-2009-ZhuDFJMPW #ad hoc: Language support for processing distributed ad hoc data (KQZ, DSD, KF, LJ, YM, VSP, DW), pp. 243–254.
QAPL-2009-GiroD #on the #power of #probability: On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.
SIGAda-2009-DinhB #design pattern #fault tolerance: Distributed container: a design pattern for fault tolerance and high speed data exchange (TD, SB), pp. 115–118.
ICSE-2009-BirdNDGM #case study #development #empirical #quality: Does distributed development affect software quality? An empirical case study of Windows Vista (CB, NN, PTD, HG, BM), pp. 518–528.
SAC-2009-BiagioniDPS: Practical distributed voter-verifiable secret ballot system (EB, YD, WP, KS), pp. 16–21.
SAC-2009-CamargoFK #maintenance #performance: Efficient maintenance of distributed data in highly dynamic opportunistic grids (RYdC, FCF, FK), pp. 1067–1071.
SAC-2009-FahmyRJ #analysis #realtime #transaction: Response time analysis of software transactional memory-based distributed real-time systems (SFF, BR, EDJ), pp. 334–338.
SAC-2009-KasingerDB #coordination: Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals (HK, JD, BB), pp. 1223–1224.
SAC-2009-LiangZSZ #adaptation #architecture #embedded #realtime #resource management: Adaptive resource management architecture for distributed real-time embedded systems (KL, XZ, RS, KZ), pp. 1050–1055.
SAC-2009-MoallemL #grid #scheduling #using: Using artificial life techniques for distributed grid job scheduling (AM, SAL), pp. 1091–1097.
SAC-2009-MondejarLPUM #aspect-oriented #composition #design #runtime: Designing a distributed AOP runtime composition model (RM, PGL, CP, PU, PM), pp. 539–540.
SAC-2009-NeedelsK #peer-to-peer: Secure routing in peer-to-peer distributed hash tables (KN, MK), pp. 54–58.
SAC-2009-Yu #consistency #process: Consistent and decentralized orchestration of BPEL processes (WY), pp. 1583–1584.
CASE-2009-FagioliniMB: Set-valued consensus for distributed clock synchronization (AF, SM, AB), pp. 116–121.
CASE-2009-FranceschelliGS #fault #network: Decentralized fault diagnosis for sensor networks (MF, AG, CS), pp. 334–339.
CC-2009-DaoAKV #debugging: Live Debugging of Distributed Systems (DD, JRA, CEK, AV), pp. 94–108.
DATE-2009-BarontiLRS #detection #metric: Distributed sensor for steering wheel rip force measurement in driver fatigue detection (FB, FL, RR, RS), pp. 894–897.
DATE-2009-FahmyRJ #bound #memory management #multi #on the #realtime #transaction: On bounding response times under software transactional memory in distributed multiprocessor real-time systems (SFF, BR, EDJ), pp. 688–693.
DATE-2009-GuoS #bound #design #optimisation #using: Optimizing the HW/SW boundary of an ECC SoC design using control hierarchy and distributed storage (XG, PS), pp. 454–459.
DATE-2009-LeonardiPC #case study #deployment #embedded #network: A case study in distributed deployment of embedded software for camera networks (FL, AP, LPC), pp. 1006–1011.
DATE-2009-PuschiniCBST #energy #latency: Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC (DP, FC, PB, GS, LT), pp. 1564–1567.
DATE-2009-SamiiCEP #embedded #scheduling #synthesis: Integrated scheduling and synthesis of control applications on distributed embedded systems (SS, AC, PE, ZP), pp. 57–62.
DATE-2009-SartoriK #architecture #manycore #power management: Distributed peak power management for many-core architectures (JS, RK), pp. 1556–1559.
HPDC-2009-CastilloRH #resource management #scalability: Resource co-allocation for large-scale distributed environments (CC, GNR, KH), pp. 131–140.
HPDC-2009-RaicuFZLMCT #data-driven #scalability: The quest for scalable support of data-intensive workloads in distributed systems (IR, ITF, YZ, PL, CM, AC, DT), pp. 207–216.
HPDC-2009-SaballusF #graph #maintenance: Maintaining reference graphs of globally accessible objects in fully decentralized distributed systems (BS, TF), pp. 59–60.
PDP-2009-BuiFR #fault tolerance: Fully Distributed and Fault Tolerant Task Management Based on Diffusions (AB, OF, CR), pp. 355–360.
PDP-2009-GrossB: Advanced Publish and Subscribe for Distributed Sensor-Based Infrastructures: The CoLocScribe Cooperative Media Space (TG, CB), pp. 333–340.
PDP-2009-KalewskiKK #detection #performance #scalability: FAST Failure Detection Service for Large Scale Distributed Systems (MK, AK, JK), pp. 229–236.
PDP-2009-QuinsonV: Byte-Range Asynchronous Locking in Distributed Settings (MQ, FV), pp. 191–195.
PPoPP-2009-DashD #memory management #transaction: Software transactional distributed shared memory (AD, BD), pp. 297–298.
PPoPP-2009-LiBH #multi #performance #scalability #scheduling #using: Efficient and scalable multiprocessor fair scheduling using distributed weighted round-robin (TL, DPB, SH), pp. 65–74.
SOSP-2009-IsardPCWTG #clustering #named #scheduling: Quincy: fair scheduling for distributed computing clusters (MI, VP, JC, UW, KT, AG), pp. 261–276.
SOSP-2009-LiuGVQWM #framework #named #platform: Fabric: a platform for secure distributed computation and storage (JL, MDG, KV, XQ, LW, ACM), pp. 321–334.
SOSP-2009-YuGI #implementation #interface: Distributed aggregation for data-parallel computing: interfaces and implementations (YY, PKG, MI), pp. 247–260.
ESOP-2009-BuscemiM #process: Abstract Processes in Orchestration Languages (MGB, HCM), pp. 301–315.
STOC-2009-BarenboimE #linear: Distributed (delta+1)-coloring in linear (in delta) time (LB, ME), pp. 111–120.
CAV-2009-BasuBPS #model checking #scheduling: Priority Scheduling of Distributed Systems Based on Model Checking (AB, SB, DP, JS), pp. 79–93.
ICLP-2009-Ashley-Rollman #logic programming #research #summary: Research Summary: Logic Programming for Massively Distributed Systems (MPAR), pp. 527–529.
ICLP-2009-Rosa #detection #programming: Locally Distributed Predicates: A Programming Facility for Distributed State Detection (MD), pp. 557–558.
ICST-2009-HillTES #component #non-functional #testing: Unit Testing Non-functional Concerns of Component-based Distributed Systems (JHH, HAT, JRE, DCS), pp. 406–415.
SAT-2009-LewisMSNBG #named: PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing (MDTL, PM, TS, MN, BB, EG), pp. 509–523.
TAP-2009-GriesmayerAJS #execution #symbolic computation #testing: Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.
TestCom-FATES-2009-BentakoukPZ #framework #testing: A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems (LB, PP, FZ), pp. 16–32.
CBSE-2008-MartinezDPM #component #named #realtime: Ada-CCM: Component-Based Technology for Distributed Real-Time Systems (PLM, JMD, PP, JLM), pp. 334–350.
CBSE-2008-SentillesVBCC #component #embedded: A Component Model for Control-Intensive Distributed Embedded Systems (SS, AV, TB, JC, IC), pp. 310–317.
CBSE-2008-SeoMM #component #energy #estimation: Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems (CS, SM, NM), pp. 97–113.
ECSA-2008-GilsonEM #approach #architecture #design #scalability: A Large Scope Transformational Approach for Distributed Architecture Design (FG, VE, RM), pp. 330–333.
ECSA-2008-MyllarniemiPRGM #approach #architecture #constraints: Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints (VM, CP, MR, JvG, TM), pp. 180–195.
QoSA-2008-MalletR #analysis #model transformation: Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems (JM, SR), pp. 55–70.
WICSA-2008-BahsoonE #approach #architecture #scalability: An Economics-Driven Approach for Valuing Scalability in Distributed Architectures (RB, WE), pp. 9–18.
WICSA-2008-SeoEMM #architecture #energy #framework #impact analysis: A Framework for Estimating the Impact of a Distributed Software System’s Architectural Style on its Energy Consumption (CS, GE, SM, NM), pp. 277–280.
DocEng-2008-GormishWPH #approach #documentation #flexibility #metadata #security: Document logs: a distributed approach to metadata for better security and flexibility (MJG, GW, KWP, PH), pp. 119–122.
ECDL-2008-BeckerFKRBR: Distributed Preservation Services: Integrating Planning and Actions (CB, MF, MK, AR, AAB, JCR), pp. 25–36.
ECDL-2008-FerroS #metadata: A Methodology for Sharing Archival Descriptive Metadata in a Distributed Environment (NF, GS), pp. 268–279.
JCDL-2008-HalbertSW #network: Metaarchive/lockss distributed preservation networks (MH, KS, TOW), p. 438.
SIGMOD-2008-BohmMK #declarative #development: The Demaq system: declarative development of distributed applications (AB, EM, CCK), pp. 1311–1314.
SIGMOD-2008-SilbersteinCSVYR #order #performance: Efficient bulk insertion into a distributed ordered table (AS, BFC, US, EV, RY, RR), pp. 765–778.
SIGMOD-2008-VlachouDNV #on the #performance #query: On efficient top-k query processing in highly distributed environments (AV, CD, KN, MV), pp. 753–764.
SIGMOD-2008-ZhangB #named #xquery: XRPC: distributed XQuery and update processing with heterogeneous XQuery engines (YZ, PAB), pp. 1331–1336.
VLDB-2008-AguileraGS #scalability: A practical scalable distributed B-tree (MKA, WMG, MAS), pp. 598–609.
VLDB-2008-AkdereCT #detection: Plan-based complex event detection across distributed sources (MA, UÇ, NT), pp. 66–77.
VLDB-2008-JurczykX #named #platform: DObjects: enabling distributed data services for metacomputing platforms (PJ, LX), pp. 1432–1435.
VLDB-2008-KallmanKNPRZJMSZHA #in memory #memory management #named #transaction: H-store: a high-performance, distributed main memory transaction processing system (RK, HK, JN, AP, AR, SBZ, EPCJ, SM, MS, YZ, JH, DJA), pp. 1496–1499.
VLDB-2008-KwonBG #fault tolerance #file system #using: Fault-tolerant stream processing using a distributed, replicated file system (YK, MB, AGG), pp. 574–585.
VLDB-2008-MiloD #monitoring #process #query: Querying and monitoring distributed business processes (TM, DD), pp. 1512–1515.
VLDB-2008-YehWYC #named #query: LeeWave: level-wise distribution of wavelet coefficients for processing kNN queries over distributed streams (MYY, KLW, PSY, MSC), pp. 586–597.
VLDB-2008-ZerrN #documentation #framework #privacy: Privacy preserving document indexing infrastructure for a distributed environment (SZ, WN), pp. 1638–1643.
CSEET-2008-MeyerP #case study #development #experience #re-engineering #risk management: The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development (BM, MP), pp. 3–16.
ITiCSE-2008-Abad #case study #experience #learning: Learning through creating learning objects: experiences with a class project in a distributed systems course (CLA), pp. 255–259.
ITiCSE-2008-BoyerDFVL #collaboration #development #programming: A development environment for distributed synchronous collaborative programming (KEB, AAD, RTF, MAV, JCL), pp. 158–162.
ITiCSE-2008-PullenC #distance #education #quality: Distributed application launching for high quality graphics in synchronous distance education (JMP, JXC), pp. 204–208.
SIGITE-2008-StackpoleKHGP #education: Decentralized virtualization in systems administration education (BS, JK, TH, LG, YP), pp. 249–254.
CSMR-2008-CosmaM #comprehension #dependence #object-oriented #using: Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies (DCC, RM), pp. 103–112.
ICPC-2008-MonganSM #re-engineering #reverse engineering: Re-Engineering a Reverse Engineering Portal to a Distributed SOA (WMM, MS, SM), pp. 218–223.
ICALP-A-2008-Pritchard #performance #random: Fast Distributed Computation of Cuts Via Random Circulations (DP), pp. 145–160.
LATA-2008-BordihnH #random: Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems (HB, MH), pp. 125–136.
FM-2008-KitchinPM #logic #simulation: Simulation, Orchestration and Logical Clocks (DK, EP, JM), p. 34.
FM-2008-MacedoLF #development #incremental #realtime #using: Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (HDM, PGL, JSF), pp. 181–197.
SEFM-2008-GorankoS #logic #multi: Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge (VG, DS), pp. 237–246.
CIG-2008-PourGAGC #development #framework #game studies #generative #human-computer #interface #platform #video: Brain-computer interface: Next generation thought controlled distributed video game development platform (PAP, TG, OA, GDG, RAC), pp. 251–257.
GT-VMT-2006-BottoniPPT08 #eclipse #maintenance #modelling: Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse (PB, FPP, SP, GT), pp. 87–98.
ICGT-2008-GadducciM #implementation #mobile: A Decentralized Implementation of Mobile Ambients (FG, GVM), pp. 115–130.
CHI-2008-BirnholtzGRW #interactive #named: OpenMessenger: gradual initiation of interaction for distributed workgroups (JPB, CG, GR, MW), pp. 1661–1664.
CHI-2008-BirnholtzMGB: Attention by proxy? issues in audience awareness for webcasts to distributed groups (JPB, CM, SG, RB), pp. 103–106.
CHI-2008-WuBRBM #memory management #product line: Collaborating to remember: a distributed cognition account of families coping with memory impairments (MW, JPB, BR, RB, MM), pp. 825–834.
CSCW-2008-BayerlL #coordination #symmetry: Coordinating high-interdependency tasks in asymmetric distributed teams (PSB, KL), pp. 417–426.
CSCW-2008-CataldoH #communication #development #network: Communication networks in geographically distributed software development (MC, JDH), pp. 579–588.
CSCW-2008-ChungH #network: Network structure, position, ties and ICT use in distributed knowledge-intensive work (KSKC, LH), pp. 545–554.
CSCW-2008-CummingsK #collaboration #experience #research: Who collaborates successfully?: prior experience reduces collaboration barriers in distributed interdisciplinary research (JNC, SBK), pp. 437–446.
CSCW-2008-NomuraBRLTG #collaboration #comprehension #coordination #research: Cutting into collaboration: understanding coordination in distributed and interdisciplinary medical research (SN, JPB, OR, GL, DT, GG), pp. 427–436.
CSCW-2008-PoonTAL #case study: Context-linked virtual assistants for distributed teams: an astrophysics case study (SSP, RCT, CRA, BL), pp. 361–370.
CSCW-2008-StuckelG #interactive: The effects of local lag on tightly-coupled interaction in distributed groupware (DS, CG), pp. 447–456.
EDOC-2008-MartinWL #approach #novel #workflow: A Novel Approach to Decentralized Workflow Enactment (DM, DW, FL), pp. 127–136.
EDOC-2008-MayerSK #modelling #named: MDD4SOA: Model-Driven Service Orchestration (PM, AS, NK), pp. 203–212.
EDOC-2008-Quint #as a service #automation #security: SOA Security — as a Service Automatic Conversion in Distributed Infrastructures (BQ).
EDOC-2008-RahamanRS #data access #documentation #xml: Distributed Access Control For XML Document Centric Collaborations (MAR, YR, AS), pp. 267–276.
ICEIS-DISI-2008-Baeza-Yates #towards: Towards A Distributed Search Engine (RABY), p. 13.
ICEIS-DISI-2008-LiuQLZWD #specification #visual notation: A Visual Specification Tool for Event-Condition-Action Rules Supporting Web-Based Distributed System (WL, YQ, XL, KZ, HW, GD), pp. 246–251.
ICEIS-ISAS2-2008-LopesA #development #lessons learnt #process #requirements: A Requirements Engineering Process Model for Distributed Software Development — Lessons Learned (LTL, JLNA), pp. 117–122.
CIKM-2008-HauglidN #database #named #query: PROQID: partial restarts of queries in distributed databases (JOH, KN), pp. 1251–1260.
CIKM-2008-NguyenYF #adaptation #network #peer-to-peer: Adaptive distributed indexing for structured peer-to-peer networks (LTN, WGY, OF), pp. 1241–1250.
ECIR-2008-WitschelHHT #evaluation #information retrieval: An Evaluation Measure for Distributed Information Retrieval Systems (HFW, FH, GH, ST), pp. 607–611.
ICML-2008-WolfeHK #dataset #scalability: Fully distributed EM for very large datasets (JW, AH, DK), pp. 1184–1191.
ICPR-2008-AlpcanB #algorithm #learning #parallel: A discrete-time parallel update algorithm for distributed learning (TA, CB), pp. 1–4.
ICPR-2008-WangZ #collaboration #learning: Collaborative learning by boosting in distributed environments (SW, CZ), pp. 1–4.
KR-2008-Meyden #on the: On Notions of Causality and Distributed Knowledge (RvdM), pp. 209–219.
SEKE-2008-DebOP #deployment #self: Self-managed Deployment in a Distributed Environment via Utility Functions (DD, MJO, JP), pp. 808–813.
SEKE-2008-Fuad #architecture #program transformation #self: Code Transformation Techniques and Management Architecture for Self-manageable Distributed Applications (MMF), pp. 315–320.
SEKE-2008-KloukinasSM #runtime #verification: Estimating Event Lifetimes for Distributed Runtime Verification (CK, GS, KM), pp. 117–122.
SEKE-2008-SamimiM #composition #named: Dynamis: Dynamic Overlay Service Composition for Distributed Stream Processing (FAS, PKM), pp. 881–886.
SEKE-2008-ZhouZ #programming #virtual machine: A Virtual Machine for Distributed Agent-oriented Programming (BZ, HZ), pp. 729–734.
SIGIR-2008-CarmanC #information retrieval #personalisation #towards: Towards personalized distributed information retrieval (MJC, FC), pp. 719–720.
MoDELS-2008-CicchettiRP #development: Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.
MoDELS-2008-CicchettiRP #development: Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.
ECOOP-2008-HuYH #java #programming: Session-Based Distributed Programming in Java (RH, NY, KH), pp. 516–541.
ECOOP-2008-OstrowskiBDA #programming: Programming with Live Distributed Objects (KO, KB, DD, JHA), pp. 463–489.
AdaEurope-2008-MartinezDPM #ada #component #realtime: An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications (PLM, JMD, PP, JLM), pp. 254–267.
SIGAda-2008-CicaleseWSBFGRS #architecture #multi #scalability: A distributed, multi-language architecture for large unmanned ground vehicles (CDTC, RMW, JS, RHB, KF, RG, KR, DS), pp. 133–138.
SIGAda-2008-Moore08a #ada #monitoring: Distributed status monitoring and controlusing remote buffers and Ada 2005 (BJM), pp. 109–120.
SIGAda-2008-RasC #architecture #realtime: Real-time synchronization on distributed architecture with Ada-2005 (JR, AMKC), pp. 75–84.
RE-2008-LohmannHL #elicitation #requirements: Web-based Stakeholder Participation in Distributed Requirements Elicitation (SL, PH, KL), pp. 323–324.
REFSQ-2008-BendjennaZC #elicitation #process: Enhancing Elicitation Technique Selection Process in a Cooperative Distributed Environment (HB, NZ, PJC), pp. 23–36.
ASE-2008-ShenLXS #collaboration #constraints #maintenance #modelling #uml: Distributed Constraints Maintenance in Collaborative UML Modeling Environments (HS, SL, SX, CS), pp. 367–370.
ICSE-2008-CabotDMVR #experience #modelling #programming #re-engineering: From programming to modeling: our experience with a distributed software engineering course (JC, FD, NM, AV, JRR), pp. 749–758.
ICSE-2008-SabetzadehNEC #consistency #modelling: Global consistency checking of distributed models with TReMer+ (MS, SN, SME, MC), pp. 815–818.
ICSE-2008-WangCW #automation: Four enhancements to automated distributed system experimentation methods (YW, AC, ALW), pp. 491–500.
ICSE-2008-XiaoLG #protocol #security: Developing a security protocol for a distributed decision support system in a healthcare environment (LX, PHL, AG), pp. 673–682.
SAC-2008-AhamedRH #architecture #identification #scalability #using: Secured tag identification using EDSA (enhanced distributed scalable architecture) (SIA, FR, MEH), pp. 1902–1907.
SAC-2008-AraujoPFLO #named #using: FlagelLink: a decision support system for distributed flagellar data using data warehouse (FFA, ÂMAP, KMF, BFL, DMO), pp. 1268–1272.
SAC-2008-ConstantinA #ranking #xml: Usage-based ranking of distributed XML data (CC, BA), pp. 1008–1012.
SAC-2008-Jimenez-PerisPM #approach #web #web service: Decentralized web service orchestration: a reflective approach (RJP, MPM, EMJ), pp. 494–498.
SAC-2008-JuniorCC #3d #architecture #named: Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation (JMJ, LCJ, GAdPC), pp. 1597–1601.
SAC-2008-LiJS #coordination #simulation: Coordination schemes in distributed simulation of relativistic particle transport (RL, HJ, HCS), pp. 44–45.
SAC-2008-MatosCPO #adaptation #middleware #named: Serpentine: adaptive middleware for complex heterogeneous distributed systems (MM, ACJ, JP, RCO), pp. 2219–2223.
SAC-2008-Phung-KhacBGS #adaptation #component #development #modelling: Model-driven development of component-based adaptive distributed applications (APK, AB, JMG, MTS), pp. 2186–2191.
SAC-2008-RosaLR #adaptation #modelling: Modelling adaptive services for distributed systems (LR, AL, LR), pp. 2174–2180.
SAC-2008-VasiraniO #coordination #problem: Decentralized coordination strategies for the vehicle routing problem (MV, SO), pp. 130–131.
SAC-2008-WutkeML #framework #workflow: Model and infrastructure for decentralized workflow enactment (DW, DM, FL), pp. 90–94.
SAC-2008-YuiMUK #named #parallel #using #xquery: XBird/D: distributed and parallel XQuery processing using remote proxy (MY, JM, SU, HK), pp. 1003–1007.
CASE-2008-ChakibK #architecture #multi: Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems (HC, AK), pp. 187–193.
CASE-2008-GarciaJMM #analysis #effectiveness #modelling: A procedure for modeling and analysis of service-oriented and distributed productive systems (JIG, FJ, RAGM, PEM), pp. 941–946.
CASE-2008-Pan #estimation #robust: Decentralized control of vehicles in platoons with robust nonlinear state estimation (YJP), pp. 145–150.
CASE-2008-TewoldeWWS #automation #multi: Distributed multi-robot work load partition in manufacturing automation (GST, CW, YW, WS), pp. 504–509.
DAC-2008-FaruqueKH #communication #named #runtime: ADAM: run-time agent-based distributed application mapping for on-chip communication (MAAF, RK, JH), pp. 760–765.
DAC-2008-YanZTCM #linear #named #network #order #reduction: DeMOR: decentralized model order reduction of linear networks with massive ports (BY, LZ, SXDT, JC, BM), pp. 409–414.
DATE-2008-SamiiREP #estimation #realtime #simulation #worst-case: A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems (SS, SR, PE, ZP), pp. 556–561.
HPCA-2008-RogersYCPS #memory management #multi: Single-level integrity and confidentiality protection for distributed shared memory multiprocessors (BR, CY, SC, MP, YS), pp. 161–172.
HPDC-2008-Al-KiswanyGSYR #named: StoreGPU: exploiting graphics processing units to accelerate distributed storage systems (SAK, AG, ESN, GY, MR), pp. 165–174.
HPDC-2008-BalajiFL #framework #semantics: Semantic-based distributed i/o with the paramedic framework (PB, WcF, HL), pp. 175–184.
HPDC-2008-DrostNMB #parallel: Resource tracking in parallel and distributed applications (ND, RvN, JM, HEB), pp. 221–222.
HPDC-2008-IosupSAE #performance #scalability: The performance of bags-of-tasks in large-scale distributed systems (AI, OOS, SA, DHJE), pp. 97–108.
HPDC-2008-ManosMKCKT #performance #using: Distributed mpi cross-site run performance using mpig (SM, MDM, OK, PVC, NTK, BRT), pp. 229–230.
OSDI-2008-YuIFBEGC #named #using: DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language (YY, MI, DF, MB, ÚE, PKG, JC), pp. 1–14.
PDP-2008-DinhLTM #network #scalability #simulation: Large Scale Distributed Simulation of p2p Networks (TTAD, ML, GKT, RM), pp. 499–507.
PDP-2008-GelgonN #learning: Decentralized Learning of a Gaussian Mixture with Variational Bayes-based Aggregation (MG, AN), pp. 422–428.
PDP-2008-Gil-CostaM: Distributed Sparse Spatial Selection Indexes (VGC, MM), pp. 440–444.
PDP-2008-Gomez-PantojaM #query #ranking: Load Balancing Distributed Inverted Files: Query Ranking (CGP, MM), pp. 329–333.
PDP-2008-HutterM #java #locality #optimisation #runtime: Runtime Locality Optimizations of Distributed Java Applications (CH, TM), pp. 149–156.
PDP-2008-JovenFCMTC #architecture #named #parallel: xENoC — An eXperimental Network-On-Chip Environment for Parallel Distributed Computing on NoC-based MPSoC Architectures (JJ, OFB, DCR, RM, LT, JC), pp. 141–148.
PDP-2008-KotenkoU #internet #simulation: Packet Level Simulation of Cooperative Distributed Defense against Internet Attacks (IVK, AU), pp. 565–572.
PDP-2008-LeonMRS #2d #algorithm #parallel #problem: A Distributed Parallel Algorithm to Solve the 2D Cutting Stock Problem (CL, GM, CR, CS), pp. 429–434.
PDP-2008-MerzPW #coordination #framework #network #simulation #using: A Simulation Framework for Distributed Super-Peer Topology Construction Using Network Coordinates (PM, MP, SW), pp. 491–498.
PDP-2008-PanLX #architecture #grid: A Distributed Reputation Control Architecture Based on Virtual Organizational Domains in the Grid Economy (ZP, GL, YX), pp. 100–104.
PPoPP-2008-BalajiFALKTM #semantics: Semantics-based distributed I/O for mpiBLAST (PB, WcF, JSA, HL, RK, RT, XM), pp. 293–294.
PPoPP-2008-ChandraSSB #analysis #data type #locality #type inference: Type inference for locality analysis of distributed data structures (SC, VAS, VS, RB), pp. 11–22.
PPoPP-2008-DiamondRKGGB #algebra #linear #performance: High performance dense linear algebra on a spatially distributed processor (JRD, BR, SWK, RAvdG, KG, DB), pp. 63–72.
ESOP-2008-CirilloJPR #named #trust: Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (AC, RJ, CP, JR), pp. 208–223.
FASE-2008-DaviesBM #optimisation: Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.
FASE-2008-MellitiPM #adaptation #automation #behaviour #composition #semantics: Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (TM, PP, SBM), pp. 146–162.
STOC-2008-AwerbuchK #linear #source code: Stateless distributed gradient descent for positive linear programs (BA, RK), pp. 691–700.
TACAS-2008-FismanKL #fault tolerance #on the #protocol #verification: On Verifying Fault Tolerance of Distributed Protocols (DF, OK, YL), pp. 315–331.
ICST-2008-ChuMK #testing: Distributed In Vivo Testing of Software Applications (MC, CM, GEK), pp. 509–512.
ICST-2008-Garousi #modelling #nondeterminism #realtime #testing #uml: Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty (VG), pp. 92–101.
TestCom-FATES-2008-HieronsMN #architecture #implementation: Implementation Relations for the Distributed Test Architecture (RMH, MGM, MN), pp. 200–215.
CBSE-2007-MulugetaS #approach #component #contract: An Approach for QoS Contract Negotiation in Distributed Component-Based Software (MM, AS), pp. 90–106.
ECSA-2007-PereiraHK #architecture #multimodal #staged: A Distributed Staged Architecture for Multimodal Applications (ACP, FH, KK), pp. 195–206.
WICSA-2007-Apte #analysis #performance: Performance Analysis of Distributed Software Systems: Approaches Based on Queueing Theory (VA), p. 39.
WICSA-2007-BassSS #architecture #design: Architecture Design for Globally Distributed Projects (MB, RSS, MS), p. 35.
ECDL-2007-CoruboloWH #collaboration #independence #research: Location and Format Independent Distributed Annotations for Collaborative Research (FC, PBW, JH), pp. 495–498.
ECDL-2007-SimeoniCKSPPPIAC #framework #retrieval: A Grid-Based Infrastructure for Distributed Retrieval (FS, LC, GK, MS, PP, GP, PP, YEI, DA, FC), pp. 161–173.
ECDL-2007-ZimmerTW #architecture #information retrieval #library #named: MinervaDL: An Architecture for Information Retrieval and Filtering in Distributed Digital Libraries (CZ, CT, GW), pp. 148–160.
JCDL-2007-FallenN #performance #web: Distributed web search efficiency by truncating results (CTF, GBN), pp. 195–203.
JCDL-2007-KeMF #classification #collaboration #documentation #learning: Collaborative classifier agents: studying the impact of learning in distributed document classification (WK, JM, YF), pp. 428–437.
SIGMOD-2007-CongFK #evaluation #performance #query: Distributed query evaluation with performance guarantees (GC, WF, AK), pp. 509–520.
SIGMOD-2007-CormodeG07a #data type #query #streaming: Streaming in a connected world: querying and tracking distributed data streams (GC, MNG), pp. 1178–1181.
SIGMOD-2007-FernandezJMOS #xquery: Highly distributed XQuery with DXQ (MFF, TJ, KM, NO, JS), pp. 1159–1161.
SIGMOD-2007-HuebschGHS #query: Sharing aggregate computation for distributed queries (RH, MNG, JMH, IS), pp. 485–496.
SIGMOD-2007-ZhouQGZ #named #performance: Sonnet: an efficient distributed content-based dissemination broker (AZ, WQ, XG, MZ), pp. 1094–1096.
VLDB-2007-BhattacharyaMS #modelling #named #network #query #statistics #using: MIST: Distributed Indexing and Querying in Sensor Networks using Statistical Models (AB, AM, AKS), pp. 854–865.
VLDB-2007-LeeZL #approach #concurrent #integration #query #throughput: Request Window: an Approach to Improve Throughput of RDBMS-based Data Integration System by Utilizing Data Sharing Across Concurrent Distributed Queries (RL, MZ, HL), pp. 1219–1230.
VLDB-2007-TatbulCZ #performance: Staying FIT: Efficient Load Shedding Techniques for Distributed Stream Processing (NT, UÇ, SBZ), pp. 159–170.
VLDB-2007-ZhangB #named #performance #xquery: XRPC: Interoperable and Efficient Distributed XQuery (YZ, PAB), pp. 99–110.
SIGITE-2007-KaneS #data transformation #performance: Integrating bioinformatics, distributed data management, and distributed computing for applied training in high performance computing (MDK, JAS), pp. 33–36.
CSMR-2007-AoumeurBS #adaptation #component #incremental #information management #runtime #specification #validation: Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems (NA, KB, GS), pp. 123–136.
ICSM-2007-BalintMGM #named #re-engineering: NOREX: A Distributed Reengineering Environment (MB, PFM, TG, RM), pp. 523–524.
ICSM-2007-GustavssonLLMB #development #maintenance #modelling #uml #using: Simplifying maintenance by using XSLT to unlock UML models in a distributed development environment (HG, BL, BL, AM, MB), pp. 465–468.
ICSM-2007-WangSY #case study #experience #re-engineering: Experience Report: Reengineering Standalone System into the Service-Partition Distributed Environment (XW, JS, XY), pp. 477–480.
ICALP-2007-FraigniaudGIP #graph: Distributed Computing with Advice: Information Sensitivity of Graph Coloring (PF, CG, DI, AP), pp. 231–242.
IFM-2007-VerhoefVHB #embedded #realtime: Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
SEFM-2007-LaneseMVR: Disciplining Orchestration and Conversation in Service-Oriented Computing (IL, FM, VTV, AR), pp. 305–314.
ICFP-2007-FredlundS #functional #model checking #named #programming language: McErlang: a model checker for a distributed functional programming language (LÅF, HS), pp. 125–136.
ICFP-2007-NystromTK: Evaluating high-level distributed language constructs (JHN, PWT, DJK), pp. 203–212.
CHI-2007-FraserMSS #coordination #matter #visualisation: Seconds matter: improving distributed coordination bytracking and visualizing display trajectories (MF, MRM, MS, PS), pp. 1303–1312.
HCI-AS-2007-ConvertinoZGCR #approach #multi: A Role-Based Multiple View Approach to Distributed Geo-Collaboration (GC, DZ, CHG, JMC, MBR), pp. 561–570.
HCI-AS-2007-SchlegelSFBNdHMCSMIP #interactive #named: INT-MANUS: Interactive Production Control in a Distributed Environment (TS, AS, MF, MB, RN, Dd, GH, IM, JC, DS, FM, JAI, AHP), pp. 1150–1159.
HCI-AS-2007-SchremmerKVE #design #framework #platform #research: Design Discussion of the [braccetto] Research Platform: Supporting Distributed Intensely Collaborating Creative Teams of Teams (CS, AKH, RV, JE), pp. 722–734.
HCI-AS-2007-ThielSS: Decentralized Information Aggregation and Central Control in Networked Production Environments (ST, TS, DS), pp. 762–770.
HCI-AS-2007-XueL #data mining #mining #modelling #research #similarity: Research of Distributed Data Mining Association Rules Model Based on Similarity (SX, ZL), pp. 1180–1189.
HIMI-IIE-2007-BaeckerBCLRMWW #interactive #learning #realtime: Webcasting Made Interactive: Integrating Real-Time Videoconferencing in Distributed Learning Spaces (RB, JPB, RC, SL, KR, CM, AW, PW), pp. 269–278.
HIMI-IIE-2007-ParkZ #analysis: Requirement Analysis of the Portal Site Serving Distributed Climate Data for e-Science (TP, LZ), pp. 450–456.
OCSC-2007-CetinVF #analysis #development #human-computer: An Analysis of Involvement of HCI Experts in Distributed Software Development: Practical Issues (GÇ, DV, SF), pp. 32–40.
VISSOFT-2007-CosmaM #visualisation: Distributable Features View: Visualizing the Structural Characteristics of Distributed Software Systems (DCC, RM), pp. 55–62.
CAiSE-2007-AldredADH #abstraction #communication #process: Communication Abstractions for Distributed Business Processes (LA, WMPvdA, MD, AHMtH), pp. 409–423.
CAiSE-2007-CostacheNP #personalisation #ranking: Personalizing PageRank-Based Ranking over Distributed Collections (SC, WN, RP), pp. 111–126.
CAiSE-2007-WalleCD #process #requirements #sequence: The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction (BVdW, CC, FPD), pp. 381–394.
EDOC-2007-TilakR #component #contract #interactive: Temporal Interaction Contracts for Components in a Distributed System (OJT, RRR), pp. 339–352.
ICEIS-AIDSS-2007-CastroO #multi #problem: A Distributed Multi-Agent System to Solve Airline Operations Problems (AJMC, EO), pp. 22–30.
ICEIS-AIDSS-2007-WenningGTSK #algorithm #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-GorawskiG #approach #query: Distributed approach of continuous queries with knn join processing in spatial data warehouse (MG, WG), pp. 131–136.
ICEIS-DISI-2007-NemoBRK #composition #semantics #towards: Semantic orchestration merging — towards composition of overlapping orchestrations (CN, MBF, MR, GK), pp. 378–383.
ICEIS-EIS-2007-MahdaviSSG #design #information management #quality #realtime: Designing an E-based Real Time Quality Control Information System for Distributed Manufacturing Shops (IM, BS, MS, SG), pp. 159–163.
ICEIS-J-2007-CastroO07a #multi #problem #using: Solving Airline Operations Problems Using Specialized Agents in a Distributed Multi-Agent System (AJMC, ECO), pp. 173–184.
ICEIS-J-2007-LuciaFPT07a #collaboration #learning: A Service Oriented Collaborative Distributed Learning Object Management System (ADL, RF, IP, GT), pp. 341–354.
ICEIS-SAIC-2007-LuciaFPT #collaboration #learning #named: CD-LOMAS: A Collaborative Distributed Learning Object Management System (ADL, RF, IP, GT), pp. 34–44.
CIKM-2007-BechchiRM #database #summary: Merging distributed database summaries (MB, GR, NM), pp. 419–428.
CIKM-2007-MarinC: High-performance distributed inverted files (MM, VGC), pp. 935–938.
ECIR-2007-CastagnosB #community #personalisation #recommendation: Personalized Communities in a Distributed Recommender System (SC, AB), pp. 343–355.
ECIR-2007-NottelmannF #formal method #network #peer-to-peer #query: A Decision-Theoretic Model for Decentralised Query Routing in Hierarchical Peer-to-Peer Networks (HN, NF), pp. 148–159.
ECIR-2007-Shokouhi #information retrieval: Central-Rank-Based Collection Selection in Uncooperative Distributed Information Retrieval (MS), pp. 160–172.
KDD-2007-LuoXLS #classification #network #peer-to-peer: Distributed classification in peer-to-peer networks (PL, HX, KL, ZS), pp. 968–976.
MLDM-2007-FullerK #data type #monitoring #named: FIDS: Monitoring Frequent Items over Distributed Data Streams (RF, MMK), pp. 464–478.
MLDM-2007-PalancarTCL #algorithm #memory management #mining #parallel: Distributed and Shared Memory Algorithm for Parallel Mining of Association Rules (JHP, OFT, JFC, RHL), pp. 349–363.
RecSys-2007-BerkovskyEKR #collaboration #privacy: Enhancing privacy and preserving accuracy of a distributed collaborative filtering (SB, YE, TK, FR), pp. 9–16.
RecSys-2007-BerkovskyKR #collaboration: Distributed collaborative filtering with domain specialization (SB, TK, FR), pp. 33–40.
RecSys-2007-LathiaHC #collaboration #metric #using: Private distributed collaborative filtering using estimated concordance measures (NL, SH, LC), pp. 1–8.
SEKE-2007-BaresiMM #process: Distributed BPEL Processes (LB, AM, SM), pp. 692–697.
SEKE-2007-GrunertKW #architecture #enterprise #multi: A Proposal for a Decentralized Multi-Agent Architecture for Virtual Enterprises (AG, SK, GW), pp. 546–551.
SEKE-2007-LarssonIS #development #framework #platform #user interface: A Development Platform for Distributed User Interfaces (AL, MI, BS), p. 704–?.
SEKE-2007-SaD: An Agent Based System for Search in Distributed Environments (LS, YD), p. 570–?.
SEKE-2007-SunZZJM #adaptation #component #self #towards: Towards Constructing High-available Decentralized Systems via Self-adaptive Components (XS, LZ, LZ, WJ, HM), pp. 296–301.
SIGIR-2007-SimeoniCB #framework #information retrieval: The DILIGENT framework for distributed information retrieval (FS, FC, RB), pp. 781–782.
ECMDA-FA-2007-UlrichP #case study #industrial #modelling #reverse engineering #validation: Reverse Engineering Models from Traces to Validate Distributed Systems — An Industrial Case Study (AU, AP), pp. 184–193.
AdaEurope-2007-BarbariaHP #component #design #performance: Design and Performance of a Generic Consensus Component for Critical Distributed Applications (KB, JH, LP), pp. 208–220.
AdaEurope-2007-ZalilaHHP #architecture #generative: Generating Distributed High Integrity Applications from Their Architectural Description (BZ, IH, JH, LP), pp. 155–167.
PLDI-2007-KillianABJV #named: Mace: language support for building distributed systems (CEK, JWA, RB, RJ, AV), pp. 179–188.
SAS-2007-KamilY #analysis #pointer #source code: Hierarchical Pointer Analysis for Distributed Programs (AK, KAY), pp. 281–297.
ASE-2007-BarlasB #framework #java #named #verification: Netstub: a framework for verification of distributed java applications (EB, TB), pp. 24–33.
ASE-2007-InverardiM #generative #monitoring #named: DESERT: a decentralized monitoring tool generator (PI, LM), pp. 529–530.
ASE-2007-SeoMM #energy #framework: An energy consumption framework for distributed java-based systems (CS, SM, NM), pp. 421–424.
ESEC-FSE-2007-RamasubbuB #analysis #development #empirical #performance: Globally distributed software development project performance: an empirical analysis (NR, RKB), pp. 125–134.
ICSE-2007-AutiliINT #automation #component #named #synthesis: SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.
ICSE-2007-BestJN #information management #modelling #security #using: Model-Based Security Engineering of Distributed Information Systems Using UMLsec (BB, JJ, BN), pp. 581–590.
ICSE-2007-LivieriHMI #analysis #open source #source code #using #visualisation: Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinder (SL, YH, MM, KI), pp. 106–115.
SAC-2007-FattaF #data mining #mining #multi: A customizable multi-agent system for distributed data mining (GDF, GF), pp. 42–47.
SAC-2007-HaaseW #framework #ontology #query: A decentralized infrastructure for query answering over distributed ontologies (PH, YW), pp. 1351–1356.
SAC-2007-KarmakarG #adaptation #protocol: Adaptive broadcast by distributed protocol switching (SK, AG), pp. 588–589.
SAC-2007-MengA #automaton #constraints #web #web service: Web services choreography and orchestration in Reo and constraint automata (SM, FA), pp. 346–353.
SAC-2007-OrlovskyR #policy #security: Decentralized enforcement of security policies for distributed computational systems (AO, DR), pp. 241–248.
SAC-2007-PaliwalAB #using #verification #web #web service: Web service orchestration and verification using MSC and CP nets (AVP, NRA, CB), pp. 1693–1694.
SAC-2007-SatzgerPTU #adaptation #detection: A new adaptive accrual failure detector for dependable distributed systems (BS, AP, WT, TU), pp. 551–555.
SAC-2007-ViroliCG #problem #self #tuple: A self-organising solution to the collective sort problem in distributed tuple spaces (MV, MC, LG), pp. 354–359.
SAC-2007-WaltersHC #algorithm: Selecting a distributed agreement algorithm (RJW, PH, SC), pp. 586–587.
SAC-2007-WangZD #optimisation #query #web: Query optimizing on a decentralized web search engine (DW, YZ, JD), pp. 880–881.
SAC-2007-YaoKBT #delivery #security #web: Decentralized authorization and data security in web content delivery (DY, YK, EB, RT), pp. 1654–1661.
SAC-2007-YildizG #towards: Towards decentralized service orchestrations (UY, CG), pp. 1662–1666.
SAC-2007-YuY #continuation #workflow: Continuation-passing enactment of distributed recoverable workflows (WY, JY), pp. 475–481.
CASE-2007-BasileGS #monitoring #petri net: Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.
CASE-2007-FagioliniVPDB #detection #implementation #monitoring #multi: Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems (AF, GV, LP, GD, AB), pp. 454–459.
CASE-2007-OkMLK #adaptation #energy #network: Distributed Energy-Adaptive Routing for Wireless Sensor Networks (CO, PM, SL, SRTK), pp. 905–910.
DAC-2007-DavareZNPKS #optimisation #realtime: Period Optimization for Hard Real-time Distributed Automotive Systems (AD, QZ, MDN, CP, SK, ALSV), pp. 278–283.
DAC-2007-GuHY #embedded #model checking #optimisation: Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking (ZG, XH, MY), pp. 294–299.
DAC-2007-LimKK #architecture #communication #synthesis: Interconnect and Communication Synthesis for Distributed Register-File Microarchitecture (KHL, YK, TK), pp. 765–770.
DAC-2007-MangHH #effectiveness #physics #synthesis: Techniques for Effective Distributed Physical Synthesis (FYCM, WH, PHH), pp. 859–864.
DAC-2007-RajnakK #architecture #design #implementation: Computer-aided Architecture Design & Optimized Implementation of Distributed Automotive EE Systems (AR, AK), pp. 556–561.
DAC-2007-SundaresanM #analysis: An Analysis of Timing Violations Due to Spatially Distributed Thermal Effects in Global Wires (KS, NRM), pp. 515–520.
DATE-2007-GuptaOJWB #comprehension #multi #network #using: Understanding voltage variations in chip multiprocessors using a distributed power-delivery network (MSG, JLO, RJ, GYW, DMB), pp. 624–629.
DATE-2007-PopPEP #embedded #optimisation: Bus access optimisation for FlexRay-based distributed embedded systems (TP, PP, PE, ZP), pp. 51–56.
DATE-2007-ZamoraKM #network #video: Distributed power-management techniques for wireless network video systems (NHZ, JCK, RM), pp. 564–569.
DATE-2007-ZhengNPGV #modelling #realtime #synthesis: Synthesis of task and message activation models in real-time distributed automotive systems (WZ, MDN, CP, PG, ALSV), pp. 93–98.
HPDC-2007-DamevskiSP #component #design #framework #named #scalability: CCALoop: scalable design of a distributed component framework (KD, ADS, SGP), pp. 213–214.
HPDC-2007-MeeheanL #behaviour #component #middleware: Environmentally responsible middleware: : an altruistic behavior model for distributed middleware components (JM, ML), pp. 209–210.
HPDC-2007-RidruejoMN #component #concept #memory management #parallel #simulation: Concepts and components of full-system simulation of distributed memory parallel computers (FJRP, JMA, JN), pp. 225–226.
LCTES-2007-ChenTCLYLL #compilation #embedded: Enabling compiler flow for embedded VLIW DSP processors with distributed register files (CKC, LHT, SCC, YJL, YPY, CHL, JKL), pp. 146–148.
PDP-2007-AielloACSU #approach #information management #named #network: DNK-WSD: A Distributed Approach for Knowledge Discovery in Peer to Peer Networks (GA, MA, MC, PS, AU), pp. 325–332.
PDP-2007-CobarzanB #video: Further Developments of a Dynamic Distributed Video Proxy-Cache System (CC, LB), pp. 349–357.
PDP-2007-FalcoMSTC #difference #evolution #image: Distributed Differential Evolution for the Registration of Remotely Sensed Images (IDF, DM, US, ET, ADC), pp. 358–362.
PDP-2007-FalcoSTC #approach #difference #evolution #grid: A Distributed Differential Evolution Approach for Mapping in a Grid Environment (IDF, US, ET, ADC), pp. 442–449.
PDP-2007-GoyenecheVAPC #algorithm #architecture #network: A Distributed Data Gathering Algorithm for Wireless Sensor Networks with Uniform Architecture (MG, JEV, JJA, MP, AC), pp. 373–380.
PDP-2007-RufinoAEP #clustering #named #prototype: pDomus: a prototype for Cluster-oriented Distributed Hash Tables (JR, AA, JE, AP), pp. 97–104.
PDP-2007-SlawinskaKSS #automation #deployment #parallel: Automated Deployment Support for Parallel Distributed Computing (MS, DK, JS, VSS), pp. 139–146.
PDP-2007-Sobe: Distributed Storage with Compressed (1 out-of N) Codes (PS), pp. 179–188.
PPoPP-2007-WenWM #named #network #scalability #simulation: Disens: scalable distributed sensor network simulation (YW, RW, GM), pp. 24–34.
SOSP-2007-AguileraMSVK #named #paradigm #scalability: Sinfonia: a new paradigm for building scalable distributed systems (MKA, AM, MAS, ACV, CTK), pp. 159–174.
SOSP-2007-HaeberlenKD #named: PeerReview: practical accountability for distributed systems (AH, PK, PD), pp. 175–188.
WRLA-2006-DuranRV07 #implementation #maude #mobile: A Distributed Implementation of Mobile Maude (FD, AR, AV), pp. 113–131.
ESOP-2007-LapadulaPT #calculus #web #web service: A Calculus for Orchestration of Web Services (AL, RP, FT), pp. 33–47.
FASE-2007-EdwardsMM #architecture #dynamic analysis: Scenario-Driven Dynamic Analysis of Distributed Architectures (GE, SM, NM), pp. 125–139.
FASE-2007-RangerH #consistency #graph transformation: Ensuring Consistency Within Distributed Graph Transformation Systems (UR, TH), pp. 368–382.
FASE-2007-SanchezSM #concurrent #product line #protocol: A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces (CS, HBS, ZM), pp. 155–169.
FASE-2007-TibermacineHK #architecture #component #constraints #deployment: Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software (CT, DH, RK), pp. 140–154.
STOC-2007-Lynch #algorithm #modelling #proving: Distributed computing theory: algorithms, impossibility results, models, and proofs (NAL), p. 247.
TACAS-2007-BlomCLOPPDW #analysis #case study: Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.
CAV-2007-GaravelMLS #analysis #process: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes (HG, RM, FL, WS), pp. 158–163.
TAP-2007-Haiyan #algorithm #proving #testing #type system: Testing and Proving Distributed Algorithms in Constructive Type Theory (QH), pp. 79–94.
CBSE-2006-AngelovSMM #component #embedded #framework: A Formal Component Framework for Distributed Embedded Systems (CA, KS, NM, JM), pp. 206–221.
CBSE-2006-MauranPL #black box: Supervising Distributed Black Boxes (PM, GP, PTXL), pp. 166–181.
QoSA-2006-BouckeWSH #architecture: Applying the ATAM to an Architecture for Decentralized Control of a Transportation System (NB, DW, KS, TH), pp. 180–198.
ECDL-2006-Khoo #education #framework #library #scalability: A Sociotechnical Framework for Evaluating a Large-Scale Distributed Educational Digital Library (MK), pp. 449–452.
ECDL-2006-MazurekPW #framework #library #network #platform: Distributed Digital Libraries Platform in the PIONIER Network (CM, TP, MW), pp. 488–491.
PODS-2006-ZhaoOWX #set: Finding global icebergs over distributed data sets (QZ, MO, HW, J(X), pp. 298–307.
SIGMOD-2006-KeralapuraCR #monitoring: Communication-efficient distributed monitoring of thresholded counts (RK, GC, JR), pp. 289–300.
SIGMOD-2006-SharfmanSK #approach #data type #geometry #monitoring: A geometric approach to monitoring threshold functions over distributed data streams (IS, AS, DK), pp. 301–312.
VLDB-2006-BunemanCFK #partial evaluation #query #using: Using Partial Evaluation in Distributed Query Evaluation (PB, GC, WF, AK), pp. 211–222.
VLDB-2006-HuangNL #consistency #data flow #database #named #towards: TRAC: Toward Recency and Consistency Reporting in a Database with Distributed Data Sources (JH, JFN, ML), pp. 223–234.
VLDB-2006-LauM #approach: An Integrated Approach to Recovery and High Availability in an Updatable, Distributed Data Warehouse (EL, SM), pp. 703–714.
VLDB-2006-ParreiraDMW #approximate #network #peer-to-peer #performance #rank #web: Efficient and Decentralized PageRank Approximation in a Peer-to-Peer Web Search Network (JXP, DD, SM, GW), pp. 415–426.
VLDB-2006-XingHCZ: Providing Resiliency to Load Variations in Distributed Stream Processing (YX, JHH, UÇ, SBZ), pp. 775–786.
DLT-J-2005-Tsin06 #algorithm #performance: An Efficient Distributed Algorithm for 3-edge-connectivity (YHT), pp. 677–702.
ICALP-v2-2006-BalabanPZ #protocol #safety: Invisible Safety of Distributed Protocols (IB, AP, LDZ), pp. 528–539.
FM-2006-BotaschanjanGHKST #towards #verification: Towards Modularized Verification of Distributed Time-Triggered Systems (JB, AG, AH, LK, MS, DT), pp. 163–178.
FM-2006-GenonMM #algorithm #ltl #monitoring #performance #sequence: Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces (AG, TM, CM), pp. 557–572.
FM-2006-VerhoefLH #embedded #modelling #realtime #validation: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
ICFP-2006-DenielouL #abstraction #type system: Abstraction preservation and subtyping in distributed languages (PMD, JJL), pp. 286–297.
CIG-2006-FraynJL #framework: ChessBrain II - A Hierarchical Infrastructure for Distributed Inhomogeneous Speed-Critical Computation (CF, CJ, KL), pp. 13–18.
CIG-2006-Soedarmadji #game studies: Decentralized Decision Making in the Game of Tic-tac-toe (ES), pp. 34–38.
ICGT-2006-EhrigOP #category theory #graph transformation: Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.
ICGT-2006-MendizabalD #analysis #graph grammar #non-functional #probability #using: Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars (OMM, FLD), pp. 275–290.
CHI-2006-BosONSHJ #question: Collocation bindness in partially distributed groups: is there a downside to being collocated? (NB, JSO, NN, NSS, SH, EWJ), pp. 1313–1321.
CHI-2006-Moher #embedded #learning #simulation: Embedded phenomena: supporting science learning with classroom-sized distributed simulations (TM), pp. 691–700.
CSCW-2006-HindsM #coordination #social: Structures that work: social structure, work structure and coordination ease in geographically distributed teams (PJH, CM), pp. 343–352.
CSCW-2006-TeeGG: Providing artifact awareness to a distributed group through screen sharing (KT, SG, CG), pp. 99–108.
EDOC-2006-NaglRD #named: VIDRE — A Distributed Service-Oriented Business Rule Engine based on RuleML (CN, FR, SD), pp. 35–44.
ICEIS-AIDSS-2006-SombattheeraG #algorithm #linear: A Distributed Algorithm for Coalition Formation in Linear Production Domain (CS, AG), pp. 17–22.
ICEIS-ISAS-2006-CostelloFMLD #approach #framework #modelling #named #process #using: iWISE: A Framework for Providing Distributed Process Visibility Using an Event-Based Process Modelling Approach (CC, WF, OM, GL, JD), pp. 224–233.
ICEIS-ISAS-2006-EnamiTH #project management #re-engineering: A Project Management Model to a Distributed Software Engineering Environment (LNME, TFCT, EHMH), pp. 382–387.
ICEIS-SAIC-2006-ReeseMOM #process: Distributed Business Processes in Open Agent Environments (CR, KM, SO, DM), pp. 81–86.
CIKM-2006-HoseLS #summary #using: Processing relaxed skylines in PDMS using distributed data summaries (KH, CL, KUS), pp. 425–434.
CIKM-2006-KapoorPTT #database #mining #privacy: Privacy preserving sequential pattern mining in distributed databases (VK, PP, FT, MT), pp. 758–767.
CIKM-2006-StanoiMPL #query #throughput: Maximizing the sustained throughput of distributed continuous queries (IS, GAM, TP, CAL), pp. 834–835.
CIKM-2006-Zeinalipour-YaztiLG #similarity: Distributed spatio-temporal similarity search (DZY, SL, DG), pp. 14–23.
ICPR-v1-2006-CantoniLL #challenge #data mining #mining #network: Challenges for Data Mining in Distributed Sensor Networks (VC, LL, PL), pp. 1000–1007.
ICPR-v1-2006-Fisher: Scene recovery from many randomly distributed single pixel cameras (RBF), pp. 988–991.
ICPR-v2-2006-Goto #framework #platform: OCRGrid : A Platform for Distributed and Cooperative OCR Systems (HG), pp. 982–985.
ICPR-v3-2006-BaigBK #network #pattern matching #pattern recognition #recognition: A Pattern Recognition Scheme for Distributed Denial of Service (DDoS) Attacks in Wireless Sensor Networks (ZAB, MB, AIK), pp. 1050–1054.
ICPR-v3-2006-LeoputraTL #using: Non-overlapping Distributed Tracking using Particle Filter (WSL, TT, FLL), pp. 181–185.
ICPR-v4-2006-ChenJY06a #detection #fault: Fault Detection in Distributed Systems by Representative Subspace Mapping (HC, GJ, KY), pp. 912–915.
SEKE-2006-Benattou #architecture #multi #testing: A Multi-Agent Based Architecture For Distributed Testing (MB), pp. 495–498.
SEKE-2006-LiuBGRTOA #embedded #framework #named #product line #realtime: QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems (SHL, BRB, JGG, RRR, MT, AMO, MA), pp. 724–729.
SIGIR-2006-AzzopardiBC #adaptation #information retrieval: Adaptive query-based sampling for distributed IR (LA, MB, FC), pp. 605–606.
SIGIR-2006-BaillieCL #named: PENG: integrated search of distributed news archives (MB, FC, ML), pp. 607–608.
SIGIR-2006-CaverleeLB #approach #query: Distributed query sampling: a quality-conscious approach (JC, LL, JB), pp. 340–347.
SIGIR-2006-ShokouhiZST #retrieval: Capturing collection size for distributed non-cooperative retrieval (MS, JZ, FS, SMMT), pp. 316–323.
MoDELS-2006-GarousiBL #analysis #behaviour #dependence #modelling #uml #visualisation: Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
MoDELS-2006-SriplakichBG: Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment (PS, XB, MPG), pp. 631–645.
SPLC-2006-Scheidemann #embedded #evolution #optimisation #product line #verification: Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems (KDS), pp. 75–84.
MoDELS-2006-GarousiBL #analysis #behaviour #dependence #modelling #uml #visualisation: Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
MoDELS-2006-SriplakichBG: Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment (PS, XB, MPG), pp. 631–645.
ECOOP-2006-AjmaniLS #composition: Modular Software Upgrades for Distributed Systems (SA, BL, LS), pp. 452–476.
AdaEurope-2006-UruenaZBPP #communication #protocol #realtime: The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems (SU, JZ, DB, JAP, JAdlP), pp. 215–226.
QAPL-2006-CiobanuP: Timers for Distributed Systems (GC, CP), pp. 81–99.
SIGAda-2006-Sotirovski: Time horizon in distributed object societies (DMS), pp. 71–74.
RE-2006-LinLCSABBKDZ #automation #named #tool support #traceability: Poirot: A Distributed Tool Supporting Enterprise-Wide Automated Traceability (JL, CCL, JCH, RS, JA, GB, BB, OBK, CD, XZ), pp. 356–357.
ASE-2006-Mattmann #data-driven: Software Connectors for Highly Distributed and Voluminous Data Intensive Systems (CM), pp. 331–334.
ASE-2006-Seo #energy: Energy-Awareness in Distributed Java-Based Software Systems (CS), pp. 343–348.
FSE-2006-RutherfordCW #test coverage #testing: Simulation-based test adequacy criteria for distributed systems (MJR, AC, ALW), pp. 231–241.
ICSE-2006-BabarKG #architecture #assessment #evaluation #process #towards: Towards a distributed software architecture evaluation process: a preliminary assessment (MAB, BK, IG), pp. 845–848.
ICSE-2006-ChenWEF #web #web service: Web service orchestration with BPEL (LC, BW, WE, HF), pp. 1071–1072.
ICSE-2006-DengSG #aspect-oriented #deployment #development #embedded #modelling #realtime: Addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems via aspect-oriented & model-driven software development (GD, DCS, ASG), pp. 811–814.
ICSE-2006-GarousiBL #modelling #testing #uml: Traffic-aware stress testing of distributed systems based on UML models (VG, LCB, YL), pp. 391–400.
ICSE-2006-Gomaa #concurrent #design #realtime #uml: Designing concurrent, distributed, and real-time applications with UML (HG), pp. 1059–1060.
ICSE-2006-MattmannCMH #architecture #data-driven #framework: A software architecture-based framework for highly distributed and data intensive scientific applications (CM, DJC, NM, SH), pp. 721–730.
ICSE-2006-MikulovicH #communication #development #how #quote #requirements #what: “How do I know what I have to do?”: the role of the inquiry culture in requirements communication for distributed software development projects (VM, MH), pp. 921–925.
ICSE-2006-RichardsonMMK #development #education: Distributed development: an education perspective on the global studio project (IR, AEM, NM, PK), pp. 679–684.
ICSE-2006-SenguptaCS #development #research: A research agenda for distributed software development (BS, SC, VS), pp. 731–740.
ICSE-2006-SuryanarayanaDET #architecture #modelling #trust: Architectural support for trust models in decentralized applications (GS, MHD, JRE, RNT), pp. 52–61.
ICSE-2006-VerlekarA #analysis #performance: A methodology and tool for performance analysis of distributed server systems (RPV, VA), pp. 913–916.
ICSE-2006-WangSYHHM #c++ #legacy #re-engineering: Reengineering standalone C++ legacy systems into the J2EE partition distributed environment (XW, JS, XY, CH, ZH, SRM), pp. 525–533.
SAC-2006-BellurB #named #tuple #web #web service #xml: xSpace: a tuple space for XML & its application in orchestration of web services (UB, SB), pp. 766–772.
SAC-2006-BendaJPSC #algorithm #resource management: A distributed stand-in agent based algorithm for opportunistic resource allocation (PB, PJ, MP, NS, MMC), pp. 119–125.
SAC-2006-ChenJUY #detection #fault #monitoring: Combining supervised and unsupervised monitoring for fault detection in distributed computing systems (HC, GJ, CU, KY), pp. 705–709.
SAC-2006-FortinoGR #approach #modelling #workflow: From modeling to enactment of distributed workflows: an agent-based approach (GF, AG, WR), pp. 128–129.
SAC-2006-GeihsKRSHM #adaptation #component #modelling: Modeling of component-based adaptive distributed applications (KG, MUK, RR, AS, SOH, SM), pp. 718–722.
SAC-2006-LeeYKKK #ad hoc #mobile #network: Distributed IPv6 addressing technique for mobile ad-hoc networks (DL, JY, HK, KK, KK), pp. 1156–1160.
SAC-2006-MikalsenPFSPC #adaptation #middleware: Distributed context management in a mobility and adaptation enabling middleware (MADAM) (MM, NP, JF, ES, GAP, AC), pp. 733–734.
SAC-2006-RendaS #automation #library #query: Automatic structured query transformation over distributed digital libraries (MER, US), pp. 1078–1083.
SAC-2006-ShankaranBSBLMD #component #embedded #framework #realtime: A framework for (re)deploying components in distributed real-time and embedded systems (NS, JB, DCS, GB, PJL, EM, TD), pp. 737–738.
SAC-2006-SriplakichBG #automation #integration #tool support: Supporting transparent model update in distributed CASE tool integration (PS, XB, MPG), pp. 1759–1766.
SAC-2006-WangPLR #collaboration #peer-to-peer: Distributed collaborative filtering for peer-to-peer file sharing systems (JW, JAP, RLL, MJTR), pp. 1026–1030.
GPCE-2006-ShiCX #metaprogramming: Distributed meta-programming (RS, CC, HX), pp. 243–248.
CASE-2006-AndersonRLF #multi: Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells (KA, JR, BL, MF), pp. 325–330.
CASE-2006-ChenFWCAH #adaptation #framework #simulation: An Adaptive Distributed Simulation Framework for a Server Fulfillment Supply Chain (YC, JWF, TW, TEC, EA, VH), pp. 649–655.
CASE-2006-ChoWTF #scheduling: Autonomous Distributed Scheduling Adjustment Function with Interchanging Operations (SCC, KW, KT, SF), pp. 387–392.
CGO-2006-PanE #automation #compilation #effectiveness #optimisation #performance: Fast and Effective Orchestration of Compiler Optimizations for Automatic Performance Tuning (ZP, RE), pp. 319–332.
DAC-2006-NevoF #order: Distributed dynamic BDD reordering (ZN, MF), pp. 223–228.
DATE-2006-ArpinenKSHH #configuration management #execution #framework #multi #platform #uml: Configurable multiprocessor platform with RTOS for distributed execution of UML 2.0 designed applications (TA, PK, ES, MH, TDH), pp. 1324–1329.
DATE-2006-BudnikR #network #novel #power management #using: Minimizing ohmic loss and supply voltage variation using a novel distributed power supply network (MMB, KR), pp. 1116–1121.
DATE-2006-IzosimovPEP #embedded #fault tolerance #performance #synthesis #trade-off: Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems (VI, PP, PE, ZP), pp. 706–711.
DATE-2006-KanajanZPS #architecture #integration #trade-off #using: Exploring trade-off’s between centralized versus decentralized automotive architectures using a virtual integration environment (SK, HZ, CP, ALSV), pp. 548–553.
DATE-2006-MoezE #process: A 10-GHz 15-dB four-stage distributed amplifier in 0.18 µm CMOS process (KKM, MIE), pp. 405–409.
DATE-2006-PaulinPLBBLLL #modelling #multi #power management: Distributed object models for multi-processor SoC’s, with application to low-power multimedia wireless systems (PGP, CP, ML, EB, OB, DL, BL, DL), pp. 482–487.
DATE-2006-RaghavanLJCV #architecture #multi #thread: Distributed loop controller architecture for multi-threading in uni-threaded VLIW processors (PR, AL, MJ, FC, DV), pp. 339–344.
HPDC-2006-CieslakTC #data mining #mining: Troubleshooting Distributed Systems via Data Mining (DAC, DT, NVC), pp. 309–312.
HPDC-2006-Druschel: Keynote The Renaissance of Decentralized Systems (PD), pp. 1–4.
HPDC-2006-KeeYCC #resource management #robust #scalability: Robust Resource Allocation for Large-scale Distributed Shared Resource Environments (YSK, KY, AAC, HC), pp. 341–342.
HPDC-2006-LebreDHS #adaptation #multi #scheduling: Adaptive I/O Scheduling for Distributed Multi-applications Environments (AL, YD, GH, PS), pp. 343–344.
HPDC-2006-LegrandQCF #deployment #simulation: The SIMGRID Project Simulation and Deployment of Distributed Applications (AL, MQ, HC, KF), pp. 385–386.
HPDC-2006-XuRRKG #adaptation #framework #multi: Autonomic Adaptation of Virtual Distributed Environments in a Multi-Domain Infrastructure (DX, PR, JR, RK, SG), pp. 317–320.
OSDI-2006-Burrows: The Chubby Lock Service for Loosely-Coupled Distributed Systems (MB), pp. 335–350.
OSDI-2006-ChangDGHWBCFG #named: Bigtable: A Distributed Storage System for Structured Data (FC, JD, SG, WCH, DAW, MB, TC, AF, RG), pp. 205–218.
OSDI-2006-DouceurH #file system: Distributed Directory Service in the Farsite File System (JRD, JH), pp. 321–334.
OSDI-2006-MadhyasthaIPDAKV #named: iPlane: An Information Plane for Distributed Services (HVM, TI, MP, CD, TEA, AK, AV), pp. 367–380.
OSDI-2006-PeekF #named: EnsemBlue: Integrating Distributed Storage and Consumer Electronics (DP, JF), pp. 219–232.
OSDI-2006-WeilBMLM #file system #named #scalability: Ceph: A Scalable, High-Performance Distributed File System (SAW, SAB, ELM, DDEL, CM), pp. 307–320.
PDP-2006-AstrainCV #replication: A B2B Distributed Replication Service (JJA, AC, JEV), pp. 141–144.
PDP-2006-ClematisFQ #learning: Interacting with Learning Objects in a Distributed Environment (AC, PF, AQ), pp. 322–329.
PDP-2006-EssadiG #parallel #validation: An Experimental Validation of the PRO Model for Parallel and Distributed Computation (ME, JG), pp. 449–456.
PDP-2006-HashemzadehFH #detection: Optimal Detection and Resolution of Distributed Deadlocks in the Generalized Model (MH, NF, ATH), pp. 133–136.
PDP-2006-HeichlerK #parallel #query #random: A Distributed Query Structure to Explore Random Mappings in Parallel (JH, JK), pp. 173–177.
PDP-2006-HuangJC #ad hoc #approach #network: A Distributed Approach to Construction of Topology Mismatching Aware P2P Overlays in Wireless Ad Hoc Networks (YH, BJ, JC), pp. 340–347.
PDP-2006-NiksereshtG #learning #multi #performance #retrieval #scalability: Fast Decentralized Learning of a Gaussian Mixture Model for Large-Scale Multimedia Retrieval (AN, MG), pp. 373–379.
PDP-2006-PrietoVFC #algorithm #concurrent: An O(n) Distributed Deadlock Resolution Algorithm (MP, JEV, FF, AC), pp. 48–55.
PDP-2006-Sobe #adaptation #layout: Adaptations of Block Layout in Distributed Storage Systems (PS), pp. 163–172.
PDP-2006-SouzaRYLC #network #on the #on-demand: On the Relevance of Network Topologies in Distributed Video-on-Demand Servers (LS, AR, XY, EL, FC), pp. 396–404.
PDP-2006-VassilopoulosPT #comparative #corba #enterprise #java #web #web service: Distributed Technologies CORBA, Enterprise JavaBeans, Web Services — A Comparative Presentation (DV, TP, AT), pp. 280–284.
PDP-2006-XieC #clustering #flexibility #reliability: A Decentralized Storage Cluster with High Reliability and Flexibility (CX, BC), pp. 116–123.
PPoPP-2006-ManassievMA #clustering #concurrent #memory management #transaction: Exploiting distributed version concurrency in a transactional memory cluster (KM, MM, CA), pp. 198–208.
FASE-2006-SenA #automation #source code #testing: Automated Systematic Testing of Open Distributed Programs (KS, GA), pp. 339–356.
FoSSaCS-2006-BaldanHK #petri net: Distributed Unfolding of Petri Nets (PB, SH, BK), pp. 126–141.
STOC-2006-ChoG #multi #resource management: Pricing for fairness: distributed resource allocation for multiple objectives (SwC, AG), pp. 197–204.
TACAS-2006-GaravelMBCDJSS #generative #tool support: DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (HG, RM, DB, AC, ND, CJ, ISS, GS), pp. 445–449.
CAV-2006-BarnatBCMRS #named #verification: DiVinE — A Tool for Distributed Verification (JB, LB, IC, PM, PR, PS), pp. 278–281.
TestCom-2006-ChenU #detection #problem #testing: Detecting Observability Problems in Distributed Testing (JC, HU), pp. 213–226.
TestCom-2006-DinTS #testing: Distributed Load Tests with TTCN-3 (GD, ST, IS), pp. 177–196.
ECDL-2005-BalkeNST #classification #documentation #retrieval: DL Meets P2P — Distributed Document Retrieval Based on Classification and Content (WTB, WN, WS, UT), pp. 379–390.
ECDL-2005-SalampasisT #hypermedia #library #performance: The Effect of Collection Fusion Strategies on Information Seeking Performance in Distributed Hypermedia Digital Libraries (MS, JT), pp. 57–68.
ECDL-2005-TryfonopoulosIK #architecture #library #named: LibraRing: An Architecture for Distributed Digital Libraries Based on DHTs (CT, SI, MK), pp. 25–36.
HT-2005-LutkenhouseNB #community #realtime: Distributed, real-time computation of community preferences (TL, MLN, JB), pp. 88–97.
JCDL-2005-LarsonS #library #retrieval: Grid-based digital libraries: cheshire3 and distributed retrieval (RRL, RS), pp. 112–113.
JCDL-2005-Weatherley #framework #interface #library #web #web service: A web service framework for embedding discovery services in distributed library interfaces (JW), pp. 42–43.
SIGMOD-2005-AhmadBCHHJMPRTXXZ: Distributed operation in the Borealis stream processing engine (YA, BB, UÇ, MH, JHH, AJ, AM, OP, AR, NT, WX, YX, SBZ), pp. 882–884.
SIGMOD-2005-BalazinskaBMS #fault tolerance: Fault-tolerance in the Borealis distributed stream processing system (MB, HB, SM, MS), pp. 13–24.
SIGMOD-2005-CormodeGMR #approximate: Holistic Aggregates in a Networked World: Distributed Tracking of Approximate Quantiles (GC, MNG, SM, RR), pp. 25–36.
VLDB-2005-CormodeG #approximate #query #sketching: Sketching Streams Through the Net: Distributed Approximate Query Tracking (GC, MNG), pp. 13–24.
VLDB-2005-LiuZJMR #adaptation #query: A Dynamically Adaptive Distributed System for Processing Complex Continuous Queries (BL, YZ, MJ, BM, EAR), pp. 1338–1341.
VLDB-2005-MichelTW #algorithm #framework #named #query: KLEE: A Framework for Distributed Top-k Query Algorithms (SM, PT, GW), pp. 637–648.
VLDB-2005-ZadorozhnyGRY #adaptation #framework #named #network: AReNA: Adaptive Distributed Catalog Infrastructure Based On Relevance Networks (VZ, AG, LR, QY), pp. 1287–1290.
VLDB-2005-ZhangZ #information management #privacy: Distributed Privacy Preserving Information Sharing (NZ, WZ), pp. 889–900.
CSEET-2005-VerkamoTTBK #case study #student: Distributed Cross-Cultural Student Software Project: A Case Study (AIV, JT, TT, YB, DK), pp. 207–214.
ITiCSE-2005-Hanks #performance #programming #student: Student performance in CS1 with distributed pair programming (BH), pp. 316–320.
ITiCSE-2005-Hause #development #performance: Distributed team performance in software development (MLH), p. 357.
ITiCSE-2005-OechsleG #algorithm #framework #implementation #platform #simulation: DisASTer (distributed algorithms simulation terrain): a platform for the implementation of distributed algorithms (RO, TG), pp. 44–48.
ITiCSE-2005-WoitB #challenge #communication #re-engineering #student: Student communication challenges in distributed software engineering environments (DMW, KJB), pp. 286–290.
SIGITE-2005-Robila #education #security: Distributed computing and computer security education (SAR), pp. 383–384.
ICSM-2005-BriandLL #aspectj #using: Tracing Distributed Systems Executions Using AspectJ (LCB, YL, JL), pp. 81–90.
PASTE-2005-Myers #program analysis #program transformation: Making distributed systems secure with program analysis and transformation (ACM), p. 47.
FM-2005-SunD #process #specification #synthesis: Synthesis of Distributed Processes from Scenario-Based Specifications (JS, JSD), pp. 415–431.
IFM-2005-BostromW #development #fault tolerance #grid #using: Development of Fault Tolerant Grid Applications Using Distributed B (PB, MAW), pp. 167–186.
SEFM-2005-LanotteMT #analysis #automaton #data type #design: Timed Automata with Data Structures for Distributed Systems Design and Analysis (RL, AMS, AT), pp. 44–53.
SFM-2005-BettiniN #mobile #programming: Mobile Distributed Programming in X-Klaim (LB, RDN), pp. 29–68.
CEFP-2005-ZsokHH #design: Designing Distributed Computational Skeletons in D-Clean and D-Box (VZ, ZH, ZH), pp. 223–256.
Haskell-2005-Roundy #haskell #named: Darcs: distributed version management in haskell (DR), pp. 1–4.
ICFP-2005-SewellLWNAHV #design #named #programming language: Acute: high-level programming language design for distributed computation (PS, JJL, KW, FZN, MAW, PH, VV), pp. 15–26.
DiGRA-2005-McGonigal #collaboration #design #exclamation #game studies #why: SuperGaming! Distributed Design for Massively Collaborative Play, or, Why I Love Bees (JM).
CHI-2005-BirnholtzFHB #ad hoc #chat #lightweight #scalability: Grounding needs: achieving common ground via lightweight chat in large, distributed, ad-hoc groups (JPB, TAF, DBH, SJB), pp. 21–30.
EDOC-2005-PoernomoJS #constraints #probability: Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model (IP, JJ, HWS), pp. 261–272.
ICEIS-v1-2005-KaurSS #algorithm #concurrent #database #multi: Secure Concurrency Control Algorithm for Multilevel Secure Distributed Database Systems (NK, RS, HKS), pp. 267–272.
ICEIS-v3-2005-Gonzalez #simulation: Model Sharing in the Simulation and Control of Distributed Discrete-Event Systems (FG), pp. 144–151.
ICEIS-v3-2005-MacielSFR #development #process: An MDA-EDOC Based Development Process for Distributed Applications (RSPM, BCdS, CAGF, NSR), pp. 3–10.
ICEIS-v3-2005-ZhaoVB #collaboration #interactive #trust: Type and Scope of Trust Relationships in Collaborative Interactions in Distributed Environments (WZ, VV, GB), pp. 331–336.
ICEIS-v4-2005-BoppH #architecture #kernel #mobile: A Microkernel Architecture for Distributed Mobile Environments (TB, TH), pp. 151–156.
ICEIS-v4-2005-EssmannH #framework #peer-to-peer: A Framework for Distributed Objects in Peer-to-Peer Cooperation Environments (BE, TH), pp. 157–162.
CIKM-2005-HallerST #coordination #peer-to-peer #process #transaction: Decentralized coordination of transactional processes in peer-to-peer environments (KH, HS, CT), pp. 28–35.
CIKM-2005-HuangLH #approach #mining #permutation: A new permutation approach for distributed association rule mining (YH, ZL, HH), pp. 351–352.
CIKM-2005-KriegelP #clustering #effectiveness #performance: Efficient and effective server-sided distributed clustering (HPK, MP), pp. 339–340.
CIKM-2005-MekaS #named #network: DIST: a distributed spatio-temporal index structure for sensor networks (AM, AKS), pp. 139–146.
CIKM-2005-SutherlandLJR #named #query #self: D-CAPE: distributed and self-tuned continuous query processing (TMS, BL, MJ, EAR), pp. 217–218.
CIKM-2005-ZhouYOTZ #multi #optimisation #query: Optimizing continuous multijoin queries over distributed streams (YZ, YY, BCO, KLT, AZ), pp. 221–222.
CIKM-2005-ZhuYL #rank: Distributed PageRank computation based on iterative aggregation-disaggregation methods (YZ, SY, XL), pp. 578–585.
ECIR-2005-CachedaCPO #analysis #architecture #information retrieval #network: Network Analysis for Distributed Information Retrieval Architectures (FC, VC, VP, IO), pp. 527–529.
KDD-2005-JagannathanW #clustering #privacy: Privacy-preserving distributed k-means clustering over arbitrarily partitioned data (GJ, RNW), pp. 593–599.
KDD-2005-MeruguG #data flow #framework #learning #semistructured data: A distributed learning framework for heterogeneous data sources (SM, JG), pp. 208–217.
MLDM-2005-SilvaK #clustering: Inference on Distributed Data Clustering (JCdS, MK), pp. 610–619.
SEKE-2005-GaoCMYB05a #adaptation #component #towards #uml: Toward a UML Profile to Support Component-Based Distributed Adaptive Systems (TG, KMLC, HM, ILY, FBB), pp. 217–222.
SIGIR-2005-Hosanagar #approach #information retrieval: A utility theoretic approach to determining optimal wait times in distributed information retrieval (KH), pp. 91–97.
SIGIR-2005-WangRLP #collaboration #self: Self-organizing distributed collaborative filtering (JW, MJTR, RLL, JAP), pp. 659–660.
SIGIR-2005-Yom-TovFCD #detection #information retrieval #learning #query: Learning to estimate query difficulty: including applications to missing content detection and distributed information retrieval (EYT, SF, DC, AD), pp. 512–519.
ECMDA-FA-2005-BurgstallerWFBF #development #monitoring #using: Using Domain Driven Development for Monitoring Distributed Systems (RB, EW, LF, MB, TF), pp. 19–24.
MoDELS-2005-Schmidt #development #embedded #modelling #realtime: Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
MoDELS-2005-Schmidt #development #embedded #modelling #realtime: Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
AdaEurope-2005-VergnaudPK #component #middleware #using: Using the AADL to Describe Distributed Applications from Middleware to Software Components (TV, LP, FK), pp. 67–78.
PLDI-2005-AyersSMARW #control flow #fault #named #re-engineering: TraceBack: first fault diagnosis by reconstruction of distributed control flow (AA, RS, CM, AA, JR, EW), pp. 201–212.
POPL-2005-FieldV #consistency #maintenance #named #programming: Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments (JF, CAV), pp. 195–208.
SIGAda-2005-Berns #ada #comparison #corba: A comparison of CORBA and ada’s distributed systems annex (AB), pp. 103–108.
ASE-2005-DominguezD #composition #reasoning: Compositional reasoning for port-based distributed systems (ALJD, NAD), pp. 376–379.
ASE-2005-InverardiMTA #adaptation #approach #automation #component #synthesis: Synthesis of correct and distributed adaptors for component-based systems: an automatic approach (PI, LM, MT, MA), pp. 405–409.
ASE-2005-WangRCW #automation: Automating experimentation on distributed testbeds (YW, MJR, AC, ALW), pp. 164–173.
ESEC-FSE-2005-KramerM: Engineering distributed software: a structural discipline (JK, JM), pp. 283–285.
ICSE-2005-Al-NaeemGBRB #approach #architecture #quality: A quality-driven systematic approach for architecting distributed software applications (TAN, IG, MAB, FAR, BB), pp. 244–253.
ICSE-2005-Gamma #agile #development #eclipse #open source #process: Agile, open source, distributed, and on-time: inside the eclipse development process (EG), p. 4.
ICSE-2005-HawthorneP #challenge #development #education #open source #outsourcing #re-engineering: Software engineering education in the era of outsourcing, distributed development, and open source software: challenges and opportunities (MJH, DEP), pp. 643–644.
ICSE-2005-Siegel #architecture #design #modelling #question #why: Why use the model driven architecture to design and build distributed applications? (JS), p. 37.
ICSE-2005-YilmazKMPSGN #assurance #evolution #monitoring #performance #process #quality: Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems (CY, ASK, AMM, AAP, DCS, ASG, BN), pp. 293–302.
SAC-2005-CarvalhoL #abstraction #composition #parallel #performance #programming: The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming (FHdCJ, RDL), pp. 1357–1364.
SAC-2005-GorappaK #embedded #empirical #evaluation #realtime: Empirical evaluation of OpenCCM for Java-based distributed, real-time, and embedded systems (SG, RK), pp. 1288–1292.
SAC-2005-HastingsLOKPCJS #data transformation #using #xml: Grid-based management of biomedical data using an XML-based distributed data management system (SH, SL, SO, TMK, TP, ÜVÇ, DJ, JHS), pp. 105–109.
SAC-2005-HeI #resource management #self: Forming resource-sharing coalitions: a distributed resource allocation mechanism for self-interested agents in computational grids (LH, TRI), pp. 84–91.
SAC-2005-LiuBGROA #assurance #embedded #realtime #requirements: Two-level assurance of QoS requirements for distributed real-time and embedded systems (SHL, BRB, JGG, RRR, AMO, MA), pp. 903–904.
SAC-2005-LiuSC #low cost #nondeterminism #query: Cost-efficient processing of MIN/MAX queries over distributed sensors with uncertainty (ZL, KCS, JC), pp. 634–641.
SAC-2005-MilazzoPTU #runtime: Handling run-time updates in distributed applications (MM, GP, ET, GU), pp. 1375–1380.
SAC-2005-Moloney #network #pervasive #recommendation #simulation: Simulation of a distributed recommendation system for pervasive networks (SM), pp. 1577–1581.
SAC-2005-RenJ #adaptation #forensics #network #realtime: Honeynet based distributed adaptive network forensics and active real time investigation (WR, HJ), pp. 302–303.
SAC-2005-RothPP #mobile: A distributed content-based search engine based on mobile code (VR, UP, JP), pp. 66–73.
SAC-2005-SilvestriO #approximate #mining: Distributed approximate mining of frequent patterns (CS, SO), pp. 529–536.
SAC-2005-StefanescuTT #evaluation #query: Distributed evaluation of generalized path queries (DCS, AT, LT), pp. 610–616.
CASE-2005-LeeK #behaviour #multi: Estimating global stress environment by observing local behavior in distributed multiagent systems (SL, SRTK), pp. 215–219.
CASE-2005-TangK #game studies #modelling #multi #problem: Cooperation in a multi-stage game for modeling distributed task delegation in a supply chain procurement problem (KT, SRTK), pp. 93–98.
CASE-2005-WangLWK #architecture #simulation #using: Collision resolution simulation for distributed control architectures using LonWorks (MW, EL, EW, MK), pp. 319–326.
DAC-2005-BeattieZDK #3d #modelling: Spatially distributed 3D circuit models (MWB, HZ, AD, BK), pp. 153–158.
DATE-2005-FrancescoAM #architecture #flexibility #hardware #memory management #message passing: Flexible Hardware/Software Support for Message Passing on a Distributed Shared Memory Architecture (FP, AP, PM), pp. 736–741.
DATE-2005-GhoshG #locality #named #network #protocol #scheduling: LORD: A Localized, Reactive and Distributed Protocol for Node Scheduling in Wireless Sensor Networks (AG, TG), pp. 190–195.
DATE-2005-HeniaE #analysis #scheduling: Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies (RH, RE), pp. 480–485.
DATE-2005-IzosimovPEP #design #embedded #fault tolerance #optimisation: Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems (VI, PP, PE, ZP), pp. 864–869.
DATE-2005-KruseTEVS #contract #design #embedded #flexibility #process: Introducing Flexible Quantity Contracts into Distributed SoC and Embedded System Design Processes (JK, CT, RE, TV, TS), pp. 938–943.
DATE-2005-StreichertHT #clustering #configuration management #embedded #network: Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks (TS, CH, JT), pp. 894–895.
DATE-2005-WangWI #embedded #performance: A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.
HPDC-2005-AlbrechtTSV #using: Distributed application management using Plush (JRA, CT, ACS, AV), pp. 281–282.
HPDC-2005-HustonNPSSZ: Dynamic load balancing for distributed search (LH, AN, PP, RS, PS, JZ), pp. 157–166.
HPDC-2005-KarmonLS #named #performance #protocol: GWiQ-P: an efficient decentralized grid-wide quota enforcement protocol (KK, LL, AS), pp. 222–232.
HPDC-2005-LiuPV #query #streaming: Distributed streaming query planner in Calder system (YL, BP, NNV), pp. 316–317.
HPDC-2005-LuJ #design #effectiveness #evaluation #multi: Design and evaluation of a new and effective fairness scheme for multicasting in Internet-scale distributed systems (YL, HJ), pp. 285–286.
HPDC-2005-LuJ05a #consistency #detection #framework #grid #nondeterminism #performance: A framework for efficient inconsistency detection in a grid and Internet-scale distributed environment (YL, HJ), pp. 318–319.
HPDC-2005-RanjanBH #clustering: A model for cooperative federation of distributed clusters (RR, RB, AH), pp. 295–296.
HPDC-2005-ShasharinaVSV #interactive #named: GRIDL: high-performance and distributed interactive data language (SGS, OV, PS, SV), pp. 291–292.
HPDC-2005-Wang #file system #towards #version control #workflow: Towards a workflow-aware distributed versioning file system for metacomputing systems (YW0), pp. 314–315.
HPDC-2005-YangCHP #adaptation #runtime: Autonomic runtime manager for adaptive distributed applications (JY, HC, SH, MP), pp. 69–78.
LCTES-2005-HenzingerKM #code generation #composition: Composable code generation for distributed giotto (TAH, CMK, SM), pp. 21–30.
PDP-2005-DominguesMS: Distributed Data Collection through Remote Probing in Windows Environments (PD, PM, LMS), pp. 59–65.
PDP-2005-Ernst-DesmulierBSV #framework #peer-to-peer: Adding New Features In A Peer-to-Peer Distributed Computing Framework (JBED, JB, FS, JV), pp. 34–41.
PDP-2005-GorawskiM: Updating Aggregation Tree in Distributed Spatial Telemetric Data Warehouse (MG, RM), pp. 329–336.
PDP-2005-JoubertM #equation: Distributed Local Resolution of Boolean Equation Systems (CJ, RM), pp. 264–271.
PDP-2005-LioupisS #embedded #web #web service: A Web Service for Embedded Distributed Computation (DL, MS), pp. 20–25.
PDP-2005-MorilloOFD: A Method for Providing QoS in Distributed Virtual Environments (PM, JMO, MF, JD), pp. 152–159.
PDP-2005-MunozA #architecture #database: Architecture for an Intelligent Distributed Database (ACM, JLA), pp. 322–328.
PDP-2005-UhlP #parallel #visual notation: Parallel and Distributed Processing of Visual Content: Traditional View and New Directions (AU, MP), p. 2–?.
PPoPP-2005-ThiesKSRA #source code: Teleport messaging for distributed stream programs (WT, MK, JS, RMR, SPA), pp. 224–235.
SOSP-2005-NightingaleCF #execution #file system: Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.
A-MOST-2005-KarrP #modelling #performance #statistics #testing #using: Distributed performance testing using statistical modeling (AFK, AAP), pp. 77–83.
CSL-2005-VIICH #control flow #logic: Distributed Control Flow with Classical Modal Logic (TMV, KC, RH), pp. 51–69.
ICLP-2005-BortolussiW #concurrent #constraints #probability #programming language: A Distributed and Probabilistic Concurrent Constraint Programming Language (LB, HW), pp. 143–158.
LICS-2005-FinkbeinerS #synthesis: Uniform Distributed Synthesis (BF, SS), pp. 321–330.
CBSE-2004-Mikic-RakicM #architecture: Software Architectural Support for Disconnected Operation in Highly Distributed Environments (MMR, NM), pp. 23–39.
WICSA-2004-IssarnyTLS #architecture #mobile: Software Architecture for Mobile Distributed Computing (VI, FT, JL, FS), pp. 201–210.
WICSA-2004-MattmannCHKR #architecture #data-driven #scalability: Software Architecture for Large-Scale, Distributed, Data-Intensive Systems (CM, DJC, JSH, SCK, PMR), pp. 255–276.
WICSA-2004-SuryanarayanaEHT #architecture #named #trust: PACE: An Architectural Style for Trust Management in Decentralized Applications (GS, JRE, SAH, RNT), pp. 221–232.
JCDL-2004-DalalDDFFKS #web: Managing distributed collections: evaluating web page changes, movement, and replacement (ZD, SD, PD, LFR, RF, UK, FMSI), pp. 160–168.
SIGMOD-2004-BalazinskaBS: Load Management and High Availability in the Medusa Distributed Stream Processing System (MB, HB, MS), pp. 929–930.
VLDB-2004-AbiteboulABCFMS #peer-to-peer #privacy: An Electronic Patient Record “on Steroids”: Distributed, Peer-to-Peer, Secure and Privacy-conscious (SA, BA, OB, BC, IF, TM, AS), pp. 1273–1276.
VLDB-2004-AhmadC #query: Networked Query Processing for Distributed Stream-Based Applications (YA, UÇ), pp. 456–467.
VLDB-2004-DasGGR #estimation #set: Distributed Set Expression Cardinality Estimation (AD, SG, MNG, RR), pp. 312–323.
VLDB-2004-LitwinMS: LH*RS: A Highly Available Distributed Data Storage (WL, RM, TJES), pp. 1289–1292.
VLDB-2004-WangD #internet #rank: Computing PageRank in a Distributed Internet Search Engine System (YW, DJD), pp. 420–431.
ITiCSE-2004-ChengB #effectiveness: Evaluating the effectiveness of ICT to support globally distributed PBL teams (CSC, CB), pp. 47–51.
CSMR-2004-AntoniolP #analysis #architecture: A Distributed Architecture for Dynamic Analyses on User-Profile Data (GA, MDP), pp. 319–328.
ICSM-2004-LiM #component #testing: Exploiting Global Causality in Testing of Distributed and Component-Based Applications (JL, KM), p. 527.
ICALP-2004-AwerbuchS #protocol: Group Spreading: A Protocol for Provably Secure Distributed Name Service (BA, CS), pp. 183–195.
ICALP-2004-LebharS #network: Almost Optimal Decentralized Routing in Long-Range Contact Networks (EL, NS), pp. 894–905.
ICALP-2004-Volzer #on the: On Randomization Versus Synchronization in Distributed Systems (HV), pp. 1214–1226.
SEFM-2004-JohnsenO #communication #concurrent: An Asynchronous Communication Model for Distributed Concurrent Objects (EBJ, OO), pp. 188–197.
SEFM-2004-LiYW #multi #testing: Distributed Testing of Multi Input/Output Transition System (ZL, XY, JW), pp. 271–280.
SEFM-2004-Misra #programming #web #web service: A Programming Model for the Orchestration of Web Services (JM), pp. 2–11.
CHI-2004-EricksonHDK #design #evaluation #prototype #social: A social proxy for distributed tasks: design and evaluation of a working prototype (TE, WH, CD, WAK), pp. 559–566.
CHI-2004-LampeR #online #scalability: Slash(dot) and burn: distributed moderation in a large online conversation space (CL, PR), pp. 543–550.
CSCW-2004-BosSOCN #simulation: In-group/out-group effects in distributed teams: an experimental simulation (NB, NSS, JSO, AC, NN), pp. 429–436.
CSCW-2004-GutwinPS #development: Group awareness in distributed software development (CG, RP, KAS), pp. 72–81.
CSCW-2004-YankelovichWRWKP #effectiveness: Meeting central: making distributed meetings more effective (NY, WW, PR, MW, JK, JP), pp. 419–428.
EDOC-2004-ZhaoBBROA #automation #code generation #component #integration: Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components (WZ, BRB, CCB, RRR, AMO, MA), pp. 275–285.
ICEIS-v1-2004-AbdouliSAB #realtime #transaction: Enhancing the Success Ratio of Distributed Real-Time Nested Transactions (MA, BS, LA, AB), pp. 233–240.
ICEIS-v1-2004-AggourB #information management: Delegating Authority in a Distributed Information Management System (KSA, BJV, JAB), pp. 155–162.
ICEIS-v1-2004-BauerR #workflow: Dynamic Change of Server Assignments in Distributed Workflow Management Systems (TB, MR), pp. 91–98.
ICEIS-v1-2004-Irun-BrizMB #database #lazy evaluation #protocol #replication: The Abortion Rate of Lazy Replication Protocols for Distributed Databases (LIB, FDME, JMBA), pp. 130–135.
ICEIS-v1-2004-Saad-BouzefraneB #multi #transaction: A Transactional Multimode Model to Handle Overload in Distributed RTDBSS (SSB, SB), pp. 328–336.
ICEIS-v2-2004-Okhtilev #data flow #realtime: The Data Flow and Distributed Calculations Intelligence Information Technology for Decision Support System in Real Time (MO), pp. 497–500.
ICEIS-v3-2004-BrowneSW #process #workflow: Activity Crediting in Distributed Workflow Environments (EDB, MS, JRW), pp. 245–253.
ICEIS-v3-2004-HuzitaPST #development #named: Dimanager: A Tool for Distributed Software Development Management (EHMH, MEP, GS, TFCT), pp. 659–662.
ICEIS-v3-2004-LopesPAM #requirements #specification: Distributed Requirements Specification: Minimizing the Effect of Geographic Dispersion (LL, RP, JLNA, AM), pp. 531–534.
ICEIS-v4-2004-GaaloulBBG #component: A Pattern for Interconnecting Distributed Components (WG, KB, KB, CG), pp. 430–434.
ICEIS-v4-2004-KarppinenNWN #named #web: Gridblocks — Web Portal and Client for Distributed Computing (JK, MN, JW, TN), pp. 36–40.
ICEIS-v4-2004-ToivonenPHM #interactive #process #protocol #using: Using Interaction Protocols in Distributed Construction Processes (ST, TP, HH, JUM), pp. 344–349.
ICEIS-v5-2004-DingS #library #towards: Towards the Schema Heterogeneity in Distributed Digital Libraries (HD, IS), pp. 307–312.
ICEIS-v5-2004-Rohrbaugh: Managerial Openness and the Adoption of Distributed Group Support Systems: The Case of Webwide Participation (JR), pp. 115–120.
CIKM-2004-KnabeT #query: Processing search queries in a distributed environment (FK, DT), pp. 492–494.
ECIR-2004-CachedaPO #analysis #architecture #performance: Performance Analysis of Distributed Architectures to Index One Terabyte of Text (FC, VP, IO), pp. 394–408.
ICML-2004-NguyenWJ #classification #detection #kernel #using: Decentralized detection and classification using kernel methods (XN, MJW, MIJ).
ICPR-v4-2004-AlisiBPV #collaboration #fault: Motion Capture Based on Color Error Maps in a Distributed Collaborative Environment (TMA, ADB, FP, AV), pp. 953–956.
KDD-2004-AliS #architecture #collaboration #named #recommendation #using: TiVo: making show recommendations using a distributed collaborative filtering architecture (KA, WvS), pp. 394–401.
KDD-2004-GilburdSW #named #privacy #scalability: k-TTP: a new privacy model for large-scale distributed environments (BG, AS, RW), pp. 563–568.
KDD-2004-SanilKLR #modelling #privacy: Privacy preserving regression modelling via distributed computation (APS, AFK, XL, JPR), pp. 677–682.
KDD-2004-WrightY #network #privacy #semistructured data: Privacy-preserving Bayesian network structure computation on distributed heterogeneous data (RNW, ZY), pp. 713–718.
SEKE-2004-LarssonB #programming #requirements #ubiquitous #user interface: Programming ubiquitous software applications: requirements for distributed user interface (AL, EB), pp. 246–251.
SEKE-2004-MaidantchikSM #approach #information management #xml: Organizational Knowledge: an XML-based Approach to Support Knowledge Management in Distributed and Heterogeneous Environments (CM, GS, MM), pp. 427–430.
SEKE-2004-WeigangCDM #grid #knowledge base #realtime #using: Distributed Knowledge Based System Using Grid Computing for Real Time Air Traffic Synchronization — ATFMGC (WL, DAC, MVPD, ACMAdM), pp. 396–401.
AdaEurope-2004-VergnaudHPK #middleware #named #reliability: PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications (TV, JH, LP, FK), pp. 106–119.
SAC-J-2003-TraoreAY04 #development #framework: An integrated framework for formal development of open distributed systems (IT, DBA, HY), pp. 281–286.
ASE-2004-Boulila #collaboration #concurrent #modelling: Group Support for Distributed Collaborative Concurrent Software Modeling (NB), pp. 422–425.
ICSE-2004-EugsterDG #development #towards: Towards Safe Distributed Application Development (PTE, CHD, RG), pp. 347–356.
ICSE-2004-Foster #community #grid #scalability: Grid Small and Large: Distributed Systems and Global Communities (ITF), p. 27.
ICSE-2004-Francois #architecture #data type #hybrid #parallel: A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.
ICSE-2004-FroehlichD #development #process #visual notation: Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams (JF, PD), pp. 387–396.
ICSE-2004-KhareT #architecture #rest: Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems (RK, RNT), pp. 428–437.
ICSE-2004-KontioHRA #agile #challenge #development #risk management: Managing Commitments and Risks: Challenges in Distributed Agile Development (JK, MH, JR, PA), pp. 732–733.
ICSE-2004-MemonPYNSN #assurance #named #quality: Skoll: Distributed Continuous Quality Assurance (AMM, AAP, CY, AN, DCS, BN), pp. 459–468.
ICSE-2004-SenVAR #monitoring #performance #safety: Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.
ICSE-2004-WohlstadterJD #design #feature model #implementation: Design and Implementation of Distributed Crosscutting Features with DADO (EW, SJ, PTD), pp. 706–707.
SAC-2004-MameiZ #coordination #network #self #tuple: Self-maintained distributed tuples for field-based coordination in dynamic networks (MM, FZ), pp. 479–486.
SAC-2004-MatsushitaKI #peer-to-peer #using: Feature-based distributed object search using signatures in Peer-to-Peer environments (RM, HK, YI), pp. 729–734.
SAC-2004-NeelyLEBNG #architecture #learning: An architecture for supporting vicarious learning in a distributed environment (SN, HL, DME, JB, JN, XG), pp. 963–970.
SAC-2004-RamirezS #concurrent #constraints #logic programming #source code #using: Concurrent and distributed programming using constraint logic programs (RR, AES), pp. 508–509.
SAC-2004-SilveiraLBM #adaptation #design #framework #interactive #middleware #multi: Exploring an open, distributed multimedia framework to design and develop an adaptive middleware for interactive digital television systems (GEdS, ABL, FB, MFM), pp. 1258–1264.
ASPLOS-2004-LumbG #named: D-SPTF: decentralized request distribution in brick-based storage systems (CRL, RAG), pp. 37–47.
ASPLOS-2004-SaitoFVMS #array #component #enterprise #named: FAB: building distributed enterprise disk arrays from commodity components (YS, SF, ACV, AM, SS), pp. 48–58.
DAC-2004-HanBBCJ #architecture #data transfer #flexibility #memory management #multi #performance #scalability: An efficient scalable and flexible data transfer architecture for multiprocessor SoC with massive distributed memory (SIH, AB, MB, SIC, AAJ), pp. 250–255.
DAC-2004-TanjiA #analysis: Closed-form expressions of distributed RLC interconnects for analysis of on-chip inductance effects (YT, HA), pp. 810–813.
DAC-2004-ZhangDC #embedded #energy #fault tolerance #realtime: Energy-aware deterministic fault tolerance in distributed real-time embedded systems (YZ, RPD, KC), pp. 550–555.
DATE-v1-2004-BabighianBM04a: Sizing and Characterization of Leakage-Control Cells for Layout-Aware Distributed Power-Gating (PB, LB, EM), pp. 720–723.
DATE-v2-2004-MarculescuPH #design #multi #perspective: Distributed Multimedia System Design: A Holistic Perspective (RM, MP, JH), pp. 1342–1349.
HPCA-2004-AbellaG #queue: Low-Complexity Distributed Issue Queue (JA, AG), pp. 73–83.
HPDC-2004-ChenRA #data type #middleware #named: GATES: A Grid-Based Middleware for Processing Distributed Data Streams (LC, KR, GA), pp. 192–201.
HPDC-2004-DubnickiUK #named: FPN: A Distributed Hash Table for Commercial Applications (CD, CU, WK), pp. 120–128.
HPDC-2004-KichkayloK #component #deployment #resource management: Optimal Resource-Aware Deployment Planning for Component-Based Distributed Applications (TK, VK), pp. 150–159.
HPDC-2004-PearlmanKGSFRFHS #case study #experience #grid #hybrid: Distributed Hybrid Earthquake Engineering Experiments: Experiences with a Ground-Shaking Grid Application (LP, CK, SG, BFSJ, JF, KR, ITF, PH, CS), pp. 14–23.
HPDC-2004-XinMS #evaluation #scalability: Evaluation of Distributed Recovery in Large-Scale Storage Systems (QX, ELM, TJES), pp. 172–181.
HPDC-2004-ZhaoZF #file system #grid #virtual machine: Distributed File System Support for Virtual Machines in Grid Computing (MZ, JZ, RJOF), pp. 202–211.
OSDI-2004-DunaganHJKTW #lightweight #named: FUSE: Lightweight Guaranteed Distributed Failure Notification (JD, NJAH, MBJ, DK, MT, AW), pp. 151–166.
PDP-2004-AttiyaH #algorithm: Two Phase Algorithm for Load Balancing in Heterogeneous Distributed Systems (GA, YH), p. 434–?.
PDP-2004-BahiDM #java #named: Jace: A Java Environment for Distributed Asynchronous Iterative Computations (JMB, SD, KM), pp. 350–357.
PDP-2004-Borkowski #consistency #detection #online: Strongly Consistent Global State Detection for On-line Control of Distributed Applications (JB), pp. 126–133.
PDP-2004-DustdarGS #collaboration #mobile #web #web service: Web Services for Groupware in Distributed and Mobile Collaboration (SD, HCG, RS), p. 241–?.
PDP-2004-FeleaT #adaptation #execution #java: Adaptive Distributed Execution of Java Applications (VF, BT), pp. 16–31.
PDP-2004-Gross #community #design #implementation #specification: Design, Specification, and Implementation of a Distributed Virtual Community System (TG), pp. 225–232.