BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (810)
base (299)
data (250)
model (249)
use (224)

Stem distribut$ (all stems)

2996 papers:

ECSAECSA-2015-TahriDP #architecture #deployment #distributed #feature model #modelling #smarttech #using
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture (AT, LD, JP), pp. 285–293.
CASECASE-2015-ChenH #assembly #automation #distributed #petri net #using
Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets (CC, HH), pp. 532–538.
CASECASE-2015-HillmannS #dependence #distributed #linear
Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.
CASECASE-2015-HuangJG #distributed #generative #multi #optimisation
Multi-timescale optimization between distributed wind generators and electric vehicles in microgrid (QH, QSJ, XG), pp. 671–676.
CASECASE-2015-JinDAWBBBL #distributed #framework
A comprehensive framework of factory-to-factory dynamic fleet-level prognostics and operation management for geographically distributed assets (CJ, DD, HDA, KW, MB, BB, PB, JL), pp. 225–230.
CASECASE-2015-KeroglouH #communication #constraints #distributed #using
Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints (CK, CNH), pp. 831–836.
CASECASE-2015-KimCDZF #distributed #flexibility
DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems (KK, JC, WD, YZ, GEF), pp. 369–376.
CASECASE-2015-LuoKNCS #distributed
Asynchronous distributed information leader selection in robotic swarms (WL, SSK, SN, NC, KPS), pp. 606–611.
CASECASE-2015-YangH0 #assembly #automation #distributed #petri net
A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
CASECASE-2015-ZakharovZYJ #algorithm #configuration management #distributed #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.
DATEDATE-2015-BalboniFB #configuration management #distributed #latency #multi #network #scalability
Synergistic use of multiple on-chip networks for ultra-low latency and scalable distributed routing reconfiguration (MB, JF, DB), pp. 806–811.
DATEDATE-2015-BrunduPAGRRM #distributed #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.
DATEDATE-2015-ChenM #distributed #learning #manycore #optimisation #performance
Distributed reinforcement learning for power limited many-core system performance optimization (ZC, DM), pp. 1521–1526.
DATEDATE-2015-DoustiP #distributed #power management
Power-efficient control of thermoelectric coolers considering distributed hot spots (MJD, MP), pp. 966–971.
DATEDATE-2015-IqtedarHSH #analysis #distributed #probability
Formal probabilistic analysis of distributed dynamic thermal management (SI, OH, MS, JH), pp. 1221–1224.
DATEDATE-2015-RosenMH #architecture #implementation #multi #reliability
Semiautomatic implementation of a bioinspired reliable analog task distribution architecture for multiple analog cores (JvR, MM, LH), pp. 912–915.
DocEngDocEng-2015-JansenFC #distributed #documentation #multi
Multimedia Document Structure for Distributed Theatre (JJ, MF, PC), pp. 199–202.
PODSPODS-2015-AcharyaDHLS #algorithm #approximate #performance
Fast and Near-Optimal Algorithms for Approximating Distributions by Histograms (JA, ID, CH, JZL, LS), pp. 249–263.
PODSPODS-2015-GuchtWWZ #communication #complexity #distributed #matrix #multi
The Communication Complexity of Distributed Set-Joins with Applications to Matrix Multiplication (DVG, RW, DPW, QZ), pp. 199–212.
PODSPODS-2015-IndykLR #approximate #testing
Erratum for: Approximating and Testing k-Histogram Distributions in Sub-linear Time (PI, RL, RR), p. 343.
SIGMODSIGMOD-2015-ElgamalYAMH #analysis #big data #component #distributed #named #scalability
sPCA: Scalable Principal Component Analysis for Big Data on Distributed Platforms (TE, MY, AA, WM, MH), pp. 79–91.
SIGMODSIGMOD-2015-JerglerSJ #distributed #framework #named #workflow
D2WORM: A Management Infrastructure for Distributed Data-centric Workflows (MJ, MS, HAJ), pp. 1427–1432.
SIGMODSIGMOD-2015-LinOWY #distributed #scalability
Scalable Distributed Stream Join Processing (QL, BCO, ZW, CY), pp. 811–825.
SIGMODSIGMOD-2015-LoesingPEK #database #design #distributed #on the #scalability
On the Design and Scalability of Distributed Shared-Data Databases (SL, MP, TE, DK), pp. 663–676.
SIGMODSIGMOD-2015-MytilinisGKDTTG #distributed #framework #named #network #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.
SIGMODSIGMOD-2015-PrasadFGMLXHR #data transfer #distributed #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.
SIGMODSIGMOD-2015-ScheibliDB #3d #distributed #interactive #named #query #visualisation
QE3D: Interactive Visualization and Exploration of Complex, Distributed Query Plans (DS, CD, AB), pp. 877–881.
SIGMODSIGMOD-2015-TangLT #distributed #online
Distributed Online Tracking (MT, FL, YT), pp. 2047–2061.
SIGMODSIGMOD-2015-VulimiriCGJKPV #data-driven #named
WANalytics: Geo-Distributed Analytics for a Data Intensive World (AV, CC, PBG, TJ, KK, JP, GV), pp. 1087–1092.
SIGMODSIGMOD-2015-YanZHSMZM #detection #distributed #using
Distributed Outlier Detection using Compressive Sensing (YY, JZ, BH, XS, JM, ZZ, TM), pp. 3–16.
SIGMODSIGMOD-2015-YuSC #dependence #distributed #matrix #performance
Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.
VLDBVLDB-2015-AhmadK #distributed
Compaction Management in Distributed Key-Value Datastores (MYA, BK), pp. 850–861.
VLDBVLDB-2015-ChenGXJC #distributed #image #named #recommendation #retrieval
I2RS: A Distributed Geo-Textual Image Retrieval and Recommendation System (LC, YG, ZX, CSJ, GC), pp. 1884–1895.
VLDBVLDB-2015-HammoudRNBS #adaptation #communication #distributed #named #query #rdf
DREAM: Distributed RDF Engine with Adaptive Query Planner and Minimal Communication (MH, DAR, RN, SMRB, SS), pp. 654–665.
VLDBVLDB-2015-LazersonSKSGS #distributed #monitoring #using
Monitoring Distributed Streams using Convex Decompositions (AL, IS, DK, AS, MNG, VS), pp. 545–556.
VLDBVLDB-2015-MahmoodAQRDMAHA #distributed #named
Tornado: A Distributed Spatio-Textual Stream Processing System (ARM, AMA, TQ, EKR, AD, AM, ASA, MSH, WGA, SB), pp. 2020–2031.
VLDBVLDB-2015-MargoS #distributed #graph #scalability
A Scalable Distributed Graph Partitioner (DWM, MIS), pp. 1478–1489.
VLDBVLDB-2015-MukherjeeCCDGHH #architecture #database #distributed #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.
VLDBVLDB-2015-SharovSMS #distributed #exclamation #online #optimisation
Take me to your leader! Online Optimization of Distributed Storage Configurations (AS, AS, AM, MS), pp. 1490–1501.
VLDBVLDB-2015-ZhangC0 #approach #distributed #graph #set
Bonding Vertex Sets Over Distributed Graph: A Betweenness Aware Approach (XZ, HC, LC), pp. 1418–1429.
CSEETCSEET-2015-Robinson #distributed #industrial #scalability
Insights from Creating and Deploying a Large, Globally Distributed Industrial Training Program (BPR), p. 2.
ITiCSEITiCSE-2015-UraiUO #analysis #distributed #programming
Enhancements to Support Functions of Distributed Pair Programming Based on Action Analysis (TU, TU, NO), pp. 177–182.
FASEFASE-2015-BrennerGS #distributed #on the fly #specification #synthesis
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications (CB, JG, WS), pp. 51–65.
SCAMSCAM-2015-BoisselleA #debugging #empirical
The impact of cross-distribution bug duplicates, empirical study on Debian and Ubuntu (VB, BA), pp. 131–140.
PLDIPLDI-2015-WilcoxWPTWEA #distributed #framework #implementation #named #verification
Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
SASSAS-2015-AlbertCJR #cost analysis #distributed #parallel
Parallel Cost Analysis of Distributed Systems (EA, JC, EBJ, GRD), pp. 275–292.
STOCSTOC-2015-LiRSS #learning #statistics
Learning Arbitrary Statistical Mixtures of Discrete Distributions (JL, YR, LJS, CS), pp. 743–752.
STOCSTOC-2015-MirrokniZ #composition #distributed #random
Randomized Composable Core-sets for Distributed Submodular Maximization (VSM, MZ), pp. 153–162.
ICALPICALP-v1-2015-BeigiEG #distributed
Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources (SB, OE, AG), pp. 143–154.
ICALPICALP-v1-2015-Canonne #big data #testing
Big Data on the Rise? — Testing Monotonicity of Distributions (CLC), pp. 294–305.
ICALPICALP-v2-2015-Ghaffari #distributed #towards
Distributed Broadcast Revisited: Towards Universal Optimality (MG), pp. 638–649.
ICALPICALP-v2-2015-Muscholl #automation #distributed #synthesis
Automated Synthesis of Distributed Controllers (AM), pp. 11–27.
FMFM-2015-AlbertACGGMPR #analysis #concurrent #distributed #source code
Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.
SEFMSEFM-2015-KamaliHKP #analysis #distributed #formal method
Formal Analysis of Proactive, Distributed Routing (MK, PH, MK, LP), pp. 175–189.
SEFMSEFM-2015-VollingerR #algorithm #certification #distributed #problem
Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.
CHICHI-2015-BlomkvistPA #agile #bound #communication #distributed
Communication through Boundary Objects in Distributed Agile Teams (JKB, JP, ), pp. 1875–1884.
CHICHI-2015-Boulus-RodjeB #challenge #design #distributed
Design Challenges in Supporting Distributed Knowledge: An Examination of Organizing Elections (NBR, PB), pp. 3137–3146.
CHICHI-2015-KoemanKR #approach #distributed #exclamation #quote #visualisation
“Everyone Is Talking about It!”: A Distributed Approach to Urban Voting Technology and Visualisations (LK, VK, YR), pp. 3127–3136.
CHICHI-2015-PierceP #design #multi
Making Multiple Uses of the Obscura 1C Digital Camera: Reflecting on the Design, Production, Packaging and Distribution of a Counterfunctional Device (JP, EP), pp. 2103–2112.
CSCWCSCW-2015-MoghaddamNB #design #distributed #named
Procid: Bridging Consensus Building Theory with the Practice of Distributed Design Discussions (RZM, ZN, BPB), pp. 686–699.
HCIHCI-IT-2015-PenalverNB #framework #migration #user interface #web
A Framework for Distributing and Migrating the User Interface in Web Apps (AP, DN, FB), pp. 543–553.
AdaEuropeAdaEurope-2015-DiazG #distributed #maintenance #middleware #open source #reliability #years after
Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later (MD, DG), pp. 116–128.
ICEISICEIS-v2-2015-FariasNOCM #case study #commit #email #mining #repository
Analyzing Distributions of Emails and Commits from OSS Contributors through Mining Software Repositories — An Exploratory Study (MAdFF, RLN, PO, MCJ, MGM), pp. 303–310.
ECIRECIR-2015-EsuliF #categorisation
Distributional Correspondence Indexing for Cross-Language Text Categorization (AE, AMF), pp. 104–109.
ICMLICML-2015-AybatWI #distributed #optimisation
An Asynchronous Distributed Proximal Gradient Method for Composite Convex Optimization (NSA, ZW, GI), pp. 2454–2462.
ICMLICML-2015-BarbosaENW #dataset #distributed #power of
The Power of Randomization: Distributed Submodular Maximization on Massive Datasets (RdPB, AE, HLN, JW), pp. 1236–1244.
ICMLICML-2015-DeisenrothN #distributed #process
Distributed Gaussian Processes (MPD, JWN), pp. 1481–1490.
ICMLICML-2015-GalCG #category theory #estimation #multi #process
Latent Gaussian Processes for Distribution Estimation of Multivariate Categorical Data (YG, YC, ZG), pp. 645–654.
ICMLICML-2015-GasseAE #classification #composition #multi #on the #set
On the Optimality of Multi-Label Classification under Subset Zero-One Loss for Distributions Satisfying the Composition Property (MG, AA, HE), pp. 2531–2539.
ICMLICML-2015-GeCWG #distributed #modelling #process
Distributed Inference for Dirichlet Process Mixture Models (HG, YC, MW, ZG), pp. 2276–2284.
ICMLICML-2015-GermainGML #estimation #named
MADE: Masked Autoencoder for Distribution Estimation (MG, KG, IM, HL), pp. 881–889.
ICMLICML-2015-GouwsBC #distributed #named #performance #word
BilBOWA: Fast Bilingual Distributed Representations without Word Alignments (SG, YB, GC), pp. 748–756.
ICMLICML-2015-HuHDX #distributed #parametricity #scalability
Large-scale Distributed Dependent Nonparametric Trees (ZH, QH, AD, EPX), pp. 1651–1659.
ICMLICML-2015-KuklianskyS #linear #performance
Attribute Efficient Linear Regression with Distribution-Dependent Sampling (DK, OS), pp. 153–161.
ICMLICML-2015-LeeR #distributed #linear #optimisation #polynomial
Distributed Box-Constrained Quadratic Optimization for Dual Linear SVM (CPL, DR), pp. 987–996.
ICMLICML-2015-LengWCZL #distributed
Hashing for Distributed Data (CL, JW, JC, XZ, HL), pp. 1642–1650.
ICMLICML-2015-MaSJJRT #distributed #optimisation
Adding vs. Averaging in Distributed Primal-Dual Optimization (CM, VS, MJ, MIJ, PR, MT), pp. 1973–1982.
ICMLICML-2015-PrasadPR #analysis #axiom #rank
Distributional Rank Aggregation, and an Axiomatic Analysis (AP, HHP, PDR), pp. 2104–2112.
ICMLICML-2015-YangX15b #clustering #distributed #divide and conquer #framework #graph
A Divide and Conquer Framework for Distributed Graph Clustering (WY, HX), pp. 504–513.
ICMLICML-2015-ZhangL15a #distributed #empirical #named #optimisation #self
DiSCO: Distributed Optimization for Self-Concordant Empirical Loss (YZ, XL), pp. 362–370.
ICMLICML-2015-ZhangWJ #algorithm #bound #distributed #estimation #matrix #performance #rank
Distributed Estimation of Generalized Matrix Rank: Efficient Algorithms and Lower Bounds (YZ, MJW, MIJ), pp. 457–465.
KDDKDD-2015-AhnKLRW #distributed #matrix #probability #scalability #using
Large-Scale Distributed Bayesian Matrix Factorization using Stochastic Gradient MCMC (SA, AK, NL, SR, MW), pp. 9–18.
KDDKDD-2015-ElenbergSBD #distributed #framework #graph #scalability
Beyond Triangles: A Distributed Framework for Estimating 3-profiles of Large Graphs (ERE, KS, MB, AGD), pp. 229–238.
KDDKDD-2015-FlaxmanWS
Who Supported Obama in 2012?: Ecological Inference through Distribution Regression (SRF, YXW, AJS), pp. 289–298.
KDDKDD-2015-GabelKS #distributed #modelling #monitoring
Monitoring Least Squares Models of Distributed Streams (MG, DK, AS), pp. 319–328.
KDDKDD-2015-LucierOS #distributed #network #scalability
Influence at Scale: Distributed Computation of Complex Contagion in Networks (BL, JO, YS), pp. 735–744.
KDDKDD-2015-MiaoCTZYB #distributed #personalisation
Distributed Personalization (XM, CTC, LT, YZ, JY, AB), pp. 1989–1998.
KDDKDD-2015-NikolaevDGUGS #composition #evaluation #online
Extreme States Distribution Decomposition Method for Search Engine Online Evaluation (KN, AD, EG, AU, GG, PS), pp. 845–854.
KDDKDD-2015-ShanahanD #distributed #scalability #using
Large Scale Distributed Data Science using Apache Spark (JGS, LD), pp. 2323–2324.
KDDKDD-2015-XingHDKWLZXKY #big data #distributed #framework #machine learning #named
Petuum: A New Platform for Distributed Machine Learning on Big Data (EPX, QH, WD, JKK, JW, SL, XZ, PX, AK, YY), pp. 1335–1344.
KDDKDD-2015-YanRHC #distributed #learning #modelling #optimisation #performance #scalability
Performance Modeling and Scalability Optimization of Distributed Deep Learning Systems (FY, OR, YH, TMC), pp. 1355–1364.
RecSysRecSys-2015-AlmahairiKCC #collaboration #distributed #learning
Learning Distributed Representations from Reviews for Collaborative Filtering (AA, KK, KC, ACC), pp. 147–154.
SEKESEKE-2015-AdornesGLF #architecture #distributed #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.
SEKESEKE-2015-PereiraRA #data access #database #distributed #stack
Secure, Dynamic and Distributed Access Control Stack for Database Applications (ÓMP, DDR, RLA), pp. 364–369.
SIGIRSIGIR-2015-DaiKC #distributed #how #random
How Random Decisions Affect Selective Distributed Search (ZD, YK, JC), pp. 771–774.
SIGIRSIGIR-2015-Mitra #distributed #query #using
Exploring Session Context using Distributed Representations of Queries and Reformulations (BM), pp. 3–12.
SIGIRSIGIR-2015-Paik #information retrieval #probability
A Probabilistic Model for Information Retrieval Based on Maximum Value Distribution (JHP), pp. 585–594.
SIGIRSIGIR-2015-SalesFHD #named #semantics
Linse: A Distributional Semantics Entity Search Engine (JES, AF, SH, BD), pp. 1045–1046.
SIGIRSIGIR-2015-ZhengC #distributed #learning
Learning to Reweight Terms with Distributed Representations (GZ, JC), pp. 575–584.
BXBX-2015-JohnsonRa #monad
Distributing Commas, and the Monad of Anchored Spans (MJ, RR), pp. 31–42.
MoDELSMoDELS-2015-HartmannMFNKT #distributed #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.
MoDELSMoDELS-2015-LeemansA #distributed #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.
OnwardOnward-2015-ProkopecO #composition #distributed #programming
Isolates, channels, and event streams for composable distributed programming (AP, MO), pp. 171–182.
PPDPPPDP-2015-MeiklejohnR #coordination #distributed #named #programming
Lasp: a language for distributed, coordination-free programming (CM, PVR), pp. 184–195.
SACSAC-2015-AbdiH #algorithm #distributed
An algorithm for distributed certificate chain discovery in open environments (SA, JH), pp. 2292–2298.
SACSAC-2015-BadouelHKM #approach #collaboration #distributed
A grammatical approach to data-centric case management in a distributed collaborative environment (EB, LH, GEK, CM), pp. 1834–1839.
SACSAC-2015-GkorouPE #distributed #network #trust
Trust-based collection of information in distributed reputation networks (DG, JAP, DHJE), pp. 2312–2319.
SACSAC-2015-HendersonGE #clustering #empirical #named #parametricity #performance #probability
EP-MEANS: an efficient nonparametric clustering of empirical probability distributions (KH, BG, TER), pp. 893–900.
SACSAC-2015-HogenboomNJFV #distributed #optimisation #query #rdf
RDF chain query optimization in a distributed environment (AH, EN, MJ, FF, DV), pp. 353–359.
SACSAC-2015-HuangSZSXD #privacy #pseudo
A source-location privacy protection strategy via pseudo normal distribution-based phantom routing in WSNs (JH, MS, SZ, YS, CCX, QD), pp. 688–694.
SACSAC-2015-MainiS #communication #distributed #multi #using
Distributed task servicing using multiple robots with human-in-the-loop under limited communication range (PM, PBS), pp. 301–306.
SACSAC-2015-MinHJCH #distributed #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.
SACSAC-2015-MiyashitaITK #distributed #graph #named #representation
Catalogue: graph representation of file relations for a globally distributed environment (YM, HI, FT, KK), pp. 806–809.
SACSAC-2015-StegagnoMB #distributed #identification
Distributed target identification in robotic swarms (PS, CM, HHB), pp. 307–313.
SACSAC-2015-TsengHT #distributed #framework #javascript #migration #mobile #web
Migratom.js: a JavaScript migration framework for distributed web computing and mobile devices (TLT, SHH, CHT), pp. 798–801.
ESEC-FSEESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation
Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
ESEC-FSEESEC-FSE-2015-Florio #adaptation #distributed #scalability #self
Decentralized self-adaptation in large-scale distributed systems (LF), pp. 1022–1025.
SLESLE-2015-BenelallamGTC #atl #distributed #model transformation #pipes and filters
Distributed model-to-model transformation with ATL on MapReduce (AB, AG, MT, JC), pp. 37–48.
HPCAHPCA-2015-BeckmannTS #distributed #scalability
Scaling distributed cache hierarchies through computation and data co-scheduling (NB, PAT, DS), pp. 538–550.
HPDCHPDC-2015-HeintzCS #optimisation #streaming
Optimizing Grouped Aggregation in Geo-Distributed Streaming Analytics (BH, AC, RKS), pp. 133–144.
HPDCHPDC-2015-KaxirasKNRS #approach #distributed #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.
HPDCHPDC-2015-WangZQLMR #consistency #distributed #scalability #towards
Towards Scalable Distributed Workload Manager with Monitoring-Based Weakly Consistent Resource Stealing (KW, XZ, KQ, ML, BM, IR), pp. 219–222.
LCTESLCTES-2015-LinM #distributed #framework #named #programming #simulation #towards #verification
StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems (YL, SM), p. 10.
PPoPPPPoPP-2015-RavishankarDEPRRS #code generation #distributed #memory management
Distributed memory code generation for mixed Irregular/Regular computations (MR, RD, VE, LNP, JR, AR, PS), pp. 65–75.
PPoPPPPoPP-2015-XieCGZC #distributed
SYNC or ASYNC: time to fuse for distributed graph-parallel computation (CX, RC, HG, BZ, HC), pp. 194–204.
SOSPSOSP-2015-DragojevicNNRSB #consistency #distributed #performance #transaction
No compromises: distributed transactions with consistency, availability, and performance (AD, DN, EBN, MR, AS, AB, MC), pp. 54–70.
SOSPSOSP-2015-HawblitzelHKLPR #distributed #named #proving
IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.
SOSPSOSP-2015-MaceRF #distributed #monitoring
Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.
SOSPSOSP-2015-TeixeiraFSSZA #distributed #graph #mining #named
Arabesque: a system for distributed graph mining (CHCT, AJF, MS, GS, MJZ, AA), pp. 425–440.
CAVCAV-2015-FinkbeinerGO #distributed #named #synthesis
Adam: Causality-Based Synthesis of Distributed Systems (BF, MG, ERO), pp. 433–439.
CAVCAV-2015-KonnovVW #abstraction #algorithm #distributed #model checking #smt
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.
CAVCAV-2015-AlurRSTU #automation #distributed #protocol #symmetry
Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.
CAVCAV-2015-DesaiSQBE #abstraction #approximate #distributed
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems (AD, SAS, SQ, DB, JCE), pp. 429–448.
ISSTAISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #refinement #reliability
Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
LICSLICS-2015-Reiter #automaton #distributed #graph
Distributed Graph Automata (FR), pp. 192–201.
VMCAIVMCAI-2015-SahaEJMT #distributed #markov
Distributed Markov Chains (RS, JE, SKJ, MM, PST), pp. 117–134.
ECSAECSA-2014-BennaceurI #architecture #distributed
Layered Connectors — Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems (AB, VI), pp. 283–299.
ECSAECSA-2014-ChiprianovFSP #architecture #distributed #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.
QoSAQoSA-2014-FouquetNDBBPM #architecture #design #distributed #evolution #using
Designing and evolving distributed architecture using kevoree (FF, GN, ED, JB, OB, NP, BM), pp. 147–148.
WICSAWICSA-2014-BabazadehP #design #distributed #framework
The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
CASECASE-2014-AltMS #distributed
Compensation of spatially distributed disturbances in heat conduction systems (SA, FM, OS), pp. 860–865.
CASECASE-2014-ChenLY #distributed #modelling #network
Sparse particle filtering for modeling space-time dynamics in distributed sensor networks (YC, GL, HY), pp. 626–631.
CASECASE-2014-DengWW #algorithm #distributed #problem #scheduling
A competitive memetic algorithm for the distributed flow shop scheduling problem (JD, LW, SW), pp. 107–112.
CASECASE-2014-DingSM #assembly #case study #industrial
Optimized task distribution for industrial assembly in mixed human-robot environments — Case study on IO module assembly (HD, MS, BM), pp. 19–24.
CASECASE-2014-HerrNV #complexity #distributed #framework #scheduling
Prognostics-based scheduling in a distributed platform: Model, complexity and resolution (NH, JMN, CV), pp. 1054–1059.
CASECASE-2014-LangJLX #estimation
A dual-infrared sensing system for occupant distribution estimation in buildings (ZL, QSJ, YL, XX), pp. 960–965.
CASECASE-2014-LongLXJ #distributed #probability
A scenario-based distributed stochastic MPC for building temperature regulation (YL, SL, LX, KHJ), pp. 1091–1096.
CASECASE-2014-MarkovskiH #framework #modelling #reliability
A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions (JM, HH), pp. 436–442.
CASECASE-2014-QiuSL #multi #optimisation #simulation
A simulation based GA for multi-objective optimization in patient flow distribution (YQ, JS, ZL), pp. 1–6.
CASECASE-2014-WangCG #algorithm #constraints #estimation #hybrid #multi #problem #scheduling
Hybrid estimation of distribution algorithm with multiple subpopulations for semiconductor manufacturing scheduling problem with limited waiting-time constraint (HKW, CFC, MG), pp. 101–106.
CASECASE-2014-WangW #algorithm #estimation #problem #scheduling #testing
Compact estimation of distribution algorithm for semiconductor final testing scheduling problem (SW, LW), pp. 113–118.
CASECASE-2014-YangFD #modelling
Modeling on the fluid temperature distribution of a spiral heat exchanger (SY, KF, MD), pp. 170–175.
DACDAC-2014-FangYZL #estimation #named #performance
BMF-BD: Bayesian Model Fusion on Bernoulli Distribution for Efficient Yield Estimation of Integrated Circuits (CF, FY, XZ, XL), p. 6.
DACDAC-2014-SarmaVD #distributed #middleware #mobile #perspective
Sense-making from Distributed and Mobile Sensing Data: A Middleware Perspective (SS, NV, ND), p. 6.
DACDAC-2014-ZhuangWLC #distributed #framework #named #network #simulation
MATEX: A Distributed Framework for Transient Simulation of Power Distribution Networks (HZ, SHW, JHL, CKC), p. 6.
DATEDATE-2014-AzimCPF #communication #distributed #generative #multi #realtime
Generation of communication schedules for multi-mode distributed real-time applications (AA, GC, RP, SF), pp. 1–6.
DATEDATE-2014-ChenWP #capacity #concurrent #distributed #framework
Concurrent placement, capacity provisioning, and request flow control for a distributed cloud infrastructure (SC, YW, MP), pp. 1–6.
DATEDATE-2014-DamodaranWH #distributed #multi
Distributed cooperative shared last-level caching in tiled multiprocessor system on chip (PPD, SW, AH), pp. 1–4.
DATEDATE-2014-KauerSGCA #distributed #embedded #fault tolerance #synthesis #verification
Fault-tolerant control synthesis and verification of distributed embedded systems (MK, DS, DG, SC, AMA), pp. 1–6.
DATEDATE-2014-KumarYBT #distributed #effectiveness #named
COOLIP: Simple yet effective job allocation for distributed thermally-throttled processors (PK, HY, IB, LT), pp. 1–4.
DATEDATE-2014-SampaioSZBH #architecture #distributed #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.
DATEDATE-2014-WildermannGT #distributed #multi #resource management #runtime
Multi-objective distributed run-time resource management for many-cores (SW, MG, JT), pp. 1–6.
HTHT-2014-ChengKWT #architecture #distributed #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.
SIGMODSIGMOD-2014-ElmeleegyOR #distributed #memory management #named #pipes and filters #using
SpongeFiles: mitigating data skew in mapreduce using distributed memory (KE, CO, BR), pp. 551–562.
SIGMODSIGMOD-2014-GurajadaSMT #distributed #message passing #named #rdf
TriAD: a distributed shared-nothing RDF engine based on asynchronous message passing (SG, SS, IM, MT), pp. 289–300.
SIGMODSIGMOD-2014-PolychroniouSR #distributed #network
Track join: distributed joins with minimal network traffic (OP, RS, KAR), pp. 1483–1494.
SIGMODSIGMOD-2014-XiongHN #approach #distributed #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.
VLDBVLDB-2014-BrunoKW #distributed #scalability
Advanced Join Strategies for Large-Scale Distributed Computation (NB, YK, MCW), pp. 1484–1495.
VLDBVLDB-2014-ConwayAAH #automation #distributed #named #programming
Edelweiss: Automatic Storage Reclamation for Distributed Programming (NC, PA, EA, JMH), pp. 481–492.
VLDBVLDB-2014-FanWWD #distributed #graph #simulation
Distributed Graph Simulation: Impossibility and Possibility (WF, XW, YW, DD), pp. 1083–1094.
VLDBVLDB-2014-GhashamiPL #approximate #distributed #matrix
Continuous Matrix Approximation on Distributed Data (MG, JMP, FL), pp. 809–820.
VLDBVLDB-2014-KuhlenkampKR #benchmark #database #distributed #metric #scalability
Benchmarking Scalability and Elasticity of Distributed Database Systems (JK, MK, OR), pp. 1219–1230.
VLDBVLDB-2014-MahmoudANAA #coordination #distributed #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.
VLDBVLDB-2014-SerafiniMASRM #database #distributed #named #scalability #transaction
Accordion: Elastic Scalability for Database Systems Supporting Distributed Transactions (MS, EM, AA, KS, TR, UFM), pp. 1035–1046.
VLDBVLDB-2014-XiongH #distributed #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.
VLDBVLDB-2014-YanCLN #distributed #framework #graph #named
Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs (DY, JC, YL, WN), pp. 1981–1992.
VLDBVLDB-2014-YuanDZLNHWDY #distributed #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.
VLDBVLDB-2015-LuCYW14 #distributed #evaluation #graph #scalability
Large-Scale Distributed Graph Computing Systems: An Experimental Evaluation (YL, JC, DY, HW), pp. 281–292.
VLDBVLDB-2015-ShenCJLOT14 #distributed #graph #performance
Fast Failure Recovery in Distributed Graph Processing Systems (YS, GC, HVJ, WL, BCO, BMT), pp. 437–448.
VLDBVLDB-2015-TaftMSDEAPS14 #clustering #distributed #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.
VLDBVLDB-2015-YangZTCM14 #distributed #named #navigation
CANDS: Continuous Optimal Navigation via Distributed Stream Processing (DY, DZ, KLT, JC, FLM), pp. 137–148.
VLDBVLDB-2015-ZhouGSY14 #distributed #graph #named #online #scalability #using
MOCgraph: Scalable Distributed Graph Processing Using Message Online Computing (CZ, JG, BS, JXY), pp. 377–388.
CSEETCSEET-2014-NordioEMAPNS #coordination #distributed #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.
TACASTACAS-2014-FinkbeinerT #detection #distributed #specification
Detecting Unrealizable Specifications of Distributed Systems (BF, LT), pp. 78–92.
TACASTACAS-2014-SoudjaniA #approximate #markov #precise #probability #process
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.
SASSAS-2014-AlbertFR #cost analysis #distributed
Peak Cost Analysis of Distributed Systems (EA, JCF, GRD), pp. 18–33.
STOCSTOC-2014-MendesTH #distributed
Distributed computability in Byzantine asynchronous systems (HM, CT, MH), pp. 704–713.
STOCSTOC-2014-MillerS #protocol #quantum #robust #using
Robust protocols for securely expanding randomness and distributing keys using untrusted quantum devices (CAM, YS), pp. 417–426.
STOCSTOC-2014-Nanongkai #algorithm #approximate #distributed
Distributed approximation algorithms for weighted shortest paths (DN), pp. 565–573.
STOCSTOC-2014-SharmaV #multi
Multiway cut, pairwise realizable distributions, and descending thresholds (AS, JV), pp. 724–733.
FLOPSFLOPS-2014-ClaessenDP #generative #random
Generating Constrained Random Data with Uniform Distribution (KC, JD, MHP), pp. 18–34.
AFLAFL-2014-FernauFH #distributed #finite #hybrid
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes (HF, RF, MH), pp. 246–260.
ICALPICALP-v1-2014-CanonneR #probability #testing
Testing Probability Distributions Underlying Aggregated Data (CLC, RR), pp. 283–295.
ICALPICALP-v2-2014-AvinBLP #axiom #design #distributed #network
Distributed Computing on Core-Periphery Networks: Axiom-Based Design (CA, MB, ZL, DP), pp. 399–410.
ICALPICALP-v2-2014-CooperER #distributed #power of
The Power of Two Choices in Distributed Voting (CC, RE, TR), pp. 435–446.
ICALPICALP-v2-2014-Ghaffari #approximate #distributed #set
Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set (MG), pp. 483–494.
FMFM-2014-DammF #automation #composition #distributed #synthesis
Automatic Compositional Synthesis of Distributed Systems (WD, BF), pp. 179–193.
SFMSFM-2014-GmeinerKSVW #algorithm #distributed #fault tolerance #model checking #tutorial
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
ICFPICFP-2014-FredrikssonG #distributed #execution #semantics
Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
ICGTICGT-2014-Delzanno #distributed #model checking #protocol #verification
Parameterized Verification and Model Checking for Distributed Broadcast Protocols (GD), pp. 1–16.
CHICHI-2014-AndreKK #collaboration #distributed
Effects of simultaneous and sequential work structures on distributed collaborative interdependent tasks (PA, REK, AK), pp. 139–148.
CHICHI-2014-YuKK14a #distributed #generative #idea
Distributed analogical idea generation: inventing with crowds (LY, AK, REK), pp. 1245–1254.
CSCWCSCW-2014-CobbMPBCDS #collaboration #comprehension #design #distributed #volunteer
Designing for the deluge: understanding & supporting the distributed, collaborative work of crisis volunteers (CC, TM, AP, AB, JC, BD, KS), pp. 888–899.
CSCWCSCW-2014-DuysburghEJ #collaboration #distributed
Exploring the social-technological gap in telesurgery: collaboration within distributed or teams (PD, SAE, AJ), pp. 1537–1548.
HCIHIMI-AS-2014-KwonJKY
A Knowledge Distribution Model to Support an Author in Narrative Creation (HK, SJ, HTK, WCY), pp. 511–522.
HCILCT-NLE-2014-PataB #distributed #ecosystem
Promoting Distributed Cognition at MOOC Ecosystems (KP, EB), pp. 204–215.
HCISCSM-2014-KamalNB #communication #distributed #mobile #product line #quote
“Presence in Absence”: Distributed Family Communication Practices for Familial Bonding via Mobile Communication Technology (FMK, NLMN, HB), pp. 474–485.
CAiSECAiSE-2014-AndrikopoulosSLW #in the cloud
Optimal Distribution of Applications in the Cloud (VA, SGS, FL, JW), pp. 75–90.
EDOCEDOC-2014-DomaschkaHE #database #distributed #reliability
Reliability and Availability Properties of Distributed Database Systems (JD, CBH, BE), pp. 226–233.
ICEISICEIS-v1-2014-DavarG #distributed #information management #object-oriented #performance
Performance Tuning of Object-Oriented Applications in Distributed Information Systems (ZD, JRG), pp. 201–208.
ICEISICEIS-v1-2014-KannistoHPK #architecture #assessment #distributed #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.
ICEISICEIS-v1-2014-PfaffK #benchmark #distributed #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.
ICEISICEIS-v1-2014-SilvaNMFMM #algorithm #detection #distributed #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.
ICEISICEIS-v2-2014-EstacioP #distributed #programming #set
A Set of Practices for Distributed Pair Programming (BJdSE, RP), pp. 331–338.
ICEISICEIS-v2-2014-SantosBLHC #development #distributed #metric #performance
Managing Distributed Software Development with Performance Measures (GSdS, RB, GCLL, EHMH, EC), pp. 307–314.
CIKMCIKM-2014-KangLSSK #coordination #distributed #probability
Data/Feature Distributed Stochastic Coordinate Descent for Logistic Regression (DK, WL, KS, LS, UK), pp. 1269–1278.
CIKMCIKM-2014-LiuTHLM #distributed #graph #summary
Distributed Graph Summarization (XL, YT, QH, WCL, JM), pp. 799–808.
CIKMCIKM-2014-ShuLLYT #detection
Deal or deceit: detecting cheating in distribution channels (KS, PL, WL, PY, LT), pp. 1419–1428.
CIKMCIKM-2014-WuZYJL #distributed #named #rdf #semantics
SemStore: A Semantic-Preserving Distributed RDF Triple Store (BW, YZ, PY, HJ, LL), pp. 509–518.
CIKMCIKM-2014-YinG #distributed #scalability
Scalable Distributed Belief Propagation with Prioritized Block Updates (JY, LG), pp. 1209–1218.
CIKMCIKM-2014-YuSYL #distributed #matrix #probability
Distributed Stochastic ADMM for Matrix Factorization (ZQY, XJS, LY, WJL), pp. 1259–1268.
CIKMCIKM-2014-ZhangP #graph #nondeterminism #scalability
Scalable Vaccine Distribution in Large Graphs given Uncertain Data (YZ, BAP), pp. 1719–1728.
ICMLICML-c1-2014-LanZS #monte carlo
Spherical Hamiltonian Monte Carlo for Constrained Target Distributions (SL, BZ, BS), pp. 629–637.
ICMLICML-c2-2014-AhnSW #distributed #probability
Distributed Stochastic Gradient MCMC (SA, BS, MW), pp. 1044–1052.
ICMLICML-c2-2014-LeM #distributed #documentation
Distributed Representations of Sentences and Documents (QVL, TM), pp. 1188–1196.
ICMLICML-c2-2014-ShamirS0 #approximate #distributed #optimisation #using
Communication-Efficient Distributed Optimization using an Approximate Newton-type Method (OS, NS, TZ), pp. 1000–1008.
ICMLICML-c2-2014-TaylorGP #analysis #approximate #linear #programming
An Analysis of State-Relevance Weights and Sampling Distributions on L1-Regularized Approximate Linear Programming Approximation Accuracy (GT, CG, DP), pp. 451–459.
ICMLICML-c2-2014-WenYG #learning #nondeterminism #robust
Robust Learning under Uncertain Test Distributions: Relating Covariate Shift to Model Misspecification (JW, CNY, RG), pp. 631–639.
ICMLICML-c2-2014-ZhangK #distributed #optimisation
Asynchronous Distributed ADMM for Consensus Optimization (RZ, JTK), pp. 1701–1709.
ICPRICPR-2014-ColonnaCN #approach #distributed
A Distributed Approach for Classifying Anuran Species Based on Their Calls (JGC, MC, EFN), pp. 1242–1247.
ICPRICPR-2014-FuscoEM #data analysis #locality #network
Bad Data Analysis with Sparse Sensors for Leak Localisation in Water Distribution Networks (FF, BE, SM), pp. 3642–3647.
ICPRICPR-2014-GengWX #adaptation #estimation #learning
Facial Age Estimation by Adaptive Label Distribution Learning (XG, QW, YX), pp. 4465–4470.
KDDKDD-2014-XieGFTY
Class-distribution regularized consensus maximization for alleviating overfitting in model combination (SX, JG, WF, DST, PSY), pp. 303–312.
KDDKDD-2014-ZhangZ #scalability
Large margin distribution machine (TZ, ZHZ), pp. 313–322.
KEODKEOD-2014-Talia #big data #data mining #distributed #information management #mining
Big Data Mining Services and Distributed Knowledge Discovery Applications on Clouds (DT), pp. 1–5.
MLDMMLDM-2014-BaroutiKKM #clustering #data type #distributed #monitoring
Monitoring Distributed Data Streams through Node Clustering (MB, DK, JK, YM), pp. 149–162.
MLDMMLDM-2014-LimsettoW
Integrating Weight with Ensemble to Handle Changes in Class Distribution (NL, KW), pp. 91–106.
RecSysRecSys-2014-BauerN #framework #matrix
A framework for matrix factorization based on general distributions (JB, AN), pp. 249–256.
RecSysRecSys-2014-PetroniQ #clustering #distributed #graph #matrix #named #probability
GASGD: stochastic gradient descent for distributed asynchronous matrix completion via graph partitioning (FP, LQ), pp. 241–248.
SEKESEKE-2014-AverbakhKKS #distributed #experience
Dedicated Support for Experience Sharing in Distributed Software Projects (AA, EK, SK, KS), pp. 355–360.
SEKESEKE-2014-AverbakhNS #distributed #documentation #re-engineering
Knowledge from Document Annotations as By-Product in Distributed Software Engineering (AA, KN, KS), pp. 350–354.
SEKESEKE-2014-CostaFM #collaboration #development #distributed #question
Collaborative Merge in Distributed Software Development: Who Should Participate? (CC, JJCF, LM), pp. 268–273.
SEKESEKE-2014-RochaADCAM #distributed #named #ontology
DKDs: An Ontology-based System for Distributed Teams (RGCR, RRA, MPD, DC, ARMA, SRLM), pp. 82–85.
SIGIRSIGIR-2014-BabbarPGA #approach #classification #distributed #ranking #scalability
Re-ranking approach to classification in large-scale power-law distributed category systems (RB, IP, ÉG, MRA), pp. 1059–1062.
MODELSMoDELS-2014-ChakiE #compilation #distributed #modelling #verification
Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MODELSMoDELS-2014-SzarnyasIRHBV #distributed #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.
MODELSMoDELS-2014-ChakiE #compilation #distributed #modelling #verification
Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MODELSMoDELS-2014-SzarnyasIRHBV #distributed #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.
ECOOPECOOP-2014-MillerHO #concurrent #named #type system
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution (HM, PH, MO), pp. 308–333.
OOPSLAOOPSLA-2014-DrechslerSMM #algorithm #distributed #programming
Distributed REScala: an update algorithm for distributed reactive programming (JD, GS, RM, MM), pp. 361–376.
QAPLQAPL-2014-Feng #distributed #hybrid #modelling #probability #using
Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.
RERE-2014-BruunHIJK #distributed #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.
SACSAC-2014-AvilaMRPY #distributed #quantum #simulation
GPU-aware distributed quantum simulation (AA, AM, RR, MLP, ACY), pp. 860–865.
SACSAC-2014-CalvoOFR #distributed #multi #parametricity
Parametric investigation of a distributed strategy for multiple agents systems applied to cooperative tasks (RC, JdO, MF, RAR), pp. 207–212.
SACSAC-2014-ChakrabortyCKD #adaptation #distributed
Hierarchical topology adaptation for distributed convergecast applications (SC, SC, SK, HSD), pp. 405–407.
SACSAC-2014-TesfayHBO #architecture #communication #network
Cyber-secure communication architecture for active power distribution networks (TTT, JPH, JYLB, PO), pp. 545–552.
SACSAC-2014-TinK #clustering #distributed #performance
Method for fast clustering of data distributed on a sphere surface (TT, SRK), pp. 1735–1736.
ICSEICSE-2014-BrindescuCSD #distributed #how #question #version control
How do centralized and distributed version control systems impact software changes? (CB, MC, SS, DD), pp. 322–333.
ICSEICSE-2014-SuR #analysis #empirical #parametricity #probability
Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.
SLESLE-2014-PredaGLMG #adaptation #distributed #framework #named
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
ASPLOSASPLOS-2014-BanabicCG #distributed
Finding trojan message vulnerabilities in distributed systems (RB, GC, RG), pp. 113–126.
HPDCHPDC-2014-AlamKW #distributed #query #scalability
A scalable distributed skip list for range queries (SA, HK, AW), pp. 315–318.
HPDCHPDC-2014-ChenDWCZG #communication #distributed #graph #performance #perspective
Computation and communication efficient graph processing with distributed immutable view (RC, XD, PW, HC, BZ, HG), pp. 215–226.
HPDCHPDC-2014-RajachandrasekarPVHWP #architecture #distributed #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.
HPDCHPDC-2014-SuAWBS #analysis #correlation #dataset #distributed #parallel
Supporting correlation analysis on scientific datasets in parallel and distributed settings (YS, GA, JW, AB, HWS), pp. 191–202.
OSDIOSDI-2014-GonzalezXDCFS #data flow #distributed #framework #graph #named
GraphX: Graph Processing in a Distributed Dataflow Framework (JEG, RSX, AD, DC, MJF, IS), pp. 599–613.
OSDIOSDI-2014-LiAPSAJLSS #distributed #machine learning #parametricity #scalability
Scaling Distributed Machine Learning with the Parameter Server (ML, DGA, JWP, AJS, AA, VJ, JL, EJS, BYS), pp. 583–598.
OSDIOSDI-2014-MuCZLL #concurrent #distributed #transaction
Extracting More Concurrency from Distributed Transactions (SM, YC, YZ, WL, JL), pp. 479–494.
OSDIOSDI-2014-XieSK0YAM #database #distributed #named
Salt: Combining ACID and BASE in a Distributed Database (CX, CS, MK, YW, NY, LA, PM), pp. 495–509.
OSDIOSDI-2014-YuanLZRZZJS #analysis #data-driven #distributed #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.
OSDIOSDI-2014-ZhaoZLULYS #distributed #named #profiling
lprof: A Non-intrusive Request Flow Profiler for Distributed Systems (XZ, YZ, DL, MFU, YL, DY, MS), pp. 629–644.
CAVCAV-2014-GligoricMSEM #distributed #testing
Regression Test Selection for Distributed Software Histories (MG, RM, RS, LE, DM), pp. 293–309.
VMCAIVMCAI-2014-JezequelE #algorithm #distributed #message passing #protocol #verification
Message-Passing Algorithms for the Verification of Distributed Protocols (LJ, JE), pp. 222–241.
CBSECBSE-2013-AbateS
Bootstrapping software distributions (PA, JS), pp. 131–142.
ECSAECSA-2013-ZouariR #adaptation #automation #deployment #distributed #towards
Towards Automated Deployment of Distributed Adaptation Systems (MZ, IBR), pp. 336–339.
ASEASE-2013-ArthoHPTWY #communication #distributed #model checking
Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
ASEASE-2013-Fard #behaviour #detection #distributed #independence #using
Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method (FHF), pp. 746–749.
ASEASE-2013-Hellerstein #case study #design #distributed #experience #named
BOOM: Experiences in language and tool design for distributed systems (keynote) (JMH), p. 1.
ASEASE-2013-Lin #agile #distributed
Context-aware task allocation for distributed agile team (JL), pp. 758–761.
CASECASE-2013-HuZL13a #automation #distributed #petri net #scalability
Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.
CASECASE-2013-RoszkowskaG #distributed #multi
Correct-by-construction distributed control for multi-vehicle transport systems (ER, IG), pp. 156–161.
DACDAC-2013-AnagnostopoulosTBS #distributed #manycore #resource management #runtime
Distributed run-time resource management for malleable applications on many-core platforms (IA, VT, AB, DS), p. 6.
DACDAC-2013-GaribottiOBkASR #distributed #embedded #memory management #multi #thread
Simultaneous multithreading support in embedded distributed memory MPSoCs (RG, LO, RB, Mk, CAJ, GS, MR), p. 7.
DACDAC-2013-JungPPC #distributed #embedded #framework #named #scalability
netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems (YJ, JP, MP, LPC), p. 10.
DACDAC-2013-KimOCHH #distributed #embedded #estimation #novel
A novel analytical method for worst case response time estimation of distributed embedded systems (JK, HO, JC, HH, SH), p. 10.
DACDAC-2013-RaiSST #algorithm #analysis #distributed #network #process
Distributed stable states for process networks: algorithm, analysis, and experiments on intel SCC (DR, LS, NS, LT), p. 10.
DATEDATE-2013-BanaiyanMofradDG #analysis #distributed #fault tolerance #modelling
Modeling and analysis of fault-tolerant distributed memories for networks-on-chip (AB, ND, GG), pp. 1605–1608.
DATEDATE-2013-CaiHMM #analysis #memory management #modelling
Threshold voltage distribution in MLC NAND flash memory: characterization, analysis, and modeling (YC, EFH, OM, KM), pp. 1285–1290.
DATEDATE-2013-HsiehWH #configuration management #distributed #named #network
DANCE: distributed application-aware node configuration engine in shared reconfigurable sensor networks (CMH, ZW, JH), pp. 839–842.
DATEDATE-2013-KumarCT #approach #distributed #realtime #satisfiability
A satisfiability approach to speed assignment for distributed real-time systems (PK, DBC, LT), pp. 749–754.
DocEngDocEng-2013-JansenCB #distributed #documentation #multi #social
Multimedia document synchronization in a distributed social context (JJ, PC, DCAB), pp. 273–276.
DocEngDocEng-2013-NedelecMMD #adaptation #collaboration #distributed #editing #named #sequence
LSEQ: an adaptive structure for sequences in distributed collaborative editing (BN, PM, AM, ED), pp. 37–46.
HTHT-2013-RokhlenkoGLL #web
Engagement-based user attention distribution on web article pages (OR, NG, RL, LL), pp. 196–201.
HTHT-2013-RuoccoR #image #proximity
Exploring temporal proximity and spatial distribution of terms in web-based search of event-related images (MR, HR), pp. 248–252.
ICDARICDAR-2013-GotoIFU #graph #scalability #set #using
Analyzing the Distribution of a Large-Scale Character Pattern Set Using Relative Neighborhood Graph (MG, RI, YF, SU), pp. 3–7.
ICDARICDAR-2013-SuDPL #comprehension #documentation #novel #word
Cross-Language Sensitive Words Distribution Map: A Novel Recognition-Based Document Understanding Method for Uighur and Tibetan (BS, XD, LP, CL), pp. 255–259.
SIGMODSIGMOD-2013-KonstantinouTMK #distributed #named
DBalancer: distributed load balancing for NoSQL data-stores (IK, DT, IM, NK), pp. 1037–1040.
SIGMODSIGMOD-2013-QiaoSDQSGCSZABBGGIJLPRSSSSTTWZ #distributed #framework #on the
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.
SIGMODSIGMOD-2013-ShaoWL #distributed #graph #memory management #named
Trinity: a distributed graph engine on a memory cloud (BS, HW, YL), pp. 505–516.
VLDBVLDB-2013-ChandramouliNZ #distributed
Supporting Distributed Feed-Following Apps over Edge Devices (BC, SN, WZ), pp. 1570–1581.
VLDBVLDB-2013-ChiHHN #query #scheduling
Distribution-Based Query Scheduling (YC, HH, WPH, JFN), pp. 673–684.
VLDBVLDB-2013-GarofalakisKS #distributed #geometry #monitoring #query #sketching
Sketch-based Geometric Monitoring of Distributed Stream Queries (MNG, DK, VS), pp. 937–948.
VLDBVLDB-2013-GuptaRM #data flow #distributed #query
Ratio Threshold Queries over Distributed Data Sources (RG, KR, MKM), pp. 565–576.
VLDBVLDB-2013-LiuAS #distributed #multitenancy #named
DAX: A Widely Distributed Multi-tenant Storage Service for DBMS Hosting (RL, AA, KS), pp. 253–264.
VLDBVLDB-2013-ManshadiAGKMS #algorithm #distributed #scalability
A Distributed Algorithm for Large-Scale Generalized Matching (FMM, BA, RG, RK, JM, MS), pp. 613–624.
VLDBVLDB-2013-SantosTCG #distributed #named #streaming
DiAl: Distributed Streaming Analytics Anywhere, Anytime (IS, MT, BC, JG), pp. 1386–1389.
VLDBVLDB-2013-SarwatEHM #declarative #distributed #graph #query #reachability
Horton+: A Distributed System for Processing Declarative Reachability Queries over Partitioned Graphs (MS, SE, YH, MFM), pp. 1918–1929.
VLDBVLDB-2013-SeoPSL #analysis #distributed #graph #scalability
Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis (JS, JP, JS, MSL), pp. 1906–1917.
VLDBVLDB-2013-ShangK #anti
Skyline Operator on Anti-correlated Distributions (HS, MK), pp. 649–660.
VLDBVLDB-2013-ShuteVSHWROLMECRSA #database #distributed #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.
VLDBVLDB-2013-ZengYWSW #distributed #graph #rdf #web
A Distributed Graph Engine for Web Scale RDF Data (KZ, JY, HW, BS, ZW), pp. 265–276.
CSEETCSEET-2013-FortalezaVJPC #collaboration #communication #development #distributed #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.
ITiCSEITiCSE-2013-HerreroLOST #student
The influence of students distribution on their grades (CH, ML, JO, JS, ST), p. 316.
ITiCSEITiCSE-2013-TsompanoudiSX #collaboration #distributed #embedded #programming
Exploring the effects of collaboration scripts embedded in a distributed pair programming system (DT, MS, SX), pp. 225–230.
ESOPESOP-2013-MillerCT #distributed #javascript
Distributed Electronic Rights in JavaScript (MSM, TVC, BT), pp. 1–20.
ESOPESOP-2013-PetersNG #calculus #on the #process
On Distributability in Process Calculi (KP, UN, UG), pp. 310–329.
FASEFASE-2013-StruberTJS #distributed #modelling #process #towards
Towards a Distributed Modeling Process Based on Composite Models (DS, GT, SJ, TS), pp. 6–20.
ICSMEICSM-2013-Kwon #automation #distributed #energy #execution #fault tolerance #re-engineering
Automated S/W Reengineering for Fault-Tolerant and Energy-Efficient Distributed Execution (YWK), pp. 582–585.
ICSMEICSM-2013-ZhangMZKH #how #maintenance #metric #question
How Does Context Affect the Distribution of Software Maintainability Metrics? (FZ, AM, YZ, FK, AEH), pp. 350–359.
MSRMSR-2013-DullemondGSD #distributed #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.
STOCSTOC-2013-BringmannL
Succinct sampling from discrete distributions (KB, KGL), pp. 775–782.
ICALPICALP-v2-2013-JurdzinskiKS #distributed #network
Distributed Deterministic Broadcasting in Wireless Networks of Weak Devices (TJ, DRK, GS), pp. 632–644.
ICALPICALP-v2-2013-PettieS #algorithm #distributed #graph #performance
Fast Distributed Coloring Algorithms for Triangle-Free Graphs (SP, HHS), pp. 681–693.
IFMIFM-2013-AlbertCPR #abstraction #distributed #quantifier
Quantified Abstractions of Distributed Systems (EA, JC, GP, GRD), pp. 285–300.
IFMIFM-2013-AndriamiarinaMS #algorithm #distributed #modelling
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms (MBA, DM, NKS), pp. 268–284.
IFMIFM-2013-GrafQ #distributed #implementation
Knowledge for the Distributed Implementation of Constrained Systems (SG, SQ), pp. 77–93.
CHICHI-2013-FasteRES #design #distributed #human-computer
Brainstorm, Chainstorm, Cheatstorm, Tweetstorm: new ideation strategies for distributed HCI design (HF, NR, RE, ES), pp. 1343–1352.
CSCWCSCW-2013-Al-AniBWTKMRP #developer #distributed #process #trust
Globally distributed system developers: their trust expectations and processes (BAA, MJB, YW, ET, BK, SM, DFR, RP), pp. 563–574.
CSCWCSCW-2013-FugelliLM #development #distributed #open source
Shared prolepsis and intersubjectivity in open source development: expansive grounding in distributed work (PF, LCL, AIM), pp. 129–144.
CSCWCSCW-2013-GenestGTKI #distributed #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.
CSCWCSCW-2013-GopalakrishnanHB #distributed #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.
CSCWCSCW-2013-GumiennyGWM #collaboration #distributed
Supporting creative collaboration in globally distributed companies (RG, LG, MW, CM), pp. 995–1007.
HCIDHM-SET-2013-MurataKEH #behaviour #metric #predict #using
Prediction of Drowsy Driving Using Behavioral Measures of Drivers — Change of Neck Bending Angle and Sitting Pressure Distribution (AM, TK, TE, TH), pp. 78–87.
HCIHCI-AS-2013-OnoIY #comparative #education #evaluation
A Comparative Evaluation of Podcasting-Based and Mobile-Based Material Distribution Systems in Foreign Language Teaching (YO, MI, MY), pp. 474–483.
HCIOCSC-2013-LuongGGGH #distributed
Supporting Distributed Search in Virtual Worlds (HPL, DG, JMG, SG, JH), pp. 395–404.
HCIOCSC-2013-VillanuevaMTGHP #distributed #interactive
Context Management for RFID-Based Distributed Interaction Spaces (PGV, FAM, RT, JAG, AH, VMRP), pp. 355–364.
VISSOFTVISSOFT-2013-PauwWB #distributed #visualisation
Visualizing jobs with shared resources in distributed environments (WDP, JLW, AB), pp. 1–10.
AdaEuropeAdaEurope-2013-PerezG #experience #integration #middleware
Experience with the Integration of Distribution Middleware into Partitioned Systems (HP, JJG), pp. 1–16.
ICEISICEIS-v1-2013-GiordanoTACF #database #distributed #framework #semantics
Integrating Distributed Data Bases in a Semantic Framework — The K-Metropolis Project (DG, AT, SA, AC, AF), pp. 322–328.
ICEISICEIS-v1-2013-MagalhaesMVMMPC #distributed #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.
ICEISICEIS-v2-2013-TaitH #development #distributed #project management
Software Project Management in Distributed Software Development Context (TFCT, EHMH), pp. 216–222.
ICEISICEIS-v3-2013-LangermeierBB #approach #architecture #distributed #enterprise #framework #modelling #using
A Model Driven Approach for Open Distributed Systems using an Enterprise Architecture Framework (ML, AJB, BB), pp. 284–291.
CIKMCIKM-2013-BroccoloMOOPST #distributed
Load-sensitive selective pruning for distributed search (DB, CM, SO, IO, RP, FS, NT), pp. 379–388.
CIKMCIKM-2013-TeymorianFM #distributed #energy #query
Rank-energy selective query forwarding for distributed search systems (AYT, OF, MAM), pp. 389–398.
ECIRECIR-2013-CrestaniM #distributed #information retrieval
Distributed Information Retrieval and Applications (FC, IM), pp. 865–868.
ECIRECIR-2013-KontominasRTP #distributed #named #semantics #social
DS4: A Distributed Social and Semantic Search System (DK, PR, CT, EGMP), pp. 832–836.
ECIRECIR-2013-RichardsonC #distributed
Ranked Accuracy and Unstructured Distributed Search (SR, IJC), pp. 171–182.
ICMLICML-c1-2013-ChenC13a
Noisy and Missing Data Regression: Distribution-Oblivious Support Recovery (YC, CC), pp. 383–391.
ICMLICML-c2-2013-GopalY #distributed #modelling #scalability
Distributed training of Large-scale Logistic models (SG, YY), pp. 289–297.
ICMLICML-c3-2013-CovielloMCL #exclamation #performance
That was fast! Speeding up NN search of high dimensional distributions (EC, AM, ABC, GRGL), pp. 468–476.
ICMLICML-c3-2013-OlivaPS
Distribution to Distribution Regression (JBO, BP, JGS), pp. 1049–1057.
ICMLICML-c3-2013-SzorenyiBHOJK #algorithm #distributed #probability
Gossip-based distributed stochastic bandit algorithms (BS, RBF, IH, RO, MJ, BK), pp. 19–27.
KDDKDD-2013-ZengJZLLLSZLDLW #data mining #distributed #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.
MLDMMLDM-2013-GaoD #data mining #distributed #mining #performance #using
Improving the Efficiency of Distributed Data Mining Using an Adjustment Work Flow (JG, JD), pp. 69–83.
RecSysRecSys-2013-SchelterBSAM #distributed #matrix #pipes and filters #using
Distributed matrix factorization with mapreduce using a series of broadcast-joins (SS, CB, MS, AA, VM), pp. 281–284.
SEKESEKE-2013-DuttaAKB #approach #distributed
Virtual Medical Board: A Distributed Bayesian Agent Based Approach (S) (AD, SA, AK, SB), pp. 685–688.
SEKESEKE-2013-FortalezaJCVP #development #distributed #simulation
Improving Software Engineers’ Skills through the Simulation of Distributed Software Development in Academic Environments (LLF, OOMJ, TC, SRCV, RP), pp. 190–195.
SIGIRSIGIR-2013-AlyHD #named #using
Taily: shard selection using the tail of score distributions (RA, DH, TD), pp. 673–682.
SIGIRSIGIR-2013-FreitasFOC #approach #graph #linked data #natural language #open data #query #semantics
Answering natural language queries over linked data graphs: a distributional semantics approach (AF, FFdF, SO, EC), pp. 1107–1108.
SIGIRSIGIR-2013-SchallerHE #distributed #recommendation #visitor
RecSys for distributed events: investigating the influence of recommendations on visitor plans (RS, MH, DE), pp. 953–956.
OOPSLAOOPSLA-2013-RavichandranP #distributed #multi #named
Multiverse: efficiently supporting distributed high-level speculation (KR, SP), pp. 533–552.
POPLPOPL-2013-Myers #distributed #how
How languages can save distributed computing (ACM), pp. 315–316.
RERE-2013-KrkaM #behaviour
Distributing refinements of a system-level partial behavior model (IK, NM), pp. 72–81.
SACSAC-2013-BlancoMLJ #approach #probability
A Kalman filter based approach to probabilistic gas distribution mapping (JLB, JGM, AJL, JGJ), pp. 217–222.
SACSAC-2013-GoncalvesEPSKS #distributed #network #on the
On the load balancing of virtual networks in distributed clouds (GEG, PTE, AVdAP, MAS, JK, DS), pp. 625–631.
SACSAC-2013-GrootGYNK #data-driven #distributed #modelling
Modeling I/O interference for data intensive distributed applications (SG, KG, DY, MN, MK), pp. 343–350.
SACSAC-2013-LakhlefMB #algorithm #configuration management #distributed #performance #self
Distributed and efficient algorithm for self-reconfiguration of MEMS microrobots (HL, HM, JB), pp. 560–566.
SACSAC-2013-LarrosaR #bound #constraints #distributed #optimisation
Risk-neutral bounded max-sum for distributed constraint optimization (JL, ER), pp. 92–97.
SACSAC-2013-LinCLG #approach #data-driven #distributed #learning #predict
Distributed dynamic data driven prediction based on reinforcement learning approach (SYL, KMC, CCL, NG), pp. 779–784.
SACSAC-2013-VeeraragavanBMVNM #analysis #comprehension #distributed #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.
SACSAC-2013-VivianHL #approach #development #distributed
Supporting distributed software development through context awareness on software artifacts: the DiSEN-CollaborAR approach (RLV, EHMH, GCLL), pp. 765–770.
SACSAC-2013-VukovicD #distributed #estimation #on the #security
On the security of distributed power system state estimation under targeted attacks (OV, GD), pp. 666–672.
SACSAC-2013-WombacherI #estimation #process
Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.
ESEC-FSEESEC-FSE-2013-GarciaPSHM #distributed #identification
Identifying message flow in distributed event-based systems (JG, DP, GS, WGJH, NM), pp. 367–377.
ESEC-FSEESEC-FSE-2013-SahaDP #distributed
Distributed program tracing (DS, PD, GP), pp. 180–190.
ICSEICSE-2013-KocaguneliZBNM #development #distributed #harmful #question
Distributed development considered harmful? (EK, TZ, CB, NN, TM), pp. 882–890.
ICSEICSE-2013-LiZLXLLX #distributed #source code
A characteristic study on failures of production distributed data-parallel programs (SL, HZ, HL, TX, HL, WL, TX), pp. 963–972.
ICSEICSE-2013-PaasivaaraLDRS #agile #distributed #education #re-engineering #student #using
Teaching students global software engineering skills using distributed scrum (MP, CL, DD, PR, AS), pp. 1128–1137.
ASPLOSASPLOS-2013-HuntBCG #distributed #named #nondeterminism
DDOS: taming nondeterminism in distributed systems (NH, TB, LC, SDG), pp. 499–508.
HPCAHPCA-2013-LiZL #distributed #generative
Enabling distributed generation powered sustainable high-performance data center (CL, RZ, TL), pp. 35–46.
HPDCHPDC-2013-SuAWMWA #dataset #distributed #using
Taming massive distributed datasets: data sampling using bitmap indices (YS, GA, JW, KM, JW, JPA), pp. 13–24.
LCTESLCTES-2013-MehiaouiWPMNZBLG #clustering #distributed #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.
PPoPPPPoPP-2013-FriedleyHBLM #distributed #manycore #memory management #performance #programming
Ownership passing: efficient distributed memory programming on multi-core systems (AF, TH, GB, AL, CCM), pp. 177–186.
PPoPPPPoPP-2013-MorozovW #distributed
Distributed merge trees (DM, GHW), pp. 93–102.
SOSPSOSP-2013-BalakrishnanMWWPWDRZZ #data type #distributed #named
Tango: distributed data structures over a shared log (MB, DM, TW, MW, VP, MW, JDD, SR, TZ, AZ), pp. 325–340.
SOSPSOSP-2013-OusterhoutWZS #distributed #latency #named #scheduling
Sparrow: distributed, low latency scheduling (KO, PW, MZ, IS), pp. 69–84.
SOSPSOSP-2013-ZhangPZSAL #latency #transaction
Transaction chains: achieving serializability with low latency in geo-distributed storage systems (YZ, RP, SZ, YS, MKA, JL), pp. 276–291.
CAVCAV-2013-BinghamBEG #concurrent #distributed #model checking
Distributed Explicit State Model Checking of Deadlock Freedom (BDB, JDB, JE, MRG), pp. 235–241.
CAVCAV-2013-ColangeBKT #diagrams #distributed #model checking #towards #using
Towards Distributed Software Model-Checking Using Decision Diagrams (MC, SB, FK, YTM), pp. 830–845.
CSLCSL-2013-Kuusisto #automaton #distributed #logic #message passing
Modal Logic and Distributed Message Passing Automata (AK), pp. 452–468.
CSLCSL-2013-Maruyama #category theory #monad
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad (YM), pp. 500–520.
ICLPICLP-J-2013-ArbelaezTC #parallel #predict #runtime #satisfiability #using
Using sequential runtime distributions for the parallel speedup prediction of SAT local search (AA, CT, PC), pp. 625–639.
ICLPICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #execution #specification
A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.
ICTSSICTSS-2013-GastonHG #distributed #framework #implementation
An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.
ISSTAISSTA-2013-GuiSLSDW #model checking #predict #reliability #testing
Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.
CBSECBSE-2012-Manna #component #distributed
Local dynamic update for component-based distributed systems (VPLM), pp. 167–176.
QoSAQoSA-2012-Montresor #challenge #design #distributed
Designing extreme distributed systems: challenges and opportunities (AM), pp. 1–2.
CASECASE-2012-MerzFV #automation #distributed #industrial #runtime
Dynamic redeployment of control software in distributed industrial automation systems during runtime (MM, TF, BVH), pp. 863–868.
DACDAC-2012-BathenD #distributed #hybrid #named
HaVOC: a hybrid memory-aware virtualization layer for on-chip distributed ScratchPad and non-volatile memories (LADB, ND), pp. 447–452.
DATEDATE-2012-AnagnostopoulosBKS #distributed #divide and conquer #manycore #runtime
A divide and conquer based distributed run-time mapping methodology for many-core platforms (IA, AB, GK, DS), pp. 111–116.
DATEDATE-2012-GanPGM #design #distributed #flexibility #realtime #robust
Robust and flexible mapping for real-time distributed applications during the early design phases (JG, PP, FG, JM), pp. 935–940.
DATEDATE-2012-JiangEP #co-evolution #communication #constraints #design #distributed #embedded #realtime #security
Co-design techniques for distributed real-time embedded systems with communication security constraints (KJ, PE, ZP), pp. 947–952.
DATEDATE-2012-MiryalaCMP #analysis #network
IR-drop analysis of graphene-based power distribution networks (SM, AC, EM, MP), pp. 81–86.
DATEDATE-2012-RajeevMR #architecture #constraints #distributed #embedded #verification
Verifying timing synchronization constraints in distributed embedded architectures (ACR, SM, SR), pp. 200–205.
DATEDATE-2012-SassoneCMMPGMBR #dependence #network
Investigating the effects of Inverted Temperature Dependence (ITD) on clock distribution networks (AS, AC, AM, EM, MP, RG, VM, EB, SR), pp. 165–166.
DATEDATE-2012-WernerOGHB #configuration management #distributed #manycore
Virtualized on-chip distributed computing for heterogeneous reconfigurable multi-core systems (SW, OO, DG, MH, JB), pp. 280–283.
PODSPODS-2012-HuangYZ #algorithm #distributed #random
Randomized algorithms for tracking distributed count, frequencies, and ranks (ZH, KY, QZ), pp. 295–306.
PODSPODS-2012-IndykLR #approximate #testing
Approximating and testing k-histogram distributions in sub-linear time (PI, RL, RR), pp. 15–22.
PODSPODS-2012-LiuRV #distributed
Continuous distributed counting for non-monotonic streams (ZL, BR, MV), pp. 307–318.
SIGMODSIGMOD-2012-EngleLXZFSS #data analysis #distributed #memory management #named #performance #using
Shark: fast data analysis using coarse-grained distributed memory (CE, AL, RX, MZ, MJF, SS, IS), pp. 689–692.
SIGMODSIGMOD-2012-GiatrakosDGSS #data type #distributed #geometry #monitoring #predict
Prediction-based geometric monitoring over distributed data streams (NG, AD, MNG, IS, AS), pp. 265–276.
SIGMODSIGMOD-2012-KimPSLDC #clustering #distributed #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.
SIGMODSIGMOD-2012-ShuteOEHRSVWCJLT #distributed #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.
SIGMODSIGMOD-2012-ThomsonDWRSA #database #distributed #named #performance #transaction
Calvin: fast distributed transactions for partitioned database systems (AT, TD, SCW, KR, PS, DJA), pp. 1–12.
SIGMODSIGMOD-2012-ZhouBL #clustering #distributed
Advanced partitioning techniques for massively distributed computation (JZ, NB, WL), pp. 13–24.
VLDBVLDB-2012-FanWW #distributed #performance #query #reachability
Performance Guarantees for Distributed Reachability Queries (WF, XW, YW), pp. 1304–1315.
VLDBVLDB-2012-LiuRLMB #constraints #declarative #distributed #framework #named #optimisation
Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
VLDBVLDB-2012-LowGKBGH #distributed #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.
VLDBVLDB-2012-LuoLZCG #distributed #keyword #named #network
DISKs: A System for Distributed Spatial Group Keyword Search on Road Networks (SL, YL, SZ, GC, JG), pp. 1966–1969.
VLDBVLDB-2012-PapapetrouGD #data type #distributed #query #sketching
Sketch-based Querying of Distributed Sliding-Window Data Streams (OP, MNG, AD), pp. 992–1003.
VLDBVLDB-2012-SowellGS #distributed #multi #named #scalability
Minuet: A Scalable Distributed Multiversion B-Tree (BS, WMG, MAS), pp. 884–895.
VLDBVLDB-2013-ZhouMRLHILS12 #distributed
Distributed Time-aware Provenance (WZ, SM, YR, YL, AH, ZGI, BTL, MS), pp. 49–60.
CSEETCSEET-2012-AlmeidaLFLRWYYY #case study #development #distributed #education #experience
Teaching Globally Distributed Software Development: An Experience Report (ESdA, DL, SRF, CL, ZR, DMW, JY, MY, LY), pp. 105–109.
FASEFASE-2012-Aalst #consistency #distributed #process
Distributed Process Discovery and Conformance Checking (WMPvdA), pp. 1–25.
FoSSaCSFoSSaCS-2012-GlabbeekGS #on the #petri net
On Distributability of Petri Nets — (Extended Abstract) (RJvG, UG, JWSU), pp. 331–345.
CSMRCSMR-2012-Izquierdo-Cortazar #comprehension #debugging #distributed #process
Global and Geographically Distributed Work Teams: Understanding the Bug Fixing Process and Potentially Bug-prone Activity Patterns (DIC), pp. 505–508.
ICSMEICSM-2012-BavotaQOLB #analysis #empirical #maintenance #smell #testing
An empirical analysis of the distribution of unit test smells and their impact on software maintenance (GB, AQ, RO, ADL, DB), pp. 56–65.
MSRMSR-2012-BirdN #development #distributed #open source #scalability #what
Who? Where? What? Examining distributed development in two large open source projects (CB, NN), pp. 237–246.
MSRMSR-2012-Rodriguez-BustosA #distributed #how #open source #version control
How Distributed Version Control Systems impact open source software projects (CRB, JA), pp. 36–39.
SASSAS-2012-EmmiL #distributed #source code
Finding Non-terminating Executions in Distributed Asynchronous Programs (ME, AL), pp. 439–455.
STOCSTOC-2012-DaskalakisDS #learning
Learning poisson binomial distributions (CD, ID, RAS), pp. 709–728.
STOCSTOC-2012-WoodruffZ #bound #distributed #functional #monitoring
Tight bounds for distributed functional monitoring (DPW, QZ), pp. 941–960.
ICALPICALP-v1-2012-BringmannP #performance
Efficient Sampling Methods for Discrete Distributions (KB, KP), pp. 133–144.
ICALPICALP-v1-2012-HsuKR #distributed
Distributed Private Heavy Hitters (JH, SK, AR), pp. 461–472.
ICALPICALP-v2-2012-BernsHP #algorithm #distributed #metric
Super-Fast Distributed Algorithms for Metric Facility Location (AB, JH, SVP), pp. 428–439.
ICALPICALP-v2-2012-Honda #distributed
Session Types and Distributed Computing (KH), p. 23.
ICALPICALP-v2-2012-PelegRT #algorithm #distributed #network
Distributed Algorithms for Network Diameter and Girth (DP, LR, ET), pp. 660–672.
LATALATA-2012-DennunzioFP #automaton #complexity
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata (AD, EF, JP), pp. 204–215.
LATALATA-2012-Yoshinaka #context-free grammar #integration #learning
Integration of the Dual Approaches in the Distributional Learning of Context-Free Grammars (RY), pp. 538–550.
FMFM-2012-HieronsMN #distributed #order #testing #using
Using Time to Add Order to Distributed Testing (RMH, MGM, MN), pp. 232–246.
FMFM-2012-SibayUBK
Distribution of Modal Transition Systems (GES, SU, VAB, JK), pp. 403–417.
CHICHI-2012-BardramGHN #collaboration #distributed #named
ReticularSpaces: activity-based computing support for physically distributed and collaborative smart spaces (JB, SG, SH, SN), pp. 2845–2854.
CHICHI-2012-FisherCK #distributed
Distributed sensemaking: improving sensemaking by leveraging the efforts of previous users (KF, SC, AK), pp. 247–256.
CHICHI-2012-MullerC #agile #collaboration #distributed
Brainstorming for Japan: rapid distributed global collaboration for disaster response (MM, SC), pp. 2727–2730.
CHICHI-2012-VoidaBOOD #distributed
Cross-cutting faultlines of location and shared identity in the intergroup cooperation of partially distributed groups (AV, NB, JSO, GMO, LD), pp. 3101–3110.
CSCWCSCW-2012-BarksdaleICHJRV #distributed #thread #video
Video threads: asynchronous video sharing for temporally distributed teams (JTB, KI, MC, AH, PJ, AR, GV), pp. 1101–1104.
CSCWCSCW-2012-EhrlichC #analysis #communication #development #distributed #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.
CSCWCSCW-2012-GenestG #communication #distributed #effectiveness #gesture #visualisation
Evaluating the effectiveness of height visualizations for improving gestural communication at distributed tabletops (AG, CG), pp. 519–528.
CSCWCSCW-2012-LiRM #collaboration #distributed
Distributed scientific group collaboration across biocontainment barriers (JL, TR, CMT), pp. 1247–1256.
CSCWCSCW-2012-NobaranyHF #approach #collaboration #distributed #process #reuse
Facilitating the reuse process in distributed collaboration: a distributed cognition approach (SN, MH, BDF), pp. 1223–1232.
CSCWCSCW-2012-OrenG #distributed #named
ConvoCons: a tool for building affinity among distributed team members (MAO, SBG), pp. 1213–1222.
CSCWCSCW-2012-PentlandHK #consistency #distance #distributed
Awareness as an antidote to distance: making distributed groups cooperative and consistent (AP, PH, TK), pp. 1237–1246.
AdaEuropeAdaEurope-2012-Garcia-VallsI #ada #configuration management #distributed #middleware #realtime
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA (MGV, FIV), pp. 35–48.
CAiSECAiSE-2012-BoerLBGAGTBAA #distributed #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.
ICEISICEIS-v1-2012-Castanon-PugaGFJC #distributed #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.
ICEISICEIS-v1-2012-Torres-RiberoQ #adaptation #collaboration
Adaptive Data Distribution for Collaboration (LGTR, APQ), pp. 157–162.
CIKMCIKM-2012-BahmaniGS #distributed #locality #performance
Efficient distributed locality sensitive hashing (BB, AG, RS), pp. 2174–2178.
CIKMCIKM-2012-BohmMNW #distributed #named
LINDA: distributed web-of-data-scale entity matching (CB, GdM, FN, GW), pp. 2104–2108.
CIKMCIKM-2012-CaballeroBA #detection #topic
The generalized dirichlet distribution in enhanced topic detection (KLCE, JB, RA), pp. 773–782.
CIKMCIKM-2012-CamposDJN #approach #higher-order #identification #named #web
GTE: a distributional second-order co-occurrence approach to improve the identification of top relevant dates in web snippets (RC, GD, AJ, CN), pp. 2035–2039.
CIKMCIKM-2012-Cummins #on the #precise
On the inference of average precision from score distributions (RC), pp. 2435–2438.
CIKMCIKM-2012-LeeH #distributed #robust
Robust distributed indexing for locality-skewed workloads (MWL, SwH), pp. 1342–1351.
CIKMCIKM-2012-TeymorianQF #distributed #energy #named #query
RESQ: rank-energy selective query forwarding for distributed search systems (AYT, XQ, OF), pp. 2579–2582.
CIKMCIKM-2012-ZhukovskiyVPOGGSR #empirical #graph #validation #web
Empirical validation of the buckley-osthus model for the web host graph: degree and edge distributions (MZ, DV, YP, LO, EG, GG, PS, AMR), pp. 1577–1581.
ECIRECIR-2012-CumminsO #information retrieval #on the
On Theoretically Valid Score Distributions in Information Retrieval (RC, CO), pp. 451–454.
ECIRECIR-2012-DaiPKA
Extended Expectation Maximization for Inferring Score Distributions (KD, VP, EK, JAA), pp. 293–304.
ECIRECIR-2012-JonassenB #concurrent #distributed #pipes and filters #retrieval
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval (SJ, SEB), pp. 413–425.
ICMLICML-2012-LiuI #distributed #estimation #parametricity #pseudo
Distributed Parameter Estimation via Pseudo-likelihood (QL, ATI), p. 182.
ICMLICML-2012-Petrik #approximate #bound #programming #robust
Approximate Dynamic Programming By Minimizing Distributionally Robust Bounds (MP), p. 207.
ICMLICML-2012-PlessisS #learning
Semi-Supervised Learning of Class Balance under Class-Prior Change by Distribution Matching (MCdP, MS), p. 159.
ICMLICML-2012-ZanzottoD #distributed #kernel
Distributed Tree Kernels (FMZ, LD), p. 20.
ICPRICPR-2012-BoulmerkaA #segmentation #using
Thresholding-based segmentation revisited using mixtures of generalized Gaussian distributions (AB, MSA), pp. 2894–2897.
ICPRICPR-2012-LiVBB #clustering #learning #using
Feature learning using Generalized Extreme Value distribution based K-means clustering (ZL, OV, HB, RB), pp. 1538–1541.
ICPRICPR-2012-MaedaNI #image #modelling
Surface matching by curvature distribution images generated via gaze modeling (MM, TN, KI), pp. 2194–2197.
ICPRICPR-2012-NiigakiSM #detection #using
Circular object detection based on separability and uniformity of feature distributions using Bhattacharyya Coefficient (HN, JS, MM), pp. 2009–2012.
ICPRICPR-2012-RadtkeGSG #adaptation
Adaptive selection of ensembles for imbalanced class distributions (PVWR, EG, RS, DOG), pp. 2980–2984.
ICPRICPR-2012-XuanSCS #algorithm #using
An Enhanced EM algorithm using maximum entropy distribution as initial condition (GX, YQS, PC, PS), pp. 849–852.
ICPRICPR-2012-ZhangLXL #difference #gesture #recognition
Gesture recognition based on depth difference distribution (PZ, TL, HX, LL), pp. 157–160.
ICPRICPR-2012-ZhangWN #detection #feature model #student
Bayesian feature selection and model detection for student’s t-mixture distributions (HZ, QMJW, TMN), pp. 1631–1634.
ICPRICPR-2012-ZhangYSP #locality
Optic disc localization by projection with vessel distribution and appearance characteristics (DZ, YY, XS, YP), pp. 3176–3179.
ICPRICPR-2012-ZhouS #distributed #energy
Spatiotemporal saliency based on distributed opponent oriented energy (YZ, KS), pp. 2021–2024.
KDDKDD-2012-ChattopadhyayWFDPY #probability
Batch mode active sampling based on marginal probability distribution matching (RC, ZW, WF, ID, SP, JY), pp. 741–749.
KDDKDD-2012-SindhwaniG #distributed #learning #scalability #taxonomy
Large-scale distributed non-negative sparse coding and sparse dictionary learning (VS, AG), pp. 489–497.
KDDKDD-2012-StantonK #clustering #distributed #graph #scalability #streaming
Streaming graph partitioning for large distributed graphs (IS, GK), pp. 1222–1230.
KMISKMIS-2012-MartinsCJ #architecture #collaboration #distributed #ontology #repository
Architecture of a Collaborative Business Intelligence Environment based on an Ontology Repository and Distributed Data Services (VAM, JPCLdC, RTdSJ), pp. 99–106.
RecSysRecSys-2012-Herbrich #distributed #learning #online #realtime
Distributed, real-time bayesian learning in online services (RH), pp. 203–204.
SEKESEKE-2012-DagninoSR #fault #machine learning #using
Forecasting Fault Events in Power Distribution Grids Using Machine Learning (AD, KS, LR), pp. 458–463.
SEKESEKE-2012-MireslamiMF #behaviour #detection #distributed
Detecting Emergent Behavior in Distributed Systems Caused by Overgeneralization (SM, MM, BHF), pp. 70–73.
SIGIRSIGIR-2012-Cummins #modelling #monte carlo #performance #predict #simulation #using
Investigating performance predictors using monte carlo simulation and score distribution models (RC), pp. 1097–1098.
SIGIRSIGIR-2012-JunqueiraLM #distributed #replication
Reactive index replication for distributed search engines (FPJ, VL, MM), pp. 831–840.
OOPSLAOOPSLA-2012-LiuSLG #algorithm #distributed #performance
From clarity to efficiency for distributed algorithms (YAL, SDS, BL, MG), pp. 395–410.
OOPSLAOOPSLA-2012-LucasER #detection #distributed #problem #sequence
Detecting problematic message sequences and frequencies in distributed systems (CL, SGE, DSR), pp. 915–926.
PPDPPPDP-2012-LopezCC #declarative #distributed #experience #industrial
Declarative distributed advertisement system for iDTV: an industrial experience (ML, LMC, DC), pp. 185–194.
PADLPADL-2012-Coleman #classification #distributed #policy #specification
Distributed Policy Specification and Interpretation with Classified Advertisements (NC), pp. 198–211.
SACSAC-2012-FahmyRJ #implementation #interface #kernel #linux #programming #realtime #scheduling #thread
Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support (SFF, BR, EDJ), pp. 1771–1778.
SACSAC-2012-FreitasCO #approach #linked data #open data #semantics #web
A distributional approach for terminological semantic search on the Linked Data Web (AF, EC, SO), pp. 384–391.
SACSAC-2012-KhucSRR #analysis #distributed #scalability #sentiment #towards #twitter
Towards building large-scale distributed systems for twitter sentiment analysis (VNK, CS, RR, JR), pp. 459–464.
SACSAC-2012-MoraisC #ad hoc #detection #distributed #network
A distributed intrusion detection scheme for wireless ad hoc networks (ANPM, ARC), pp. 556–562.
SACSAC-2012-NeumannC #algorithm #estimation
Introducing intervention targeting into estimation of distribution algorithms (GN, DC), pp. 220–225.
SACSAC-2012-ProencaCVA #coordination #distributed #framework #named
Dreams: a framework for distributed synchronous coordination (JP, DC, EPdV, FA), pp. 1510–1515.
SACSAC-2012-SakkopoulosPSTPS #deployment #distributed #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.
SACSAC-2012-SalaunEPBC #distributed #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.
ICSEICSE-2012-CavrakOC #collaboration #development #distributed
Collaboration patterns in distributed software development projects (IC, MO, IC), pp. 1235–1244.
ICSEICSE-2012-Imtiaz #architecture #distributed #perspective #traceability
Architectural task allocation in distributed environment: A traceability perspective (SI), pp. 1515–1518.
ICSEICSE-2012-KumarKRL #distributed #specification
Inferring class level specifications for distributed systems (SK, SCK, AR, DL), pp. 914–924.
ICSEICSE-2012-RamasubbuB #challenge #distributed #estimation
Overcoming the challenges in cost estimation for distributed software projects (NR, RKB), pp. 91–101.
HPDCHPDC-2012-DelamareFKL #distributed #named #using
SpeQuloS: a QoS service for BoT applications using best effort distributed computing infrastructures (SD, GF, DK, OL), pp. 173–186.
HPDCHPDC-2012-HefeedaGA #approximate #clustering #dataset #distributed #scalability
Distributed approximate spectral clustering for large-scale datasets (MH, FG, WAA), pp. 223–234.
OSDIOSDI-2012-CorbettDEFFFGGHHHKKLLMMNQRRSSTWW #database #named
Spanner: Google’s Globally-Distributed Database (JCC, JD, ME, AF, CF, JJF, SG, AG, CH, PH, WCH, SK, EK, HL, AL, SM, DM, DN, SQ, RR, LR, YS, MS, CT, RW, DW), pp. 261–264.
OSDIOSDI-2012-GonzalezLGBG #distributed #graph #named
PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs (JEG, YL, HG, DB, CG), pp. 17–30.
OSDIOSDI-2012-NarayanH #database #distributed #named #query
DJoin: Differentially Private Join Queries over Distributed Databases (AN, AH), pp. 149–162.
CSLCSL-2012-Abiteboul #distributed #web
Sharing Distributed Knowledge on the Web (Invited Talk) (SA), pp. 6–8.
ICLPICLP-2012-Peano #approach
An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System (AP), pp. 464–468.
ICSTICST-2012-DustmannSW #distributed #testing
Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
ICSTICST-2012-GrooteOW #formal method #using
Analyzing a Controller of a Power Distribution Unit Using Formal Methods (JFG, AO, JHW), pp. 420–428.
ICSTICST-2012-KimKR #approach #distributed #empirical #evaluation #scalability #testing
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation (MK, YK, GR), pp. 340–349.
ICTSSICTSS-2012-HiromoriUYH #evaluation #performance #protocol #testing
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution (AH, TU, HY, TH), pp. 231–246.
ICTSSICTSS-2012-LahamiFKJ #adaptation #distributed #runtime #testing #towards
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems (ML, FF, MK, MJ), pp. 71–86.
ICTSSICTSS-2012-LahamiKBJ #adaptation #architecture #design #distributed #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.
IJCARIJCAR-2012-AnantharamanELNR #unification
Unification Modulo Synchronous Distributivity (SA, SE, CL, PN, MR), pp. 14–29.
IJCARIJCAR-2012-MarshallN #algorithm #unification
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants (AMM, PN), pp. 408–422.
LICSLICS-2012-PierardS #calculus #distributed #higher-order
A Higher-Order Distributed Calculus with Name Creation (AP, ES), pp. 531–540.
ICSTSAT-2012-BalintS #probability
Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break (AB, US), pp. 16–29.
CBSECBSE-2011-AbdellatifSRL #automation #component #data flow #distributed
Automating information flow control in component-based distributed systems (TA, LS, RR, YL), pp. 73–82.
CBSECBSE-2011-OtteGS #component #deployment #distributed #embedded #enterprise #predict #realtime
Predictable deployment in component-based enterprise distributed real-time and embedded systems (WO, ASG, DCS), pp. 21–30.
CBSECBSE-2011-TambeG #component #distributed #embedded #realtime #using
Rectifying orphan components using group-failover in distributed real-time and embedded systems (ST, ASG), pp. 139–148.
WICSAWICSA-2011-BaresiG #architecture #component #coordination #distributed #named
A-3: An Architectural Style for Coordinating Distributed Components (LB, SG), pp. 161–170.
WICSAWICSA-2011-BordeCFLLMPS #component #development #distributed #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.
ASEASE-2011-BrosigHK #architecture #automation #component #distributed #modelling #performance
Automated extraction of architecture-level performance models of distributed component-based systems (FB, NH, SK), pp. 183–192.
ASEASE-2011-LeungwattanakitAHTY #distributed #model checking #process
Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.
CASECASE-2011-CatalanSBRC #communication #distributed
Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499 (CC, FS, AB, JMR, JMC), pp. 767–772.
CASECASE-2011-CostantinoDFFMSU #approach #design #fuzzy #network #programming
A fuzzy programming approach for the strategic design of distribution networks (NC, MD, MF, MPF, AMM, FS, WU), pp. 66–71.
CASECASE-2011-FantiSU #constraints #problem #scheduling #symmetry #using
Solving scheduling problems in distribution centers using symmetry breaking constraints (MPF, GS, WU), pp. 58–65.
CASECASE-2011-Hackbarth #communication #distributed #memory management #self
Self-organizing warehouse management based on communicating distributed memory tags (FH), pp. 232–237.
CASECASE-2011-KalyanasundaramLR #combinator #distributed #resource management
Fail-Stop Distributed Combinatorial Auctioning Systems with fair resource allocation (AK, RAKL, SR), pp. 181–188.
CASECASE-2011-MikosFG #agile #approach #distributed #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.
CASECASE-2011-SchererCC #distributed #linear #modelling #network
Transfer function modeling of linear dynamic networks for distributed MPC (HFS, EC, AC), pp. 613–618.
CASECASE-2011-VasilePB #distributed #interactive
Integrating human swarm interaction in a distributed robotic control system (CIV, AP, CB), pp. 743–748.
DACDAC-2011-DeOrioABP #architecture #distributed #manycore #named
DRAIN: distributed recovery architecture for inaccessible nodes in multi-core chips (AD, KA, VB, LSP), pp. 912–917.
DACDAC-2011-HsuSPCH #algorithm #distributed #geometry #layout
A distributed algorithm for layout geometry operations (KTH, SS, YCP, CC, TYH), pp. 182–187.
DACDAC-2011-HuG #distributed #grid #synthesis
Distributed Resonant clOCK grid Synthesis (ROCKS) (XH, MRG), pp. 516–521.
DACDAC-2011-WuWFT #distributed #manycore #scheduling #simulation
A high-parallelism distributed scheduling mechanism for multi-core instruction-set simulation (MHW, PCW, CYF, RST), pp. 339–344.
DATEDATE-2011-BartoliniCTB #distributed #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.
DATEDATE-2011-BathenD #distributed #embedded #named #power management #reliability
E-RoC: Embedded RAIDs-on-Chip for low power distributed dynamically managed reliable memories (LADB, NDD), pp. 1141–1146.
DATEDATE-2011-DragomirB #architecture #configuration management
Loop distribution for K-loops on Reconfigurable Architectures (OSD, KB), pp. 1548–1553.
DATEDATE-2011-KimCY #distributed #predict #simulation
A new distributed event-driven gate-level HDL simulation by accurate prediction (DK, MJC, SY), pp. 547–550.
DATEDATE-2011-WagnerL #distributed #framework #hardware
Distributed hardware matcher framework for SoC survivability (IW, SLL), pp. 305–310.
DATEDATE-2011-ZhaoK #component #distributed
An extension to SystemC-A to support mixed-technology systems with distributed components (CZ, TJK), pp. 1278–1284.
SIGMODSIGMOD-2011-OlstonR #debugging #distributed #framework #monitoring
Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.
SIGMODSIGMOD-2011-XuKQWZ #approach #distributed #parallel
A Hadoop based distributed loading approach to parallel data warehouses (YX, PK, YQ, JW, KKZ), pp. 1091–1100.
SIGMODSIGMOD-2011-ZhouFSTHILS #declarative #distributed #framework #maintenance #named #query
NetTrails: a declarative platform for maintaining and querying provenance in distributed systems (WZ, QF, SS, TT, AH, ZGI, BTL, MS), pp. 1323–1326.
VLDBVLDB-2011-CaoSDS #distributed #monitoring #query
Distributed inference and query processing for RFID tracking and monitoring (ZC, CAS, YD, PJS), pp. 326–337.
VLDBVLDB-2011-OlstonR #debugging #distributed #framework #monitoring
Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.
VLDBVLDB-2012-RuttenbergS11 #distance #using
Indexing the Earth Mover’s Distance Using Normal Distributions (BER, AKS), pp. 205–216.
FoSSaCSFoSSaCS-2011-PierardS #bisimulation #calculus #distributed #higher-order #process
Sound Bisimulations for Higher-Order Distributed Process Calculus (AP, ES), pp. 123–137.
TACASTACAS-2011-GaravelLMS #analysis #distributed #process
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.
ICSMEICSM-2011-YousefiS #distributed #identification #mining
Identifying distributed features in SOA by mining dynamic call trees (AY, KS), pp. 73–82.
STOCSTOC-2011-GolabHW #distributed #implementation #random
Linearizable implementations do not suffice for randomized distributed computation (WMG, LH, PW), pp. 373–382.
STOCSTOC-2011-KarandeMT #online
Online bipartite matching with unknown distributions (CK, AM, PT), pp. 587–596.
STOCSTOC-2011-SarmaHKKNPPW #approximate #distributed #verification
Distributed verification and hardness of distributed approximation (ADS, SH, LK, AK, DN, GP, DP, RW), pp. 363–372.
CIAACIAA-2011-OrtizLS #automaton #distributed
Distributed Event Clock Automata — Extended Abstract (JJO, AL, PYS), pp. 250–263.
ICALPICALP-v1-2011-ChengMS #graph
Center Stable Matchings and Centers of Cover Graphs of Distributive Lattices (CTC, EM, IS), pp. 678–689.
ICALPICALP-v2-2011-ChlebusKPR #ad hoc #communication #distributed #network #performance
Efficient Distributed Communication in Ad-Hoc Radio Networks (BSC, DRK, AP, MAR), pp. 613–624.
ICALPICALP-v2-2011-HalldorssonM #bound #distributed #scheduling
Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model (MMH, PM), pp. 625–636.
LATALATA-2011-AcetoCIMR
Rule Formats for Distributivity (LA, MC, AI, MRM, MAR), pp. 80–91.
LATALATA-2011-Huschenbett #distributed #logic #modelling #multi
Models for Quantitative Distributed Systems and Multi-Valued Logics (MH), pp. 310–322.
FMFM-2011-LoosPN #adaptation #distributed #hybrid
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (SML, AP, LN), pp. 42–56.
SEFMSEFM-2011-HafaiedhGM #distributed #implementation #interactive #multi
Distributed Implementation of Systems with Multiparty Interactions and Priorities (IBH, SG, NM), pp. 38–57.
SEFMSEFM-2011-HildebrandtMS #declarative #process
Safe Distribution of Declarative Processes (TTH, RRM, TS), pp. 237–252.
SFMSFM-2011-BlairPGG #distributed
Interoperability in Complex Distributed Systems (GSB, MP, PG, NG), pp. 1–26.
ICFPICFP-2011-SwamyCFSBY #dependent type #distributed #programming
Secure distributed programming with value-dependent types (NS, JC, CF, PYS, KB, JY), pp. 266–278.
IFLIFL-2011-MaierT #haskell #implementation #parallel
Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell (PM, PWT), pp. 35–50.
GT-VMTGT-VMT-2011-Krause #automaton #distributed
Distributed Port Automata (CK).
CHICHI-2011-AragonW #collaboration #distributed
Collaborative creativity: a complex systems model with distributed affect (CRA, AW), pp. 1875–1884.
CHICHI-2011-BaumerT #analysis #distributed #process #video
Comparing activity theory with distributed cognition for video analysis: beyond “kicking the tires” (EPSB, BT), pp. 133–142.
CHICHI-2011-CostaCS #collaboration #coordination #distributed #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.
CHICHI-2011-GuillorySDWDH #distributed
Upset now?: emotion contagion in distributed groups (JG, JS, MD, BW, WD, JTH), pp. 745–748.
CHICHI-2011-ScissorsSIRS #behaviour #collaboration #distributed #editing #realtime
Real-time collaborative editing behavior in USA and Japanese distributed teams (LES, NSS, TI, SLR, SS), pp. 1119–1128.
CSCWCSCW-2011-GuibourdencheVGFH #distributed #multi #process #product line #using
Using multiple scores for transcribing the distributed activities of a family (JG, JVR, MG, MF, YH), pp. 637–640.
CSCWCSCW-2011-GutwinSXB #distributed
Chalk sounds: the effects of dynamic synthesized audio on workspace awareness in distributed groupware (CG, OSS, RX, SAB), pp. 85–94.
CSCWCSCW-2011-Johri #communication #distributed #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.
CSCWCSCW-2011-MarlowD #distributed
Photo sharing in diverse distributed teams (JM, LD), pp. 317–320.
CSCWCSCW-2011-YamashitaKKH #collaboration #distributed #gesture
Improving visibility of remote gestures in distributed tabletop collaboration (NY, KK, HK, KH), pp. 95–104.
HCIDUXU-v2-2011-Hofman #modelling #statistics
Range Statistics and the Exact Modeling of Discrete Non-Gaussian Distributions on Learnability Data (RH), pp. 421–430.
HCIHCI-ITE-2011-UllahLORM #case study #collaboration #distributed #interactive #what
What You Feel Is What I Do: A Study of Dynamic Haptic Interaction in Distributed Collaborative Virtual Environment (SU, XL, SO, PR, MM), pp. 140–147.
HCIIDGD-2011-GaoQ #analysis #distributed #simulation
Analysis of the Applied Pattern of Distributed Computing Used in Simulation (SfG, HQ), pp. 152–158.
AdaEuropeAdaEurope-2011-MedinaC #ada #analysis #design #distributed #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.
ICEISICEIS-J-2011-Schulte11a #collaboration #distributed #framework #information management
A Service-Oriented Framework for Distributed Collaborative Knowledge Work (JS), pp. 405–419.
ICEISICEIS-v1-2011-Kim #communication #network #using
CRL Distribution using an Alternative Communication Media for Vehicular Networks (HK), pp. 217–222.
ICEISICEIS-v1-2011-ZhuXP
A Differentiated Service based Content Distribution Method in CDN (BZ, KX, RP), pp. 576–579.
ICEISICEIS-v2-2011-LinDL #case study
A Study on the Electronic Supervision Model of Drug Distribution (ZKL, ZSD, YL), pp. 378–383.
ICEISICEIS-v2-2011-MarquezCCS #approach #distributed #multi #social
A Distributed Agency Methodology Applied to Complex Social Systems — A Multi-Dimensional Approach (BYM, MCP, JRC, EDS), pp. 204–209.
ICEISICEIS-v2-2011-ZhangZ #algorithm #optimisation #research
Research on the Route Optimization of Book Distribution based on the Tabu Search Algorithm (PZ, ZZ), pp. 125–130.
ICEISICEIS-v3-2011-BoudebousBBS #approach #design #distributed #industrial #process
Design Approach of Distributed Systems for the Control of Industrial Process (DB, JB, SB, NS), pp. 157–164.
ICEISICEIS-v3-2011-MansarWS #collaboration #design #distributed #exclamation #student
Getting to Global Yes! — Designing a Distributed Student Collaboration (SLM, RW, BGKS), pp. 229–234.
ICEISICEIS-v4-2011-LiangL #industrial #research
Research on Benefits Distribution of IOT Industry Chain (YL, XL), pp. 662–665.
ICEISICEIS-v4-2011-LiangY #enterprise #how
How to Control the Distribution Cost of the Cold Chain Logistics Enterprise (SXL, GY), pp. 716–719.
CIKMCIKM-2011-BanerjeeC #distributed #feature model #privacy #using
Privacy preserving feature selection for distributed data using virtual dimension (MB, SC), pp. 2281–2284.
CIKMCIKM-2011-BlancoCJKL #distributed #documentation
Assigning documents to master sites in distributed search (RB, BBC, FPJ, IK, VL), pp. 67–76.
CIKMCIKM-2011-KermarrecLT #distributed #graph #social
Distributed social graph embedding (AMK, VL, GT), pp. 1209–1214.
CIKMCIKM-2011-KoloniariNPS #distributed
One is enough: distributed filtering for duplicate elimination (GK, NN, EP, DS), pp. 433–442.
CIKMCIKM-2011-PillutlaRBSJ #detection #distributed
LSH based outlier detection and its application in distributed setting (MRP, NR, PB, KS, CVJ), pp. 2289–2292.
ICMLICML-2011-DekelGSX #distributed #online #predict
Optimal Distributed Online Prediction (OD, RGB, OS, LX), pp. 713–720.
KDDKDD-2011-AhmedLAJS #behaviour #distributed #scalability
Scalable distributed inference of dynamic user interests for behavioral targeting (AA, YL, MA, VJ, AJS), pp. 114–122.
KDDKDD-2011-ApplegateDKU #clustering #distance #multi #using
Unsupervised clustering of multidimensional distributions using earth mover distance (DA, TD, SK, SU), pp. 636–644.
KDDKDD-2011-Boyd #distributed #embedded #optimisation #realtime #scalability
Convex optimization: from embedded real-time to large-scale distributed (SB), p. 1.
KDDKDD-2011-GemullaNHS #distributed #matrix #probability #scalability
Large-scale matrix factorization with distributed stochastic gradient descent (RG, EN, PJH, YS), pp. 69–77.
KEODKEOD-2011-PinchukINDBP #analysis #distributed #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.
KEODKEOD-2011-Yamasaki #distributed
Sequential Knowledge Structure in Distributed System with Awareness (SY), pp. 293–298.
RecSysRecSys-2011-IsaacmanICM #distributed #predict #rating
Distributed rating prediction in user generated content streams (SI, SI, AC, MM), pp. 69–76.
RecSysRecSys-2011-KorenS #named #personalisation #predict #rating
OrdRec: an ordinal model for predicting personalized item rating distributions (YK, JS), pp. 117–124.
SEKESEKE-2011-Collazo-MojicaS #distributed #metamodelling
A Metamodel for Distributed Ensembles of Virtual Appliances (XJCM, SMS), pp. 560–565.
SEKESEKE-2011-LiuGCJ #architecture #design #distributed #grid #power management #realtime
Designing a Distributed Systems Architecture Testbed for Real-Time Power Grid Systems (YL, IG, YC, SJ), pp. 268–271.
SIGIRSIGIR-2011-FeildAG #distributed #named
CrowdLogging: distributed, private, and anonymous search logging (HAF, JA, JG), pp. 375–384.
SIGIRSIGIR-2011-JethavaCBBD #identification #multi #scalability #using
Scalable multi-dimensional user intent identification using tree structured distributions (VJ, LCB, RABY, CB, DPD), pp. 395–404.
SIGIRSIGIR-2011-Markov #distributed #documentation #information retrieval #modelling
Modeling document scores for distributed information retrieval (IM), pp. 1321–1322.
SIGIRSIGIR-2011-XueC #modelling #query #set
Modeling subset distributions for verbose queries (XX, WBC), pp. 1133–1134.
ECMFAECMFA-2011-EllnerADJKP #distributed #execution #modelling #process
A FUML-Based Distributed Execution Machine for Enacting Software Process Models (RE, SAH, JD, MJ, DK, MP), pp. 19–34.
MODELSMoDELS-2011-AbedK #aspect-oriented #distributed #modelling
Aspect-Oriented Modelling for Distributed Systems (WAA, JK), pp. 123–137.
MODELSMoDELS-2011-AbedK #aspect-oriented #distributed #modelling
Aspect-Oriented Modelling for Distributed Systems (WAA, JK), pp. 123–137.
TOOLSTOOLS-EUROPE-2011-WelschS #distributed #object-oriented #programming
Location Types for Safe Distributed Object-Oriented Programming (YW, JS), pp. 194–210.
GPCEGPCE-J-2009-McGacheyHM11 #java
Class Transformations for Transparent Distribution of Java Applications (PM, ALH, JEBM), pp. 204–238.
GPCEGPCE-2011-SlattenKH #automation #case study #distributed #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.
PPDPPPDP-2011-NigamJLS #distributed #incremental #logic programming #maintenance #source code
Maintaining distributed logic programs incrementally (VN, LJ, BTL, AS), pp. 125–136.
SACSAC-2011-CherifIR #collaboration #data access #distributed #editing
Optimistic access control for distributed collaborative editors (AC, AI, MR), pp. 861–868.
SACSAC-2011-FuPT #clustering #distributed #framework #named
CluB: a cluster based framework for mitigating distributed denial of service attacks (ZF, MP, PT), pp. 520–527.
SACSAC-2011-GrootGK #data-driven #distributed #towards
Towards improved load balancing for data intensive distributed computing (SG, KG, MK), pp. 139–146.
SACSAC-2011-HorieMC #distributed #weaving
Distributed dynamic weaving is a crosscutting concern (MH, SM, SC), pp. 1353–1360.
SACSAC-2011-HummerLD #distributed #named #web #web service
WS-Aggregation: distributed aggregation of web services data (WH, PL, SD), pp. 1590–1597.
SACSAC-2011-LinTBBK #component #configuration management #distributed #evolution #programming
Transparent componentisation: high-level (re)configurable programming for evolving distributed systems (SL, FT, MB, GSB, AMK), pp. 203–208.
SACSAC-2011-RyengHN #distributed #semantics
Site-autonomous distributed semantic caching (NHR, JOH, KN), pp. 1015–1021.
SACSAC-2011-SchryenVRH #approach #distributed #formal method #towards #trust
A formal approach towards measuring trust in distributed systems (GS, MV, SR, SMH), pp. 1739–1745.
SACSAC-2011-ZellerWEK #adaptation #approach #distributed #embedded #self
An approach for providing dependable self-adaptation in distributed embedded systems (MZ, GW, DE, RK), pp. 236–237.
ESEC-FSEESEC-FSE-2011-MaBGML #component #configuration management #distributed
Version-consistent dynamic reconfiguration of component-based distributed systems (XM, LB, CG, VPLM, JL), pp. 245–255.
ICSEICSE-2011-Kumar #concurrent #distributed #mining #specification
Specification mining in concurrent and distributed systems (SK), pp. 1086–1089.
ICSEICSE-2011-Kumar11a #concurrent #distributed #mining #specification
Specification mining in concurrent and distributed systems (SK), pp. 1161–1163.
ICSEICSE-2011-ManganoDLH #design #distributed #sketching
A demonstration of a distributed software design sketching tool (NM, MD, NL, AvdH), pp. 1028–1030.
ICSEICSE-2011-Tiako #development #distributed #framework
Perspectives of delegation in team-based distributed software development over the GENI infrastructure (PFT), pp. 796–799.
CGOCGO-2011-GreathouseLAB #analysis #data flow #distributed #scalability
Highly scalable distributed dataflow analysis (JLG, CL, TMA, VB), pp. 277–288.
HPCAHPCA-2011-RobatmiliGBK #distributed
Exploiting criticality to reduce bottlenecks in distributed uniprocessors (BR, MSSG, DB, SWK), pp. 431–442.
HPDCHPDC-2011-BalkirFR #architecture #distributed #mining #pipes and filters #using
A distributed look-up architecture for text mining applications using mapreduce (ASB, ITF, AR), pp. 279–280.
HPDCHPDC-2011-SaadR #distributed #framework #memory management #named #performance #transaction
HyFlow: a high performance distributed software transactional memory framework (MMS, BR), pp. 265–266.
HPDCHPDC-2011-YooLKK #distributed #named #parallel
InContext: simple parallelism for distributed applications (SY, HL, CEK, MK), pp. 97–108.
SOSPSOSP-2011-ErlingssonPPB #clustering #distributed #kernel #named
Fay: extensible distributed tracing from kernels to clusters (ÚE, MP, SP, MB), pp. 311–326.
SOSPSOSP-2011-LenersWHAW #detection #distributed #network
Detecting failures in distributed systems with the Falcon spy network (JBL, HW, WLH, MKA, MW), pp. 279–294.
CAVCAV-2011-KatzPS #distributed #synthesis
Synthesis of Distributed Control through Knowledge Accumulation (GK, DP, SS), pp. 510–525.
ICLPICLP-J-2011-CattafiGNAF #network
Optimal placement of valves in a water distribution network with CLP(FD) (MC, MG, MN, SA, MF), pp. 731–747.
ICTSSICTSS-2011-CavalcantiGH #consistency #csp #distributed #testing
Conformance Relations for Distributed Testing Based on CSP (AC, MCG, RMH), pp. 48–63.
LICSLICS-2011-AckermanFR
Noncomputable Conditional Distributions (NLA, CEF, DMR), pp. 107–116.
VMCAIVMCAI-2011-LopesR #distributed #model checking #predict
Distributed and Predictable Software Model Checking (NPL, AR), pp. 340–355.
ECSAECSA-2010-PhoomvuthisarnLZ #approach #architecture #distributed
An Architectural Approach to Composing Reputation-Based Distributed Services (SP, YL, LZ), pp. 133–149.
ECSAECSA-2010-Phung-KhacGSBK #architecture #data transfer #distributed #evolution #modelling #runtime
Modelling Changes and Data Transfers for Architecture-Based Runtime Evolution of Distributed Applications (APK, JMG, MTS, AB, EK), pp. 392–400.
ASEASE-2010-MelissonMRRS #architecture #component #configuration management #distributed #runtime
Reconfigurable run-time support for distributed service component architectures (RM, PM, DR, RR, LS), pp. 171–172.
CASECASE-2010-AnandFLM #distributed #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.
CASECASE-2010-CostantinoDFFMSU #design #network
A model for the strategic design of Distribution Networks (NC, MD, MF, MPF, AMM, FS, WU), pp. 406–411.
CASECASE-2010-FantiSU #constraints #scheduling
Scheduling the internal operations in distribution centers with buffer constraints (MPF, GS, WU), pp. 75–80.
CASECASE-2010-IslamL #distributed #hybrid
A distributed hybrid sliding mode control system for a class of nonlinear mechanical systems (SI, PXL), pp. 356–361.
CASECASE-2010-JinJ #automation #bibliography #distributed #generative
Review on planning and automation technologies for distributed generation systems (TJ, JAJ), pp. 269–274.
CASECASE-2010-MikosFBF #design #development #distributed #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.
CASECASE-2010-SouzaPC #analysis #distributed #implementation #network #predict
Distributed model predictive control applied to urban traffic networks: Implementation, experimentation, and analysis (FAdS, VBP, EC), pp. 399–405.
DACDAC-2010-GeMQ #distributed #manycore #migration
Distributed task migration for thermal management in many-core systems (YG, PM, QQ), pp. 579–584.
DACDAC-2010-HelinskiAP #evaluation #metric #physics #quality
Quality metric evaluation of a physical unclonable function derived from an IC’s power distribution system (RH, DA, JP), pp. 240–243.
DACDAC-2010-WangZD #distributed #logic #parallel #simulation
Distributed time, conservative parallel logic simulation on GPUs (BDW, YZ, YD), pp. 761–766.
DATEDATE-2010-BaoAEP #energy #optimisation #scalability
Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling (MB, AA, PE, ZP), pp. 21–26.
DATEDATE-2010-ChenLJC #distributed #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.
DATEDATE-2010-IqbalSH10a #estimation #execution #graph #monte carlo #named
DAGS: Distribution agnostic sequential Monte Carlo scheme for task execution time estimation (NI, MAS, JH), pp. 1645–1648.
DATEDATE-2010-LoiB #3d #distributed #framework #interface #manycore #memory management #performance
An efficient distributed memory interface for many-core platform with 3D stacked DRAM (IL, LB), pp. 99–104.
DATEDATE-2010-ProssGMJLHKS #configuration management #network
Demonstration of an in-band reconfiguration data distribution and network node reconfiguration (UP, SG, EM, MJ, JL, UH, JK, AS), pp. 614–617.
DATEDATE-2010-RathiDGCV #distance #feature model #gpu #implementation
A GPU based implementation of Center-Surround Distribution Distance for feature extraction and matching (AR, MD, WG, RTC, NV), pp. 172–177.
DATEDATE-2010-ZengC #metric #using
Interconnect delay and slew metrics using the beta distribution (JKZ, CPC), pp. 1329–1332.
DocEngDocEng-2010-Skaf-MolliCM #distributed #documentation #framework #named #semantics #wiki
DSMW: a distributed infrastructure for the cooperative edition of semantic wiki documents (HSM, GC, PM), pp. 185–186.
PODSPODS-2010-CormodeMYZ #distributed
Optimal sampling from distributed streams (GC, SM, KY, QZ), pp. 77–86.
SIGMODSIGMOD-2010-MarczakHBSLA #distributed #named
SecureBlox: customizable secure distributed data processing (WRM, SSH, MB, MS, BTL, MA), pp. 723–734.
SIGMODSIGMOD-2010-RastogiN #distributed #encryption
Differentially private aggregation of distributed time-series with transformation and encryption (VR, SN), pp. 735–746.
VLDBVLDB-2010-KantereMKSM #coordination #distributed
Peer coordination through distributed triggers (VK, MM, IK, TKS, JM), pp. 1561–1564.
VLDBVLDB-2010-Nori #distributed
Distributed Caching Platforms (AN), pp. 1645–1646.
VLDBVLDB-2010-ZouWSHAGW #distributed #query #relational
From a Stream of Relational Queries to Distributed Stream Processing (QZ, HW, RS, MH, HA, BG, KLW), pp. 1394–1405.
VLDBVLDB-2011-SagyKSS10 #difference #distributed #query #representation
Distributed Threshold Querying of General Functions by a Difference of Monotonic Representation (GS, DK, IS, AS), pp. 46–57.
CSEETCSEET-2010-BosnicCZLC #development #distributed #education
Customers’ Role in Teaching Distributed Software Development (IB, IC, MZ, RL, IC), pp. 73–80.
ITiCSEITiCSE-2010-DukielskaS #distributed #programming
JavaSpaces NetBeans: a linda workbench for distributed programming course (MD, JS), pp. 23–27.
ICPCICPC-2010-GermanPD #comprehension #open source
Understanding and Auditing the Licensing of Open Source Software Distributions (DMG, MDP, JD), pp. 84–93.
ICSMEICSM-2010-Cosma #distributed #object-oriented #reverse engineering
Reverse engineering object-oriented distributed systems (DCC), pp. 1–6.
ICSMEICSM-2010-HummelJHC #clone detection #detection #distributed #incremental #scalability
Index-based code clone detection: incremental, distributed, scalable (BH, EJ, LH, MC), pp. 1–9.
SCAMSCAM-2010-WheelerB #subclass
Subclass Instantiation Distribution (AW, DB), pp. 23–32.
PLDIPLDI-2010-KamruzzamanST #concurrent #distributed #performance #thread
Software data spreading: leveraging distributed caches to improve single thread performance (MK, SS, DMT), pp. 460–470.
PLDIPLDI-2010-RajanRY #collaboration #distributed #named #programming
GUESSTIMATE: a programming model for collaborative distributed systems (KR, SKR, SY), pp. 210–220.
STOCSTOC-2010-KuhnLO #distributed #network
Distributed computation in dynamic networks (FK, NAL, RO), pp. 513–522.
FLOPSFLOPS-2010-DieterleBL #distributed
A Skeleton for Distributed Work Pools in Eden (MD, JB, RL), pp. 337–353.
DLTDLT-J-2008-MantaciMR10 #word
Balance Properties and Distribution of Squares in Circular Words (RM, SM, AR), pp. 647–664.
ICALPICALP-v1-2010-RubinfeldX #independence #testing
Testing Non-uniform k-Wise Independent Distributions over Product Spaces (RR, NX), pp. 565–581.
IFMIFM-2010-Baier #distributed #model checking #on the #random
On Model Checking Techniques for Randomized Distributed Systems (CB), pp. 1–11.
ICGTICGT-2010-HagstromP
A Model for Distribution and Revocation of Certificates (ÅH, FPP), pp. 314–329.
CSCWCSCW-2010-Cataldo #collaboration #development #distributed #fault #tool support
Sources of errors in distributed development projects: implications for collaborative tools (MC), pp. 281–290.
CSCWCSCW-2010-InkpenHCZ #distributed #video
Exploring spatialized audio & video for distributed conversations (KI, RH, MC, ZZ), pp. 95–98.
CSCWCSCW-2010-TangPIBTB #collaboration #communication #comprehension #distributed
Three’s company: understanding communication channels in three-way distributed collaboration (AT, MP, KI, HB, JCT, BB), pp. 271–280.
SOFTVISSOFTVIS-2010-BeckD10a #analysis #automation #distributed #towards #visualisation
Towards automated analysis and visualization of distributed software systems (MB, JD), pp. 213–214.
AdaEuropeAdaEurope-2010-SangorrinHPG #distributed #flexibility #realtime #transaction
Managing Transactions in Flexible Distributed Real-Time Systems (DS, MGH, HP, JJG), pp. 251–264.
ICEISICEIS-AIDSS-2010-Chatzinikolaou #adaptation #algorithm #coordination #design #distributed #evolution #search-based #self
Coordinating Evolution — Designing a Self-adapting Distributed Genetic Algorithm (NC), pp. 13–20.
ICEISICEIS-AIDSS-2010-Deng
Relationship between Levy Distribution and Tsallis Distribution (JD), pp. 360–367.
ICEISICEIS-DISI-2010-DiboB #architecture #component #deployment #distributed #metamodelling #modelling
Defining an Unified Meta Modeling Architecture for Deployment of Distributed Components-based Software Applications (MD, NB), pp. 316–321.
ICEISICEIS-DISI-2010-MoraesZF #algorithm #concept #distributed
A Distributed Algorithm for Formal Concepts Processing based on Search Subspaces (NRMdM, LEZ, HCF), pp. 105–111.
ICEISICEIS-J-2010-VilenicaL10a #distributed #simulation
Simulation Management for Agent-Based Distributed Systems (AV, WL), pp. 477–492.
ICEISICEIS-SAIC-2010-CanturkS #distributed #validation
Service Acquisition and Validation in a Distributed Service Discovery System Consisting of Domain-specific Sub-systems (DC, PS), pp. 93–99.
CIKMCIKM-2010-BonifatiWL #distributed #named #peer-to-peer #privacy #social
SPac: a distributed, peer-to-peer, secure and privacy-aware social space (AB, WHW, RL), pp. 1953–1954.
CIKMCIKM-2010-KulkarniC #distributed #documentation #policy
Document allocation policies for selective searching of distributed indexes (AK, JC), pp. 449–458.
CIKMCIKM-2010-QianCXQ #how
How about utilizing ordinal information from the distribution of unlabeled data (MQ, BC, HX, HQ), pp. 289–298.
CIKMCIKM-2010-SonPS #classification #estimation #learning #naive bayes
Learning naïve bayes transfer classifier throughclass-wise test distribution estimation (JWS, SBP, HJS), pp. 1729–1732.
CIKMCIKM-2010-XueHC #query #set #using
Improving verbose queries using subset distribution (XX, SH, WBC), pp. 1059–1068.
ECIRECIR-2010-MendozaMFP #learning #query #web
Learning to Distribute Queries into Web Search Nodes (MM, MM, FF, BP), pp. 281–292.
ICMLICML-2010-LiPSG #learning #parametricity
Budgeted Distribution Learning of Belief Net Parameters (LL, BP, CS, RG), pp. 879–886.
ICMLICML-2010-MinMYBZ
Deep Supervised t-Distributed Embedding (MRM, LvdM, ZY, AJB, ZZ), pp. 791–798.
ICMLICML-2010-MorimuraSKHT #approximate #learning #parametricity
Nonparametric Return Distribution Approximation for Reinforcement Learning (TM, MS, HK, HH, TT), pp. 799–806.
ICPRICPR-2010-AhmadNSNN #distributed #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.
ICPRICPR-2010-Allili #retrieval #using
Wavelet-Based Texture Retrieval Using a Mixture of Generalized Gaussian Distributions (MSA), pp. 3143–3146.
ICPRICPR-2010-BrodersenOSB
The Balanced Accuracy and Its Posterior Distribution (KHB, CSO, KES, JMB), pp. 3121–3124.
ICPRICPR-2010-LiLD #learning #using
Learning GMM Using Elliptically Contoured Distributions (BL, WL, LD), pp. 511–514.
ICPRICPR-2010-ShamiliBA #detection #distributed #machine learning #mobile #using
Malware Detection on Mobile Devices Using Distributed Machine Learning (ASS, CB, TA), pp. 4348–4351.
ICPRICPR-2010-ShenYS #learning
Learning Discriminative Features Based on Distribution (JS, WY, CS), pp. 1401–1404.
ICPRICPR-2010-SulicPKK #distributed #random #reduction #using
Dimensionality Reduction for Distributed Vision Systems Using Random Projection (VS, JP, MK, SK), pp. 380–383.
ICPRICPR-2010-VesBRAS #modelling #retrieval
Wavelet-Based Texture Retrieval Modeling the Magnitudes of Wavelet Detail Coefficients with a Generalized Gamma Distribution (EdV, XB, AMCR, DGA, LS), pp. 221–224.
ICPRICPR-2010-Xie #segmentation #set #using
Level Set Based Segmentation Using Local Feature Distribution (XX), pp. 2780–2783.
KDDKDD-2010-KarguptaSG #bibliography #data mining #distributed #mining #performance
MineFleet®: an overview of a widely adopted distributed vehicle performance data mining system (HK, KS, MG), pp. 37–46.
KEODKEOD-2010-DucLZ #api #distributed #ontology #reasoning
An API for Distributed Reasoning on Networked Ontologies with Alignments (CLD, ML, AZ), pp. 295–304.
KMISKMIS-2010-ChakrabortyZ #approach #process #towards
A Systematic Approach Towards Collection, Processing & Distribution of Information about Competitor Activities & Customer Needs in Terms of Products & Services (SC, MZ), pp. 348–353.
KMISKMIS-2010-KarimaAO #distributed
Experimental Evidence on Data Warehouse Fragmentation and Allocation in a Distributed Context (TK, AA, HO), pp. 102–110.
KRKR-2010-Dao-TranEFK #distributed #multi
Distributed Nonmonotonic Multi-Context Systems (MDT, TE, MF, TK).
SEKESEKE-2010-ChavesHVS #concept #development #distributed
A Context Conceptual Model for a Distributed Software Development Environment (APC, EHMH, VV, IS), pp. 437–442.
SEKESEKE-2010-KalayciDFES #adaptation #distributed #execution #workflow
Distributed and Adaptive Execution of Condor DAGMan Workflows (SK, GD, LF, OE, SMS), pp. 587–590.
SEKESEKE-2010-MoshirpourMF #behaviour #detection #distributed #specification #using
Detecting Emergent Behavior in Distributed Systems Using Scenario-Based Specifications (MM, AM, BHF), pp. 349–354.
SEKESEKE-2010-SilvaGFT #development #distributed #process #web #web service
Negotiating Software Acquisition Supported by Web Services in a Distributed Software Development Process (GCS, IMdSG, MF, MBFdT), pp. 221–224.
SIGIRSIGIR-2010-CambazogluVKAB #distributed #query
Query forwarding in geographically distributed search engines (BBC, EV, EK, CA, RABY), pp. 90–97.
SIGIRSIGIR-2010-KanoulasDPA #modelling #robust
Score distribution models: assumptions, intuition, and robustness to score manipulation (EK, KD, VP, JAA), pp. 242–249.
TOOLSTOOLS-EUROPE-2010-CarretonMCM #ad hoc #distributed #mobile #network #programming
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks (ALC, SM, TVC, WDM), pp. 41–60.
PADLPADL-2010-GrumbachW #distributed #programming #rule-based
Netlog, a Rule-Based Language for Distributed Programming (SG, FW), pp. 88–103.
POPLPOPL-2010-GayVRGC #composition #distributed #object-oriented #programming
Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.
SACSAC-2010-BlackshearV
R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks (SB, RMV), pp. 1985–1992.
SACSAC-2010-CostaMB #consistency #database #distributed #mobile #protocol
A distributed protocol for ensuring replicated database consistency in mobile computing environments (AC, JMM, AB), pp. 1688–1693.
SACSAC-2010-CuzzocreaB #distributed #framework #multi #privacy #xml
A secure multiparty computation privacy preserving OLAP framework over distributed XML data (AC, EB), pp. 1666–1673.
SACSAC-2010-DolevT #distributed #named
Spanders: distributed spanning expanders (SD, NT), pp. 1309–1314.
SACSAC-2010-EnsanB #distributed #framework #ontology
A framework for handling revisions in distributed ontologies (FE, EB), pp. 1417–1422.
SACSAC-2010-GaberS #classification #data type #distributed #network
Distributed data stream classification for wireless sensor networks (MMG, AMS), pp. 1629–1630.
SACSAC-2010-HarasicAOT #distributed #named #rdf
RDFSwarms: selforganized distributed RDF triple store (MH, AA, PO, RT), pp. 1339–1340.
SACSAC-2010-HassanB #distributed #file system #using
Semi-join computation on distributed file systems using map-reduce-merge model (MAHH, MB), pp. 406–413.
SACSAC-2010-IqbalOS #semantics
Semantic content distribution with aggregated profiles (AAI, MO, AS), pp. 1359–1365.
SACSAC-2010-MelchiorsSMSPGT #distributed #network
A network polling solution through a P2P-based distributed management environment (CM, AHdS, DM, CRPdS, AP, LZG, LMRT), pp. 729–730.
SACSAC-2010-MiaoOWS #distributed #network #using
Coverage-hole trap model in target tracking using distributed relay-robot network (HM, CCO, XW, CS), pp. 1299–1304.
SACSAC-2010-SarrNG #adaptation #distributed #monitoring #named #transaction #web
TransPeer: adaptive distributed transaction monitoring for Web2.0 applications (IS, HN, SG), pp. 423–430.
SACSAC-2010-TeixeiraFP #approach #distributed
Distributed discrimination of media moments and media intervals: a Watch-and-Comment approach (CACT, GBF, MdGCP), pp. 1929–1935.
SACSAC-2010-WangLRKL #distributed #information management
Improving complex distributed software system availability through information hiding (LW, YL, SR, KAK, XL), pp. 452–456.
ICSEICSE-2010-Lima #assessment #distributed #risk management
Risk assessment on distributed software projects (AML), pp. 349–350.
ICSEICSE-2010-NordioMM #distributed #outsourcing #re-engineering
Advanced hands-on training for distributed and outsourced software engineering (MN, RM, BM), pp. 555–558.
ICSEICSE-2010-Wassermann #distributed
Improving wide-area distributed system availability (BW), pp. 347–348.
SPLCSPLC-2010-Schmid #comparison #development #distributed #modelling #variability
Variability Modeling for Distributed Development — A Comparison with Established Practice (KS), pp. 151–165.
ASPLOSASPLOS-2010-GeladoCNSPH #distributed #memory management #parallel #symmetry
An asymmetric distributed shared memory model for heterogeneous parallel systems (IG, JC, NN, JES, SJP, WmWH), pp. 347–358.
HPCAHPCA-2010-MillerKKGBCEA #distributed #named #parallel
Graphite: A distributed parallel simulator for multicores (JEM, HK, GK, CGI, NB, CC, JE, AA), pp. 1–12.
HPDCHPDC-2010-AbbasiVG #internet
Thermal aware server provisioning and workload distribution for internet data centers (ZA, GV, SKSG), pp. 130–141.
HPDCHPDC-2010-BuiYT #abstraction #distributed #named #python #using #workflow
Weaver: integrating distributed computing abstractions into scientific workflows using Python (PB, LY, DT), pp. 636–643.
HPDCHPDC-2010-DokaTK #power of
Distributing the power of OLAP (KD, DT, NK), pp. 324–327.
HPDCHPDC-2010-GehaniKM #distributed #performance #query
Efficient querying of distributed provenance stores (AG, MK, TM), pp. 613–621.
HPDCHPDC-2010-GuanYCGLC #distributed #named
DistriBit: a distributed dynamic binary translator system for thin client computing (HG, YY, KC, YG, LL, YC), pp. 684–691.
HPDCHPDC-2010-HenschelMS #distributed #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.
HPDCHPDC-2010-KimHMAJ #distributed #energy #scalability #using
Exploring the RNA folding energy landscape using scalable distributed cyberinfrastructure (JK, WH, SM, FAE, SJ), pp. 477–488.
HPDCHPDC-2010-LiewAHH #data type #distributed #graph #optimisation #parallel #streaming #towards #using
Towards optimising distributed data streaming graphs using parallel streams (CSL, MPA, JIvH, LH), pp. 725–736.
HPDCHPDC-2010-PovznerSB #distributed #named #performance
Horizon: efficient deadline-driven disk I/O management for distributed storage systems (AP, DS, SAB), pp. 1–12.
HPDCHPDC-2010-ShibataCT #data access #data-driven #distributed #workflow
File-access patterns of data-intensive workflow applications and their implications to distributed filesystems (TS, SC, KT), pp. 746–755.
HPDCHPDC-2010-TanakaT #data-driven #distributed #flexibility #named #parallel #workflow
Pwrake: a parallel and distributed flexible workflow management tool for wide-area data intensive computing (MT, OT), pp. 356–359.
OSDIOSDI-2010-FordLPSTBGQ #distributed
Availability in Globally Distributed Storage Systems (DF, FL, FIP, MS, VAT, LB, CG, SQ), pp. 61–74.
OSDIOSDI-2010-GeambasuLKKL #distributed #named
Comet: An active distributed key-value store (RG, AAL, TK, AK, HML), pp. 323–336.
OSDIOSDI-2010-KoponenCGSPZRIIHS #distributed #framework #named #network #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.
OSDIOSDI-2010-PengD #distributed #incremental #scalability #transaction #using
Large-scale Incremental Processing Using Distributed Transactions and Notifications (DP, FD), pp. 251–264.
OSDIOSDI-2010-PowerL #distributed #named #performance #source code
Piccolo: Building Fast, Distributed Programs with Partitioned Tables (RP, JL), pp. 293–306.
PPoPPPPoPP-2010-BuehrerPT #distributed
A distributed placement service for graph-structured and tree-structured data (GB, SP, ST), pp. 355–356.
PPoPPPPoPP-2010-DashD #distributed #memory management #transaction
Symbolic prefetching in transactional distributed shared memory (AD, BD), pp. 331–332.
CAVCAV-2010-BlomPW #distributed #named #reachability
LTSmin: Distributed and Symbolic Reachability (SB, JvdP, MW), pp. 354–359.
CAVCAV-2010-GrafPQ #distributed #model checking
Achieving Distributed Control through Model Checking (SG, DP, SQ), pp. 396–409.
CSLCSL-2010-Platzer #difference #distributed #hybrid #logic #quantifier
Quantified Differential Dynamic Logic for Distributed Hybrid Systems (AP), pp. 469–483.
ICLPICLP-J-2010-LopesNRS #distributed #prolog
Applying Prolog to develop distributed systems (NPL, JANP, AR, AS), pp. 691–707.
ICTSSICTSS-2010-AlmeidaMSTV #architecture #distributed #performance #scalability
Efficient Distributed Test Architectures for Large-Scale Systems (ECdA, JEM, GS, YLT, PV), pp. 174–187.
ICSTSAT-2010-BalintF #probability #satisfiability
Improving Stochastic Local Search for SAT with a New Probability Distribution (AB, AF), pp. 10–15.
ICSTSAT-2010-KrocSS #empirical #runtime
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search (LK, AS, BS), pp. 346–351.
WICSA-ECSAWICSA-ECSA-2009-XuZSL #architecture #distributed
An architecting method for distributed process-intensive systems (XX, LZ, MS, YL), pp. 277–280.
CASECASE-2009-FagioliniMB #distributed
Set-valued consensus for distributed clock synchronization (AF, SM, AB), pp. 116–121.
DACDAC-2009-ChattopadhyayZ #configuration management
Serial reconfigurable mismatch-tolerant clock distribution (AC, ZZ), pp. 611–612.
DACDAC-2009-HelinskiAP #physics #using
A physical unclonable function defined using power distribution system equivalent resistance variations (RH, DA, JP), pp. 676–681.
DATEDATE-2009-BarontiLRS #detection #distributed #metric
Distributed sensor for steering wheel rip force measurement in driver fatigue detection (FB, FL, RR, RS), pp. 894–897.
DATEDATE-2009-EbrahimiDNMAPT #multi #protocol
An efficent dynamic multicast routing protocol for distributing traffic in NOCs (ME, MD, MHN, SM, AAK, JP, HT), pp. 1064–1069.
DATEDATE-2009-FahmyRJ #bound #distributed #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.
DATEDATE-2009-GuoS #bound #design #distributed #optimisation #using
Optimizing the HW/SW boundary of an ECC SoC design using control hierarchy and distributed storage (XG, PS), pp. 454–459.
DATEDATE-2009-KimYK #online #runtime #scalability
Program phase and runtime distribution-aware online DVFS for combined Vdd/Vbb scaling (JK, SY, CMK), pp. 417–422.
DATEDATE-2009-LeeKHBJFL #3d #co-evolution #design #network
Co-design of signal, power, and thermal distribution networks for 3D ICs (YJL, YJK, GH, MSB, YKJ, AGF, SKL), pp. 610–615.
DATEDATE-2009-LeonardiPC #case study #deployment #distributed #embedded #network
A case study in distributed deployment of embedded software for camera networks (FL, AP, LPC), pp. 1006–1011.
DATEDATE-2009-MohammadZadehMJZ #multi #network
Multi-domain clock skew scheduling-aware register placement to optimize clock distribution network (NM, MM, AJ, MSZ), pp. 833–838.
DATEDATE-2009-PaternaBAPDO #adaptation #multi
Adaptive idleness distribution for non-uniform aging tolerance in MultiProcessor Systems-on-Chip (FP, LB, AA, FP, GD, MO), pp. 906–909.
DATEDATE-2009-PuschiniCBST #distributed #energy #latency
Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC (DP, FC, PB, GS, LT), pp. 1564–1567.
DATEDATE-2009-SamiiCEP #distributed #embedded #scheduling #synthesis
Integrated scheduling and synthesis of control applications on distributed embedded systems (SS, AC, PE, ZP), pp. 57–62.
DATEDATE-2009-SartoriK #architecture #distributed #manycore #power management
Distributed peak power management for many-core architectures (JS, RK), pp. 1556–1559.
DocEngDocEng-2009-SteinbergerJ #novel #summary #topic
Update summarization based on novel topic distribution (JS, KJ), pp. 205–213.
HTHT-2009-CapocciBSL #social #statistics
Statistical properties of inter-arrival times distribution in social tagging systems (AC, AB, VDPS, VL), pp. 239–244.
PODSPODS-2009-AbiteboulGM #design #distributed #xml
Distributed XML design (SA, GG, MM), pp. 247–258.
PODSPODS-2009-YiZ #distributed
Optimal tracking of distributed heavy hitters and quantiles (KY, QZ), pp. 167–174.
SIGMODSIGMOD-2009-GeZM #nondeterminism #query
Top-k queries on uncertain data: on score distribution and typical answers (TG, SBZ, SM), pp. 375–388.
SIGMODSIGMOD-2009-IsardY #distributed #programming language #using
Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
SIGMODSIGMOD-2009-LiYJ #distributed #probability #ranking
Ranking distributed probabilistic data (FL, KY, JJ), pp. 361–374.
VLDBVLDB-2009-KoudasSYZ
Distribution-based Microdata Anonymization (NK, DS, TY, QZ), pp. 958–969.
VLDBVLDB-2009-LeglerLSK #distributed #mining #robust #using
Robust Distributed Top-N Frequent Pattern Mining Using the SAP BW Accelerator (TL, WL, JS, JK), pp. 1438–1449.
VLDBVLDB-2009-VigfussonSCF #adaptation #distributed #query
Adaptively Parallelizing Distributed Range Queries (YV, AS, BFC, RF), pp. 682–693.
VLDBVLDB-2009-WuJOT #distributed #online
Distributed Online Aggregation (SW, SJ, BCO, KLT), pp. 443–454.
ITiCSEITiCSE-2009-CasselWP #distributed #named
CPATH: distributed expertise — collaborating with other disciplines (LNC, TW, SP), p. 382.
CSMRCSMR-2009-MarwedeRHH #automation #behaviour #correlation #distributed #scalability
Automatic Failure Diagnosis Support in Distributed Large-Scale Software Systems Based on Timing Behavior Anomaly Correlation (NM, MR, AvH, WH), pp. 47–58.
ICSMEICSM-2009-DraganCM #using
Using method stereotype distribution as a signature descriptor for software systems (ND, MLC, JIM), pp. 567–570.
ICSMEICSM-2009-ParveenTDM #distributed #execution #framework #testing #towards
Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.
STOCSTOC-2009-BarenboimE #distributed #linear
Distributed (delta+1)-coloring in linear (in delta) time (LB, ME), pp. 111–120.
STOCSTOC-2009-Sellie #learning #random
Exact learning of random DNF over the uniform distribution (LS), pp. 45–54.
ICALPICALP-v1-2009-RolandS #communication #complexity
Amortized Communication Complexity of Distributions (JR, MS), pp. 738–749.
ICALPICALP-v2-2009-ScheidelerS #distributed
A Distributed and Oblivious Heap (CS, SS), pp. 571–582.
FMFM-2009-JohnsenKY #composition #concurrent #distributed #evolution
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects (EBJ, MK, ICY), pp. 596–611.
SEFMSEFM-2009-HieronsN #distributed #interface #simulation
Simulation Relations for Systems with Distributed Interfaces (RMH, MN), pp. 41–50.
CHICHI-2009-MuellerGV #design #distributed #game studies #social
Design influence on social play in distributed exertion games (FM, MRG, FV), pp. 1539–1548.
HCIHCI-NT-2009-MiyazakiSY #behaviour #distributed #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.
HCIHIMI-DIE-2009-LeuchterM #human-computer #interface
Distribution of Human-Machine Interfaces in System-of-Systems Engineering (SL, DM), pp. 271–278.
HCIHIMI-II-2009-ChouC09a #fuzzy #multi #perspective
A Fuzzy Multiple Criteria Decision Making Model for Selecting the Distribution Center Location in China: A Taiwanese Manufacturer’s Perspective (CCC, PCC), pp. 140–148.
HCIHIMI-II-2009-LigdaJLJ #automation #distributed #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.
HCIOCSC-2009-Jameson #community #distributed #online #trust
Distributed Leadership, Trust and Online Communities (JJ), pp. 226–235.
AdaEuropeAdaEurope-2009-UruenaZP #distributed #middleware #realtime #strict
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems (SU, JZ, JAdlP), pp. 16–29.
AdaSIGAda-2009-DinhB #design pattern #distributed #fault tolerance
Distributed container: a design pattern for fault tolerance and high speed data exchange (TD, SB), pp. 115–118.
AdaSIGAda-2009-TijeroG #ada #experience #middleware #policy #scheduling
Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada (HPT, JJG), pp. 73–78.
ICEISICEIS-DISI-2009-GorawskiD #algorithm #distributed #execution #performance #query
Algorithms for Efficient Top-K Spatial Preference Query Execution in a Heterogeneous Distributed Environment (MG, KD), pp. 43–48.
ICEISICEIS-DISI-2009-VroomKJ #community #design #distributed #industrial #performance #wiki
Efficient Community Management in an Industrial Design Engineering Wiki — Distributed Leadership (RWV, AK, RJ), pp. 190–195.
ICEISICEIS-ISAS-2009-LundbergG #approach #distributed #information management #robust #towards
Robust Approach Towards Context Dependant Information Sharing in Distributed Environments (JL, RG), pp. 200–205.
ICEISICEIS-J-2009-AliPTD #data flow #distributed #framework #named #semistructured data #xquery
DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources (MIA, RP, HLT, SD), pp. 172–183.
CIKMCIKM-2009-ChoiSCSC #distributed #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.
CIKMCIKM-2009-ClinchantG #constraints #information retrieval #word
Retrieval constraints and word frequency distributions: a log-logistic model for IR (SC, ÉG), pp. 1975–1978.
CIKMCIKM-2009-DoulkeridisVNKV #distributed #multi #performance #query
Multidimensional routing indices for efficient distributed query processing (CD, AV, KN, YK, MV), pp. 1489–1492.
CIKMCIKM-2009-GedikAW #approach #code generation #data type #distributed #optimisation
A code generation approach to optimizing high-performance distributed data stream processing (BG, HA, KLW), pp. 847–856.
CIKMCIKM-2009-Moussa #database #distributed #implementation #middleware
HDDBrs middleware for implementing highly available distributed databases (RM), pp. 2075–2076.
CIKMCIKM-2009-QiCKKW #learning
Combining labeled and unlabeled data with word-class distribution learning (YQ, RC, PPK, KK, JW), pp. 1737–1740.
CIKMCIKM-2009-SioutasPSTM #architecture #distributed #novel
A novel distributed P2P simulator architecture: D-P2P-sim (SS, GP, ES, KT, YM), pp. 2069–2070.
CIKMCIKM-2009-TaoO #data type #mining
Mining data streams with periodically changing distributions (YT, MTÖ), pp. 887–896.
CIKMCIKM-2009-YeCCZ #distributed #probability
Stochastic gradient boosted distributed decision trees (JY, JHC, JC, ZZ), pp. 2061–2064.
ECIRECIR-2009-BaillieCC #distributed #information retrieval #quality #topic
A Topic-Based Measure of Resource Description Quality for Distributed Information Retrieval (MB, MJC, FC), pp. 485–496.
ECIRECIR-2009-SarigiannisPB #case study #distributed #query #web
A Study of the Impact of Index Updates on Distributed Query Processing for Web Search (CS, VP, RABY), pp. 595–602.
ICMLICML-2009-SongHSF
Hilbert space embeddings of conditional distributions with applications to dynamical systems (LS, JH, AJS, KF), pp. 961–968.
ICMLICML-2009-Tillman #distributed #independence #learning
Structure learning with independent non-identically distributed data (RET), pp. 1041–1048.
KDDKDD-2009-XueW #classification #quantifier
Quantification and semi-supervised classification methods for handling changes in class distribution (JCX, GMW), pp. 897–906.
KDDKDD-2009-ZhongFPZRTV #adaptation #kernel
Cross domain distribution adaptation via kernel mapping (EZ, WF, JP, KZ, JR, DST, OV), pp. 1027–1036.
KDIRKDIR-2009-WohrerZDB #composition #data mining #metaprogramming #mining #optimisation #towards
Unboxing Data Mining Via Decomposition in Operators — Towards Macro Optimization and Distribution (AW, YZ, EuHD, PB), pp. 243–248.
KEODKEOD-2009-MoulinL #approach #distributed #ontology #semantics
Ontologies based Approach for Semantic Indexing in Distributed Environments (CM, CL), pp. 420–423.
KMISKMIS-2009-Rios-AlvaradoMR #distributed #semantics #web
Distributed Allocation of a Corporate Semantic Web (ABRA, RMJ, RCMR), pp. 173–179.
MLDMMLDM-2009-CzarnowskiJ #clustering #distributed
Agent-Based Non-distributed and Distributed Clustering (IC, PJ), pp. 347–360.
MLDMMLDM-2009-KobayashiS #classification #distributed #linear #representation #using
A Linear Classification Method in a Very High Dimensional Space Using Distributed Representation (TK, IS), pp. 137–147.
RecSysRecSys-2009-ShokriPTH #collaboration #distributed #privacy
Preserving privacy in collaborative filtering through distributed aggregation of offline profiles (RS, PP, GT, JPH), pp. 157–164.
SEKESEKE-2009-EzenwoyeVSFDK #adaptation #composition #distributed #staging #workflow
Task Decomposition for Adaptive Data Staging in Workflows for Distributed Environments (OE, BV, SMS, LF, GD, SK), pp. 16–19.
SIGIRSIGIR-2009-ArampatzisKR #optimisation #using
Where to stop reading a ranked list?: threshold optimization using truncated score distributions (AA, JK, SR), pp. 524–531.
SIGIRSIGIR-2009-CambazogluPB #distributed #performance #quality #web
Quantifying performance and quality gains in distributed web search engines (BBC, VP, RABY), pp. 411–418.
SIGIRSIGIR-2009-HePO #retrieval
Fitting score distribution for blog opinion retrieval (BH, JP, IO), pp. 688–689.
SIGIRSIGIR-2009-ZhangHS #approximate #modelling
Approximating true relevance distribution from a mixture model based on irrelevance data (PZ, YH, DS), pp. 107–114.
MODELSMoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MODELSMoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
PPDPPPDP-2009-ZhuDFJMPW #ad hoc #distributed
Language support for processing distributed ad hoc data (KQZ, DSD, KF, LJ, YM, VSP, DW), pp. 243–254.
QAPLQAPL-2009-GiroD #distributed #on the #power of #probability
On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.
POPLPOPL-2009-Ridge #approach #distributed #verification
Verifying distributed systems: the operational approach (TR), pp. 429–440.
SACSAC-2009-BiagioniDPS #distributed
Practical distributed voter-verifiable secret ballot system (EB, YD, WP, KS), pp. 16–21.
SACSAC-2009-CamargoFK #distributed #maintenance #performance
Efficient maintenance of distributed data in highly dynamic opportunistic grids (RYdC, FCF, FK), pp. 1067–1071.
SACSAC-2009-ChiangWLC #clustering #multi #policy #web
New content-aware request distribution policies in web clusters providing multiple services (MLC, CHW, YJL, YFC), pp. 79–83.
SACSAC-2009-EsfahaniMSU #mining #process #using
Using process mining to business process distribution (FSE, MAAM, MNS, NIU), pp. 2140–2145.
SACSAC-2009-FahmyRJ #analysis #distributed #realtime #transaction
Response time analysis of software transactional memory-based distributed real-time systems (SFF, BR, EDJ), pp. 334–338.
SACSAC-2009-FlorezL #video
Discovery of time series in video data through distribution of spatiotemporal gradients (OUF, SL), pp. 1816–1820.
SACSAC-2009-LiangZSZ #adaptation #architecture #distributed #embedded #realtime #resource management
Adaptive resource management architecture for distributed real-time embedded systems (KL, XZ, RS, KZ), pp. 1050–1055.
SACSAC-2009-MoallemL #distributed #grid #scheduling #using
Using artificial life techniques for distributed grid job scheduling (AM, SAL), pp. 1091–1097.
SACSAC-2009-MondejarLPUM #aspect-oriented #composition #design #distributed #runtime
Designing a distributed AOP runtime composition model (RM, PGL, CP, PU, PM), pp. 539–540.
SACSAC-2009-NeedelsK #distributed #peer-to-peer
Secure routing in peer-to-peer distributed hash tables (KN, MK), pp. 54–58.
SACSAC-2009-SchwartzHL #visualisation
Term distribution visualizations with Focus+Context (MS, CH, LML), pp. 1792–1799.
ESEC-FSEESEC-FSE-2009-CataldoN #analysis #empirical #maturity #on the #process #quality
On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality (MC, SN), pp. 101–110.
ICSEICSE-2009-BirdNDGM #case study #development #distributed #empirical #quality
Does distributed development affect software quality? An empirical case study of Windows Vista (CB, NN, PTD, HG, BM), pp. 518–528.
CCCC-2009-DaoAKV #debugging #distributed
Live Debugging of Distributed Systems (DD, JRA, CEK, AV), pp. 94–108.
HPDCHPDC-2009-CastilloRH #distributed #resource management #scalability
Resource co-allocation for large-scale distributed environments (CC, GNR, KH), pp. 131–140.
HPDCHPDC-2009-RaicuFZLMCT #data-driven #distributed #scalability
The quest for scalable support of data-intensive workloads in distributed systems (IR, ITF, YZ, PL, CM, AC, DT), pp. 207–216.
HPDCHPDC-2009-SaballusF #distributed #graph #maintenance
Maintaining reference graphs of globally accessible objects in fully decentralized distributed systems (BS, TF), pp. 59–60.
PPoPPPPoPP-2009-DashD #distributed #memory management #transaction
Software transactional distributed shared memory (AD, BD), pp. 297–298.
PPoPPPPoPP-2009-LiBH #distributed #multi #performance #scalability #scheduling #using
Efficient and scalable multiprocessor fair scheduling using distributed weighted round-robin (TL, DPB, SH), pp. 65–74.
SOSPSOSP-2009-IsardPCWTG #clustering #distributed #named #scheduling
Quincy: fair scheduling for distributed computing clusters (MI, VP, JC, UW, KT, AG), pp. 261–276.
SOSPSOSP-2009-LiuGVQWM #distributed #framework #named
Fabric: a platform for secure distributed computation and storage (JL, MDG, KV, XQ, LW, ACM), pp. 321–334.
SOSPSOSP-2009-YuGI #distributed #implementation #interface
Distributed aggregation for data-parallel computing: interfaces and implementations (YY, PKG, MI), pp. 247–260.
CAVCAV-2009-BasuBPS #distributed #model checking #scheduling
Priority Scheduling of Distributed Systems Based on Model Checking (AB, SB, DP, JS), pp. 79–93.
ICLPICLP-2009-Ashley-Rollman #distributed #logic programming #research #summary
Research Summary: Logic Programming for Massively Distributed Systems (MPAR), pp. 527–529.
ICLPICLP-2009-Rosa #detection #distributed #programming
Locally Distributed Predicates: A Programming Facility for Distributed State Detection (MD), pp. 557–558.
ICSTICST-2009-HillTES #component #distributed #non-functional #testing
Unit Testing Non-functional Concerns of Component-based Distributed Systems (JHH, HAT, JRE, DCS), pp. 406–415.
ICSTSAT-2009-LewisMSNBG #distributed #named
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing (MDTL, PM, TS, MN, BB, EG), pp. 509–523.
TAPTAP-2009-GriesmayerAJS #distributed #execution #symbolic computation #testing
Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.
CBSECBSE-2008-MartinezDPM #component #distributed #named #realtime
Ada-CCM: Component-Based Technology for Distributed Real-Time Systems (PLM, JMD, PP, JLM), pp. 334–350.
CBSECBSE-2008-SentillesVBCC #component #distributed #embedded
A Component Model for Control-Intensive Distributed Embedded Systems (SS, AV, TB, JC, IC), pp. 310–317.
CBSECBSE-2008-SeoMM #component #distributed #energy #estimation
Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems (CS, SM, NM), pp. 97–113.
ECSAECSA-2008-GilsonEM #approach #architecture #design #distributed #scalability
A Large Scope Transformational Approach for Distributed Architecture Design (FG, VE, RM), pp. 330–333.
QoSAQoSA-2008-MalletR #analysis #distributed #model transformation
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems (JM, SR), pp. 55–70.
WICSAWICSA-2008-BahsoonE #approach #architecture #distributed #scalability
An Economics-Driven Approach for Valuing Scalability in Distributed Architectures (RB, WE), pp. 9–18.
WICSAWICSA-2008-SeoEMM #architecture #distributed #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.
ASEASE-2008-ShenLXS #collaboration #constraints #distributed #maintenance #modelling #uml
Distributed Constraints Maintenance in Collaborative UML Modeling Environments (HS, SL, SX, CS), pp. 367–370.
CASECASE-2008-GarciaJMM #analysis #distributed #effectiveness #modelling
A procedure for modeling and analysis of service-oriented and distributed productive systems (JIG, FJ, RAGM, PEM), pp. 941–946.
CASECASE-2008-TewoldeWWS #automation #distributed #multi
Distributed multi-robot work load partition in manufacturing automation (GST, CW, YW, WS), pp. 504–509.
DACDAC-2008-FaruqueKH #communication #distributed #named #runtime
ADAM: run-time agent-based distributed application mapping for on-chip communication (MAAF, RK, JH), pp. 760–765.
DACDAC-2008-ImaiSNM #analysis #framework #parametricity #statistics
Non-parametric statistical static timing analysis: an SSTA framework for arbitrary distribution (MI, TS, NN, KM), pp. 698–701.
DACDAC-2008-WangLZTYTCN #scheduling
Timing yield driven clock skew scheduling considering non-Gaussian distributions of critical path delays (YW, WSL, XZ, JT, CY, JT, WC, JN), pp. 223–226.
DATEDATE-2008-CorderoK #using
Clock Distribution Scheme using Coplanar Transmission Lines (VHCC, SPK), pp. 985–990.
DATEDATE-2008-HongYBCEK #bias #runtime #scalability
Dynamic Voltage Scaling of Supply and Body Bias Exploiting Software Runtime Distribution (SH, SY, BB, KMC, SKE, TK), pp. 242–247.
DATEDATE-2008-Lotfi-KamranDLN #protocol
BARP-A Dynamic Routing Protocol for Balanced Distribution of Traffic in NoCs (PLK, MD, CL, ZN), pp. 1408–1413.
DATEDATE-2008-SamiiREP #distributed #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.
DocEngDocEng-2008-GormishWPH #approach #distributed #documentation #flexibility #metadata #security
Document logs: a distributed approach to metadata for better security and flexibility (MJG, GW, KWP, PH), pp. 119–122.
DRRDRR-2008-ChanVT #identification #online #prototype #using
Online writer identification using character prototypes distributions (SKC, CVG, YHT), p. 68150.
SIGMODSIGMOD-2008-BohmMK #declarative #development #distributed
The Demaq system: declarative development of distributed applications (AB, EM, CCK), pp. 1311–1314.
SIGMODSIGMOD-2008-SilbersteinCSVYR #distributed #order #performance
Efficient bulk insertion into a distributed ordered table (AS, BFC, US, EV, RY, RR), pp. 765–778.
SIGMODSIGMOD-2008-VlachouDNV #distributed #on the #performance #query
On efficient top-k query processing in highly distributed environments (AV, CD, KN, MV), pp. 753–764.
SIGMODSIGMOD-2008-ZhangB #distributed #named #xquery
XRPC: distributed XQuery and update processing with heterogeneous XQuery engines (YZ, PAB), pp. 1331–1336.
VLDBVLDB-2008-AguileraGS #distributed #scalability
A practical scalable distributed B-tree (MKA, WMG, MAS), pp. 598–609.
VLDBVLDB-2008-AkdereCT #detection #distributed
Plan-based complex event detection across distributed sources (MA, , NT), pp. 66–77.
VLDBVLDB-2008-JurczykX #distributed #named
DObjects: enabling distributed data services for metacomputing platforms (PJ, LX), pp. 1432–1435.
VLDBVLDB-2008-KallmanKNPRZJMSZHA #distributed #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.
VLDBVLDB-2008-KwonBG #distributed #fault tolerance #file system #using
Fault-tolerant stream processing using a distributed, replicated file system (YK, MB, AGG), pp. 574–585.
VLDBVLDB-2008-MiloD #distributed #monitoring #process #query
Querying and monitoring distributed business processes (TM, DD), pp. 1512–1515.
VLDBVLDB-2008-YehWYC #distributed #named #query
LeeWave: level-wise distribution of wavelet coefficients for processing kNN queries over distributed streams (MYY, KLW, PSY, MSC), pp. 586–597.
VLDBVLDB-2008-ZerrN #distributed #documentation #framework #privacy
Privacy preserving document indexing infrastructure for a distributed environment (SZ, WN), pp. 1638–1643.
CSEETCSEET-2008-MeyerP #case study #development #distributed #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.
ITiCSEITiCSE-2008-Abad #case study #distributed #experience #learning
Learning through creating learning objects: experiences with a class project in a distributed systems course (CLA), pp. 255–259.
ITiCSEITiCSE-2008-AitenbichlerR #named #online
Webreg: an online system for registration and grade distribution (EA, GR), p. 336.
ITiCSEITiCSE-2008-BoyerDFVL #collaboration #development #distributed #programming
A development environment for distributed synchronous collaborative programming (KEB, AAD, RTF, MAV, JCL), pp. 158–162.
ITiCSEITiCSE-2008-PullenC #distance #distributed #education #quality
Distributed application launching for high quality graphics in synchronous distance education (JMP, JXC), pp. 204–208.
ESOPESOP-2008-CirilloJPR #distributed #named #trust
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract) (AC, RJ, CP, JR), pp. 208–223.
FASEFASE-2008-DaviesBM #distributed #optimisation
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.
FASEFASE-2008-MellitiPM #adaptation #automation #behaviour #composition #distributed #semantics
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (TM, PP, SBM), pp. 146–162.
TACASTACAS-2008-FismanKL #distributed #fault tolerance #on the #protocol #verification
On Verifying Fault Tolerance of Distributed Protocols (DF, OK, YL), pp. 315–331.
CSMRCSMR-2008-CosmaM #comprehension #dependence #distributed #object-oriented #using
Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program Dependencies (DCC, RM), pp. 103–112.
ICPCICPC-2008-MonganSM #distributed #re-engineering #reverse engineering
Re-Engineering a Reverse Engineering Portal to a Distributed SOA (WMM, MS, SM), pp. 218–223.
ICSMEICSM-2008-YangLLW #analysis #empirical #maintenance
An empirical analysis on distribution patterns of software maintenance effort (YY, QL, ML, QW), pp. 456–459.
STOCSTOC-2008-AwerbuchK #distributed #linear #source code
Stateless distributed gradient descent for positive linear programs (BA, RK), pp. 691–700.
STOCSTOC-2008-Valiant #symmetry #testing
Testing symmetric properties of distributions (PV), pp. 383–392.
DLTDLT-J-2007-Ravikumar08 #ambiguity #context-free grammar
The Benford-Newcomb Distribution and Unambiguous Context-Free Languages (BR), pp. 717–727.
DLTDLT-2008-MantaciMR #word
Balance Properties and Distribution of Squares in Circular Words (RM, SM, AR), pp. 504–515.
ICALPICALP-A-2008-Pritchard #distributed #performance #random
Fast Distributed Computation of Cuts Via Random Circulations (DP), pp. 145–160.
LATALATA-2008-BordihnH #distributed #random
Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems (HB, MH), pp. 125–136.
FMFM-2008-LintelmanRLS #formal method #security
Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution (SL, RR, ML, KS), pp. 406–410.
FMFM-2008-MacedoLF #development #distributed #incremental #realtime #using
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (HDM, PGL, JSF), pp. 181–197.
SEFMSEFM-2008-GorankoS #distributed #logic #multi
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge (VG, DS), pp. 237–246.
ICFPICFP-2008-DolstraL #functional #linux #named
NixOS: a purely functional Linux distribution (ED, AL), pp. 367–378.
GT-VMTGT-VMT-2006-BottoniPPT08 #distributed #eclipse #maintenance #modelling
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse (PB, FPP, SP, GT), pp. 87–98.
CHICHI-2008-BirnholtzGRW #distributed #interactive #named
OpenMessenger: gradual initiation of interaction for distributed workgroups (JPB, CG, GR, MW), pp. 1661–1664.
CHICHI-2008-BirnholtzMGB #distributed
Attention by proxy? issues in audience awareness for webcasts to distributed groups (JPB, CM, SG, RB), pp. 103–106.
CHICHI-2008-WuBRBM #distributed #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.
CSCWCSCW-2008-BayerlL #coordination #distributed #symmetry
Coordinating high-interdependency tasks in asymmetric distributed teams (PSB, KL), pp. 417–426.
CSCWCSCW-2008-CataldoH #communication #development #distributed #network
Communication networks in geographically distributed software development (MC, JDH), pp. 579–588.
CSCWCSCW-2008-ChungH #distributed #network
Network structure, position, ties and ICT use in distributed knowledge-intensive work (KSKC, LH), pp. 545–554.
CSCWCSCW-2008-CummingsK #collaboration #distributed #experience #research
Who collaborates successfully?: prior experience reduces collaboration barriers in distributed interdisciplinary research (JNC, SBK), pp. 437–446.
CSCWCSCW-2008-NomuraBRLTG #collaboration #comprehension #coordination #distributed #research
Cutting into collaboration: understanding coordination in distributed and interdisciplinary medical research (SN, JPB, OR, GL, DT, GG), pp. 427–436.
CSCWCSCW-2008-PoonTAL #case study #distributed
Context-linked virtual assistants for distributed teams: an astrophysics case study (SSP, RCT, CRA, BL), pp. 361–370.
CSCWCSCW-2008-StuckelG #distributed #interactive
The effects of local lag on tightly-coupled interaction in distributed groupware (DS, CG), pp. 447–456.
AdaEuropeAdaEurope-2008-FahmyRJ #performance #realtime #scheduling #thread
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness (SFF, BR, EDJ), pp. 211–225.
AdaEuropeAdaEurope-2008-MartinezDPM #ada #component #distributed #realtime
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications (PLM, JMD, PP, JLM), pp. 254–267.
AdaEuropeAdaEurope-2008-PerezGSH #ada #middleware #perspective #realtime
Real-Time Distribution Middleware from the Ada Perspective (HP, JJG, DS, MGH), pp. 268–281.
AdaSIGAda-2008-CicaleseWSBFGRS #architecture #distributed #multi #scalability
A distributed, multi-language architecture for large unmanned ground vehicles (CDTC, RMW, JS, RHB, KF, RG, KR, DS), pp. 133–138.
AdaSIGAda-2008-Moore08a #ada #distributed #monitoring
Distributed status monitoring and controlusing remote buffers and Ada 2005 (BJM), pp. 109–120.
AdaSIGAda-2008-RasC #architecture #distributed #realtime
Real-time synchronization on distributed architecture with Ada-2005 (JR, AMKC), pp. 75–84.
CAiSECAiSE-2008-RussellA #people #resource management
Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities (NR, WMPvdA), pp. 94–108.
EDOCEDOC-2008-Quint #as a service #automation #distributed #security
SOA Security — as a Service Automatic Conversion in Distributed Infrastructures (BQ).
EDOCEDOC-2008-RahamanRS #data access #distributed #documentation #xml
Distributed Access Control For XML Document Centric Collaborations (MAR, YR, AS), pp. 267–276.
ICEISICEIS-DISI-2008-Baeza-Yates #distributed #towards
Towards A Distributed Search Engine (RABY), p. 13.
ICEISICEIS-DISI-2008-LiuQLZWD #distributed #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.
ICEISICEIS-ISAS2-2008-AsensioKL #information management
Information System Engineering for an Electricity Distribution Company (DA, AK, ML), pp. 448–453.
ICEISICEIS-ISAS2-2008-BoukhedoumaA #modelling #process #workflow
Modelling and Distributing Individual and Collective Activities in a Workflow System (SB, ZA), pp. 290–297.
ICEISICEIS-ISAS2-2008-LopesA #development #distributed #lessons learnt #process #requirements
A Requirements Engineering Process Model for Distributed Software Development — Lessons Learned (LTL, JLNA), pp. 117–122.
CIKMCIKM-2008-HauglidN #database #distributed #named #query
PROQID: partial restarts of queries in distributed databases (JOH, KN), pp. 1251–1260.
CIKMCIKM-2008-NguyenYF #adaptation #distributed #network #peer-to-peer
Adaptive distributed indexing for structured peer-to-peer networks (LTN, WGY, OF), pp. 1241–1250.
CIKMCIKM-2008-VinayMC #effectiveness #rank #retrieval #using
Estimating retrieval effectiveness using rank distributions (VV, NMF, IJC), pp. 1425–1426.
ECIRECIR-2008-ClinchantG #modelling
The BNB Distribution for Text Modeling (SC, ÉG), pp. 150–161.
ECIRECIR-2008-WitschelHHT #distributed #evaluation #information retrieval
An Evaluation Measure for Distributed Information Retrieval Systems (HFW, FH, GH, ST), pp. 607–611.
ICMLICML-2008-DugasG
Pointwise exact bootstrap distributions of cost curves (CD, DG), pp. 280–287.
ICMLICML-2008-WolfeHK #dataset #distributed #scalability
Fully distributed EM for very large datasets (JW, AH, DK), pp. 1184–1191.
ICPRICPR-2008-AlpcanB #algorithm #distributed #learning #parallel
A discrete-time parallel update algorithm for distributed learning (TA, CB), pp. 1–4.
ICPRICPR-2008-RebecchiJ #on the #string
On the gaussian distribution of strings (SR, JMJ), pp. 1–4.
ICPRICPR-2008-WangZ #collaboration #distributed #learning
Collaborative learning by boosting in distributed environments (SW, CZ), pp. 1–4.
KDDKDD-2008-SeshadriMSBFL #graph #mobile
Mobile call graphs: beyond power-law and lognormal distributions (MS, SM, AS, JB, CF, JL), pp. 596–604.
KRKR-2008-Meyden #distributed #on the
On Notions of Causality and Distributed Knowledge (RvdM), pp. 209–219.
SEKESEKE-2008-DebOP #deployment #distributed #self
Self-managed Deployment in a Distributed Environment via Utility Functions (DD, MJO, JP), pp. 808–813.
SEKESEKE-2008-Fuad #architecture #distributed #program transformation #self
Code Transformation Techniques and Management Architecture for Self-manageable Distributed Applications (MMF), pp. 315–320.
SEKESEKE-2008-KloukinasSM #distributed #runtime #verification
Estimating Event Lifetimes for Distributed Runtime Verification (CK, GS, KM), pp. 117–122.
SEKESEKE-2008-SamimiM #composition #distributed #named
Dynamis: Dynamic Overlay Service Composition for Distributed Stream Processing (FAS, PKM), pp. 881–886.
SEKESEKE-2008-ZhouZ #distributed #programming #virtual machine
A Virtual Machine for Distributed Agent-oriented Programming (BZ, HZ), pp. 729–734.
SIGIRSIGIR-2008-CarmanC #distributed #information retrieval #personalisation #towards
Towards personalized distributed information retrieval (MJC, FC), pp. 719–720.
SIGIRSIGIR-2008-XuA08a #modelling #multi #probability #retrieval
A new probabilistic retrieval model based on the dirichlet compound multinomial distribution (ZX, RA), pp. 427–434.
MODELSMoDELS-2008-CicchettiRP #development #distributed
Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.
MODELSMoDELS-2008-CicchettiRP #development #distributed
Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.
ECOOPECOOP-2008-HuYH #distributed #java #programming
Session-Based Distributed Programming in Java (RH, NY, KH), pp. 516–541.
ECOOPECOOP-2008-OstrowskiBDA #distributed #programming
Programming with Live Distributed Objects (KO, KB, DD, JHA), pp. 463–489.
QAPLQAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.
RERE-2008-LohmannHL #distributed #elicitation #requirements
Web-based Stakeholder Participation in Distributed Requirements Elicitation (SL, PH, KL), pp. 323–324.
REFSQREFSQ-2008-BendjennaZC #distributed #elicitation #process
Enhancing Elicitation Technique Selection Process in a Cooperative Distributed Environment (HB, NZ, PJC), pp. 23–36.
SACSAC-2008-AhamedRH #architecture #distributed #identification #scalability #using
Secured tag identification using EDSA (enhanced distributed scalable architecture) (SIA, FR, MEH), pp. 1902–1907.
SACSAC-2008-AraujoPFLO #distributed #named #using
FlagelLink: a decision support system for distributed flagellar data using data warehouse (FFA, ÂMAP, KMF, BFL, DMO), pp. 1268–1272.
SACSAC-2008-ConstantinA #distributed #ranking #xml
Usage-based ranking of distributed XML data (CC, BA), pp. 1008–1012.
SACSAC-2008-FahmyRJ #realtime #scheduling #thread
Scheduling distributable real-time threads in the presence of crash failures and message losses (SFF, BR, EDJ), pp. 294–301.
SACSAC-2008-JuniorCC #3d #architecture #distributed #named
Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation (JMJ, LCJ, GAdPC), pp. 1597–1601.
SACSAC-2008-LiJS #coordination #distributed #simulation
Coordination schemes in distributed simulation of relativistic particle transport (RL, HJ, HCS), pp. 44–45.
SACSAC-2008-MatosCPO #adaptation #distributed #middleware #named
Serpentine: adaptive middleware for complex heterogeneous distributed systems (MM, ACJ, JP, RCO), pp. 2219–2223.
SACSAC-2008-NogueraPPF #composition #ubiquitous
Context distribution for supporting composition of applications in ubiquitous computing (CN, EVP, CAP, JF), pp. 1647–1648.
SACSAC-2008-Phung-KhacBGS #adaptation #component #development #distributed #modelling
Model-driven development of component-based adaptive distributed applications (APK, AB, JMG, MTS), pp. 2186–2191.
SACSAC-2008-RosaLR #adaptation #distributed #modelling
Modelling adaptive services for distributed systems (LR, AL, LR), pp. 2174–2180.
SACSAC-2008-YuiMUK #distributed #named #parallel #using #xquery
XBird/D: distributed and parallel XQuery processing using remote proxy (MY, JM, SU, HK), pp. 1003–1007.
ICSEICSE-2008-CabotDMVR #distributed #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.
ICSEICSE-2008-SabetzadehNEC #consistency #distributed #modelling
Global consistency checking of distributed models with TReMer+ (MS, SN, SME, MC), pp. 815–818.
ICSEICSE-2008-WangCW #automation #distributed
Four enhancements to automated distributed system experimentation methods (YW, AC, ALW), pp. 491–500.
ICSEICSE-2008-XiaoLG #distributed #protocol #security
Developing a security protocol for a distributed decision support system in a healthcare environment (LX, PHL, AG), pp. 673–682.
HPCAHPCA-2008-RogersYCPS #distributed #memory management #multi
Single-level integrity and confidentiality protection for distributed shared memory multiprocessors (BR, CY, SC, MP, YS), pp. 161–172.
HPDCHPDC-2008-Al-KiswanyGSYR #distributed #named
StoreGPU: exploiting graphics processing units to accelerate distributed storage systems (SAK, AG, ESN, GY, MR), pp. 165–174.
HPDCHPDC-2008-BalajiFL #distributed #framework #semantics
Semantic-based distributed i/o with the paramedic framework (PB, WcF, HL), pp. 175–184.
HPDCHPDC-2008-DrostNMB #distributed #parallel
Resource tracking in parallel and distributed applications (ND, RvN, JM, HEB), pp. 221–222.
HPDCHPDC-2008-IosupSAE #distributed #performance #scalability
The performance of bags-of-tasks in large-scale distributed systems (AI, OOS, SA, DHJE), pp. 97–108.
HPDCHPDC-2008-ManosMKCKT #distributed #performance #using
Distributed mpi cross-site run performance using mpig (SM, MDM, OK, PVC, NTK, BRT), pp. 229–230.
LCTESLCTES-2008-DelavalGP #automation #data flow #higher-order #source code #type system
A type system for the automatic distribution of higher-order synchronous dataflow programs (GD, AG, MP), pp. 101–110.
OSDIOSDI-2008-YuIFBEGC #distributed #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.
PPoPPPPoPP-2008-BalajiFALKTM #distributed #semantics
Semantics-based distributed I/O for mpiBLAST (PB, WcF, JSA, HL, RK, RT, XM), pp. 293–294.
PPoPPPPoPP-2008-ChandraSSB #analysis #data type #distributed #locality #type inference
Type inference for locality analysis of distributed data structures (SC, VAS, VS, RB), pp. 11–22.
PPoPPPPoPP-2008-DiamondRKGGB #algebra #distributed #linear #performance
High performance dense linear algebra on a spatially distributed processor (JRD, BR, SWK, RAvdG, KG, DB), pp. 63–72.
ICSTICST-2008-ChuMK #distributed #testing
Distributed In Vivo Testing of Software Applications (MC, CM, GEK), pp. 509–512.
ICSTICST-2008-Garousi #distributed #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.
FATESTestCom-FATES-2008-HieronsMN #architecture #distributed #implementation
Implementation Relations for the Distributed Test Architecture (RMH, MGM, MN), pp. 200–215.
CBSECBSE-2007-MulugetaS #approach #component #contract #distributed
An Approach for QoS Contract Negotiation in Distributed Component-Based Software (MM, AS), pp. 90–106.
ECSAECSA-2007-PereiraHK #architecture #distributed #multimodal #staged
A Distributed Staged Architecture for Multimodal Applications (ACP, FH, KK), pp. 195–206.
WICSAWICSA-2007-Apte #analysis #distributed #performance
Performance Analysis of Distributed Software Systems: Approaches Based on Queueing Theory (VA), p. 39.
WICSAWICSA-2007-BassSS #architecture #design #distributed
Architecture Design for Globally Distributed Projects (MB, RSS, MS), p. 35.
WICSAWICSA-2007-HinzPUM #adaptation #architecture #web
Adaptation and Distribution of Pipeline-Based Context-Aware Web Architectures (MH, SP, MU, KM), p. 15.
ASEASE-2007-BarlasB #distributed #framework #java #named #verification
Netstub: a framework for verification of distributed java applications (EB, TB), pp. 24–33.
ASEASE-2007-SeoMM #distributed #energy #framework
An energy consumption framework for distributed java-based systems (CS, SM, NM), pp. 421–424.
CASECASE-2007-GuHSX #assembly #estimation #problem
Assembly Line Balancing Problems Solved by Estimation of Distribution (LG, SH, AS, XX), pp. 123–127.
CASECASE-2007-OkMLK #adaptation #distributed #energy #network
Distributed Energy-Adaptive Routing for Wireless Sensor Networks (CO, PM, SL, SRTK), pp. 905–910.
CASECASE-2007-TanonkouBX #design #multi #network #random
Design of multi-commodity distribution network with random demands and supply lead-times (GAT, LB, XX), pp. 698–703.
DACDAC-2007-DavareZNPKS #distributed #optimisation #realtime
Period Optimization for Hard Real-time Distributed Automotive Systems (AD, QZ, MDN, CP, SK, ALSV), pp. 278–283.
DACDAC-2007-GuHY #distributed #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.
DACDAC-2007-LimKK #architecture #communication #distributed #synthesis
Interconnect and Communication Synthesis for Distributed Register-File Microarchitecture (KHL, YK, TK), pp. 765–770.
DACDAC-2007-LiP #correlation #multi #parametricity #performance
Efficient Parametric Yield Extraction for Multiple Correlated Non-Normal Performance Distributions of Analog/RF Circuits (XL, LTP), pp. 928–933.
DACDAC-2007-MangHH #distributed #effectiveness #physics #synthesis
Techniques for Effective Distributed Physical Synthesis (FYCM, WH, PHH), pp. 859–864.
DACDAC-2007-RajnakK #architecture #design #distributed #implementation
Computer-aided Architecture Design & Optimized Implementation of Distributed Automotive EE Systems (AR, AK), pp. 556–561.
DACDAC-2007-SundaresanM #analysis #distributed
An Analysis of Timing Violations Due to Spatially Distributed Thermal Effects in Global Wires (KS, NRM), pp. 515–520.
DATEDATE-2007-BjerregaardSS #architecture #scalability
A scalable, timing-safe, network-on-chip architecture with an integrated clock distribution method (TB, MBS, JS), pp. 648–653.
DATEDATE-2007-GuptaOJWB #comprehension #distributed #multi #network #using
Understanding voltage variations in chip multiprocessors using a distributed power-delivery network (MSG, JLO, RJ, GYW, DMB), pp. 624–629.
DATEDATE-2007-PopPEP #distributed #embedded #optimisation
Bus access optimisation for FlexRay-based distributed embedded systems (TP, PP, PE, ZP), pp. 51–56.
DATEDATE-2007-ZamoraKM #distributed #network #video
Distributed power-management techniques for wireless network video systems (NHZ, JCK, RM), pp. 564–569.
DATEDATE-2007-ZhengNPGV #distributed #modelling #realtime #synthesis
Synthesis of task and message activation models in real-time distributed automotive systems (WZ, MDN, CP, PG, ALSV), pp. 93–98.
ICDARICDAR-2007-LongJ #classification
Building Compact MQDF Classifier for Off-line Handwritten Chinese Characters by Subspace Distribution Sharing (TL, LJ), pp. 909–913.
SIGMODSIGMOD-2007-CongFK #distributed #evaluation #performance #query
Distributed query evaluation with performance guarantees (GC, WF, AK), pp. 509–520.
SIGMODSIGMOD-2007-CormodeG07a #data type #distributed #query #streaming
Streaming in a connected world: querying and tracking distributed data streams (GC, MNG), pp. 1178–1181.
SIGMODSIGMOD-2007-FernandezJMOS #distributed #xquery
Highly distributed XQuery with DXQ (MFF, TJ, KM, NO, JS), pp. 1159–1161.
SIGMODSIGMOD-2007-HuebschGHS #distributed #query
Sharing aggregate computation for distributed queries (RH, MNG, JMH, IS), pp. 485–496.
SIGMODSIGMOD-2007-ZhouQGZ #distributed #named #performance
Sonnet: an efficient distributed content-based dissemination broker (AZ, WQ, XG, MZ), pp. 1094–1096.
VLDBVLDB-2007-AbiteboulDPVVP #open source #scalability
Large Scale P2P Distribution of Open-Source Software (SA, ID, RP, GV, DV, NP), pp. 1390–1393.
VLDBVLDB-2007-BhattacharyaMS #distributed #modelling #named #network #query #statistics #using
MIST: Distributed Indexing and Querying in Sensor Networks using Statistical Models (AB, AM, AKS), pp. 854–865.
VLDBVLDB-2007-LeeZL #approach #concurrent #distributed #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.
VLDBVLDB-2007-TatbulCZ #distributed #performance
Staying FIT: Efficient Load Shedding Techniques for Distributed Stream Processing (NT, , SBZ), pp. 159–170.
VLDBVLDB-2007-ZhangB #distributed #named #performance #xquery
XRPC: Interoperable and Efficient Distributed XQuery (YZ, PAB), pp. 99–110.
WRLAWRLA-2006-CirsteaHW07 #calculus
Distributive rho-calculus (HC, CH, BW), pp. 95–111.
WRLAWRLA-2006-DuranRV07 #distributed #implementation #maude #mobile
A Distributed Implementation of Mobile Maude (FD, AR, AV), pp. 113–131.
FASEFASE-2007-EdwardsMM #architecture #distributed #dynamic analysis
Scenario-Driven Dynamic Analysis of Distributed Architectures (GE, SM, NM), pp. 125–139.
FASEFASE-2007-RangerH #consistency #distributed #graph transformation
Ensuring Consistency Within Distributed Graph Transformation Systems (UR, TH), pp. 368–382.
FASEFASE-2007-SanchezSM #concurrent #distributed #product line #protocol
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces (CS, HBS, ZM), pp. 155–169.
FASEFASE-2007-TibermacineHK #architecture #component #constraints #deployment #distributed
Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software (CT, DH, RK), pp. 140–154.
FoSSaCSFoSSaCS-2007-HirschkoffP #congruence #π-calculus
A Distribution Law for CCS and a New Congruence Result for the π-Calculus (DH, DP), pp. 228–242.
TACASTACAS-2007-BlomCLOPPDW #analysis #case study #distributed
Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.
CSMRCSMR-2007-AoumeurBS #adaptation #component #distributed #incremental #information management #runtime #specification #validation
Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems (NA, KB, GS), pp. 123–136.
ICSMEICSM-2007-BalintMGM #distributed #named #re-engineering
NOREX: A Distributed Reengineering Environment (MB, PFM, TG, RM), pp. 523–524.
ICSMEICSM-2007-GustavssonLLMB #development #distributed #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.
ICSMEICSM-2007-WangSY #case study #distributed #experience #re-engineering
Experience Report: Reengineering Standalone System into the Service-Partition Distributed Environment (XW, JS, XY), pp. 477–480.
MSRMSR-2007-German #open source #using
Using Software Distributions to Understand the Relationship among Free and Open Source Software Projects (DMG), p. 24.
PLDIPLDI-2007-KillianABJV #distributed #named
Mace: language support for building distributed systems (CEK, JWA, RB, RJ, AV), pp. 179–188.
SASSAS-2007-KamilY #analysis #distributed #pointer #source code
Hierarchical Pointer Analysis for Distributed Programs (AK, KAY), pp. 281–297.
STOCSTOC-2007-Lynch #algorithm #distributed #modelling #proving
Distributed computing theory: algorithms, impossibility results, models, and proofs (NAL), p. 247.
ICALPICALP-2007-AlonCHKRS #algorithm #graph
Quasi-randomness and Algorithmic Regularity for Graphs with General Degree Distributions (NA, ACO, HH, MK, VR, MS), pp. 789–800.
ICALPICALP-2007-FraigniaudGIP #distributed #graph
Distributed Computing with Advice: Information Sensitivity of Graph Coloring (PF, CG, DI, AP), pp. 231–242.
IFMIFM-2007-HasanT #cumulative #probability #using #verification
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function (OH, ST), pp. 333–352.
IFMIFM-2007-VerhoefVHB #distributed #embedded #realtime
Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
ICFPICFP-2007-BeshersFS #case study #experience #functional #linux #programming #using
Experience report: using functional programming to manage a linux distribution (CB, DF, JS), pp. 213–218.
ICFPICFP-2007-FredlundS #distributed #functional #model checking #named #programming language
McErlang: a model checker for a distributed functional programming language (LÅF, HS), pp. 125–136.
ICFPICFP-2007-NystromTK #distributed
Evaluating high-level distributed language constructs (JHN, PWT, DJK), pp. 203–212.
CHICHI-2007-FraserMSS #coordination #distributed #matter #visualisation
Seconds matter: improving distributed coordination bytracking and visualizing display trajectories (MF, MRM, MS, PS), pp. 1303–1312.
HCIDHM-2007-LiWW
The Effects of the False Vocal Fold Gaps in a Model of the Larynx on Pressures Distributions and Flows (SL, MW, SW), pp. 147–156.
HCIHCI-AS-2007-ConvertinoZGCR #approach #distributed #multi
A Role-Based Multiple View Approach to Distributed Geo-Collaboration (GC, DZ, CHG, JMC, MBR), pp. 561–570.
HCIHCI-AS-2007-SchlegelSFBNdHMCSMIP #distributed #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.
HCIHCI-AS-2007-SchremmerKVE #design #distributed #framework #research
Design Discussion of the [braccetto] Research Platform: Supporting Distributed Intensely Collaborating Creative Teams of Teams (CS, AKH, RV, JE), pp. 722–734.
HCIHCI-AS-2007-XueL #data mining #distributed #mining #modelling #research #similarity
Research of Distributed Data Mining Association Rules Model Based on Similarity (SX, ZL), pp. 1180–1189.
HCIHCI-IPT-2007-ChoiY #multi #named #network
MKPS: A Multi-level Key Pre-distribution Scheme for Secure Wireless Sensor Networks (SJC, HYY), pp. 808–817.
HCIHCI-MIE-2007-HuLYS #modelling
Modeling of Places Based on Feature Distribution (YH, CWL, JYY, BJS), pp. 1019–1027.
HCIHIMI-IIE-2007-BaeckerBCLRMWW #distributed #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.
HCIHIMI-IIE-2007-Chou
A Decision Making Model for the Taiwanese Shipping Logistics Company in China to Select the Container Distribution Center Location (CCC), pp. 844–854.
HCIHIMI-IIE-2007-ParkZ #analysis #distributed
Requirement Analysis of the Portal Site Serving Distributed Climate Data for e-Science (TP, LZ), pp. 450–456.
HCIOCSC-2007-CetinVF #analysis #development #distributed #human-computer
An Analysis of Involvement of HCI Experts in Distributed Software Development: Practical Issues (, DV, SF), pp. 32–40.
HCIOCSC-2007-Jang #community #game studies #online #self
Managing Fairness: Reward Distribution in a Self-organized Online Game Player Community (CYJ), pp. 375–384.
VISSOFTVISSOFT-2007-CosmaM #distributed #visualisation
Distributable Features View: Visualizing the Structural Characteristics of Distributed Software Systems (DCC, RM), pp. 55–62.
AdaEuropeAdaEurope-2007-BarbariaHP #component #design #distributed #performance
Design and Performance of a Generic Consensus Component for Critical Distributed Applications (KB, JH, LP), pp. 208–220.
AdaEuropeAdaEurope-2007-ZalilaHHP #architecture #distributed #generative
Generating Distributed High Integrity Applications from Their Architectural Description (BZ, IH, JH, LP), pp. 155–167.
CAiSECAiSE-2007-AldredADH #abstraction #communication #distributed #process
Communication Abstractions for Distributed Business Processes (LA, WMPvdA, MD, AHMtH), pp. 409–423.
CAiSECAiSE-2007-CostacheNP #distributed #personalisation #ranking
Personalizing PageRank-Based Ranking over Distributed Collections (SC, WN, RP), pp. 111–126.
CAiSECAiSE-2007-WalleCD #distributed #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.
EDOCEDOC-2007-TilakR #component #contract #distributed #interactive
Temporal Interaction Contracts for Components in a Distributed System (OJT, RRR), pp. 339–352.
ICEISICEIS-AIDSS-2007-CastroO #distributed #multi #problem
A Distributed Multi-Agent System to Solve Airline Operations Problems (AJMC, EO), pp. 22–30.
ICEISICEIS-AIDSS-2007-WenningGTSK #algorithm #distributed #framework
Investigations on Object-Centered Routing in Dynamic Environments: Algorithmic Framework and Initial Numerical Results — Support for Distributed Decision Making in Transport Systems (BLW, CG, ATG, JS, HK), pp. 225–230.
ICEISICEIS-DISI-2007-GorawskiG #approach #distributed #query
Distributed approach of continuous queries with knn join processing in spatial data warehouse (MG, WG), pp. 131–136.
ICEISICEIS-EIS-2007-MahdaviSSG #design #distributed #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.
ICEISICEIS-J-2007-CastroO07a #distributed #multi #problem #using
Solving Airline Operations Problems Using Specialized Agents in a Distributed Multi-Agent System (AJMC, ECO), pp. 173–184.
ICEISICEIS-J-2007-LuciaFPT07a #collaboration #distributed #learning
A Service Oriented Collaborative Distributed Learning Object Management System (ADL, RF, IP, GT), pp. 341–354.
ICEISICEIS-SAIC-2007-LuciaFPT #collaboration #distributed #learning #named
CD-LOMAS: A Collaborative Distributed Learning Object Management System (ADL, RF, IP, GT), pp. 34–44.
CIKMCIKM-2007-BechchiRM #database #distributed #summary
Merging distributed database summaries (MB, GR, NM), pp. 419–428.
CIKMCIKM-2007-MarinC #distributed
High-performance distributed inverted files (MM, VGC), pp. 935–938.
ECIRECIR-2007-CastagnosB #community #distributed #personalisation #recommendation
Personalized Communities in a Distributed Recommender System (SC, AB), pp. 343–355.
ECIRECIR-2007-DalmauF #approach #clustering
Experimental Results of the Signal Processing Approach to Distributional Clustering of Terms on Reuters-21578 Collection (MCD, ÓWMF), pp. 678–681.
ECIRECIR-2007-Robertson07a #on the
On Score Distributions and Relevance (SR), pp. 40–51.
ECIRECIR-2007-Shokouhi #distributed #information retrieval
Central-Rank-Based Collection Selection in Uncooperative Distributed Information Retrieval (MS), pp. 160–172.
ICMLICML-2007-BickelBS #learning
Discriminative learning for differing training and test distributions (SB, MB, TS), pp. 81–88.
ICMLICML-2007-YamazakiKWSM #fault
Asymptotic Bayesian generalization error when training and test distributions are different (KY, MK, SW, MS, KRM), pp. 1079–1086.
KDDKDD-2007-LuoXLS #classification #distributed #network #peer-to-peer
Distributed classification in peer-to-peer networks (PL, HX, KL, ZS), pp. 968–976.
MLDMMLDM-2007-EkdahlK #classification #learning #on the
On Concentration of Discrete Distributions with Applications to Supervised Learning of Classifiers (ME, TK), pp. 2–16.
MLDMMLDM-2007-FullerK #data type #distributed #monitoring #named
FIDS: Monitoring Frequent Items over Distributed Data Streams (RF, MMK), pp. 464–478.
MLDMMLDM-2007-PalancarTCL #algorithm #distributed #memory management #mining #parallel
Distributed and Shared Memory Algorithm for Parallel Mining of Association Rules (JHP, OFT, JFC, RHL), pp. 349–363.
RecSysRecSys-2007-BerkovskyEKR #collaboration #distributed #privacy
Enhancing privacy and preserving accuracy of a distributed collaborative filtering (SB, YE, TK, FR), pp. 9–16.
RecSysRecSys-2007-BerkovskyKR #collaboration #distributed
Distributed collaborative filtering with domain specialization (SB, TK, FR), pp. 33–40.
RecSysRecSys-2007-LathiaHC #collaboration #distributed #metric #using
Private distributed collaborative filtering using estimated concordance measures (NL, SH, LC), pp. 1–8.
SEKESEKE-2007-BaresiMM #distributed #process
Distributed BPEL Processes (LB, AM, SM), pp. 692–697.
SEKESEKE-2007-ChenKL #adaptation #on the #random testing #testing
On Test Case Distributions of Adaptive Random Testing (TYC, FCK, HL), pp. 141–144.
SEKESEKE-2007-LarssonIS #development #distributed #framework #user interface
A Development Platform for Distributed User Interfaces (AL, MI, BS), p. 704–?.
SEKESEKE-2007-SaD #distributed
An Agent Based System for Search in Distributed Environments (LS, YD), p. 570–?.
SIGIRSIGIR-2007-ChaudhuriCKS #multi #query
Heavy-tailed distributions and multi-keyword queries (SC, KWC, ACK, LS), pp. 663–670.
SIGIRSIGIR-2007-SimeoniCB #distributed #framework #information retrieval
The DILIGENT framework for distributed information retrieval (FS, FC, RB), pp. 781–782.
ECMFAECMDA-FA-2007-UlrichP #case study #distributed #industrial #modelling #reverse engineering #validation
Reverse Engineering Models from Traces to Validate Distributed Systems — An Industrial Case Study (AU, AP), pp. 184–193.
SACSAC-OOPS-J-2006-BeugnardS07 #encapsulation
Method Overloading and Overriding Cause Distribution Transparency and Encapsulation Flaws (AB, SS), pp. 31–45.
SACSAC-2007-ChangA #configuration management #web
Supporting reconfigurable object distribution for customized web applications (PHC, GA), pp. 1286–1292.
SACSAC-2007-FattaF #data mining #distributed #mining #multi
A customizable multi-agent system for distributed data mining (GDF, GF), pp. 42–47.
SACSAC-2007-HaaseW #distributed #framework #ontology #query
A decentralized infrastructure for query answering over distributed ontologies (PH, YW), pp. 1351–1356.
SACSAC-2007-KarmakarG #adaptation #distributed #protocol
Adaptive broadcast by distributed protocol switching (SK, AG), pp. 588–589.
SACSAC-2007-LiuT #game studies #random
Eigen-distribution on assignments for game trees with random properties (CL, KT), pp. 78–79.
SACSAC-2007-OrlovskyR #distributed #policy #security
Decentralized enforcement of security policies for distributed computational systems (AO, DR), pp. 241–248.
SACSAC-2007-SatzgerPTU #adaptation #detection #distributed
A new adaptive accrual failure detector for dependable distributed systems (BS, AP, WT, TU), pp. 551–555.
SACSAC-2007-ViroliCG #distributed #problem #self #tuple
A self-organising solution to the collective sort problem in distributed tuple spaces (MV, MC, LG), pp. 354–359.
SACSAC-2007-WaltersHC #algorithm #distributed
Selecting a distributed agreement algorithm (RJW, PH, SC), pp. 586–587.
SACSAC-2007-YuY #continuation #distributed #workflow
Continuation-passing enactment of distributed recoverable workflows (WY, JY), pp. 475–481.
ESEC-FSEESEC-FSE-2007-RamasubbuB #analysis #development #distributed #empirical #performance
Globally distributed software development project performance: an empirical analysis (NR, RKB), pp. 125–134.
ICSEICSE-2007-AutiliINT #automation #component #distributed #named #synthesis
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.
ICSEICSE-2007-BestJN #distributed #information management #modelling #security #using
Model-Based Security Engineering of Distributed Information Systems Using UMLsec (BB, JJ, BN), pp. 581–590.
ICSEICSE-2007-LivieriHMI #analysis #distributed #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.
HPDCHPDC-2007-DamevskiSP #component #design #distributed #framework #named #scalability
CCALoop: scalable design of a distributed component framework (KD, ADS, SGP), pp. 213–214.
HPDCHPDC-2007-MeeheanL #behaviour #component #distributed #middleware
Environmentally responsible middleware: : an altruistic behavior model for distributed middleware components (JM, ML), pp. 209–210.
HPDCHPDC-2007-RidruejoMN #component #concept #distributed #memory management #parallel #simulation
Concepts and components of full-system simulation of distributed memory parallel computers (FJRP, JMA, JN), pp. 225–226.
HPDCHPDC-2007-WeigleC #network #performance
Partial content distribution on high performance networks (EW, AAC), pp. 137–146.
LCTESLCTES-2007-ChenTCLYLL #compilation #distributed #embedded
Enabling compiler flow for embedded VLIW DSP processors with distributed register files (CKC, LHT, SCC, YJL, YPY, CHL, JKL), pp. 146–148.
PPoPPPPoPP-2007-WenWM #distributed #named #network #scalability #simulation
Disens: scalable distributed sensor network simulation (YW, RW, GM), pp. 24–34.
SOSPSOSP-2007-AguileraMSVK #distributed #named #paradigm #scalability
Sinfonia: a new paradigm for building scalable distributed systems (MKA, AM, MAS, ACV, CTK), pp. 159–174.
SOSPSOSP-2007-CrameriKKBZ #deployment #staged #testing
Staged deployment in mirage, an integrated software upgrade testing and distribution system (OC, NK, DK, RB, WZ), pp. 221–236.
SOSPSOSP-2007-HaeberlenKD #distributed #named
PeerReview: practical accountability for distributed systems (AH, PK, PD), pp. 175–188.
CADECADE-2007-HasanT #formal method #probability
Formalization of Continuous Probability Distributions (OH, ST), pp. 3–18.
CAVCAV-2007-GaravelMLS #analysis #distributed #process
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes (HG, RM, FL, WS), pp. 158–163.
TAPTAP-2007-Haiyan #algorithm #distributed #proving #testing #type system
Testing and Proving Distributed Algorithms in Constructive Type Theory (QH), pp. 79–94.
TLCATLCA-2007-JiangZ
Weakly Distributive Domains (YJ, GQZ), pp. 194–206.
CBSECBSE-2006-AngelovSMM #component #distributed #embedded #framework
A Formal Component Framework for Distributed Embedded Systems (CA, KS, NM, JM), pp. 206–221.
CBSECBSE-2006-MauranPL #black box #distributed
Supervising Distributed Black Boxes (PM, GP, PTXL), pp. 166–181.
ASEASE-2006-MancinelliBCVDLT #complexity #open source #scalability
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions (FM, JB, RDC, JV, BD, XL, RT), pp. 199–208.
ASEASE-2006-Mattmann #data-driven #distributed
Software Connectors for Highly Distributed and Voluminous Data Intensive Systems (CM), pp. 331–334.
ASEASE-2006-Seo #distributed #energy
Energy-Awareness in Distributed Java-Based Software Systems (CS), pp. 343–348.
CASECASE-2006-AndersonRLF #distributed #multi
Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells (KA, JR, BL, MF), pp. 325–330.
CASECASE-2006-ChenFWCAH #adaptation #distributed #framework #simulation
An Adaptive Distributed Simulation Framework for a Server Fulfillment Supply Chain (YC, JWF, TW, TEC, EA, VH), pp. 649–655.
CASECASE-2006-ChoWTF #distributed #scheduling
Autonomous Distributed Scheduling Adjustment Function with Interchanging Operations (SCC, KW, KT, SF), pp. 387–392.
CASECASE-2006-TanonkouBX #design #network #random
Distribution network design with random demand and unreliable suppliers (GAT, LB, XX), pp. 15–20.
DACDAC-2006-AnanthanR #physics #process
A fully physical model for leakage distribution under process variations in Nanoscale double-gate CMOS (HA, KR), pp. 413–418.
DACDAC-2006-HattoriIIYKSYNYKTHAHTSMYHMYHTYIKMYITAAO #mobile #power management
Hierarchical power distribution and power management scheme for a single chip mobile processor (TH, TI, MI, EY, HK, GS, TY, KN, HY, TK, YT, MH, HA, IH, KT, YS, NM, YY, TH, YM, KY, KH, ST, SY, TI, YK, HM, TY, NI, RT, NA, TA, KO), pp. 292–295.
DACDAC-2006-LiLP #analysis #power management #statistics
Projection-based statistical analysis of full-chip leakage power with non-log-normal distributions (XL, JL, LTP), pp. 103–108.
DACDAC-2006-NevoF #distributed #order
Distributed dynamic BDD reordering (ZN, MF), pp. 223–228.
DATEDATE-2006-ArpinenKSHH #configuration management #distributed #execution #framework #multi #uml
Configurable multiprocessor platform with RTOS for distributed execution of UML 2.0 designed applications (TA, PK, ES, MH, TDH), pp. 1324–1329.
DATEDATE-2006-BudnikR #distributed #network #novel #power management #using
Minimizing ohmic loss and supply voltage variation using a novel distributed power supply network (MMB, KR), pp. 1116–1121.
DATEDATE-2006-IzosimovPEP #distributed #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.
DATEDATE-2006-MoezE #distributed #process
A 10-GHz 15-dB four-stage distributed amplifier in 0.18 µm CMOS process (KKM, MIE), pp. 405–409.
DATEDATE-2006-NelsonZDBPMB #fault
Extraction of defect density and size distributions from wafer sort test results (JEN, TZ, RD, JGB, NP, WM, RD(B), pp. 913–918.
DATEDATE-2006-PaulinPLBBLLL #distributed #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.
DATEDATE-2006-RaghavanLJCV #architecture #distributed #multi #thread
Distributed loop controller architecture for multi-threading in uni-threaded VLIW processors (PR, AL, MJ, FC, DV), pp. 339–344.
PODSPODS-2006-ZhaoOWX #distributed #set
Finding global icebergs over distributed data sets (QZ, MO, HW, J(X), pp. 298–307.
SIGMODSIGMOD-2006-KeralapuraCR #distributed #monitoring
Communication-efficient distributed monitoring of thresholded counts (RK, GC, JR), pp. 289–300.
SIGMODSIGMOD-2006-SharfmanSK #approach #data type #distributed #geometry #monitoring
A geometric approach to monitoring threshold functions over distributed data streams (IS, AS, DK), pp. 301–312.
VLDBVLDB-2006-BunemanCFK #distributed #partial evaluation #query #using
Using Partial Evaluation in Distributed Query Evaluation (PB, GC, WF, AK), pp. 211–222.
VLDBVLDB-2006-HuangNL #consistency #data flow #database #distributed #named #towards
TRAC: Toward Recency and Consistency Reporting in a Database with Distributed Data Sources (JH, JFN, ML), pp. 223–234.
VLDBVLDB-2006-LauM #approach #distributed
An Integrated Approach to Recovery and High Availability in an Updatable, Distributed Data Warehouse (EL, SM), pp. 703–714.
VLDBVLDB-2006-XingHCZ #distributed
Providing Resiliency to Load Variations in Distributed Stream Processing (YX, JHH, , SBZ), pp. 775–786.
FASEFASE-2006-SenA #automation #distributed #source code #testing
Automated Systematic Testing of Open Distributed Programs (KS, GA), pp. 339–356.
FoSSaCSFoSSaCS-2006-BaldanHK #distributed #petri net
Distributed Unfolding of Petri Nets (PB, SH, BK), pp. 126–141.
TACASTACAS-2006-GaravelMBCDJSS #distributed #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.
ICSMEICSM-2006-DucasseGK
Distribution Map (SD, TG, AK), pp. 203–212.
STOCSTOC-2006-ChoG #distributed #multi #resource management
Pricing for fairness: distributed resource allocation for multiple objectives (SwC, AG), pp. 197–204.
DLTDLT-J-2005-Tsin06 #algorithm #distributed #performance
An Efficient Distributed Algorithm for 3-edge-connectivity (YHT), pp. 677–702.
ICALPICALP-v2-2006-BalabanPZ #distributed #protocol #safety
Invisible Safety of Distributed Protocols (IB, AP, LDZ), pp. 528–539.
FMFM-2006-BotaschanjanGHKST #distributed #towards #verification
Towards Modularized Verification of Distributed Time-Triggered Systems (JB, AG, AH, LK, MS, DT), pp. 163–178.
FMFM-2006-GenonMM #algorithm #distributed #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.
FMFM-2006-VerhoefLH #distributed #embedded #modelling #realtime #validation
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
ICFPICFP-2006-DenielouL #abstraction #distributed #type system
Abstraction preservation and subtyping in distributed languages (PMD, JJL), pp. 286–297.
ICGTICGT-2006-EhrigOP #category theory #distributed #graph transformation
Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.
ICGTICGT-2006-MendizabalD #analysis #distributed #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.
CHICHI-2006-BosONSHJ #distributed #question
Collocation bindness in partially distributed groups: is there a downside to being collocated? (NB, JSO, NN, NSS, SH, EWJ), pp. 1313–1321.
CHICHI-2006-Moher #distributed #embedded #learning #simulation
Embedded phenomena: supporting science learning with classroom-sized distributed simulations (TM), pp. 691–700.
CSCWCSCW-2006-HindsM #coordination #distributed #social
Structures that work: social structure, work structure and coordination ease in geographically distributed teams (PJH, CM), pp. 343–352.
CSCWCSCW-2006-TeeGG #distributed
Providing artifact awareness to a distributed group through screen sharing (KT, SG, CG), pp. 99–108.
AdaEuropeAdaEurope-2006-CamposGH #middleware #policy #realtime #scheduling
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution (JLC, JJG, MGH), pp. 227–240.
AdaEuropeAdaEurope-2006-UruenaZBPP #communication #distributed #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.
AdaSIGAda-2006-Sotirovski #distributed
Time horizon in distributed object societies (DMS), pp. 71–74.
EDOCEDOC-2006-BarrettP #automation #composition #modelling #semantics #using #web #web service
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics (RB, CP), pp. 417–422.
EDOCEDOC-2006-NaglRD #distributed #named
VIDRE — A Distributed Service-Oriented Business Rule Engine based on RuleML (CN, FR, SD), pp. 35–44.
ICEISICEIS-AIDSS-2006-SombattheeraG #algorithm #distributed #linear
A Distributed Algorithm for Coalition Formation in Linear Production Domain (CS, AG), pp. 17–22.
ICEISICEIS-ISAS-2006-CostelloFMLD #approach #distributed #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.
ICEISICEIS-ISAS-2006-EnamiTH #distributed #project management #re-engineering
A Project Management Model to a Distributed Software Engineering Environment (LNME, TFCT, EHMH), pp. 382–387.
ICEISICEIS-SAIC-2006-ReeseMOM #distributed #process
Distributed Business Processes in Open Agent Environments (CR, KM, SO, DM), pp. 81–86.
CIKMCIKM-2006-HoseLS #distributed #summary #using
Processing relaxed skylines in PDMS using distributed data summaries (KH, CL, KUS), pp. 425–434.
CIKMCIKM-2006-KapoorPTT #database #distributed #mining #privacy
Privacy preserving sequential pattern mining in distributed databases (VK, PP, FT, MT), pp. 758–767.
CIKMCIKM-2006-ReeveHNYSB #concept #summary
Concept frequency distribution in biomedical text summarization (LHR, HH, SVN, JCY, TAS, ADB), pp. 604–611.
CIKMCIKM-2006-StanoiMPL #distributed #query #throughput
Maximizing the sustained throughput of distributed continuous queries (IS, GAM, TP, CAL), pp. 834–835.
CIKMCIKM-2006-Zeinalipour-YaztiLG #distributed #similarity
Distributed spatio-temporal similarity search (DZY, SL, DG), pp. 14–23.
ICMLICML-2006-BonillaWACTO #predict
Predictive search distributions (EVB, CKIW, FVA, JC, JT, MFPO), pp. 121–128.
ICMLICML-2006-Elkan #approximate #clustering #documentation #multi
Clustering documents with an exponential-family approximation of the Dirichlet compound multinomial distribution (CE), pp. 289–296.
ICPRICPR-v1-2006-CantoniLL #challenge #data mining #distributed #mining #network
Challenges for Data Mining in Distributed Sensor Networks (VC, LL, PL), pp. 1000–1007.
ICPRICPR-v1-2006-Fisher #distributed
Scene recovery from many randomly distributed single pixel cameras (RBF), pp. 988–991.
ICPRICPR-v2-2006-Goto #distributed #framework
OCRGrid : A Platform for Distributed and Cooperative OCR Systems (HG), pp. 982–985.
ICPRICPR-v2-2006-Lu #evaluation #similarity
Joint Distributions based on DFB and Gaussian Mixtures for Evaluation of Style Similarity among Paintings (XL), pp. 865–868.
ICPRICPR-v2-2006-Sarkar #classification #image #visual notation
Image classification: Classifying distributions of visual features (PS), pp. 472–475.
ICPRICPR-v2-2006-TarelB #detection #kernel #parametricity
Object Predetection Based on Kernel Parametric Distribution Fitting (JPT, SB), pp. 808–811.
ICPRICPR-v3-2006-BaigBK #distributed #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.
ICPRICPR-v3-2006-LeoputraTL #distributed #using
Non-overlapping Distributed Tracking using Particle Filter (WSL, TT, FLL), pp. 181–185.
ICPRICPR-v4-2006-ChenJY06a #detection #distributed #fault
Fault Detection in Distributed Systems by Representative Subspace Mapping (HC, GJ, KY), pp. 912–915.
ICPRICPR-v4-2006-Choi #cumulative #recognition #robust #speech #using
A Noise Robust Front-end for Speech Recognition Using Hough Transform and Cumulative Distribution Mapping (EHCC), pp. 286–289.
ICPRICPR-v4-2006-WuQ #geometry #identification #using
A Hierarchical Palmprint Identification Method Using Hand Geometry and Grayscale Distribution Features (JW, ZQ), pp. 409–412.
KDDKDD-2006-ArunasalamC #classification #named #top-down
CCCS: a top-down associative classifier for imbalanced class distribution (BA, SC), pp. 517–522.
KDDKDD-2006-XiongWC #clustering #metric #perspective #validation
K-means clustering versus validation measures: a data distribution perspective (HX, JW, JC), pp. 779–784.
SEKESEKE-2006-Benattou #architecture #distributed #multi #testing
A Multi-Agent Based Architecture For Distributed Testing (MB), pp. 495–498.
SEKESEKE-2006-LiuBGRTOA #distributed #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.
SIGIRSIGIR-2006-AzzopardiBC #adaptation #distributed #information retrieval
Adaptive query-based sampling for distributed IR (LA, MB, FC), pp. 605–606.
SIGIRSIGIR-2006-BaillieCL #distributed #named
PENG: integrated search of distributed news archives (MB, FC, ML), pp. 607–608.
SIGIRSIGIR-2006-CaverleeLB #approach #distributed #query
Distributed query sampling: a quality-conscious approach (JC, LL, JB), pp. 340–347.
SIGIRSIGIR-2006-DayanikLMMG #classification
Constructing informative prior distributions from domain knowledge in text classification (AAD, DDL, DM, VM, AG), pp. 493–500.
SIGIRSIGIR-2006-MoffatWZ #parallel #retrieval
Load balancing for term-distributed parallel retrieval (AM, WW, JZ), pp. 348–355.
SIGIRSIGIR-2006-ShokouhiZST #distributed #retrieval
Capturing collection size for distributed non-cooperative retrieval (MS, JZ, FS, SMMT), pp. 316–323.
MODELSMoDELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #uml #visualisation
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
MODELSMoDELS-2006-SriplakichBG #distributed
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment (PS, XB, MPG), pp. 631–645.
MODELSMoDELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #uml #visualisation
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
MODELSMoDELS-2006-SriplakichBG #distributed
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment (PS, XB, MPG), pp. 631–645.
ECOOPECOOP-2006-AjmaniLS #composition #distributed
Modular Software Upgrades for Distributed Systems (SA, BL, LS), pp. 452–476.
GPCEGPCE-2006-ShiCX #distributed #metaprogramming
Distributed meta-programming (RS, CC, HX), pp. 243–248.
LOPSTRLOPSTR-2006-BagnaraDHMZ #named
Grids: A Domain for Analyzing the Distribution of Numerical Values (RB, KD, PMH, MM, EZ), pp. 219–235.
QAPLQAPL-2006-CiobanuP #distributed
Timers for Distributed Systems (GC, CP), pp. 81–99.
RERE-2006-LinLCSABBKDZ #automation #distributed #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.
SACSAC-2006-BendaJPSC #algorithm #distributed #resource management
A distributed stand-in agent based algorithm for opportunistic resource allocation (PB, PJ, MP, NS, MMC), pp. 119–125.
SACSAC-2006-ChenJUY #detection #distributed #fault #monitoring
Combining supervised and unsupervised monitoring for fault detection in distributed computing systems (HC, GJ, CU, KY), pp. 705–709.
SACSAC-2006-FortinoGR #approach #distributed #modelling #workflow
From modeling to enactment of distributed workflows: an agent-based approach (GF, AG, WR), pp. 128–129.
SACSAC-2006-GeihsKRSHM #adaptation #component #distributed #modelling
Modeling of component-based adaptive distributed applications (KG, MUK, RR, AS, SOH, SM), pp. 718–722.
SACSAC-2006-LeeYKKK #ad hoc #distributed #mobile #network
Distributed IPv6 addressing technique for mobile ad-hoc networks (DL, JY, HK, KK, KK), pp. 1156–1160.
SACSAC-2006-MikalsenPFSPC #adaptation #distributed #middleware
Distributed context management in a mobility and adaptation enabling middleware (MADAM) (MM, NP, JF, ES, GAP, AC), pp. 733–734.
SACSAC-2006-RendaS #automation #distributed #library #query
Automatic structured query transformation over distributed digital libraries (MER, US), pp. 1078–1083.
SACSAC-2006-ShankaranBSBLMD #component #distributed #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.
SACSAC-2006-SriplakichBG #automation #distributed #integration #tool support
Supporting transparent model update in distributed CASE tool integration (PS, XB, MPG), pp. 1759–1766.
SACSAC-2006-WangPLR #collaboration #distributed #peer-to-peer
Distributed collaborative filtering for peer-to-peer file sharing systems (JW, JAP, RLL, MJTR), pp. 1026–1030.
SACSAC-2006-YangU #adaptation #algorithm #correlation #search-based
Adaptive mutation with fitness and allele distribution correlation for genetic algorithms (SY, SU), pp. 940–944.
FSEFSE-2006-RutherfordCW #distributed #test coverage #testing
Simulation-based test adequacy criteria for distributed systems (MJR, AC, ALW), pp. 231–241.
ICSEICSE-2006-BabarKG #architecture #assessment #distributed #evaluation #process #towards
Towards a distributed software architecture evaluation process: a preliminary assessment (MAB, BK, IG), pp. 845–848.
ICSEICSE-2006-DengSG #aspect-oriented #deployment #development #distributed #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.
ICSEICSE-2006-GarousiBL #distributed #modelling #testing #uml
Traffic-aware stress testing of distributed systems based on UML models (VG, LCB, YL), pp. 391–400.
ICSEICSE-2006-Gomaa #concurrent #design #distributed #realtime #uml
Designing concurrent, distributed, and real-time applications with UML (HG), pp. 1059–1060.
ICSEICSE-2006-MattmannCMH #architecture #data-driven #distributed #framework
A software architecture-based framework for highly distributed and data intensive scientific applications (CM, DJC, NM, SH), pp. 721–730.
ICSEICSE-2006-MikulovicH #communication #development #distributed #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.
ICSEICSE-2006-RichardsonMMK #development #distributed #education
Distributed development: an education perspective on the global studio project (IR, AEM, NM, PK), pp. 679–684.
ICSEICSE-2006-SenguptaCS #development #distributed #research
A research agenda for distributed software development (BS, SC, VS), pp. 731–740.
ICSEICSE-2006-VerlekarA #analysis #distributed #performance
A methodology and tool for performance analysis of distributed server systems (RPV, VA), pp. 913–916.
ICSEICSE-2006-WangSYHHM #c++ #distributed #legacy #re-engineering
Reengineering standalone C++ legacy systems into the J2EE partition distributed environment (XW, JS, XY, CH, ZH, SRM), pp. 525–533.
SPLCSPLC-2006-Scheidemann #distributed #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.
HPDCHPDC-2006-CieslakTC #data mining #distributed #mining
Troubleshooting Distributed Systems via Data Mining (DAC, DT, NVC), pp. 309–312.
HPDCHPDC-2006-KeeYCC #distributed #resource management #robust #scalability
Robust Resource Allocation for Large-scale Distributed Shared Resource Environments (YSK, KY, AAC, HC), pp. 341–342.
HPDCHPDC-2006-LebreDHS #adaptation #distributed #multi #scheduling
Adaptive I/O Scheduling for Distributed Multi-applications Environments (AL, YD, GH, PS), pp. 343–344.
HPDCHPDC-2006-LegrandQCF #deployment #distributed #simulation
The SIMGRID Project Simulation and Deployment of Distributed Applications (AL, MQ, HC, KF), pp. 385–386.
HPDCHPDC-2006-WuB #adaptation #clustering #performance
Improving I/O Performance of Clustered Storage Systems by Adaptive Request Distribution (CW, RCB), pp. 207–217.
HPDCHPDC-2006-XuRRKG #adaptation #distributed #framework #multi
Autonomic Adaptation of Virtual Distributed Environments in a Multi-Domain Infrastructure (DX, PR, JR, RK, SG), pp. 317–320.
OSDIOSDI-2006-Burrows #distributed
The Chubby Lock Service for Loosely-Coupled Distributed Systems (MB), pp. 335–350.
OSDIOSDI-2006-ChangDGHWBCFG #distributed #exclamation #named
Bigtable: A Distributed Storage System for Structured Data (Awarded Best Paper!) (FC, JD, SG, WCH, DAW, MB, TC, AF, RG), pp. 205–218.
OSDIOSDI-2006-DouceurH #distributed #file system
Distributed Directory Service in the Farsite File System (JRD, JH), pp. 321–334.
OSDIOSDI-2006-MadhyasthaIPDAKV #distributed #named
iPlane: An Information Plane for Distributed Services (HVM, TI, MP, CD, TEA, AK, AV), pp. 367–380.
OSDIOSDI-2006-PeekF #distributed #named
EnsemBlue: Integrating Distributed Storage and Consumer Electronics (DP, JF), pp. 219–232.
OSDIOSDI-2006-WeilBMLM #distributed #file system #named #scalability
Ceph: A Scalable, High-Performance Distributed File System (SAW, SAB, ELM, DDEL, CM), pp. 307–320.
PPoPPPPoPP-2006-BasumallikE #optimisation
Optimizing irregular shared-memory applications for distributed-memory systems (AB, RE), pp. 119–128.
PPoPPPPoPP-2006-ManassievMA #clustering #concurrent #distributed #memory management #transaction
Exploiting distributed version concurrency in a transactional memory cluster (KM, MM, CA), pp. 198–208.
CAVCAV-2006-BarnatBCMRS #distributed #named #verification
DiVinE — A Tool for Distributed Verification (JB, LB, IC, PM, PR, PS), pp. 278–281.
LICSLICS-2006-KissV #congruence #on the
On Tractability and Congruence Distributivity (EWK, MV), pp. 221–230.
ICSTSAT-2006-HyvarinenJN #satisfiability
A Distribution Method for Solving SAT in Grids (AEJH, TAJ, IN), pp. 430–435.
ICTSSTestCom-2006-ChenU #detection #distributed #problem #testing
Detecting Observability Problems in Distributed Testing (JC, HU), pp. 213–226.
ICTSSTestCom-2006-DinTS #distributed #testing
Distributed Load Tests with TTCN-3 (GD, ST, IS), pp. 177–196.
ASEASE-2005-DominguezD #composition #distributed #reasoning
Compositional reasoning for port-based distributed systems (ALJD, NAD), pp. 376–379.
ASEASE-2005-InverardiMTA #adaptation #approach #automation #component #distributed #synthesis
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach (PI, LM, MT, MA), pp. 405–409.
ASEASE-2005-WangRCW #automation #distributed
Automating experimentation on distributed testbeds (YW, MJR, AC, ALW), pp. 164–173.
CASECASE-2005-JungCJ #coordination
A production-distribution coordinating model for third party logistics partnership (HJ, FFC, BJ), pp. 99–104.
CASECASE-2005-LeeK #behaviour #distributed #multi
Estimating global stress environment by observing local behavior in distributed multiagent systems (SL, SRTK), pp. 215–219.
CASECASE-2005-NgYHD #energy #process
Diagnosis of sheet metal stamping processes based on thermal energy distribution (YMHN, MY, YH, RD), pp. 191–196.
CASECASE-2005-TangK #distributed #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.
CASECASE-2005-WangLWK #architecture #distributed #simulation #using
Collision resolution simulation for distributed control architectures using LonWorks (MW, EL, EW, MK), pp. 319–326.
DACDAC-2005-BeattieZDK #3d #distributed #modelling
Spatially distributed 3D circuit models (MWB, HZ, AD, BK), pp. 153–158.
DACDAC-2005-ZhanSLPNS #analysis #statistics
Correlation-aware statistical timing analysis with non-gaussian delay distributions (YZ, AJS, XL, LTP, DN, MS), pp. 77–82.
DATEDATE-2005-FrancescoAM #architecture #distributed #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.
DATEDATE-2005-GhoshG #distributed #locality #named #network #protocol #scheduling
LORD: A Localized, Reactive and Distributed Protocol for Node Scheduling in Wireless Sensor Networks (AG, TG), pp. 190–195.
DATEDATE-2005-HeniaE #analysis #distributed #scheduling
Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies (RH, RE), pp. 480–485.
DATEDATE-2005-IzosimovPEP #design #distributed #embedded #fault tolerance #optimisation
Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems (VI, PP, PE, ZP), pp. 864–869.
DATEDATE-2005-KruseTEVS #contract #design #distributed #embedded #flexibility #process
Introducing Flexible Quantity Contracts into Distributed SoC and Embedded System Design Processes (JK, CT, RE, TV, TS), pp. 938–943.
DATEDATE-2005-StreichertHT #clustering #configuration management #distributed #embedded #network
Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks (TS, CH, JT), pp. 894–895.
DATEDATE-2005-WangWI #distributed #embedded #performance
A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.
HTHT-2005-HansenCB #hypermedia
RSS as a distribution medium for geo-spatial hypermedia (FAH, BGC, NOB), pp. 254–256.
HTHT-2005-LutkenhouseNB #community #distributed #realtime
Distributed, real-time computation of community preferences (TL, MLN, JB), pp. 88–97.
ICDARICDAR-2005-BeheraLI #documentation #geometry #identification #using
Enhancement of Layout-based Identification of Low-resolution Documents using Geometrical Color Distribution (AB, DL, RI), pp. 468–472.
ICDARICDAR-2005-LiuFZL #documentation #image #retrieval
Document Image Retrieval Based on Density Distribution Feature and Key Block Feature (HL, SF, HZ, XL), pp. 1040–1044.
SIGMODSIGMOD-2005-AhmadBCHHJMPRTXXZ #distributed
Distributed operation in the Borealis stream processing engine (YA, BB, , MH, JHH, AJ, AM, OP, AR, NT, WX, YX, SBZ), pp. 882–884.
SIGMODSIGMOD-2005-BalazinskaBMS #distributed #fault tolerance
Fault-tolerance in the Borealis distributed stream processing system (MB, HB, SM, MS), pp. 13–24.
SIGMODSIGMOD-2005-CormodeGMR #approximate #distributed
Holistic Aggregates in a Networked World: Distributed Tracking of Approximate Quantiles (GC, MNG, SM, RR), pp. 25–36.
VLDBVLDB-2005-CormodeG #approximate #distributed #query #sketching
Sketching Streams Through the Net: Distributed Approximate Query Tracking (GC, MNG), pp. 13–24.
VLDBVLDB-2005-CormodeMR #data type #mining
Summarizing and Mining Inverse Distributions on Data Streams via Dynamic Inverse Sampling (GC, SM, IR), pp. 25–36.
VLDBVLDB-2005-LiuZJMR #adaptation #distributed #query
A Dynamically Adaptive Distributed System for Processing Complex Continuous Queries (BL, YZ, MJ, BM, EAR), pp. 1338–1341.
VLDBVLDB-2005-MichelTW #algorithm #distributed #framework #named #query
KLEE: A Framework for Distributed Top-k Query Algorithms (SM, PT, GW), pp. 637–648.
VLDBVLDB-2005-ZadorozhnyGRY #adaptation #distributed #framework #named #network
AReNA: Adaptive Distributed Catalog Infrastructure Based On Relevance Networks (VZ, AG, LR, QY), pp. 1287–1290.
VLDBVLDB-2005-ZhangZ #distributed #information management #privacy
Distributed Privacy Preserving Information Sharing (NZ, WZ), pp. 889–900.
CSEETCSEET-2005-VerkamoTTBK #case study #distributed #student
Distributed Cross-Cultural Student Software Project: A Case Study (AIV, JT, TT, YB, DK), pp. 207–214.
ITiCSEITiCSE-2005-Hanks #distributed #performance #programming #student
Student performance in CS1 with distributed pair programming (BH), pp. 316–320.
ITiCSEITiCSE-2005-Hause #development #distributed #performance
Distributed team performance in software development (MLH), p. 357.
ITiCSEITiCSE-2005-OechsleG #algorithm #distributed #framework #implementation #simulation
DisASTer (distributed algorithms simulation terrain): a platform for the implementation of distributed algorithms (RO, TG), pp. 44–48.
ITiCSEITiCSE-2005-WoitB #challenge #communication #distributed #re-engineering #student
Student communication challenges in distributed software engineering environments (DMW, KJB), pp. 286–290.
ICSMEICSM-2005-BriandLL #aspectj #distributed #using
Tracing Distributed Systems Executions Using AspectJ (LCB, YL, JL), pp. 81–90.
PASTEPASTE-2005-Myers #distributed #program analysis #program transformation
Making distributed systems secure with program analysis and transformation (ACM), p. 47.
PLDIPLDI-2005-AyersSMARW #control flow #distributed #fault #named #re-engineering
TraceBack: first fault diagnosis by reconstruction of distributed control flow (AA, RS, CM, AA, JR, EW), pp. 201–212.
STOCSTOC-2005-AchlioptasCKM #bias #graph #on the
On the bias of traceroute sampling: or, power-law degree distributions in regular graphs (DA, AC, DK, CM), pp. 694–703.
STOCSTOC-2005-RubinfeldS #testing
Testing monotone high-dimensional distributions (RR, RAS), pp. 147–156.
FMFM-2005-SunD #distributed #process #specification #synthesis
Synthesis of Distributed Processes from Scenario-Based Specifications (JS, JSD), pp. 415–431.
IFMIFM-2005-BostromW #development #distributed #fault tolerance #grid #using
Development of Fault Tolerant Grid Applications Using Distributed B (PB, MAW), pp. 167–186.
SEFMSEFM-2005-LanotteMT #analysis #automaton #data type #design #distributed
Timed Automata with Data Structures for Distributed Systems Design and Analysis (RL, AMS, AT), pp. 44–53.
SFMSFM-2005-BettiniN #distributed #mobile #programming
Mobile Distributed Programming in X-Klaim (LB, RDN), pp. 29–68.
CEFPCEFP-2005-ZsokHH #design #distributed
Designing Distributed Computational Skeletons in D-Clean and D-Box (VZ, ZH, ZH), pp. 223–256.
ICFPICFP-2005-SewellLWNAHV #design #distributed #named #programming language
Acute: high-level programming language design for distributed computation (PS, JJL, KW, FZN, MAW, PH, VV), pp. 15–26.
CHICHI-2005-BirnholtzFHB #ad hoc #chat #distributed #lightweight #scalability
Grounding needs: achieving common ground via lightweight chat in large, distributed, ad-hoc groups (JPB, TAF, DBH, SJB), pp. 21–30.
AdaEuropeAdaEurope-2005-MasmanoRCR #ada
Distributing Criticality Across Ada Partitions (MM, JR, AC, IR), pp. 196–207.
AdaEuropeAdaEurope-2005-VergnaudPK #component #distributed #middleware #using
Using the AADL to Describe Distributed Applications from Middleware to Software Components (TV, LP, FK), pp. 67–78.
AdaSIGAda-2005-Berns #ada #comparison #corba #distributed
A comparison of CORBA and ada’s distributed systems annex (AB), pp. 103–108.
EDOCEDOC-2005-PoernomoJS #constraints #distributed #probability
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model (IP, JJ, HWS), pp. 261–272.
ICEISICEIS-v1-2005-KaurSS #algorithm #concurrent #database #distributed #multi
Secure Concurrency Control Algorithm for Multilevel Secure Distributed Database Systems (NK, RS, HKS), pp. 267–272.
ICEISICEIS-v1-2005-RisheBCVGSW #encoding #semantics
Object ID Distribution and Encoding in the Semantic Binary Engine (NR, AB, MC, DV, SG, SS, OW), pp. 279–284.
ICEISICEIS-v3-2005-Gonzalez #distributed #simulation
Model Sharing in the Simulation and Control of Distributed Discrete-Event Systems (FG), pp. 144–151.
ICEISICEIS-v3-2005-MacielSFR #development #distributed #process
An MDA-EDOC Based Development Process for Distributed Applications (RSPM, BCdS, CAGF, NSR), pp. 3–10.
ICEISICEIS-v3-2005-ZhaoVB #collaboration #distributed #interactive #trust
Type and Scope of Trust Relationships in Collaborative Interactions in Distributed Environments (WZ, VV, GB), pp. 331–336.
ICEISICEIS-v4-2005-BoppH #architecture #distributed #kernel #mobile
A Microkernel Architecture for Distributed Mobile Environments (TB, TH), pp. 151–156.
ICEISICEIS-v4-2005-EssmannH #distributed #framework #peer-to-peer
A Framework for Distributed Objects in Peer-to-Peer Cooperation Environments (BE, TH), pp. 157–162.
CIKMCIKM-2005-CarminatiFB #xml
Securing XML data in third-party distribution systems (BC, EF, EB), pp. 99–106.
CIKMCIKM-2005-HuangLH #approach #distributed #mining #permutation
A new permutation approach for distributed association rule mining (YH, ZL, HH), pp. 351–352.
CIKMCIKM-2005-KriegelP #clustering #distributed #effectiveness #performance
Efficient and effective server-sided distributed clustering (HPK, MP), pp. 339–340.
CIKMCIKM-2005-MekaS #distributed #named #network
DIST: a distributed spatio-temporal index structure for sensor networks (AM, AKS), pp. 139–146.
CIKMCIKM-2005-SutherlandLJR #distributed #named #query #self
D-CAPE: distributed and self-tuned continuous query processing (TMS, BL, MJ, EAR), pp. 217–218.
CIKMCIKM-2005-ZhouYOTZ #distributed #multi #optimisation #query
Optimizing continuous multijoin queries over distributed streams (YZ, YY, BCO, KLT, AZ), pp. 221–222.
CIKMCIKM-2005-ZhuYL #distributed #rank
Distributed PageRank computation based on iterative aggregation-disaggregation methods (YZ, SY, XL), pp. 578–585.
ECIRECIR-2005-CachedaCPO #analysis #architecture #distributed #information retrieval #network
Network Analysis for Distributed Information Retrieval Architectures (FC, VC, VP, IO), pp. 527–529.
ICMLICML-2005-BekkermanEM #clustering #interactive #multi
Multi-way distributional clustering via pairwise interactions (RB, REY, AM), pp. 41–48.
ICMLICML-2005-CarneyCDL #network #predict #probability #using
Predicting probability distributions for surf height using an ensemble of mixture density networks (MC, PC, JD, CL), pp. 113–120.
ICMLICML-2005-MadsenKE #modelling #using #word
Modeling word burstiness using the Dirichlet distribution (REM, DK, CE), pp. 545–552.
ICMLICML-2005-SnelsonG #approximate #predict
Compact approximations to Bayesian predictive distributions (ES, ZG), pp. 840–847.
ICMLICML-2005-Tsuda
Propagating distributions on a hypergraph by dual information regularization (KT), pp. 920–927.
KDDKDD-2005-JagannathanW #clustering #distributed #privacy
Privacy-preserving distributed k-means clustering over arbitrarily partitioned data (GJ, RNW), pp. 593–599.
KDDKDD-2005-MeruguG #data flow #distributed #framework #learning #semistructured data
A distributed learning framework for heterogeneous data sources (SM, JG), pp. 208–217.
MLDMMLDM-2005-SilvaK #clustering #distributed
Inference on Distributed Data Clustering (JCdS, MK), pp. 610–619.
SEKESEKE-2005-ChenKZ #adaptation #effectiveness #on the #random testing #testing
On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing (TYC, FCK, ZZ), pp. 306–311.
SEKESEKE-2005-GaoCMYB05a #adaptation #component #distributed #towards #uml
Toward a UML Profile to Support Component-Based Distributed Adaptive Systems (TG, KMLC, HM, ILY, FBB), pp. 217–222.
SIGIRSIGIR-2005-Hosanagar #approach #distributed #information retrieval
A utility theoretic approach to determining optimal wait times in distributed information retrieval (KH), pp. 91–97.
SIGIRSIGIR-2005-WangRLP #collaboration #distributed #self
Self-organizing distributed collaborative filtering (JW, MJTR, RLL, JAP), pp. 659–660.
SIGIRSIGIR-2005-Yom-TovFCD #detection #distributed #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.
ECMFAECMDA-FA-2005-BurgstallerWFBF #development #distributed #monitoring #using
Using Domain Driven Development for Monitoring Distributed Systems (RB, EW, LF, MB, TF), pp. 19–24.
MODELSMoDELS-2005-Schmidt #development #distributed #embedded #modelling #realtime
Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
MODELSMoDELS-2005-Schmidt #development #distributed #embedded #modelling #realtime
Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
OOPSLAOOPSLA-2005-GregorL #algorithm #graph #parallel
Lifting sequential graph algorithms for distributed-memory parallel computation (DG, AL), pp. 423–437.
POPLPOPL-2005-FieldV #consistency #distributed #maintenance #named #programming
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments (JF, CAV), pp. 195–208.
SACSAC-2005-CarvalhoL #abstraction #composition #distributed #parallel #performance #programming
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming (FHdCJ, RDL), pp. 1357–1364.
SACSAC-2005-GorappaK #distributed #embedded #empirical #evaluation #realtime
Empirical evaluation of OpenCCM for Java-based distributed, real-time, and embedded systems (SG, RK), pp. 1288–1292.
SACSAC-2005-HastingsLOKPCJS #data transformation #distributed #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.
SACSAC-2005-HeI #distributed #resource management #self
Forming resource-sharing coalitions: a distributed resource allocation mechanism for self-interested agents in computational grids (LH, TRI), pp. 84–91.
SACSAC-2005-LiuBGROA #assurance #distributed #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.
SACSAC-2005-LiuSC #distributed #low cost #nondeterminism #query
Cost-efficient processing of MIN/MAX queries over distributed sensors with uncertainty (ZL, KCS, JC), pp. 634–641.
SACSAC-2005-MilazzoPTU #distributed #runtime
Handling run-time updates in distributed applications (MM, GP, ET, GU), pp. 1375–1380.
SACSAC-2005-Moloney #distributed #network #pervasive #recommendation #simulation
Simulation of a distributed recommendation system for pervasive networks (SM), pp. 1577–1581.
SACSAC-2005-RenJ #adaptation #distributed #forensics #network #realtime
Honeynet based distributed adaptive network forensics and active real time investigation (WR, HJ), pp. 302–303.
SACSAC-2005-RothPP #distributed #mobile
A distributed content-based search engine based on mobile code (VR, UP, JP), pp. 66–73.
SACSAC-2005-SilvestriO #approximate #distributed #mining
Distributed approximate mining of frequent patterns (CS, SO), pp. 529–536.
SACSAC-2005-StefanescuTT #distributed #evaluation #query
Distributed evaluation of generalized path queries (DCS, AT, LT), pp. 610–616.
ESEC-FSEESEC-FSE-2005-KramerM #distributed
Engineering distributed software: a structural discipline (JK, JM), pp. 283–285.
ICSEICSE-2005-Al-NaeemGBRB #approach #architecture #distributed #quality
A quality-driven systematic approach for architecting distributed software applications (TAN, IG, MAB, FAR, BB), pp. 244–253.
ICSEICSE-2005-Gamma #agile #development #distributed #eclipse #open source #process
Agile, open source, distributed, and on-time: inside the eclipse development process (EG), p. 4.
ICSEICSE-2005-HawthorneP #challenge #development #distributed #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.
ICSEICSE-2005-Siegel #architecture #design #distributed #modelling #question #why
Why use the model driven architecture to design and build distributed applications? (JS), p. 37.
ICSEICSE-2005-YilmazKMPSGN #assurance #distributed #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.
HPCAHPCA-2005-ChaparroMGG #reduction
Distributing the Frontend for Temperature Reduction (PC, GM, JG, AG), pp. 61–70.
HPDCHPDC-2005-AlbrechtTSV #distributed #using
Distributed application management using Plush (JRA, CT, ACS, AV), pp. 281–282.
HPDCHPDC-2005-HustonNPSSZ #distributed
Dynamic load balancing for distributed search (LH, AN, PP, RS, PS, JZ), pp. 157–166.
HPDCHPDC-2005-LiuPV #distributed #query #streaming
Distributed streaming query planner in Calder system (YL, BP, NNV), pp. 316–317.
HPDCHPDC-2005-LuJ #design #distributed #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.
HPDCHPDC-2005-LuJ05a #consistency #detection #distributed #framework #grid #nondeterminism #performance
A framework for efficient inconsistency detection in a grid and Internet-scale distributed environment (YL, HJ), pp. 318–319.
HPDCHPDC-2005-RanjanBH #clustering #distributed
A model for cooperative federation of distributed clusters (RR, RB, AH), pp. 295–296.
HPDCHPDC-2005-ShasharinaVSV #distributed #interactive #named
GRIDL: high-performance and distributed interactive data language (SGS, OV, PS, SV), pp. 291–292.
HPDCHPDC-2005-Wang #distributed #file system #towards #version control #workflow
Towards a workflow-aware distributed versioning file system for metacomputing systems (YW0), pp. 314–315.
HPDCHPDC-2005-YangCHP #adaptation #distributed #runtime
Autonomic runtime manager for adaptive distributed applications (JY, HC, SH, MP), pp. 69–78.
LCTESLCTES-2005-FarcasFPT #component #execution #logic #realtime
Transparent distribution of real-time components based on logical execution time (EF, CF, WP, JT), pp. 31–39.
LCTESLCTES-2005-HenzingerKM #code generation #composition #distributed
Composable code generation for distributed giotto (TAH, CMK, SM), pp. 21–30.
PPoPPPPoPP-2005-ThiesKSRA #distributed #source code
Teleport messaging for distributed stream programs (WT, MK, JS, RMR, SPA), pp. 224–235.
SOSPSOSP-2005-NightingaleCF #distributed #execution #file system
Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.
AMOSTAMOST-2005-KarrP #distributed #modelling #performance #statistics #testing #using
Distributed performance testing using statistical modeling (AFK, AAP).
CSLCSL-2005-VIICH #control flow #distributed #logic
Distributed Control Flow with Classical Modal Logic (TMV, KC, RH), pp. 51–69.
ICLPICLP-2005-BortolussiW #concurrent #constraints #distributed #probability #programming language
A Distributed and Probabilistic Concurrent Constraint Programming Language (LB, HW), pp. 143–158.
LICSLICS-2005-FinkbeinerS #distributed #synthesis
Uniform Distributed Synthesis (BF, SS), pp. 321–330.
CBSECBSE-2004-Mikic-RakicM #architecture #distributed
Software Architectural Support for Disconnected Operation in Highly Distributed Environments (MMR, NM), pp. 23–39.
WICSAWICSA-2004-IssarnyTLS #architecture #distributed #mobile
Software Architecture for Mobile Distributed Computing (VI, FT, JL, FS), pp. 201–210.
WICSAWICSA-2004-MattmannCHKR #architecture #data-driven #distributed #scalability
Software Architecture for Large-Scale, Distributed, Data-Intensive Systems (CM, DJC, JSH, SCK, PMR), pp. 255–276.
ASEASE-2004-Boulila #collaboration #concurrent #distributed #modelling
Group Support for Distributed Collaborative Concurrent Software Modeling (NB), pp. 422–425.
DACDAC-2004-HanBBCJ #architecture #data transfer #distributed #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.
DACDAC-2004-TanjiA #analysis #distributed
Closed-form expressions of distributed RLC interconnects for analysis of on-chip inductance effects (YT, HA), pp. 810–813.
DACDAC-2004-ZhangDC #distributed #embedded #energy #fault tolerance #realtime
Energy-aware deterministic fault tolerance in distributed real-time embedded systems (YZ, RPD, KC), pp. 550–555.
DATEDATE-v1-2004-BabighianBM04a #distributed
Sizing and Characterization of Leakage-Control Cells for Layout-Aware Distributed Power-Gating (PB, LB, EM), pp. 720–723.
DATEDATE-v2-2004-MarculescuPH #design #distributed #multi #perspective
Distributed Multimedia System Design: A Holistic Perspective (RM, MP, JH), pp. 1342–1349.
DATEDATE-v2-2004-MinzPL #3d
Net and Pin Distribution for 3D Package Global Routing (JRM, MP, SKL), pp. 1410–1411.
DATEDATE-v2-2004-NakashimaIOM
ULSI Interconnect Length Distribution Model Considering Core Utilization (HN, JI, KO, KM), pp. 1210–1217.
SIGMODSIGMOD-2004-BalazinskaBS #distributed
Load Management and High Availability in the Medusa Distributed Stream Processing System (MB, HB, MS), pp. 929–930.
VLDBVLDB-2004-AbiteboulABCFMS #distributed #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.
VLDBVLDB-2004-AhmadC #distributed #query
Networked Query Processing for Distributed Stream-Based Applications (YA, ), pp. 456–467.
VLDBVLDB-2004-DasGGR #distributed #estimation #set
Distributed Set Expression Cardinality Estimation (AD, SG, MNG, RR), pp. 312–323.
VLDBVLDB-2004-LitwinMS #distributed
LH*RS: A Highly Available Distributed Data Storage (WL, RM, TJES), pp. 1289–1292.
VLDBVLDB-2004-WangD #distributed #internet #rank
Computing PageRank in a Distributed Internet Search Engine System (YW, DJD), pp. 420–431.
CSEETCSEET-2004-McGraw #security
Software Security Clue Distribution (GM), pp. 6–7.
ITiCSEITiCSE-2004-ChengB #distributed #effectiveness
Evaluating the effectiveness of ICT to support globally distributed PBL teams (CSC, CB), pp. 47–51.
ESOPESOP-2004-JiaW #distributed #proving #source code
Modal Proofs as Distributed Programs (Extended Abstract) (LJ, DW), pp. 219–233.
ESOPESOP-2004-PhillipsYE #automaton #calculus #distributed
A Distributed Abstract Machine for Boxed Ambient Calculi (AP, NY, SE), pp. 155–170.
FASEFASE-2004-Abiteboul #distributed #information management #web #web service #xml
Distributed Information Management with XML and Web Services (SA), pp. 1–11.
CSMRCSMR-2004-AntoniolP #analysis #architecture #distributed
A Distributed Architecture for Dynamic Analyses on User-Profile Data (GA, MDP), pp. 319–328.
ICSMEICSM-2004-LiM #component #distributed #testing
Exploiting Global Causality in Testing of Distributed and Component-Based Applications (JL, KM), p. 527.
SCAMSCAM-2004-CeccatoT #aspect-oriented #programming
Adding Distribution to Existing Applications by Means of Aspect Oriented Programming (MC, PT), pp. 107–116.
STOCSTOC-2004-AwerbuchK #adaptation #distributed #feedback #geometry #learning
Adaptive routing with end-to-end feedback: distributed learning and geometric approaches (BA, RDK), pp. 45–53.
STOCSTOC-2004-BatuKR #algorithm #sublinear #testing
Sublinear algorithms for testing monotone and unimodal distributions (TB, RK, RR), pp. 381–390.
STOCSTOC-2004-Elkin #approximate #bound #distributed #problem #trade-off
Unconditional lower bounds on the time-approximation tradeoffs for the distributed minimum spanning tree problem (ME), pp. 331–340.
ICALPICALP-2004-AwerbuchS #distributed #protocol
Group Spreading: A Protocol for Provably Secure Distributed Name Service (BA, CS), pp. 183–195.
ICALPICALP-2004-BlundoDS #bound #self
Definitions and Bounds for Self-Healing Key Distribution Schemes (CB, PD, ADS), pp. 234–245.
ICALPICALP-2004-SamerV #ltl #query
A Syntactic Characterization of Distributive LTL Queries (MS, HV), pp. 1099–1110.
ICALPICALP-2004-Volzer #distributed #on the
On Randomization Versus Synchronization in Distributed Systems (HV), pp. 1214–1226.
SEFMSEFM-2004-JohnsenO #communication #concurrent #distributed
An Asynchronous Communication Model for Distributed Concurrent Objects (EBJ, OO), pp. 188–197.
SEFMSEFM-2004-LiYW #distributed #multi #testing
Distributed Testing of Multi Input/Output Transition System (ZL, XY, JW), pp. 271–280.
CHICHI-2004-EricksonHDK #design #distributed #evaluation #prototype #social
A social proxy for distributed tasks: design and evaluation of a working prototype (TE, WH, CD, WAK), pp. 559–566.
CHICHI-2004-LampeR #distributed #online #scalability
Slash(dot) and burn: distributed moderation in a large online conversation space (CL, PR), pp. 543–550.
CSCWCSCW-2004-BosSOCN #distributed #simulation
In-group/out-group effects in distributed teams: an experimental simulation (NB, NSS, JSO, AC, NN), pp. 429–436.
CSCWCSCW-2004-GutwinPS #development #distributed
Group awareness in distributed software development (CG, RP, KAS), pp. 72–81.
CSCWCSCW-2004-YankelovichWRWKP #distributed #effectiveness
Meeting central: making distributed meetings more effective (NY, WW, PR, MW, JK, JP), pp. 419–428.
AdaEuropeAdaEurope-2004-CamposGH #ada #embedded #realtime
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems (JLC, JJG, MGH), pp. 91–105.
AdaEuropeAdaEurope-2004-VergnaudHPK #distributed #middleware #named #reliability
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications (TV, JH, LP, FK), pp. 106–119.
EDOCEDOC-2004-SilaghiFS #towards #uml
Towards an MDA-Oriented UML Profile for Distribution (RS, FF, AS), pp. 227–239.
EDOCEDOC-2004-ZhaoBBROA #automation #code generation #component #distributed #integration
Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components (WZ, BRB, CCB, RRR, AMO, MA), pp. 275–285.
ICEISICEIS-v1-2004-AbdouliSAB #distributed #realtime #transaction
Enhancing the Success Ratio of Distributed Real-Time Nested Transactions (MA, BS, LA, AB), pp. 233–240.
ICEISICEIS-v1-2004-AggourB #distributed #information management
Delegating Authority in a Distributed Information Management System (KSA, BJV, JAB), pp. 155–162.
ICEISICEIS-v1-2004-BauerR #distributed #workflow
Dynamic Change of Server Assignments in Distributed Workflow Management Systems (TB, MR), pp. 91–98.
ICEISICEIS-v1-2004-Irun-BrizMB #database #distributed #lazy evaluation #protocol #replication
The Abortion Rate of Lazy Replication Protocols for Distributed Databases (LIB, FDME, JMBA), pp. 130–135.
ICEISICEIS-v1-2004-Saad-BouzefraneB #distributed #multi #transaction
A Transactional Multimode Model to Handle Overload in Distributed RTDBSS (SSB, SB), pp. 328–336.
ICEISICEIS-v2-2004-Okhtilev #data flow #distributed #realtime
The Data Flow and Distributed Calculations Intelligence Information Technology for Decision Support System in Real Time (MO), pp. 497–500.
ICEISICEIS-v3-2004-BrowneSW #distributed #process #workflow
Activity Crediting in Distributed Workflow Environments (EDB, MS, JRW), pp. 245–253.
ICEISICEIS-v3-2004-HuzitaPST #development #distributed #named
Dimanager: A Tool for Distributed Software Development Management (EHMH, MEP, GS, TFCT), pp. 659–662.
ICEISICEIS-v3-2004-LopesPAM #distributed #requirements #specification
Distributed Requirements Specification: Minimizing the Effect of Geographic Dispersion (LL, RP, JLNA, AM), pp. 531–534.
ICEISICEIS-v4-2004-GaaloulBBG #component #distributed
A Pattern for Interconnecting Distributed Components (WG, KB, KB, CG), pp. 430–434.
ICEISICEIS-v4-2004-KarppinenNWN #distributed #named #web
Gridblocks — Web Portal and Client for Distributed Computing (JK, MN, JW, TN), pp. 36–40.
ICEISICEIS-v4-2004-Lukosch
Customizable Data Distribution for Synchronous Groupware (SL), pp. 70–77.
ICEISICEIS-v4-2004-ToivonenPHM #distributed #interactive #process #protocol #using
Using Interaction Protocols in Distributed Construction Processes (ST, TP, HH, JUM), pp. 344–349.
ICEISICEIS-v5-2004-DingS #distributed #library #towards
Towards the Schema Heterogeneity in Distributed Digital Libraries (HD, IS), pp. 307–312.
ICEISICEIS-v5-2004-Rohrbaugh #distributed
Managerial Openness and the Adoption of Distributed Group Support Systems: The Case of Webwide Participation (JR), pp. 115–120.
CIKMCIKM-2004-KnabeT #distributed #query
Processing search queries in a distributed environment (FK, DT), pp. 492–494.
CIKMCIKM-2004-LavelliSZ #comparison
Distributional term representations: an experimental comparison (AL, FS, RZ), pp. 615–624.
ECIRECIR-2004-CachedaPO #analysis #architecture #distributed #performance
Performance Analysis of Distributed Architectures to Index One Terabyte of Text (FC, VP, IO), pp. 394–408.
ICMLICML-2004-CortesM #kernel
Distribution kernels based on moments of counts (CC, MM).
ICMLICML-2004-PhillipsDS #approach #modelling
A maximum entropy approach to species distribution modeling (SJP, MD, RES).
ICMLICML-2004-ToutanovaMN #dependence #learning #modelling #random #word
Learning random walk models for inducing word dependency distributions (KT, CDM, AYN).
ICPRICPR-v1-2004-BouguilaZ #finite #learning #modelling
A Powreful Finite Mixture Model Based on the Generalized Dirichlet Distribution: Unsupervised Learning and Applications (NB, DZ), pp. 280–283.
ICPRICPR-v1-2004-NammalwarGW #integration #segmentation
Integration of Feature Distributions for Colour Texture Segmentation (PN, OG, PFW), pp. 716–719.
ICPRICPR-v1-2004-OmachiSA #estimation #precise #recognition
Precise Estimation of High-Dimensional Distribution and Its Application to Face Recognition (SO, FS, HA), pp. 220–223.
ICPRICPR-v2-2004-AltmuellerH #approximate #probability
Approximating High Dimensional Probability Distributions (SA, RMH), pp. 299–302.
ICPRICPR-v2-2004-HuR #classification #clustering #probability #using
Probability Table Compression Using Distributional Clustering for Scanning N-Tuple Classifiers (JH, ER), pp. 533–536.
ICPRICPR-v2-2004-NockP #bias #estimation
Grouping with Bias for Distribution-Free Mixture Model Estimation (RN, VP), pp. 44–47.
ICPRICPR-v3-2004-DeguchiKO #algorithm
Object Tracking by the Mean-Shift of Regional Color Distribution Combined with the Particle-Filter Algorithm (KD, OK, TO), pp. 506–509.
ICPRICPR-v4-2004-AlisiBPV #collaboration #distributed #fault
Motion Capture Based on Color Error Maps in a Distributed Collaborative Environment (TMA, ADB, FP, AV), pp. 953–956.
KDDKDD-2004-AliS #architecture #collaboration #distributed #named #recommendation #using
TiVo: making show recommendations using a distributed collaborative filtering architecture (KA, WvS), pp. 394–401.
KDDKDD-2004-GilburdSW #distributed #named #privacy #scalability
k-TTP: a new privacy model for large-scale distributed environments (BG, AS, RW), pp. 563–568.
KDDKDD-2004-SanilKLR #distributed #modelling #privacy
Privacy preserving regression modelling via distributed computation (APS, AFK, XL, JPR), pp. 677–682.
KDDKDD-2004-WrightY #distributed #network #privacy #semistructured data
Privacy-preserving Bayesian network structure computation on distributed heterogeneous data (RNW,