BibSLEIGH — time stem

Used together with:

real (1511)
system (890)
model (487)
base (444)
analysi (432)

Stem time$ (all stems)

4761 papers:

CBSE-2015-NandiMO #component #contract #probability #realtime #runtime: Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
CBSE-2015-WahlerOM #component #cyber-physical #manycore #realtime: Real-time Multi-core Components for Cyber-physical Systems (MW, MO, AM), pp. 37–42.
QoSA-2015-XuWXZB #as a service #data analysis #realtime: Making Real Time Data Analytics Available as a Service (DX, DW, XX, LZ, LB), pp. 73–82.
CASE-2015-ArdakaniORJ #generative #predict #realtime #using: Real-time trajectory generation using model predictive control (MMGA, BO, AR, RJ), pp. 942–948.
CASE-2015-BasileCC #identification #modelling #petri net #realtime: Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.
CASE-2015-DepariFLS #industrial #network: Inexpensive SDR-based longwave radio controlled clock for time dissemination in industrial wireless sensor networks (AD, AF, ML, ES), pp. 125–130.
CASE-2015-HeLG #graph #optimisation: Cycle time optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 274–279.
CASE-2015-KamraA #integer #multi #programming: A mixed integer programming model for timed deliveries in multirobot systems (NK, NA), pp. 612–617.
CASE-2015-KimCLJ #design #estimation #using: Design of pitch controller for wind turbines using time-delay estimation (JK, JC, JL, MJ), pp. 1131–1136.
CASE-2015-KobayashiH #realtime: Optimal real-time pricing of electricity with consideration for decrease in price effect (KK, KH), pp. 539–544.
CASE-2015-KouiderHOO #approach #graph #integer #linear #scheduling #source code: Mixed integer linear programs and tabu search approach to solve mixed graph coloring for unit-time job shop scheduling (AK, HAH, SO, AO), pp. 1177–1181.
CASE-2015-Kruif #maintenance #optimisation #sequence: Wet-etch sequence optimisation incorporating time dependent chemical maintenance (BJdK), pp. 1389–1394.
CASE-2015-LinZW #predict #realtime #using: Using real-time sensing data for predicting future state of building fires (CCL, GZ, LLW), pp. 1313–1318.
CASE-2015-LiuFOCK #realtime: A real-time passive vision system for robotic arc welding (JL, ZF, SIO, KHC, JKK), pp. 389–394.
CASE-2015-OgunmoluGJG #realtime: A real-time, soft robotic patient positioning system for maskless head-and-neck cancer radiotherapy: An initial investigation (OPO, XG, SBJ, NRG), pp. 1539–1545.
CASE-2015-PanciroliTBBF #realtime #simulation: Overcoming real time bond in high level simulation environments (RP, CT, GB, RB, CF), pp. 1644–1648.
CASE-2015-QiuSL #data access #realtime: Real time access control of patient service in the pediatrics department (YQ, JS, ZL), pp. 734–739.
CASE-2015-SaezMBT #analysis #hybrid #performance #realtime #simulation: Real-time hybrid simulation of manufacturing systems for performance analysis and control (MS, FPM, KB, DMT), pp. 526–531.
CASE-2015-ShiK #realtime: Real-time grasping planning for robotic bin-picking and kitting applications (JS, GSK), pp. 1632–1637.
CASE-2015-SrinivasanBSSR #automation #machine learning #modelling #network #using: Modelling time-varying delays in networked automation systems with heterogeneous networks using machine learning techniques (SS, FB, GS, BS, SR), pp. 362–368.
CASE-2015-VuW #design #fuzzy #nondeterminism: Observer design for a discrete-time T-S fuzzy system with uncertainties (VPV, WJW), pp. 1262–1267.
CASE-2015-WareS #synthesis #using: Synthesis time optimal accepting traces using language projection and pruning (SW, RS), pp. 1363–1368.
CASE-2015-Yen #realtime #using: Optimize the flight path for airlines using real-time information (JRY), p. 1649.
CASE-2015-ZhangTYL #assessment #markov #reliability #using: CAN node reliability assessment using segmented discrete time Markov chains (LZ, LT, FY, YL), pp. 231–236.
CASE-2015-ZonEHJVSB #detection #multi #realtime #using: Real-time collision detection for multiple packaging robots using monotonicity of configuration subspaces (RvZ, DE, DH, IJ, RV, RIS, KB), pp. 1638–1643.
DAC-2015-BeckertE #design #independence #realtime: Designing time partitions for real-time hypervisor with sufficient temporal independence (MB, RE), p. 6.
DAC-2015-BockHKS #algorithm #modelling: Local search algorithms for timing-driven placement under arbitrary delay models (AB, SH, NK, US), p. 6.
DAC-2015-CavigelliMB #embedded #network #realtime: Accelerating real-time embedded scene labeling with convolutional networks (LC, MM, LB), p. 6.
DAC-2015-ChangHLW #analysis #encoding #functional #named: TA-FTA: transition-aware functional timing analysis with a four-valued encoding (JCCC, RHMH, LYZL, CHPW), p. 6.
DAC-2015-FernandezJAQVC #bound #realtime: Increasing confidence on measurement-based contention bounds for real-time round-robin buses (GF, JJ, JA, EQ, TV, FJC), p. 6.
DAC-2015-HahnKL #garbage collection: To collect or not to collect: just-in-time garbage collection for high-performance SSDs with long lifetimes (SSH, JK, SL), p. 6.
DAC-2015-HuangCZL #behaviour #named #realtime #scheduling: PASS: priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling (WHH, JJC, HZ, CL), p. 6.
DAC-2015-Kahng #game studies: New game, new goal posts: a recent history of timing closure (ABK), p. 6.
DAC-2015-KehrQBS #communication #execution #legacy #manycore #parallel: Parallel execution of AUTOSAR legacy applications on multicore ECUs with timed implicit communication (SK, EQ, BB, GS), p. 6.
DAC-2015-MilutinovicQAC #estimation #named #performance: PACO: fast average-performance estimation for time-randomized caches (SM, EQ, JA, FJC), p. 6.
DAC-2015-PetersWPKD #constraints #modelling #representation #uml: A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
DAC-2015-RamprasathV #algorithm #optimisation #performance #statistics: An efficient algorithm for statistical timing yield optimization (SR, VV), p. 6.
DAC-2015-SripadaP #approach #graph: A timing graph based approach to mode merging (SS, MP), p. 6.
DAC-2015-ThieleAE #analysis #scheduling: Improving formal timing analysis of switched ethernet by exploiting FIFO scheduling (DT, PA, RE), p. 6.
DAC-2015-XieZPHLX #energy: Fixing the broken time machine: consistency-aware checkpointing for energy harvesting powered non-volatile processor (MX, MZ, CP, JH, YL, CJX), p. 6.
DAC-2015-YangTJ #analysis: Criticality-dependency-aware timing characterization and analysis (YMY, KHT, IHRJ), p. 6.
DAC-2015-YoonSMC #behaviour #detection #embedded #heatmap #memory management #realtime #using: Memory heat map: anomaly detection in real-time embedded systems using memory behavior (MKY, LS, SM, JC), p. 6.
DAC-2015-ZiegenbeinH #design: Timing-aware control software design for automotive systems (DZ, AH), p. 6.
DATE-2015-AndradeMVAPL #analysis #data flow #modelling: Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATE-2015-BiewerAGSH #approach #coordination #realtime #synthesis: A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving (AB, BA, JG, TS, CH), pp. 357–362.
DATE-2015-BrachtendorfB: Initial transient response of oscillators with long settling time (HGB, KB), pp. 1162–1167.
DATE-2015-ConstantinWKCB: Exploiting dynamic timing margins in microprocessors for frequency-over-scaling with instruction-based clock adjustment (JC, LW, GK, AC, AB), pp. 381–386.
DATE-2015-DengFDWLTINLCW #fault #hardware #network: Retraining-based timing error mitigation for hardware neural networks (JD, YF, ZD, YW, HL, OT, PI, DN, XL, YC, CW), pp. 593–596.
DATE-2015-DuqueDY #adaptation #behaviour #fault #reliability #runtime: Improving MPSoC reliability through adapting runtime task schedule based on time-correlated fault behavior (LARD, JMMD, CY), pp. 818–823.
DATE-2015-FeldS #analysis #dependence: Sufficient response time analysis considering dependencies between rate-dependent tasks (TF, FS), pp. 519–524.
DATE-2015-FuLX #energy #memory management: Race to idle or not: balancing the memory sleep time with DVS for energy minimization (CF, ML, CJX), pp. 13–18.
DATE-2015-FuZLX #manycore #memory management: Maximizing common idle time on multi-core processors with shared memory (CF, YZ, ML, CJX), pp. 900–903.
DATE-2015-GomonyGAAG #memory management #realtime #scalability: A generic, scalable and globally arbitrated memory tree for shared DRAM access in real-time systems (MDG, JG, BA, NCA, KGWG), pp. 193–198.
DATE-2015-GuanTW0 #analysis #realtime: Delay analysis of structural real-time workload (NG, YT, YW, WY), pp. 223–228.
DATE-2015-HerberRWH #realtime #scheduling #using: Real-time capable CAN to AVB ethernet gateway using frame aggregation and scheduling (CH, AR, TW, AH), pp. 61–66.
DATE-2015-HuriauxCS #design #runtime: Design flow and run-time management for compressed FPGA configurations (CH, AC, OS), pp. 1551–1554.
DATE-2015-KaneYHSS #architecture #interface #realtime: A neural machine interface architecture for real-time artificial lower limb control (JK, QY, RH, WS, MS), pp. 633–636.
DATE-2015-KimFPSL #framework #implementation #modelling #verification: Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DATE-2015-KumarLSSH #adaptation #verification: Timing verification for adaptive integrated circuits (RK, BL, YS, US, JH), pp. 1587–1590.
DATE-2015-LiuDNL #hardware #named #realtime: FastTree: a hardware KD-tree construction acceleration engine for real-time ray tracing (XL, YD, YN, ZL), pp. 1595–1598.
DATE-2015-MunchPHH #embedded #manycore #named #realtime #scalability #using: MPIOV: scaling hardware-based I/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges to (multi-core) multi-processor systems (DM, MP, OH, AH), pp. 579–584.
DATE-2015-OhYM #android #compilation #virtual machine: Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine (HSO, JHY, SMM), pp. 1048–1053.
DATE-2015-PoplavkoSBBB #execution #modelling #multi #realtime: Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
DATE-2015-RamboE #analysis #communication #worst-case: Worst-case communication time analysis of networks-on-chip with shared virtual channels (EAR, RE), pp. 537–542.
DATE-2015-Sharma #optimisation #power management: Minimum current consumption transition time optimization methodology for low power CTS (VS), pp. 412–416.
DATE-2015-SkalickySLF #framework #hardware #runtime: A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
DATE-2015-VargasQM #predict #question: OpenMP and timing predictability: a possible union? (RV, EQ, AM), pp. 617–620.
DATE-2015-WangNRQ #manycore #realtime #scheduling #statistics: Multi-core fixed-priority scheduling of real-time tasks with statistical deadline guarantee (TW, LN, SR, GQ), pp. 1335–1340.
DATE-2015-WartelKGBSTQLMB #analysis #case study #hardware: Timing analysis of an avionics case study on complex hardware/software platforms (FW, LK, AG, AB, ZRS, BT, EQ, CL, EM, IB, JA, LCG, TV, FJC), pp. 397–402.
DATE-2015-Weis0ESVGKW #fault #metric #modelling: Retention time measurements and modelling of bit error rates of WIDE I/O DRAM in MPSoCs (CW, MJ, PE, CS, PV, SG, MK, NW), pp. 495–500.
DATE-2015-XieKBWPC #design #energy #hybrid #optimisation: Efficiency-driven design time optimization of a hybrid energy storage system with networked charge transfer interconnect (QX, YK, DB, YW, MP, NC), pp. 1607–1610.
DATE-2015-YeYZX #on the: On the premises and prospects of timing speculation (RY, FY, JZ, QX), pp. 605–608.
DATE-2015-ZhangZCY #scalability: Exploiting DRAM restore time variations in deep sub-micron scaling (XZ, YZ, BRC, JY), pp. 477–482.
DocEng-2015-Kaplan: The Venice Time Machine (FK), p. 73.
HT-2015-JainKJ #network #online #social: Other Times, Other Values: Leveraging Attribute History to Link User Profiles across Online Social Networks (PJ, PK, AJ), pp. 247–255.
PODS-2015-IndykLR #approximate #testing: Erratum for: Approximating and Testing k-Histogram Distributions in Sub-linear Time (PI, RL, RR), p. 343.
SIGMOD-2015-AllardHMP #clustering #named #privacy: Chiaroscuro: Transparency and Privacy for Massive Personal Time-Series Clustering (TA, GH, FM, EP), pp. 779–794.
SIGMOD-2015-ArmenatzoglouPN #approach #clustering #game studies #graph #multi #realtime #social: Real-Time Multi-Criteria Social Graph Partitioning: A Game Theoretic Approach (NA, HP, VN, DP, CS), pp. 1617–1628.
SIGMOD-2015-BraunEGKKWAILL #database #performance #realtime: Analytics in Motion: High Performance Event-Processing AND Real-Time Analytics in the Same Database (LB, TE, GG, MK, DK, DW, AA, AI, EL, NL), pp. 251–264.
SIGMOD-2015-CochezM #approximate #clustering #distance #linear: Twister Tries: Approximate Hierarchical Agglomerative Clustering for Average Distance in Linear Time (MC, HM), pp. 505–517.
SIGMOD-2015-HuangCZJX #named #realtime #recommendation: TencentRec: Real-time Stream Recommendation in Practice (YH, BC, WZ, JJ, YX), pp. 227–238.
SIGMOD-2015-PaparrizosG #clustering #named #performance: k-Shape: Efficient and Accurate Clustering of Time Series (JP, LG), pp. 1855–1870.
SIGMOD-2015-SakuraiMF #mining: Mining and Forecasting of Big Time-series Data (YS, YM, CF), pp. 919–922.
SIGMOD-2015-TangSX #approach: Influence Maximization in Near-Linear Time: A Martingale Approach (YT, YS, XX), pp. 1539–1554.
SIGMOD-2015-TerleckiXSKW #on the: On Improving User Response Times in Tableau (PT, FX, MS, VK, RMGW), pp. 1695–1706.
SIGMOD-2015-ZhouT #named #predict: SMiLer: A Semi-Lazy Time Series Prediction System for Sensors (JZ, AKHT), pp. 1871–1886.
VLDB-2015-DingWDFZZ #clustering #named #performance #scalability: YADING: Fast Clustering of Large-Scale Time Series Data (RD, QW, YD, QF, HZ, DZ), pp. 473–484.
VLDB-2015-DongT #roadmap: A Time Machine for Information: Looking Back to Look Forward (XLD, WCT), pp. 2044–2055.
VLDB-2015-GoelPABMFGMBL #architecture #realtime #scalability #towards: Towards Scalable Real-time Analytics: An Architecture for Scale-out of OLxP Workloads (AKG, JP, NA, PB, SM, FF, FG, CM, TB, WL), pp. 1716–1727.
VLDB-2015-KejariwalKR #algorithm #realtime: Real Time Analytics: Algorithms and Systems (AK, SK, KR), pp. 2040–2051.
VLDB-2015-LarsonBHHNP #realtime #sql: Real-Time Analytical Processing with SQL Server (PÅL, AB, ENH, WH, MN, VP), pp. 1740–1751.
VLDB-2015-LiuDMM #named #realtime: FLORIN — A System to Support (Near) Real-Time Applications on User Generated Content on Daily News (QL, ECD, AM, WM), pp. 1944–1955.
VLDB-2015-LiZT #online #realtime: Real-time Targeted Influence Maximization for Online Advertisements (YL, DZ, KLT), pp. 1070–1081.
VLDB-2015-PelkonenFCHMTV #database #in memory #named #performance #scalability: Gorilla: A Fast, Scalable, In-Memory Time Series Database (TP, SF, PC, QH, JM, JT, KV), pp. 1816–1827.
ITiCSE-2015-KurkovskyM #realtime #student: Student Projects with Real-time Sensor Data (SK, MM), p. 344.
ESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case: Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
FoSSaCS-2015-AntonopoulosHRW #logic #realtime: Three Variables Suffice for Real-Time Logic (TA, PH, SR, JW), pp. 361–374.
TACAS-2015-GuanTAS0 #analysis #refinement #scalability: Scalable Timing Analysis with Refinement (NG, YT, JA, MS, WY), pp. 3–18.
TACAS-2015-Sankur #analysis #automaton #robust: Symbolic Quantitative Robustness Analysis of Timed Automata (OS), pp. 484–498.
ICPC-2015-MinelliML #developer #how #what: I know what you did last summer: an investigation of how developers spend their time (RM, AM, ML), pp. 25–35.
MSR-2015-ErcanSB #automation #predict #stack overflow: Automatic Assessments of Code Explanations: Predicting Answering Times on Stack Overflow (SE, QS, AB), pp. 442–445.
MSR-2015-GoderieGGB #named #predict #stack overflow: ETA: Estimated Time of Answer Predicting Response Time in Stack Overflow (JG, BMG, BvG, AB), pp. 414–417.
MSR-2015-OrtuADTMT #effectiveness #empirical: Are Bullies More Productive? Empirical Study of Affectiveness vs. Issue Fixing Time (MO, BA, GD, PT, MM, RT), pp. 303–313.
SANER-2015-BaoLXWZ #interactive #reverse engineering: Reverse engineering time-series interaction data from screen-captured videos (LB, JL, ZX, XW, BZ), pp. 399–408.
SANER-2015-SilvaCMS #analysis #fine-grained: Niche vs. breadth: Calculating expertise over time through a fine-grained analysis (JRdSJ, EC, LM, AS), pp. 409–418.
PLDI-2015-KoBS #named: LaminarIR: compile-time queues for structured streams (YK, BB, BS), pp. 121–130.
PLDI-2015-LongfieldNMT #self #specification: Preventing glitches and short circuits in high-level self-timed chip specifications (SLJ, BN, RM, RT), pp. 270–279.
PLDI-2015-SiekTW: Blame and coercion: together again for the first time (JGS, PT, PW), pp. 425–435.
SAS-2015-CattaruzzaASK #analysis #bound: Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (DC, AA, PS, DK), pp. 312–331.
STOC-2015-AggarwalDRS #problem #using: Solving the Shortest Vector Problem in 2n Time Using Discrete Gaussian Sampling: Extended Abstract (DA, DD, OR, NSD), pp. 733–742.
STOC-2015-BackursI #distance #edit distance: Edit Distance Cannot Be Computed in Strongly Subquadratic Time (unless SETH is false) (AB, PI), pp. 51–58.
STOC-2015-BansalK: Minimizing Flow-Time on Unrelated Machines (NB, JK), pp. 851–860.
STOC-2015-BhattacharyaHNT #algorithm #maintenance: Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams (SB, MH, DN, CET), pp. 173–182.
STOC-2015-FoxKM #approximate #polynomial: A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection (KF, PNK, SM), pp. 841–850.
STOC-2015-KawarabayashiT #graph: Deterministic Global Minimum Cut of a Simple Graph in Near-Linear Time (KiK, MT), pp. 665–674.
STOC-2015-LarsenNN #adaptation #algorithm #bound #streaming: Time Lower Bounds for Nonadaptive Turnstile Streaming Algorithms (KGL, JN, HLN), pp. 803–812.
STOC-2015-ZhuO #convergence #performance: Nearly-Linear Time Positive LP Solver with Faster Convergence Rate (ZAZ, LO), pp. 229–236.
CIAA-2015-HeamJ15a #automaton #generative #random #realtime: Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata (PCH, JLJ), pp. 153–164.
ICALP-v1-2015-BjorklundDH #exponential #problem #random #set #strict: The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems (AB, HD, TH), pp. 231–242.
ICALP-v1-2015-Curticapean #complexity #framework: Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity (RC), pp. 380–392.
ICALP-v1-2015-FominKLPS #algorithm #polynomial: Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree (FVF, PK, DL, FP, SS), pp. 494–505.
ICALP-v1-2015-HemenwayW #linear: Linear-Time List Recovery of High-Rate Expander Codes (BH, MW), pp. 701–712.
ICALP-v1-2015-HenzingerKL #component #polynomial: Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time (MH, SK, VL), pp. 713–724.
ICALP-v1-2015-LokshtanovRS #algorithm #feedback #linear #set: Linear Time Parameterized Algorithms for Subset Feedback Vertex Set (DL, MSR, SS), pp. 935–946.
ICALP-v2-2015-AlistarhG #polynomial #protocol: Polylogarithmic-Time Leader Election in Population Protocols (DA, RG), pp. 479–491.
ICALP-v2-2015-AminofRZS #liveness #network: Liveness of Parameterized Timed Networks (BA, SR, FZ, FS), pp. 375–387.
ICALP-v2-2015-BenesBLS #automaton #parametricity: Language Emptiness of Continuous-Time Parametric Timed Automata (NB, PB, KGL, JS), pp. 69–81.
ICALP-v2-2015-JurdzinskiLS #energy #game studies #pseudo: Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (MJ, RL, SS), pp. 260–272.
LATA-2015-GonzeJ #on the #probability: On the Synchronizing Probability Function and the Triple Rendezvous Time — New Approaches to Černý’s Conjecture (FG, RMJ), pp. 212–223.
LATA-2015-KrishnaMT #automaton #bound #decidability #problem #reachability #recursion: Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable (SNK, LM, AT), pp. 237–248.
LATA-2015-PolicritiGP #linear: Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform (AP, NG, NP), pp. 587–598.
FM-2015-DeboisHS #composition #information management #liveness #process #refinement #runtime #safety: Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
FM-2015-LiSLD #protocol #security #verification: Verifying Parameterized Timed Security Protocols (LL, JS, YL, JSD), pp. 342–359.
FM-2015-Nakajima #behaviour #energy #maude #realtime #using: Using Real-Time Maude to Model Check Energy Consumption Behavior (SN), pp. 378–394.
CHI-2015-0001RJ #smarttech: It’s About Time: Smartwatches as Public Displays (JP, SR, MJ), pp. 1257–1266.
CHI-2015-AlmuhimediSSAAG #case study #exclamation #mobile #privacy: Your Location has been Shared 5, 398 Times!: A Field Study on Mobile App Privacy Nudging (HA, FS, NMS, IA, AA, JG, LFC, YA), pp. 787–796.
CHI-2015-AsthanaSG #analysis #assessment #human-computer: Survival Analysis: Objective assessment of Wait Time in HCI (SA, PS, PG), pp. 367–376.
CHI-2015-BentleyCH #coordination #mobile: Reducing the Stress of Coordination: Sharing Travel Time Information Between Contacts on Mobile Phones (FRB, YYC, CH), pp. 967–970.
CHI-2015-CaiGGM #education #named: Wait-Learning: Leveraging Wait Time for Second Language Education (CJC, PJG, JRG, RCM), pp. 3701–3710.
CHI-2015-ChengTB #crowdsourcing: Measuring Crowdsourcing Effort with Error-Time Curves (JC, JT, MSB), pp. 1365–1374.
CHI-2015-DehaisPSFG #automation #realtime: “Automation Surprise” in Aviation: Real-Time Solutions (FD, VP, SS, JF, TG), pp. 2525–2534.
CHI-2015-FaircloughKG #classification #interactive #realtime: Classification Accuracy from the Perspective of the User: Real-Time Interaction with Physiological Computing (SHF, AJK, KMG), pp. 3029–3038.
CHI-2015-FechnerWK #collaboration #editing #named #realtime: Ethermap: Real-time Collaborative Map Editing (TF, DW, CK), pp. 3583–3592.
CHI-2015-FourneyWH: Exploring Time-Dependent Concerns about Pregnancy and Childbirth from Search Logs (AF, RWW, EH), pp. 737–746.
CHI-2015-LeeLCWSK #education #interactive #online #social #using: Using Time-Anchored Peer Comments to Enhance Social Interaction in Online Educational Videos (YCL, WCL, FYC, HCW, CYS, JTK), pp. 689–698.
CHI-2015-MatthewsSRCSLG #elicitation #realtime #representation: Real-Time Representation Versus Response Elicitation in Biosensor Data (MM, JS, LR, JTC, AS, JWL, GG), pp. 605–608.
CHI-2015-SharpKRTSKRLVWF #flexibility #realtime #robust: Accurate, Robust, and Flexible Real-time Hand Tracking (TS, CK, DPR, JT, JS, DK, CR, IL, AV, YW, DF, PK, EK, AWF, SI), pp. 3633–3642.
CHI-2015-ShihBHC: Unequal Time for Unequal Value: Implications of Differing Motivations for Participation in Timebanking (PCS, VB, KH, JMC), pp. 1075–1084.
CHI-2015-SuzukiSI #editing #named #video: AnnoTone: Record-time Audio Watermarking for Context-aware Video Editing (RS, DS, TI), pp. 57–66.
CHI-2015-VuillemotP #navigation #ranking: Investigating the Direct Manipulation of Ranking Tables for Time Navigation (RV, CP), pp. 2703–2706.
CHI-2015-XuRSSA #interface #quality #realtime: Real-time Guidance Camera Interface to Enhance Photo Aesthetic Quality (YX, JR, JS, GS, RA), pp. 1183–1186.
CSCW-2015-BarbarinVK #product line: Taking our Time: Chronic Illness and Time-Based Objects in Families (AB, TCV, PVK), pp. 288–301.
CSCW-2015-Diakopoulos #editing: The Editor’s Eye: Curation and Comment Relevance on the New York Times (NAD), pp. 1153–1157.
CSCW-2015-FerreiraPS #social: Spending Time with Money: From Shared Values to Social Connectivity (JF, MJP, SS), pp. 1222–1234.
CSCW-2015-KusunokiS #design: Designing for Temporal Awareness: The Role of Temporality in Time-Critical Medical Teamwork (DSK, AS), pp. 1465–1476.
CSCW-2015-Lindley: Making Time (SEL), pp. 1442–1452.
CSCW-2015-MazmanianEH #logic: Circumscribed Time and Porous Time: Logics as a Way of Studying Temporality (MM, IE, EH), pp. 1453–1464.
CSCW-2015-Pierson: Outnumbered but Well-Spoken: Female Commenters in the New York Times (EP), pp. 1201–1213.
CSCW-2015-SolomonMW #coordination #exclamation #how: Don’t Wait!: How Timing Affects Coordination of Crowdfunding Donations (JS, WM, RW), pp. 547–556.
DHM-EH-2015-GieserBM #artificial reality #gesture #realtime #recognition #using: Real-Time Static Gesture Recognition for Upper Extremity Rehabilitation Using the Leap Motion (SNG, AB, FM), pp. 144–154.
DHM-HM-2015-WangTTTGH #analysis #process: Motion Analysis of Interval Time During “Kana-ami” Making Process (ZW, KiT, TT, YT, AG, HH), pp. 201–211.
DUXU-IXD-2015-AbyarjooOTOB #health #named #realtime #smarttech: PostureMonitor: Real-Time IMU Wearable Technology to Foster Poise and Health (FA, NOL, ST, FRO, AB), pp. 543–552.
DUXU-UI-2015-BoonbrahmKSKB #3d #realtime #women: 3D Real Time Virtual Fitting Room for Women (SB, CK, LS, PK, PB), pp. 162–171.
HCI-DE-2015-ZhangLF #design #interface: Cross-Over Study of Time Perception and Interface Design (HZ, GL, HF), pp. 105–116.
HCI-IT-2015-MurataMF #modelling #performance: Effects of Target Shape and Display Location on Pointing Performance by Eye-Gaze Input System — Modeling of Pointing Time by Extended Fitts’ Law (AM, MM, DF), pp. 94–106.
HCI-IT-2015-RughinisM #game studies #video: Play to Remember: The Rhetoric of Time in Memorial Video Games (RR, SM), pp. 628–639.
HCI-UC-2015-JeongJ #on the #performance #personalisation: On Time: Efficient and Personalized Hospital Service (SYJ, DYJ), pp. 190–197.
HIMI-IKC-2015-GavishN: The Effect of Timing When Introducing a Decision Aid in a Decision Support System for Supply Chain Management (NG, HN), pp. 101–108.
HIMI-IKC-2015-HaKKKLHKKKW #development: K-Culture Time Machine: Development of Creation and Provision Technology for Time-Space-Connected Cultural Contents (TH, YK, EK, KK, SL, SH, JIK, SK, JK, WW), pp. 428–435.
LCT-2015-Bose #research: Just-in-Case or Just-in-Time Training? — Excerpts from a Doctoral Research Study (DB), pp. 657–667.
LCT-2015-Timotheou #difference #online #student: Differentiation of Student Perceptions for Online Courses, Over Time (MMT), pp. 697–703.
AdaEurope-2015-NelissenPP #architecture #monitoring #novel #performance #runtime: A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.
AdaEurope-2015-UruenaPCFJ #requirements: Guaranteeing Timing Requirements in the IXV On-Board Software (SU, NP, BNC, CF, AJ), pp. 100–115.
CAiSE-2015-WeilerGS #detection #performance #runtime #twitter: Run-Time and Task-Based Performance of Event Detection Techniques for Twitter (AW, MG, MHS), pp. 35–49.
ICEIS-v1-2015-ArevaloRC #approach #information management #legacy #modelling #process: Discovering Business Models for Software Process Management — An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems (CA, IMR, MJEC), pp. 353–359.
ICEIS-v1-2015-AwasthiLK #algorithm #linear #problem #sequence #strict: Un-restricted Common Due-Date Problem with Controllable Processing Times — Linear Algorithm for a Given Job Sequence (AA, JL, OK), pp. 526–534.
ICEIS-v1-2015-GharbiGB #approach #configuration management #embedded #hybrid #realtime #scheduling #search-based: A Hybrid Genetic based Approach for Real-time Reconfigurable Scheduling of OS Tasks in Uniprocessor Embedded Systems (IG, HG, SB), pp. 385–390.
ICEIS-v1-2015-MeisenKMRJ #named #online #query: TIDAQL — A Query Language Enabling on-Line Analytical Processing of Time Interval Data (PM, DK, TM, MR, SJ), pp. 54–66.
ICEIS-v1-2015-Xylogiannopoulos #detection #roadmap: Discretization Method for the Detection of Local Extrema and Trends in Non-discrete Time Series (KFX, PK, RA), pp. 346–352.
ICEIS-v2-2015-SouzaVS #analysis #semantics: Semantically Enriching the Detrending Step of Time Series Analysis (LdS, MSMGV, MSS), pp. 475–481.
ECIR-2015-BadacheB #documentation #social: Document Priors Based On Time-Sensitive Social Signals (IB, MB), pp. 617–622.
ECIR-2015-FoleyA: Retrieving Time from Scanned Books (JF, JA), pp. 221–232.
ECIR-2015-GaillardR #adaptation #collaboration #matrix: Time-Sensitive Collaborative Filtering through Adaptive Matrix Completion (JG, JMR), pp. 327–332.
ECIR-2015-HarveyC #exclamation #hashtag #personalisation #twitter: Long Time, No Tweets! Time-aware Personalised Hashtag Suggestion (MH, FC), pp. 581–592.
ECIR-2015-HopfgartnerB #realtime #recommendation: Join the Living Lab: Evaluating News Recommendations in Real-Time (FH, TB), pp. 826–829.
ECIR-2015-Martinez-Alvarez #information management #named #realtime: Signal: Advanced Real-Time Information Filtering (MMA, UK, WH, MP), pp. 793–796.
ECIR-2015-SchlottererSLG #mobile #retrieval: From Context-Aware to Context-Based: Mobile Just-In-Time Retrieval of Cultural Heritage Objects (JS, CS, WL, MG), pp. 805–808.
ICML-2015-AnavaHZ #online #predict: Online Time Series Prediction with Missing Data (OA, EH, AZ), pp. 2191–2199.
ICML-2015-AvronH #community #detection #personalisation #rank #using: Community Detection Using Time-Dependent Personalized PageRank (HA, LH), pp. 1795–1803.
ICML-2015-BahadoriKFL #clustering #functional: Functional Subspace Clustering with Application to Time Series (MTB, DCK, YF, YL), pp. 228–237.
ICML-2015-HegdeIS #framework: A Nearly-Linear Time Framework for Graph-Structured Sparsity (CH, PI, LS), pp. 928–937.
KDD-2015-AlthoffDMADZ #generative #knowledge base #named #timeline: TimeMachine: Timeline Generation for Knowledge-Base Entities (TA, XLD, KM, SA, VD, WZ), pp. 19–28.
KDD-2015-BarajasA #approach #health #modelling: Dynamically Modeling Patient’s Health State from Electronic Medical Records: A Time Series Approach (KLCB, RA), pp. 69–78.
KDD-2015-BegumUWK #clustering #novel: Accelerating Dynamic Time Warping Clustering with a Novel Admissible Pruning Strategy (NB, LU, JW, EJK), pp. 49–58.
KDD-2015-CaiTFJH #higher-order #mining #named #performance: Facets: Fast Comprehensive Mining of Coevolving High-order Time Series (YC, HT, WF, PJ, QH), pp. 79–88.
KDD-2015-DuFASS #clustering #documentation #process: Dirichlet-Hawkes Processes with Applications to Clustering Continuous-Time Document Streams (ND, MF, AA, AJS, LS), pp. 219–228.
KDD-2015-HayashiMTK #detection #realtime #topic #twitter: Real-Time Top-R Topic Detection on Twitter with Topic Hijack Filtering (KH, TM, MT, KiK), pp. 417–426.
KDD-2015-IkonomovskaJD #predict #realtime #using: Real-Time Bid Prediction using Thompson Sampling-Based Expert Selection (EI, SJ, AD), pp. 1869–1878.
KDD-2015-Kawamae #realtime #recommendation: Real Time Recommendations from Connoisseurs (NK), pp. 537–546.
KDD-2015-LaptevAF #automation #detection #framework #scalability: Generic and Scalable Framework for Automated Time-series Anomaly Detection (NL, SA, IF), pp. 1939–1947.
KDD-2015-Ojjeh #open source #realtime #using: Powering Real-time Decision Engines in Finance and Healthcare using Open Source Software (BO), p. 1633.
KDD-2015-Schleier-Smith #agile #architecture #machine learning #realtime: An Architecture for Agile Machine Learning in Real-Time Applications (JSS), pp. 2059–2068.
KDD-2015-ShahKZGF #graph #named #summary: TimeCrunch: Interpretable Dynamic Graph Summarization (NS, DK, TZ, BG, CF), pp. 1055–1064.
KDD-2015-Shokoohi-Yekta0: Discovery of Meaningful Rules in Time Series (MSY, YC, BJLC, BH, JZ, EJK), pp. 1085–1094.
KDD-2015-UlanovaYCJKZ #performance #physics #profiling: Efficient Long-Term Degradation Profiling in Time Series for Complex Physical Systems (LU, TY, HC, GJ, EJK, KZ), pp. 2167–2176.
KDD-2015-WuYC #predict #realtime: Predicting Winning Price in Real Time Bidding with Censored Data (WCHW, MYY, MSC), pp. 1305–1314.
KDD-2015-ZhengYX #composition #linear #modelling #topic #using: Linear Time Samplers for Supervised Topic Models using Compositional Proposals (XZ, YY, EPX), pp. 1523–1532.
MLDM-2015-AkbariniaM #probability #streaming: Aggregation-Aware Compression of Probabilistic Streaming Time Series (RA, FM), pp. 232–247.
RecSys-2015-BetzalelSR #exclamation #quote #recommendation: “Please, Not Now!”: A Model for Timing Recommendations (NDB, BS, LR), pp. 297–300.
RecSys-2015-Guardia-Sebaoun #modelling #performance #recommendation: Latent Trajectory Modeling: A Light and Efficient Way to Introduce Time in Recommender Systems (ÉGS, VG, PG), pp. 281–284.
RecSys-2015-HopfgartnerKHT #realtime #recommendation: Real-time Recommendation of Streamed Data (FH, BK, TH, RT), pp. 361–362.
RecSys-2015-LarrainTPGN #case study #collaboration #social: Good Times Bad Times: A Study on Recency Effects in Collaborative Filtering for Social Tagging (SL, CT, DP, EGG, KN), pp. 269–272.
RecSys-2015-LerallutGR #realtime #recommendation #scalability: Large-Scale Real-Time Product Recommendation at Criteo (RL, DG, NLR), p. 232.
SEKE-2015-CostaSRSAP #collaboration #nearest neighbour: A Collaborative Method to Reduce the Running Time and Accelerate the k-Nearest Neighbors Search (AAMC, RRdS, FBAR, GS, HOdA, AP), pp. 105–109.
SEKE-2015-SalehianF #detection #embedded #monitoring #realtime: Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.
SEKE-2015-TunnellA #fault #modelling #predict #release planning #using: Using Time Series Models for Defect Prediction in Software Release Planning (JT, JA), pp. 451–454.
SEKE-2015-YungLC #black box #complexity: An Average Case Time Complexity Estimator for Black-box Functions (DY, BL, SKC), pp. 567–570.
SIGIR-2015-AzarbonyadDMK: Time-Aware Authorship Attribution for Short Text Streams (HA, MD, MM, JK), pp. 727–730.
SIGIR-2015-Crescenzi #information management: Time Pressure in Information Search (AC), p. 1055.
SIGIR-2015-CrescenziKA #information management: Time Pressure and System Delays in Information Search (AC, DK, LA), pp. 767–770.
SIGIR-2015-Kantor #information retrieval: Revisiting the Foundations of IR: Timeless, Yet Timely (PBK), pp. 1125–1127.
SIGIR-2015-NguyenKNZ #documentation #random #web: A Time-aware Random Walk Model for Finding Important Documents in Web Archives (TNN, NK, CN, XZ), pp. 915–918.
MoDELS-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.
Onward-2015-WaelMKSM #data type: Just-in-time data structures (MDW, SM, JDK, JBS, WDM), pp. 61–75.
POPL-2015-DoddsHK #scalability #stack: A Scalable, Correct Time-Stamped Stack (MD, AH, CMK), pp. 233–246.
SAC-2015-AlyI #named #process #realtime #recognition: ubiMonitor: intelligent fusion of body-worn sensors for real-time human activity recognition (HA, MAI), pp. 563–568.
SAC-2015-BerardiCEM #microblog #on the #realtime: On the impact of entity linking in microblog real-time filtering (GB, DC, AE, DM), pp. 1066–1071.
SAC-2015-BourdilBDV #petri net #symmetry: Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.
SAC-2015-FernandezAQVFZC #multi #off the shelf: Introduction to partial time composability for COTS multicores (GF, JA, EQ, TV, LF, MZ, FJC), pp. 1955–1956.
SAC-2015-FonsecaNRP #execution #parallel #realtime: A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SAC-2015-Grossl #modelling #network: Modeling dependable systems with continuous time Bayesian networks (MG), pp. 436–441.
SAC-2015-KambonaBM #middleware #named #realtime #scalability #web: Serena: scalable middleware for real-time web applications (KK, EGB, WDM), pp. 802–805.
SAC-2015-LommatzschA #realtime #recommendation: Real-time recommendations for user-item streams (AL, SA), pp. 1039–1046.
SAC-2015-OliveiraQMM #community #complexity #detection #using: Community detection, with lower time complexity, using coupled Kuramoto oscillators (JEMdO, MGQ, MDNM, EENM), pp. 1160–1166.
SAC-2015-PapeBH #adaptation #data type #execution #optimisation #performance: Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution (TP, CFB, RH), pp. 1970–1977.
SAC-2015-ZiccardiSV #operating system: A time-composable operating system for the Patmos processor (MZ, MS, TV), pp. 1892–1897.
ESEC-FSE-2015-MahallySB #case study #development: Barriers and enablers for shortening software development lead-time in mechatronics organizations: a case study (MMM, MS, JB), pp. 1006–1009.
ICSE-v1-2015-AvgustinovBHLMM #developer #static analysis: Tracking Static Analysis Violations over Time to Capture Developer Characteristics (PA, AIB, ASH, RGL, GM, OdM, MS, JT), pp. 437–447.
ICSE-v2-2015-AndersonHVWCBG #student: CS/SE Instructors Can Improve Student Writing without Reducing Class Time Devoted to Technical Content: Experimental Results (PVA, SH, MAV, DW, MC, JEB, GCG), pp. 455–464.
ICSE-v2-2015-BenomarSP #comprehension #framework: A Unified Framework for the Comprehension of Software’s Time (OB, HAS, PP), pp. 603–606.
ICSE-v2-2015-SimpsonMCFMR #case study #education #experience #security: Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security (ACS, AM, CJFC, IF, IM, KBR), pp. 435–444.
ASPLOS-2015-ZhangWSM #data flow #design #hardware #information management #security: A Hardware Design Language for Timing-Sensitive Information-Flow Security (DZ, YW, GES, ACM), pp. 503–516.
CC-2015-AckermannRMS #java #optimisation #runtime: A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
CGO-2015-OhM #web: Snapshot-based loading-time acceleration for web applications (JO, SMM), pp. 179–189.
HPCA-2015-LeeKPKSCM #adaptation #optimisation: Adaptive-latency DRAM: Optimizing DRAM timing for the common-case (DL, YK, GP, SMK, VS, KKWC, OM), pp. 489–501.
HPCA-2015-LoCIS #monitoring #runtime #using: Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.
ISMM-2015-CutlerM #clustering: Reducing pause times with clustered collection (CC, RM), pp. 131–142.
LCTES-2015-0001HL #analysis #kernel #realtime: Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems (CD, MH, DL), p. 10.
LCTES-2015-StilkerichLES #analysis #embedded #realtime: A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems (IS, CL, CE, MS), p. 11.
PPoPP-2015-XieCGZC #distributed: SYNC or ASYNC: time to fuse for distributed graph-parallel computation (CX, RC, HG, BZ, HC), pp. 194–204.
CAV-2015-Tiwari #abstraction: Time-Aware Abstractions in HybridSal (AT), pp. 504–510.
CAV-2015-AkazakiH #hybrid #robust: Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.
CAV-2015-FerrereMNU: Measuring with Timed Patterns (TF, OM, DN, DU), pp. 322–337.
CSL-2015-Abadi: The Prophecy of Timely Rollback (Invited Talk) (MA), p. 1.
CSL-2015-GasconST #polynomial #strict #unification: Two-Restricted One Context Unification is in Polynomial Time (AG, MSS, AT), pp. 405–422.
ICLP-J-2015-StulovaMH #runtime: Practical run-time checking via unobtrusive property caching (NS, JFM, MVH), pp. 726–741.
ICST-2015-Lorber #modelling #mutation testing #realtime #testing: Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICST-2015-PankumhangR #test coverage: Iterative Instrumentation for Code Coverage in Time-Sensitive Systems (TP, MR), pp. 1–10.
ISSTA-2015-LeSS #random: Randomized stress-testing of link-time optimizers (VL, CS, ZS), pp. 327–337.
LICS-2015-ClementeL #automaton #revisited: Timed Pushdown Automata Revisited (LC, SL), pp. 738–749.
LICS-2015-GasconTS #polynomial #problem #unification: One Context Unification Problems Solvable in Polynomial Time (AG, AT, MSS), pp. 499–510.
LICS-2015-GradelPSK #first-order #polynomial: Characterising Choiceless Polynomial Time with First-Order Interpretations (EG, WP, SS, LK), pp. 677–688.
TLCA-2015-Redmond #parametricity #polynomial #λ-calculus: Polynomial Time in the Parametric λ Calculus (BFR), pp. 288–301.
VMCAI-2015-WaezWDR #industrial #realtime: A Model for Industrial Real-Time Systems (MTBW, AW, JD, KR), pp. 153–171.
ECSA-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.
QoSA-2014-GooijerH #case study #experience #industrial #manycore #memory management #modelling #realtime: Experiences with modeling memory contention for multi-core industrial real-time systems (TdG, KEH), pp. 43–52.
QoSA-2014-MzidMBA #concurrent #design pattern #modelling #named #realtime: SRMP: a software pattern for deadlocks prevention inreal-time concurrency models (RM, CM, JPB, MA), pp. 139–144.
ASE-2014-LillackKB #configuration management: Tracking load-time configuration options (ML, CK, EB), pp. 445–456.
ASE-2014-Schneider14a #fault #modelling #runtime: Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
ASE-2014-WozniakNZMPG #component #design: Assigning time budgets to component functions in the design of time-critical automotive systems (EW, MDN, HZ, CM, STP, SG), pp. 235–246.
CASE-2014-ChenLY #distributed #modelling #network: Sparse particle filtering for modeling space-time dynamics in distributed sensor networks (YC, GL, HY), pp. 626–631.
CASE-2014-HeLG #graph #optimisation: Marking optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 413–418.
CASE-2014-LiCW #policy #robust: A robust (r, Q) policy for a simple VMI system with inventory inaccuracy and time-delay (ML, FTSC, ZW), pp. 652–657.
CASE-2014-LiuXL #approximate #capacity: A queuing approximation method for capacity planning of emergency department with time-varying demand (QL, XX, RL), pp. 558–563.
CASE-2014-NgoS: A time fidelity control foundation for hierarchical discrete-event systems (QHN, KTS), pp. 443–448.
CASE-2014-PedrielliAM #multi: Time Buffer Control System for multi-stage production lines (GP, AA, AM), pp. 393–398.
CASE-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.
CASE-2014-XueL #finite: Input-output finite-time stability of time-delay systems and its application to active vibration control (WX, KL), pp. 878–882.
CASE-2014-YamazakiSYI #3d #modelling: 3D shape modeling of movable parts of furniture based on time-series surface correspondence (KY, KS, TY, MI), pp. 249–254.
CASE-2014-YuanLJ #health #probability #problem #scheduling: Home health care crew scheduling and routing problem with stochastic service times (BY, RL, ZJ), pp. 564–569.
CASE-2014-ZhuWQZ #analysis #clustering #constraints #modelling #multi #petri net #scheduling #tool support: Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets (QZ, NW, YQ, MZ), pp. 81–86.
DAC-2014-BeckertNEP #independence #realtime: Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor (MB, MN, RE, SMP), p. 6.
DAC-2014-ChenWLXY #optimisation #runtime: Run-Time Technique for Simultaneous Aging and Power Optimization in GPGPUs (XC, YW, YL, YX, HY), p. 6.
DAC-2014-CuiMSW #detection #hardware #runtime #synthesis: High-Level Synthesis for Run-Time Hardware Trojan Detection and Recovery (XC, KM, LS, KW), p. 6.
DAC-2014-ElbayoumiCKSHE #algorithm #named #parallel #synthesis: TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis (ME, MC, VNK, AS, MSH, MYE), p. 6.
DAC-2014-FattahPLPT #manycore #named #runtime: SHiFA: System-Level Hierarchy in Run-Time Fault-Aware Management of Many-Core Systems (MF, MP, PL, JP, HT), p. 6.
DAC-2014-HeldS #optimisation: Post-Routing Latch Optimization for Timing Closure (SH, US), p. 6.
DAC-2014-HernandezA #detection #fault #named #safety: LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (CH, JA), p. 6.
DAC-2014-HuangW #estimation #multi: Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects (RHMH, CHPW), p. 6.
DAC-2014-KleebergerMS #analysis: Workload- and Instruction-Aware Timing Analysis: The missing Link between Technology and System-level Resilience (VK, PRM, US), p. 6.
DAC-2014-KosmidisQAFWC #certification #hardware: Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware (LK, EQ, JA, GF, FW, FJC), p. 6.
DAC-2014-LiuCTKD #component #realtime #using: Computation Offloading by Using Timing Unreliable Components in Real-Time Systems (WL, JJC, AT, TWK, QD), p. 6.
DAC-2014-LiuF: A Time-Unrolling Method to Compute Sensitivity of Dynamic Systems (FL, PF), p. 6.
DAC-2014-QuintonBHNNE #analysis #design #network: Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design (SQ, TTB, JH, MN, MN, RE), p. 6.
DAC-2014-RaiHST #detection #fault #framework #performance #realtime: An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor (DR, PH, NS, LT), p. 6.
DAC-2014-SagstetterAWLSCK #architecture #framework #integration: Schedule Integration Framework for Time-Triggered Automotive Architectures (FS, SA, PW, ML, HS, SC, AK), p. 6.
DAC-2014-SchaffnerGSKB #approximate #complexity #linear #realtime #video: An Approximate Computing Technique for Reducing the Complexity of a Direct-Solver for Sparse Linear Systems in Real-Time Video Processing (MS, FKG, AS, HK, LB), p. 6.
DAC-2014-SlijepcevicKAQC #manycore #realtime: Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems (MS, LK, JA, EQ, FJC), p. 6.
DAC-2014-WuWNBP #on the: On Timing Closure: Buffer Insertion for Hold-Violation Removal (PCW, MDFW, IN, SB, VP), p. 6.
DATE-2014-0001GWKAWG #optimisation #performance #runtime: Exploiting expendable process-margins in DRAMs for run-time performance optimization (KC, SG, CW, MK, BA, NW, KG), pp. 1–6.
DATE-2014-AdlerAABG #debugging #logic: Facilitating timing debug by logic path correspondence (OA, EA, IA, IB, IG), pp. 1–6.
DATE-2014-AhmadC #performance #predict #simulation: Fast STA prediction-based gate-level timing simulation (TBA, MJC), pp. 1–6.
DATE-2014-AksoyFM #complexity #constant #design #multi #optimisation: Optimization of design complexity in time-multiplexed constant multiplications (LA, PFF, JCM), pp. 1–4.
DATE-2014-AlhammadP #execution #manycore #parallel #predict #thread: Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.
DATE-2014-AltmeyerD #analysis #correctness #on the #precise #probability: On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.
DATE-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.
DATE-2014-BanerjeeD #calculus #constraints #generative #random #realtime #sequence: Acceptance and random generation of event sequences under real time calculus constraints (KB, PD), pp. 1–6.
DATE-2014-CannellaBS #approach #realtime #scheduling #streaming #using: System-level scheduling of real-time streaming applications using a semi-partitioned approach (EC, MB, TS), pp. 1–6.
DATE-2014-ChenLLSHC #3d: Yield and timing constrained spare TSV assignment for three-dimensional integrated circuits (YGC, KYL, MCL, YS, WKH, SCC), pp. 1–4.
DATE-2014-DhruvaKGT #cyber-physical: Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
DATE-2014-DinechinAPL #parallel: Time-critical computing on a single-chip massively parallel processor (BDdD, DvA, MP, GL), pp. 1–6.
DATE-2014-DongZ #manycore #memory management #realtime #stack: Minimizing stack memory for hard real-time applications on multicore platforms (CD, HZ), pp. 1–6.
DATE-2014-FrijnsASVGSC #analysis #graph: Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs (RF, SA, SS, JV, MCWG, RRHS, HC), pp. 1–6.
DATE-2014-GomonyAG #optimisation #performance #realtime: Coupling TDM NoC and DRAM controller for cost and performance optimization of real-time systems (MDG, BA, KG), pp. 1–6.
DATE-2014-Guan0 #analysis #performance #scheduling: General and efficient Response Time Analysis for EDF scheduling (NG, WY), pp. 1–6.
DATE-2014-GuarnieriPSVBFMP #embedded #monitoring #verification: A cross-level verification methodology for digital IPs augmented with embedded timing monitors (VG, MP, AS, SV, NB, FF, EM, MP), pp. 1–6.
DATE-2014-HanKNV #learning: A deep learning methodology to proliferate golden signoff timing (SSH, ABK, SN, ASV), pp. 1–6.
DATE-2014-JalleKAQC #design #manycore: Bus designs for time-probabilistic multicore processors (JJ, LK, JA, EQ, FJC), pp. 1–6.
DATE-2014-JinS #evaluation #realtime #trust: Real-time trust evaluation in integrated circuits (YJ, DS), pp. 1–6.
DATE-2014-KimHPSL #approach #implementation #modelling #testing: A layered approach for testing timing in the model-based implementation (BK, HIH, TP, SHS, IL), pp. 1–4.
DATE-2014-LeeF #framework #named #realtime #runtime #scheduling: GPU-EvR: Run-time event based real-time scheduling framework on GPGPU platform (HL, MAAF), pp. 1–6.
DATE-2014-NelsonNMKG #composition #kernel #named #predict #realtime: CoMik: A predictable and cycle-accurately composable real-time microkernel (AN, ABN, AMM, MK, KG), pp. 1–4.
DATE-2014-NovoFIAC #approximate #case study #energy #performance #runtime: Energy efficient MIMO processing: A case study of opportunistic run-time approximations (DN, NF, PI, UA, FC), pp. 1–6.
DATE-2014-RahimiBG #energy #fault: Temporal memoization for energy-efficient timing error recovery in GPGPUs (AR, LB, RKG), pp. 1–6.
DATE-2014-RamboTDAE #analysis #realtime: Failure analysis of a network-on-chip for real-time mixed-critical systems (EAR, AT, JD, LA, RE), pp. 1–4.
DATE-2014-RossiTB #hybrid #optimisation #realtime: Real-time optimization of the battery banks lifetime in Hybrid Residential Electrical Systems (MR, AT, DB), pp. 1–6.
DATE-2014-RosvallS #constraints #design #framework #realtime: A constraint-based design space exploration framework for real-time applications on MPSoCs (KR, IS), pp. 1–6.
DATE-2014-SarmaD #estimation #network #runtime: Minimal sparse observability of complex networks: Application to MPSoC sensor placement and run-time thermal estimation & tracking (SS, ND), pp. 1–6.
DATE-2014-TtofisT #hardware #image #realtime: High-quality real-time hardware stereo matching based on guided image filtering (CT, TT), pp. 1–6.
DATE-2014-VartziotisKCPJ #multi #optimisation #using: Multi-site test optimization for multi-Vdd SoCs using space- and time- division multiplexing (FV, XK, KC, RAP, AJ), pp. 1–6.
DATE-2014-VijaykumarV #analysis #canonical #statistics #using: Statistical static timing analysis using a skew-normal canonical delay model (MV, VV), pp. 1–6.
DATE-2014-WeinstockSLAT #parallel #simulation: Time-decoupled parallel SystemC simulation (JHW, CS, RL, GA, LT), pp. 1–4.
DATE-2014-WildermannGT #distributed #multi #resource management #runtime: Multi-objective distributed run-time resource management for many-cores (SW, MG, JT), pp. 1–6.
DRR-2014-LiPLD #analysis #online #verification: On-line signature verification method by Laplacian spectral analysis and dynamic time warping (CL, LP, CL, XD), p. ?–10.
HT-2014-WenLTP #network #twitter: Twitter in academic conferences: usage, networking and participation over time (XW, YRL, CT, DP), pp. 285–290.
SIGMOD-2014-MatsubaraSF #automation #co-evolution #mining #named #sequence: AutoPlait: automatic mining of co-evolving time sequences (YM, YS, CF), pp. 193–204.
SIGMOD-2014-SricharanD #graph: Localizing anomalous changes in time-evolving graphs (KS, KD), pp. 1347–1358.
SIGMOD-2014-TangXS #complexity #performance: Influence maximization: near-optimal time complexity meets practical efficiency (YT, XX, YS), pp. 75–86.
SIGMOD-2014-YangTLRMG #named #realtime: Druid: a real-time analytical data store (FY, ET, XL, NR, GM, DG), pp. 157–168.
SIGMOD-2014-ZhangYFLY #named #realtime #scalability: OceanRT: real-time analytics over large temporal data (SZ, YY, WF, LL, MY), pp. 1099–1102.
VLDB-2014-GuptaSGGZLL #detection #graph #online #realtime #recommendation #scalability #twitter: Real-Time Twitter Recommendation: Online Motif Detection in Large Dynamic Graphs (PG, VS, AG, SG, VZ, QL, JL), pp. 1379–1380.
VLDB-2014-GuptaYGKCLWDKABHCSJSGVA #named #realtime #scalability: Mesa: Geo-Replicated, Near Real-Time, Scalable Data Warehousing (AG, FY, JG, AK, KC, KL, SW, SGD, ARK, AA, SB, MH, JC, MS, DJ, JS, AG, SV, DA), pp. 1259–1270.
VLDB-2014-HuangBJW #network #realtime #scalability: Large Scale Real-time Ridesharing with Service Guarantee on Road Networks (YH, FB, RJ, XSW), pp. 2017–2028.
VLDB-2014-JugelJM #named #visualisation: M4: A Visualization-Oriented Time Series Data Aggregation (UJ, ZJ, GH, VM), pp. 797–808.
VLDB-2014-ShirakawaHN #independence #named #realtime #twitter: MLJ: Language-Independent Real-Time Search of Tweets Reported by Media Outlets and Journalists (MS, TH, SN), pp. 1605–1608.
VLDB-2014-WangLHCSWLT #named #realtime #recommendation: R3: A Real-Time Route Recommendation System (HW, GL, HH, SC, BS, HW, WSL, KLT), pp. 1549–1552.
VLDB-2014-WuWHN #execution #nondeterminism #predict #query: Uncertainty Aware Query Execution Time Prediction (WW, XW, HH, JFN), pp. 1857–1868.
VLDB-2014-XieZMXL #named #online #realtime: CLEar: A Real-time Online Observatory for Bursty and Viral Events (RX, FZ, HM, WX, CL), pp. 1637–1640.
VLDB-2014-YangGYL #constraints #graph: Finding the Cost-Optimal Path with Time Constraint over Time-Dependent Graphs (YY, HG, JXY, JL), pp. 673–684.
VLDB-2014-ZhangYFW #design #implementation #interactive #realtime #scalability: Design and Implementation of a Real-Time Interactive Analytics System for Large Spatio-Temporal Data (SZ, YY, WF, MW), pp. 1754–1759.
VLDB-2015-BegumK14 #bound: Rare Time Series Motif Discovery from Unbounded Streams (NB, EJK), pp. 149–160.
CSEET-2014-Frailey: The times, they are a changing (DJF), pp. 1–2.
ITiCSE-2014-StrieweG14a #runtime #using: Code reading exercises using run time traces (MS, MG), p. 346.
ESOP-2014-KothaACESB #bound #parallel #runtime: Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.
FASE-2014-FiadeiroL #network: Heterogeneous and Asynchronous Networks of Timed Systems (JLF, AL), pp. 79–93.
FoSSaCS-2014-Cirstea #algebra #approach #linear #logic: A Coalgebraic Approach to Linear-Time Logics (CC), pp. 426–440.
FoSSaCS-2014-Fu #bound #markov #probability #process #reachability: Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes (HF), pp. 73–87.
TACAS-2014-AstefanoaeiRBBC #composition #generative #invariant: Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
TACAS-2014-ReinbacherRS #health #realtime #runtime: Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.
TACAS-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.
TACAS-2014-Wang0LWL #automaton #specification: Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata (TW, JS, YL, XW, SL), pp. 310–325.
WRLA-2014-LiuOM #ad hoc #framework #maude #mobile #network #realtime: A Framework for Mobile Ad hoc Networks in Real-Time Maude (SL, PCÖ, JM), pp. 162–177.
WRLA-2014-Olveczky #maude #realtime: Real-Time Maude and Its Applications (PCÖ), pp. 42–79.
MSR-2014-BloemenAKO14a #dependence: Gentoo package dependencies over time (RB, CA, SK, GOM), pp. 404–407.
MSR-2014-FukushimaKMYU #empirical #fault #modelling #predict #using: An empirical study of just-in-time defect prediction using cross-project models (TF, YK, SM, KY, NU), pp. 172–181.
SCAM-2014-TliliFBDH #scalability #security #verification: Scalable Security Verification of Software at Compile Time (ST, JMF, AB, BD, SH), pp. 115–124.
PEPM-2014-MiaoS #java #metaprogramming: Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.
STOC-2014-Belazzougui #linear: Linear time construction of compressed text indices in compact space (DB), pp. 148–193.
STOC-2014-Chechik #approximate #constant #distance #query: Approximate distance oracles with constant query time (SC), pp. 654–663.
STOC-2014-CohenKMPPRX #linear: Solving SDD linear systems in nearly mlog1/2n time (MBC, RK, GLM, JWP, RP, AR, SCX), pp. 343–352.
STOC-2014-Goodrich #algorithm #sorting: Zig-zag sort: a simple deterministic data-oblivious sorting algorithm running in O(n log n) time (MTG), pp. 684–693.
STOC-2014-HenzingerKN #algorithm #graph #reachability: Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs (MH, SK, DN), pp. 674–683.
FLOPS-2014-CaiO #automaton: Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata (XC, MO), pp. 336–352.
DLT-J-2013-IbarraR14 #complexity: Some Decision Questions Concerning the Time Complexity of Language Acceptors (OHI, BR), pp. 1127–1140.
ICALP-v1-2014-AdjiashviliBWZ: Time-Expanded Packings (DA, SB, RW, RZ), pp. 64–76.
ICALP-v1-2014-AllamigeonBG #algorithm #game studies #polynomial: The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average (XA, PB, SG), pp. 89–100.
ICALP-v1-2014-BhattacharyaKM #coordination: Coordination Mechanisms for Selfish Routing over Time on a Tree (SB, JK, VSM), pp. 186–197.
ICALP-v1-2014-BjorklundH #polynomial: Shortest Two Disjoint Paths in Polynomial Time (AB, TH), pp. 211–222.
ICALP-v1-2014-GilbertLPS: For-All Sparse Recovery in Near-Optimal Time (ACG, YL, EP, MJS), pp. 538–550.
ICALP-v1-2014-HegdeIS #linear #modelling: Nearly Linear-Time Model-Based Compressive Sensing (CH, PI, LS), pp. 588–599.
ICALP-v1-2014-IaconoO #why: Why Some Heaps Support Constant-Amortized-Time Decrease-Key Operations, and Others Do Not (JI, ÖÖ), pp. 637–649.
ICALP-v1-2014-KontogiannisZ #distance #network: Distance Oracles for Time-Dependent Networks (SCK, CDZ), pp. 713–725.
ICALP-v2-2014-DrosteP #automaton #distance #logic #theorem: A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic (MD, VP), pp. 171–182.
ICALP-v2-2014-KopelowitzKPS #bound #graph #worst-case: Orienting Fully Dynamic Graphs with Worst-Case Time Bounds (TK, RK, EP, SS), pp. 532–543.
ICALP-v2-2014-KosowskiP #case study #difference: Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router (AK, DP), pp. 544–555.
LATA-2014-AbdullaAS #automaton #reachability: Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata (PAA, MFA, JS), pp. 62–75.
LATA-2014-FinkbeinerT #linear #logic #modelling: Counting Models of Linear-Time Temporal Logic (BF, HT), pp. 360–371.
LATA-2014-Martos-SalgadoR #network #petri net: Expressiveness of Dynamic Networks of Timed Petri Nets (MMS, FRV), pp. 516–527.
FM-2014-HayesM #algebra #invariant #realtime: Invariants, Well-Founded Statements and Real-Time Program Algebra (IJH, LM), pp. 318–334.
FM-2014-KordyLMP #algorithm #analysis #automaton #robust: A Symbolic Algorithm for the Analysis of Robust Timed Automata (PK, RL, SM, JWP), pp. 351–366.
FM-2014-LiTC #component #requirements: Management of Time Requirements in Component-Based Systems (YL, THT, MC), pp. 399–415.
IFM-2014-FathabadiSB #manycore #modelling #process #runtime: Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
SEFM-2014-ReicherdtG #matlab #modelling #using #verification: Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
SFM-2014-AbrahamBDJKW #bibliography #generative #markov #modelling: Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.
SFM-2014-BoerG #monitoring #runtime: Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.
GT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing #validation: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).
CHI-2014-AlbersCG #evaluation #visualisation: Task-driven evaluation of aggregation in time series visualization (DA, MC, MG), pp. 551–560.
CHI-2014-BaillyOBH #linear #visual notation: Model of visual search and selection time in linear menus (GB, AO, DPB, AH), pp. 3865–3874.
CHI-2014-BidwellHD #interface: Measuring operator anticipatory inputs in response to time-delay for teleoperated human-robot interfaces (JB, AH, SD), pp. 1467–1470.
CHI-2014-GlueckKW #exclamation #navigation #realtime #visualisation: Dive in!: enabling progressive loading for real-time navigation of data visualizations (MG, AK, DJW), pp. 561–570.
CHI-2014-GreisAHM: I can wait a minute: uncovering the optimal delay time for pre-moderated user-generated content on public displays (MG, FA, NH, NM), pp. 1435–1438.
CHI-2014-LauberB: In-your-face, yet unseen?: improving head-stabilized warnings to reduce reaction time (FL, AB), pp. 3201–3204.
CHI-2014-LeeD #feedback #realtime: Real-time feedback for improving medication taking (MLL, AKD), pp. 2259–2268.
CHI-2014-VaishWCCB #crowdsourcing: Twitch crowdsourcing: crowd contributions in short bursts of time (RV, KW, JC, BC, MSB), pp. 3645–3654.
CSCW-2014-KunertKBF #named: Photoportals: shared references in space and time (AK, AK, SB, BF), pp. 1388–1399.
CSCW-2014-NakazatoYSNTH #realtime #using #video: Smart Face: enhancing creativity during video conferences using real-time facial deformation (NN, SY, SS, TN, TT, MH), pp. 75–83.
DHM-2014-ZhangTWHFC #modelling: Modeling Human Control Strategies in Simulated RVD Tasks through the Time-Fuel Optimal Control Model (SZ, YT, CW, SH, YF, SC), pp. 661–670.
DUXU-TMT-2014-Bastos #design #how #realtime: Designing Real-Time: On How Events Affect Audiovisual Narrative (MB), pp. 509–518.
HCI-AS-2014-PortouliP #adaptation #multi: Adaptive Warning Strategies from Multiple Systems: A Simulator Study with Drivers with Different Reaction Times (EP, VP), pp. 485–493.
HIMI-AS-2014-XingGLK #clustering: Decision Support Based on Time-Series Analytics: A Cluster Methodology (WX, RG, NL, TRK), pp. 217–225.
HIMI-DE-2014-KobayashiS #corpus #topic: Finding Division Points for Time-Series Corpus Based on Topic Changes (HK, RS), pp. 364–372.
LCT-TRE-2014-Khairuddin #collaboration #design #editing #interface #realtime: Interface Design for a Real-Time Collaborative Editing Tool (NNK), pp. 417–428.
SCSM-2014-Ahangama #detection #realtime #social #social media #twitter: Use of Twitter Stream Data for Trend Detection of Various Social Media Sites in Real Time (SA), pp. 151–159.
AdaEurope-2014-SaezC #kernel #predict #realtime: Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels (SS, AC), pp. 134–148.
AdaEurope-2014-SaezRC #ada #multi #realtime #reliability #scheduling: Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012 (SS, JR, AC), pp. 74–90.
CAiSE-2014-Spinellis: Against the Odds: Managing the Unmanagable in a Time of Crisis (DS), pp. 24–41.
EDOC-2014-PourmirzaDG #collaboration #runtime: Switching Parties in a Collaboration at Run-Time (SP, RMD, PWPJG), pp. 136–141.
ICEIS-v1-2014-AmaralCRGTS #approach #data mining #framework #image #mining: The SITSMining Framework — A Data Mining Approach for Satellite Image Time Series (BFA, DYTC, LASR, RRdVG, AJMT, EPMdS), pp. 225–232.
ICEIS-v1-2014-ChinoGRTT #named #scalability: TrieMotif — A New and Efﬁcient Method to Mine Frequent K-Motifs from Large Time Series (DYTC, RRdVG, LASR, CTJ, AJMT), pp. 60–69.
ICEIS-v1-2014-FolinoGP #framework #modelling #predict: A Framework for the Discovery of Predictive Fix-time Models (FF, MG, LP), pp. 99–108.
ICEIS-v1-2014-HaddadCSM #algorithm #heuristic #named #parallel #problem #scheduling: AIV: A Heuristic Algorithm based on Iterated Local Search and Variable Neighborhood Descent for Solving the Unrelated Parallel Machine Scheduling Problem with Setup Times (MNH, LPC, MJFS, NM), pp. 376–383.
ICEIS-v2-2014-Chung #complexity #profiling #realtime #towards: Towards Real-time Static and Dynamic Profiling of Organisational Complexity (KSKC), pp. 466–471.
ICEIS-v2-2014-ShamsuzzohaAKH #collaboration #internet #monitoring #process #realtime #repository: Smart Collaborative Processes Monitoring in Real-time Business Environment — Applications of Internet of Things and Cloud-data Repository (AS, SA, SK, PTH), pp. 556–563.
ICEIS-v2-2014-SilvaFG #configuration management #product line #runtime #towards: Toward a QoS Based Run-time Reconfiguration in Service-oriented Dynamic Software Product Lines (JRFdS, ASdMF, VCG), pp. 460–465.
ICEIS-v2-2014-SouzaVS #ontology: Domain Ontology for Time Series Provenance (LdS, MSMGV, MSS), pp. 217–224.
ICEIS-v3-2014-SvedaH #cyber-physical #enterprise #information management: Cyber-physical Information Systems for Enterprise Engineering — Cyber-physical Applications Timing (MS, PH), pp. 441–446.
CIKM-2014-CaiLR #personalisation #query: Time-sensitive Personalized Query Auto-Completion (FC, SL, MdR), pp. 1599–1608.
CIKM-2014-GuptaB #identification #query: Identifying Time Intervals of Interest to Queries (DG, KB), pp. 1835–1838.
CIKM-2014-HsiehL #mining: Mining and Planning Time-aware Routes from Check-in Data (HPH, CTL), pp. 481–490.
CIKM-2014-KimTS: Tracking Temporal Dynamics of Purchase Decisions via Hierarchical Time-Rescaling Model (HK, NT, HS), pp. 1389–1398.
CIKM-2014-LiangRWMR #microblog #rank: Time-Aware Rank Aggregation for Microblog Search (SL, ZR, WW, EM, MdR), pp. 989–998.
CIKM-2014-LimCK #data type #performance: Fast, Accurate, and Space-efficient Tracking of Time-weighted Frequent Items from Data Streams (YL, JC, UK), pp. 1109–1118.
CIKM-2014-RamadanC #realtime: Forest-Based Dynamic Sorted Neighborhood Indexing for Real-Time Entity Resolution (BR, PC), pp. 1787–1790.
CIKM-2014-TaxidouF #agile #analysis #information management #named #realtime #twitter: RApID: A System for Real-time Analysis of Information Diffusion in Twitter (IT, PMF), pp. 2060–2062.
CIKM-2014-VouzoukidouAC #named #query #ranking #realtime: MeowsReader: Real-Time Ranking and Filtering of News with Generalized Continuous Top-k Queries (NV, BA, VC), pp. 2066–2068.
CIKM-2014-XuHCWHBA #framework #performance: A Demonstration of SearchonTS: An Efficient Pattern Search Framework for Time Series Data (XX, SH, YC, CW, IH, KB, MA), pp. 2015–2017.
ECIR-2014-Lommatzsch #realtime #recommendation #using: Real-Time News Recommendation Using Context-Aware Ensembles (AL), pp. 51–62.
ECIR-2014-NguyenK #query #topic: Leveraging Dynamic Query Subtopics for Time-Aware Search Result Diversification (TNN, NK), pp. 222–234.
ECIR-2014-PanemBGV #detection #realtime #topic #twitter #using: Entity Tracking in Real-Time Using Sub-topic Detection on Twitter (SP, RB, MG, VV), pp. 528–533.
ECIR-2014-PereiraMCM #crawling #web: Time-Aware Focused Web Crawling (PP, JM, OC, HM), pp. 534–539.
ECIR-2014-WangL #realtime #statistics #twitter: The Impact of Future Term Statistics in Real-Time Tweet Search (YW, JL), pp. 567–572.
ICML-c1-2014-HajiaghayiKWB #estimation #markov #performance: Efficient Continuous-Time Markov Chain Estimation (MH, BK, LW, ABC), pp. 638–646.
ICML-c1-2014-KhaleghiR #consistency #estimation: Asymptotically consistent estimation of the number of change points in highly dependent time series (AK, DR), pp. 539–547.
ICML-c1-2014-LuoS #learning #online #towards: Towards Minimax Online Learning with Unknown Time Horizon (HL, RES), pp. 226–234.
ICML-c2-2014-CelikkayaS #markov #probability #process: Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes (EBC, CRS), pp. 1962–1970.
ICML-c2-2014-Chapados #effectiveness #modelling: Effective Bayesian Modeling of Groups of Related Count Time Series (NC), pp. 1395–1403.
ICML-c2-2014-JohnsonW #modelling #probability: Stochastic Variational Inference for Bayesian Time Series Models (MJ, ASW), pp. 1854–1862.
ICML-c2-2014-JunB #memory management #monte carlo #performance: Memory (and Time) Efficient Sequential Monte Carlo (SHJ, ABC), pp. 514–522.
ICML-c2-2014-MannMM: Time-Regularized Interrupting Options (TRIO) (TAM, DJM, SM), pp. 1350–1358.
ICML-c2-2014-NieHH #linear: Linear Time Solver for Primal SVM (FN, YH, HH), pp. 505–513.
ICML-c2-2014-WangY #crowdsourcing: Ensemble-Based Tracking: Aggregating Crowdsourced Structured Time Series Data (NW, DYY), pp. 1107–1115.
ICPR-2014-BauckhageM #analysis #clustering #kernel #web: Kernel Archetypal Analysis for Clustering Web Search Frequency Time Series (CB, KM), pp. 1544–1549.
ICPR-2014-ContiFAAMCT #detection #distance #evaluation: Evaluation of Time Series Distance Functions in the Task of Detecting Remote Phenology Patterns (JCC, FAF, JA, BA, LPCM, LC, RdST), pp. 3126–3131.
ICPR-2014-DamoulasHBGA #kernel #string: String Kernels for Complex Time-Series: Counting Targets from Sensed Movement (TD, JH, RB, CPG, AA), pp. 4429–4434.
ICPR-2014-GarciaO #realtime: CPU-Based Real-Time Surface and Solid Voxelization for Incomplete Point Cloud (FG, BEO), pp. 2757–2762.
ICPR-2014-GomezK #detection #realtime: MSER-Based Real-Time Text Detection and Tracking (LG, DK), pp. 3110–3115.
ICPR-2014-HiraiOHT: An HDR Spectral Imaging System for Time-Varying Omnidirectional Scene (KH, NO, TH, ST), pp. 2059–2064.
ICPR-2014-LiuZZL #detection #realtime: Real-Time Scene Text Detection Based on Stroke Model (YL, DZ, YZ, SL), pp. 3116–3120.
ICPR-2014-LuZXGW #approximate #morphism #quantum: Approximate Maximum Common Sub-graph Isomorphism Based on Discrete-Time Quantum Walk (KL, YZ, KX, YG, RCW), pp. 1413–1418.
ICPR-2014-MekonnenLHB #detection #optimisation #people: People Detection with Heterogeneous Features and Explicit Optimization on Computation Time (AAM, FL, AH, CB), pp. 4322–4327.
ICPR-2014-MoeiniMF #image #invariant #matrix #realtime #recognition: Real-Time Pose-Invariant Face Recognition by Triplet Pose Sparse Matrix from Only a Single Image (AM, HM, KF), pp. 465–470.
ICPR-2014-SinghKZ #detection #difference #image #markov #multi #scalability: A Multilayer Markovian Model for Change Detection in Aerial Image Pairs with Large Time Differences (PS, ZK, JZ), pp. 924–929.
ICPR-2014-SousaSB #case study #classification #set: Time Series Transductive Classification on Imbalanced Data Sets: An Experimental Study (CARdS, VMAdS, GEAPAB), pp. 3780–3785.
ICPR-2014-SouzaSB #classification: Extracting Texture Features for Time Series Classification (VMAdS, DFS, GEAPAB), pp. 1425–1430.
ICPR-2014-TulyakovVSS #estimation #realtime #robust: Robust Real-Time Extreme Head Pose Estimation (ST, RLV, SS, NS), pp. 2263–2268.
ICPR-2014-VaradarajanV #calculus #geometry #representation #visual notation: 4D Space-Time Mereotopogeometry-Part Connectivity Calculus for Visual Object Representation (KMV, MV), pp. 4316–4321.
ICPR-2014-WangSY #realtime #segmentation: Real-Time Tracking Combined with Object Segmentation (HW, NS, YY), pp. 4098–4103.
ICPR-2014-YangXWL #learning #realtime: Real-Time Tracking via Deformable Structure Regression Learning (XY, QX, SW, PL), pp. 2179–2184.
ICPR-2014-YoonYYK #realtime #visual notation: Real-Time Visual Target Tracking in RGB-D Data for Person-Following Robots (YY, WhY, HSY, JK), pp. 2227–2232.
ICPR-2014-YuSZ #artificial reality #detection #image #realtime #sequence: Real Time Fingertip Detection with Kinect Depth Image Sequences (YY, YS, YZ), pp. 550–555.
ICPR-2014-ZhangCQ #realtime: Real-Time Object Tracking with Generalized Part-Based Appearance Model and Structure-Constrained Motion Model (HZ, SC, LQ), pp. 1224–1229.
ICPR-2014-ZhouHG #predict: Exploring Brain Tumor Heterogeneity for Survival Time Prediction (MZ, LOH, DBG), pp. 580–585.
KDD-2014-AvvenutiCMMT #realtime: EARS (earthquake alert and report system): a real time decision support system for earthquake crisis management (MA, SC, AM, CM, MT), pp. 1749–1758.
KDD-2014-ChenC #incremental #named #rank #set: LWI-SVD: low-rank, windowed, incremental singular value decompositions on time-evolving data sets (XC, KSC), pp. 987–996.
KDD-2014-ChengB0 #approach #dependence #effectiveness #named: FBLG: a simple and effective approach for temporal dependence discovery from time series data (DC, MTB, YL), pp. 382–391.
KDD-2014-ChiaS #mining #predict #scalability: Scalable noise mining in long-term electrocardiographic time-series to predict death following heart attacks (CCC, ZS), pp. 125–134.
KDD-2014-GrabockaSWS #learning: Learning time-series shapelets (JG, NS, MW, LST), pp. 392–401.
KDD-2014-HerodotouDBOF #locality #network #realtime #scalability: Scalable near real-time failure localization of data center networks (HH, BD, SB, GO, PF), pp. 1689–1698.
KDD-2014-KapoorSSY #approach #predict: A hazard based approach to user return time prediction (KK, MS, JS, TY), pp. 1719–1728.
KDD-2014-LanSB #analysis #learning: Time-varying learning and content analytics via sparse factor analysis (ASL, CS, RGB), pp. 452–461.
KDD-2014-LuoLLFDZW #correlation: Correlating events with time series for incident diagnosis (CL, JGL, QL, QF, RD, DZ, ZW), pp. 1583–1592.
KDD-2014-WangZX #estimation #using: Travel time estimation of a path using sparse trajectories (YW, YZ, YX), pp. 25–34.
KDD-2014-WuZTH0 #crowdsourcing #modelling #personalisation #topic #using #video: Crowdsourced time-sync video tagging using temporal and personalized topic modeling (BW, EZ, BT, AH, QY), pp. 721–730.
KDD-2014-Yoshida #adaptation #algorithm #linear #sketching #using: Almost linear-time algorithms for adaptive betweenness centrality using hypergraph sketches (YY), pp. 1416–1425.
KDD-2014-YuanWCMS #empirical #optimisation #realtime: An empirical study of reserve price optimisation in real-time bidding (SY, JW, BC, PM, SS), pp. 1897–1906.
KDD-2014-ZhangYW #realtime: Optimal real-time bidding for display advertising (WZ, SY, JW), pp. 1077–1086.
KDIR-2014-MaWQ #parsing: Time Phrase Parsing for Chinese Text with HowNet Temporal Information Structure (HmM, XyW, LQ), pp. 294–299.
KMIS-2014-VelosoPSSRA0 #data mining #mining #modelling #predict #realtime: Real-Time Data Mining Models for Predicting Length of Stay in Intensive Care Units (RV, FP, MFS, ÁMS, FR, AA, JM), pp. 245–254.
KMIS-2014-ZochollA #modelling #nondeterminism #ontology #parametricity #representation: Ontology-based Representation of Time Dependent Uncertainty Information for Parametric Product Data Models (MZ, RA), pp. 400–404.
KR-2014-Belardinelli #logic #satisfiability: Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux (FB).
KR-2014-Gutierrez-BasultoJ0 #branch #lightweight #logic: Lightweight Description Logics and Branching Time: A Troublesome Marriage (VGB, JCJ, TS).
KR-2014-Morgenstern #concept #reasoning #representation: Representing and Reasoning about Time Travel Narratives: Foundational Concepts (LM).
MLDM-2014-Schafer #classification #preprocessor #towards: Towards Time Series Classification without Human Preprocessing (PS), pp. 228–242.
MLDM-2014-YuST #detection #modelling #realtime: Semi-supervised Time Series Modeling for Real-Time Flux Domain Detection on Passive DNS Traffic (BY, LS, MT), pp. 258–271.
RecSys-2014-YiHZLR #personalisation: Beyond clicks: dwell time for personalization (XY, LH, EZ, NNL, SR), pp. 113–120.
SEKE-2014-HartmannFNMKT #approach #modelling #reasoning #runtime #using: Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach (TH, FF, GN, BM, JK, YLT), pp. 586–591.
SEKE-2014-HouMCX #empirical: An Empirical Study on Inter-Commit Times in SVN (QH, YM, JC, YX), pp. 132–137.
SEKE-2014-NassarJSB #energy #generative #java #realtime #runtime: Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications (MN, JJ, IS, MBB), pp. 592–597.
SEKE-2014-Otunba0 #approximate #detection #named: APT: Approximate Period Detection in Time Series (RO, JL), pp. 490–494.
SIGIR-2014-CeroniTKN #using: Bridging temporal context gaps using time-aware re-contextualization (AC, NKT, NK, CN), pp. 1127–1130.
SIGIR-2014-ChakrabortyRSB #correlation #effectiveness #on the: On correlation of absence time and search effectiveness (SC, FR, MS, PB), pp. 1163–1166.
SIGIR-2014-FerranteFM #injection #markov #modelling #precise: Injecting user models and time into precision via Markov chains (MF, NF, MM), pp. 597–606.
SIGIR-2014-JiangHA #behaviour: Searching, browsing, and clicking in a search session: changes in user behavior by task and over time (JJ, DH, JA), pp. 607–616.
SIGIR-2014-KimHWZ #predict: Comparing client and server dwell time estimates for click-level satisfaction prediction (YK, AHA, RWW, IZ), pp. 895–898.
SIGIR-2014-KongMFYZ #predict #realtime: Predicting bursts and popularity of hashtags in real-time (SK, QM, LF, FY, ZZ), pp. 927–930.
SIGIR-2014-MishraWIH: Time-critical search (NM, RWW, SI, EH), pp. 747–756.
SIGIR-2014-PaiG #online #realtime #visualisation: Real-time visualization and targeting of online visitors (DP, SZG), pp. 1253–1254.
SIGIR-2014-RybakBN #named: ExperTime: tracking expertise over time (JR, KB, KN), pp. 1273–1274.
SIGIR-2014-WingY #health #named #realtime: FitYou: integrating health profiles to real-time contextual suggestion (CW, HY), pp. 1263–1264.
ECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using #virtual machine: Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
ECOOP-2014-PintoDG #abstraction #logic #named: TaDA: A Logic for Time and Data Abstraction (PdRP, TDY, PG), pp. 207–231.
Onward-2014-McDirmidE #programming: Programming with Managed Time (SM, JE), pp. 1–10.
OOPSLA-2014-BarrM #debugging #named: Tardis: affordable time-travel debugging in managed runtimes (ETB, MM), pp. 67–82.
PPDP-2014-GiavittoE #realtime: Real-Time Matching of Antescofo Temporal Patterns (JLG, JE), pp. 93–104.
QAPL-2014-LatellaLMS #communication: Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
RE-2014-NiuBLN #refactoring #requirements: Traceability-enabled refactoring for managing just-in-time requirements (NN, TB, HL, ZN), pp. 133–142.
RE-2014-Zhou #development #embedded #realtime #requirements: Requirements development and management of embedded real-time systems (JZ), pp. 479–484.
SAC-2014-BaeCPJKC #clustering #effectiveness #memory management: An effective data clustering method based on expected update time in flash memory environment (DHB, JWC, SMP, BSJ, SWK, SjC), pp. 1492–1497.
SAC-2014-BertoutFO #automation #clustering #heuristic #realtime #set: A heuristic to minimize the cardinality of a real-time task set by automated task clustering (AB, JF, RO), pp. 1431–1436.
SAC-2014-GaubatzHZS #collaboration #constraints #documentation #editing #realtime #web: Enforcing entailment constraints in offline editing scenarios for real-time collaborative web documents (PG, WH, UZ, MS), pp. 735–742.
SAC-2014-KatebFNMAT #framework #modelling #multi #optimisation #runtime: Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.
SAC-2014-Majumder #realtime: A real-time smartphone- and smartshoe-based fall prevention system (AKMJAM), pp. 470–471.
SAC-2014-MitranCB #automation #image #ranking: GeoTime-based tag ranking model for automatic image annotation (MM, GC, MB), pp. 896–901.
SAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #realtime #uml: Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
SAC-2014-NogueiraMV #case study #execution: An experimental study on execution time variation in computer experiments (PEN, RMJ, EV), pp. 1529–1534.
SAC-2014-OliveiraO #analysis #kernel #linux: Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model (DBdO, RSdO), pp. 1543–1544.
SAC-2014-PinisettyFJM #runtime: Runtime enforcement of regular timed properties (SP, YF, TJ, HM), pp. 1279–1286.
SAC-2014-SahuR #clustering #runtime: Creating heterogeneity at run time by dynamic cache and bandwidth partitioning schemes (AS, SR), pp. 872–879.
SAC-2014-SpiegelJA #classification #distance #performance: Fast time series classification under lucky time warping distance (SS, BJJ, SA), pp. 71–78.
ICSE-2014-MantylaPLL #bibliography #development #empirical #perspective #requirements #testing: Time pressure: a controlled experiment of test case development and requirements review (MM, KP, TOAL, CL), pp. 83–94.
SPLC-2014-SeidlSA #product line #variability: Integrated management of variability in space and time in software families (CS, IS, UA), pp. 22–31.
CGO-2014-Herczeg #backtracking #compilation #library: Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support (ZH), p. 306.
CGO-2014-RongPWW #pipes and filters: Just-In-Time Software Pipelining (HR, HP, YW, CW), p. 11.
HPCA-2014-FletcherRYDKD #information management #performance #ram #trade-off: Suppressing the Oblivious RAM timing channel while making information leakage and program efficiency trade-offs (CWF, LR, XY, MvD, OK, SD), pp. 213–224.
HPCA-2014-HuangHFS #concurrent #data transformation #detection #metadata #runtime: Low-overhead and high coverage run-time race detection through selective meta-data management (RCH, EH, AF, GES), pp. 96–107.
HPCA-2014-PugsleyCWCSJLCB #evaluation #runtime: Sandbox Prefetching: Safe run-time evaluation of aggressive prefetchers (SHP, ZC, CW, PfC, RLS, AJ, SLL, KC, RB), pp. 626–637.
HPCA-2014-ShinYCK #memory management #named: NUAT: A non-uniform access time memory controller (WS, JY, JC, LSK), pp. 464–475.
HPCA-2014-WangFS #memory management: Timing channel protection for a shared memory controller (YW, AF, GES), pp. 225–236.
HPDC-2014-MaratheHLSRS #effectiveness #execution: Exploiting redundancy for cost-effective, time-constrained execution of HPC applications on amazon EC2 (AM, RH, DKL, BRdS, BR, MS), pp. 279–290.
ISMM-2014-BaconCS #configuration management #garbage collection #hardware #parallel #realtime: Parallel real-time garbage collection of multiple heaps in reconfigurable hardware (DFB, PC, SS), pp. 117–127.
ISMM-2014-BrandtKSB #concurrent #garbage collection #linear #parallel: Concurrent, parallel garbage collection in linear time (SRB, HK, GS, CB), pp. 47–58.
LCTES-2014-ChandramohanO #clustering #design #energy #source code: Partitioning data-parallel programs for heterogeneous MPSoCs: time and energy design space exploration (KC, MFPO), pp. 73–82.
LCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #semantics #worst-case: How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
OSDI-2014-ChenMXHPSZ #detection: Detecting Covert Timing Channels with Time-Deterministic Replay (AC, WBM, HX, AH, LTXP, MS, WZ), pp. 541–554.
PPoPP-2014-DieguesR #lightweight #memory management #named #transaction: Time-warp: lightweight abort minimization in transactional memory (NLD, PR), pp. 167–178.
CAV-2014-HansenLLN0 #abstraction #automaton #partial order #reduction #women: Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions (HH, SWL, YL, TKN, JS), pp. 391–406.
ICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using: Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
ICTSS-2014-PalmieriCO #automation #testing: Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment (MP, AC, AÖ), pp. 129–144.
IJCAR-2014-CerritoDG #atl #logic #satisfiability #testing: Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.
ISSTA-2014-NejatiB #constraints #cpu #identification #trade-off #using: Identifying optimal trade-offs between CPU time usage and temporal constraints using search (SN, LCB), pp. 351–361.
RTA-TLCA-2014-CarvalhoS #decidability #polynomial #set: An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting (DdC, JGS), pp. 179–193.
RTA-TLCA-2014-Schmitz #logic: Implicational Relevance Logic is 2-ExpTime-Complete (SS), pp. 395–409.
VMCAI-2014-GustavssonGL #analysis #execution #parallel #using: Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.
VMCAI-2014-Song0G #bisimulation #logic #markov #process: Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
CBSE-2013-LednickiCS #analysis #execution #worst-case: Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.
ECSA-2013-CuestaMF #architecture #realtime #semantics #towards: Towards an Architecture for Managing Big Semantic Data in Real-Time (CEC, MAMP, JDF), pp. 45–53.
ECSA-2013-GoknilSPM #analysis #constraints #modelling: Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (AG, JS, MAPF, FM), pp. 89–105.
ECSA-2013-PascualPF #architecture #runtime #variability: Run-Time Support to Manage Architectural Variability Specified with CVL (GGP, MP, LF), pp. 282–298.
QoSA-2013-BeckerLB #adaptation #analysis #performance #requirements #self #validation: Performance analysis of self-adaptive systems for requirements validation at design-time (MB, ML, SB), pp. 43–52.
ASE-2013-FahlandLM #mining: Mining branching-time scenarios (DF, DL, SM), pp. 443–453.
ASE-2013-Ganai #incremental #performance #predict #reasoning: Efficient data race prediction with incremental reasoning on time-stamped lock history (MKG), pp. 37–47.
ASE-2013-NejatiABHBC #cpu #embedded #risk management: Minimizing CPU time shortage risks in integrated embedded software (SN, MA, LCB, JH, JB, YC), pp. 529–539.
CASE-2013-ChenZAX #analysis #finite: Analysis of production completion time in Bernoulli serial lines with finite buffers (GC, LZ, JA, GX), pp. 770–775.
CASE-2013-DanishvarMSA #clustering #modelling #realtime: Event-clustering for real-time data modeling (MD, AM, PAMdS, RA), pp. 362–367.
CASE-2013-DevesseRFW #realtime: A real-time optimal control method for swing-free tower crane motions (WD, MR, LF, JW), pp. 336–341.
CASE-2013-DotoliEFPST #network #realtime: A real time traffic management model for regional railway networks under disturbances (MD, NE, MF, AP, FS, BT), pp. 892–897.
CASE-2013-GohWYFPLL #monitoring #named #realtime #risk management #visualisation: RiskVis: Supply chain visualization with risk management and real-time monitoring (RSMG, ZW, XY, XF, LP, SL, XL), pp. 207–212.
CASE-2013-Markovski #analysis #synthesis: Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems (JM), pp. 1075–1082.
CASE-2013-PerinF #automation #modelling: Comparing detailed and abstract timed models of automated discrete manufacturing systems (MP, JMF), pp. 916–923.
CASE-2013-QiaoWZ #clustering #scheduling #tool support: Scheduling of time constrained dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 868–873.
CASE-2013-SpensieriBC #coordination: Coordination of robot paths for cycle time minimization (DS, RB, JSC), pp. 522–527.
CASE-2013-WangC #multi #policy #robust: A robust production control policy for a multiple-stage production system with inventory inaccuracy and time-delay (ZW, FTSC), pp. 77–82.
CASE-2013-ZhouKZS #analysis: Causal analysis for non-stationary time series in sensor-rich smart buildings (YZ, ZK, LZ, CJS), pp. 593–598.
CASE-2013-ZhouL #detection #realtime #throughput: Real time electricity demand response for sustainable manufacturing systems considering throughput bottleneck detection (ZZ, LL), pp. 640–644.
DAC-2013-AlaghiLH #probability #realtime: Stochastic circuits for real-time image-processing applications (AA, CL, JPH), p. 6.
DAC-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.
DAC-2013-AndalamGSRR #analysis #precise: Precise timing analysis for direct-mapped caches (SA, AG, RS, PSR, JR), p. 10.
DAC-2013-AxerE #fault #probability #scheduling: Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.
DAC-2013-BanerjeeDSC #adaptation #constraints #energy #performance #realtime: Real-time use-aware adaptive MIMO RF receiver systems for energy efficiency under BER constraints (DB, SKD, SS, AC), p. 7.
DAC-2013-ChakrabortyCRA #pipes and filters: Efficiently tolerating timing violations in pipelined microprocessors (KC, BC, SR, DMA), p. 8.
DAC-2013-DinakarraoWY #3d #multi #reduction: Peak power reduction and workload balancing by space-time multiplexing based demand-supply matching for 3D thousand-core microprocessor (SMPD, KW, HY), p. 6.
DAC-2013-DingLM #analysis #multi #realtime: Integrated instruction cache analysis and locking in multitasking real-time systems (HD, YL, TM), p. 10.
DAC-2013-Fang #simulation: A new time-stepping method for circuit simulation (GPF), p. 10.
DAC-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.
DAC-2013-KinsmanKN #generative #sequence #validation: Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
DAC-2013-KuruvillaSPVC #analysis #optimisation #set #statistics: Speeding up computation of the max/min of a set of gaussians for statistical timing analysis and optimization (VK, DS, JP, CV, NC), p. 7.
DAC-2013-LuoCH #design #nondeterminism: Design of cyberphysical digital microfluidic biochips under completion-time uncertainties in fluidic operations (YL, KC, TYH), p. 7.
DAC-2013-QuanP #algorithm #runtime: A scenario-based run-time task mapping algorithm for MPSoCs (WQ, ADP), p. 6.
DAC-2013-WuergesOS #energy #performance #realtime: Reconciling real-time guarantees and energy efficiency through unlocked-cache prefetching (EW, RSdO, LCVdS), p. 9.
DAC-2013-YeWHL #parallel #segmentation #simulation: Time-domain segmentation based massively parallel simulation for ADCs (ZY, BW, SH, YL), p. 6.
DAC-2013-YeYSJX #generative: Post-placement voltage island generation for timing-speculative circuits (RY, FY, ZS, WBJ, QX), p. 6.
DAC-2013-YuanLJX #on the #testing: On testing timing-speculative circuits (FY, YL, WBJ, QX), p. 6.
DAC-2013-YuanX #fault #logic #low cost #named #scalability: InTimeFix: a low-cost and scalable technique for in-situ timing error masking in logic circuits (FY, QX), p. 6.
DAC-2013-ZhaiBS #parallel #realtime #streaming: Exploiting just-enough parallelism when mapping streaming applications in hard real-time systems (JTZ, MB, TS), p. 8.
DAC-2013-ZhanSOTNX #design #embedded #energy #optimisation #realtime: Designing energy-efficient NoC for real-time embedded systems through slack optimization (JZ, NS, JO, LT, VN, YX), p. 6.
DATE-2013-AhmadyanKV #algorithm #incremental #runtime #using #verification: Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm (SNA, JAK, SV), pp. 21–26.
DATE-2013-CarvajalF #framework #realtime: An open platform for mixed-criticality real-time ethernet (GC, SF), pp. 153–156.
DATE-2013-ChabrolRDJHOZ #kernel #realtime: Time- and angle-triggered real-time kernel (DC, DR, VD, MJ, MAH, PO, GZ), pp. 1060–1062.
DATE-2013-DimitrakopoulosGNK #multi: Switch folding: network-on-chip routers with time-multiplexed output ports (GD, NG, CN, EK), pp. 344–349.
DATE-2013-El-ShambakeyR #named #realtime #scheduling: FBLT: a real-time contention manager with improved schedulability (MES, BR), pp. 1325–1330.
DATE-2013-FirouziKTN #analysis #runtime: Incorporating the impacts of workload-dependent runtime variations into timing analysis (FF, SK, MBT, SRN), pp. 1022–1025.
DATE-2013-GomonyAG #architecture #memory management #multi #realtime: Architecture and optimal configuration of a real-time multi-channel memory controller (MDG, BA, KG), pp. 1307–1312.
DATE-2013-GoossensAG #memory management #policy: Conservative open-page policy for mixed time-criticality memory controllers (SG, BA, KG), pp. 525–530.
DATE-2013-HamdiouiNGGGB #challenge #realtime #reliability: Reliability challenges of real-time systems in forthcoming technology nodes (SH, MN, DG, AG, GG, PB), pp. 129–134.
DATE-2013-HongK #architecture #named: AVICA: an access-time variation insensitive L1 cache architecture (SH, SK), pp. 65–70.
DATE-2013-HuHMCF #detection #fault #realtime: Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips (KH, BNH, AM, KC, RBF), pp. 559–564.
DATE-2013-KimYIBS #manycore #realtime #scheduling: Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems (JEK, MKY, SI, RMB, LS), pp. 970–975.
DATE-2013-KosmidisAQC #design #realtime: A cache design for probabilistically analysable real-time systems (LK, JA, EQ, FJC), pp. 513–518.
DATE-2013-KosmidisCQABC #analysis #design #probability: Probabilistic timing analysis on conventional cache designs (LK, CC, EQ, JA, EDB, FJC), pp. 603–606.
DATE-2013-KumarCT #approach #distributed #realtime #satisfiability: A satisfiability approach to speed assignment for distributed real-time systems (PK, DBC, LT), pp. 749–754.
DATE-2013-LaiCAG #monitoring #named #online: SlackProbe: a low overhead in situ on-line timing slack monitoring methodology (LL, VC, RCA, PG), pp. 282–287.
DATE-2013-LotfianJ #architecture #hardware #power management #smarttech #using: An ultra-low power hardware accelerator architecture for wearable computers using dynamic time warping (RL, RJ), pp. 913–916.
DATE-2013-LuMS13a #estimation: Analytical timing estimation for temporally decoupled TLMs considering resource conflicts (KL, DMG, US), pp. 1161–1166.
DATE-2013-MartinB #configuration management #integration: Configurable I/O integration to reduce system-on-chip time to market: DDR, PCIe examples (FM, PB), p. 169.
DATE-2013-MaYGGTBH #analysis #architecture #towards #validation: Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.
DATE-2013-MohanramWI #certification #compilation #memory management #named #order #reduction: Mempack: an order of magnitude reduction in the cost, risk, and time for memory compiler certification (KM, MW, SI), pp. 1490–1493.
DATE-2013-Moy #approach #modelling #parallel #programming: Parallel programming with SystemC for loosely timed models: a non-intrusive approach (MM), pp. 9–14.
DATE-2013-Mueller-GritschnederLWGS #case study #framework #prototype #realtime: A virtual prototyping platform for real-time systems with a case study for a two-wheeled robot (DMG, KL, EW, MG, US), pp. 1331–1334.
DATE-2013-NavasSO #array #configuration management #flexibility #framework #reuse: The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks (BN, IS, JÖ), pp. 833–838.
DATE-2013-NegreanKE #analysis #manycore: Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems (MN, SK, RE), pp. 302–307.
DATE-2013-NeukirchnerQMAE #analysis #realtime: Sensitivity analysis for arbitrary activation patterns in real-time systems (MN, SQ, TM, PA, RE), pp. 135–140.
DATE-2013-NovoAI #estimation #fault #fixpoint #invariant #linear #trade-off: Accuracy vs speed tradeoffs in the estimation of fixed-point errors on linear time-invariant systems (DN, SEA, PI), pp. 15–20.
DATE-2013-ObergMSK #framework #hardware #testing: A practical testing framework for isolating hardware timing channels (JO, SM, TS, RK), pp. 1281–1284.
DATE-2013-PollexFSMMW #analysis #constant #realtime: Sufficient real-time analysis for an engine control unit with constant angular velocities (VP, TF, FS, UM, RM, GW), pp. 1335–1338.
DATE-2013-QuintonNE #analysis #formal method #realtime: Formal analysis of sporadic bursts in real-time systems (SQ, MN, RE), pp. 767–772.
DATE-2013-StergiouJ #dataset #optimisation: Optimizing BDDs for time-series dataset manipulation (SS, JJ), pp. 1018–1021.
DATE-2013-WagnerW #analysis #performance #statistics: Efficient variation-aware statistical dynamic timing analysis for delay test applications (MW, HJW), pp. 276–281.
DATE-2013-YuZHWLT #approach #manycore #set #simulation: A critical-section-level timing synchronization approach for deterministic multi-core instruction set simulations (FWY, BHZ, YHH, HIW, CRL, RST), pp. 643–648.
DATE-2013-ZhaoLBT #detection #manycore #probability #runtime: Run-time probabilistic detection of miscalibrated thermal sensors in many-core systems (JZ, S(L, WB, RT), pp. 1395–1398.
HT-2013-WangQS #analysis #realtime #social #twitter: Reading tweeting minds: real-time analysis of short text for computational social science (ZW, DQ, DÓS), pp. 169–173.
ICDAR-2013-CutterM #documentation #image #realtime: Real Time Camera Phone Guidance for Compliant Document Image Acquisition without Sight (MPC, RM), pp. 408–412.
ICDAR-2013-LiMVC #distance #multi #optimisation: A Multi-stroke Dynamic Time Warping Distance Based on A* Optimization (JL, HM, CVG, ZC), pp. 1330–1334.
ICDAR-2013-LvHWL #online #realtime #recognition #segmentation: Learning-Based Candidate Segmentation Scoring for Real-Time Recognition of Online Overlaid Chinese Handwriting (YFL, LLH, DHW, CLL), pp. 74–78.
ICDAR-2013-MalikALD #forensics #realtime #verification: FREAK for Real Time Forensic Signature Verification (MIM, SA, ML, AD), pp. 971–975.
SIGMOD-2013-CurrimSSZJY #query: DBMS metrology: measuring query time (SC, RTS, YKS, RZ, MWJ, CY), pp. 421–432.
SIGMOD-2013-FanXS #adaptation #monitoring #named #performance #realtime: FAST: differentially private real-time aggregate monitor with filtering and adaptive sampling (LF, LX, VSS), pp. 1065–1068.
SIGMOD-2013-LiGC #named #realtime #sequence: ε-Matching: event processing over noisy sequences in real time (ZL, TG, CXC), pp. 601–612.
SIGMOD-2013-LuoT0N: Finding time period-based most frequent path in big trajectory data (WL, HT, LC, LMN), pp. 713–724.
SIGMOD-2013-MishneDLSL #architecture #big data #performance #query #realtime #twitter: Fast data in the era of big data: Twitter’s real-time related query suggestion architecture (GM, JD, ZL, AS, JL), pp. 1147–1158.
SIGMOD-2013-VianaM #named #network #realtime #social: FriendRouter: real-time path finder in social networks (WV, MMM), pp. 1281–1282.
SIGMOD-2013-ZhangC #semantics #web: InfoGather+: semantic matching and annotation of numeric and time-varying attributes in web tables (MZ, KC), pp. 145–156.
VLDB-2013-0002GJ #correlation #markov #modelling #using: Travel Cost Inference from Sparse, Spatio-Temporally Correlated Time Series Using Markov Models (BY, CG, CSJ), pp. 769–780.
VLDB-2013-Bress #gpu #hybrid #performance #query #why: Why it is time for a HyPE: A Hybrid Query Processing Engine for Efficient GPU Coprocessing in DBMS (SB), pp. 1398–1403.
VLDB-2013-Viglas #compilation #query #sql: Just-in-time compilation for SQL query processing (SV), pp. 1190–1191.
VLDB-2013-WangWPWH #adaptation #segmentation: A Data-adaptive and Dynamic Segmentation Index for Whole Matching on Time Series (YW, PW, JP, WW, SH), pp. 793–804.
VLDB-2013-WuCHN #concurrent #database #execution #predict #query #towards: Towards Predicting Query Execution Time for Concurrent and Dynamic Database Workloads (WW, YC, HH, JFN), pp. 925–936.
VLDB-2014-EravciF13 #feedback: Diversity based Relevance Feedback for Time Series Search (BE, HF), pp. 109–120.
FASE-2013-TrikiCBS #implementation #modelling #parallel #realtime: Model-Based Implementation of Parallel Real-Time Systems (AT, JC, SB, JS), pp. 235–249.
FoSSaCS-2013-ClementeHSS #communication #process #reachability: Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
TACAS-2013-JovanovicLR #automaton #integer #parametricity #synthesis: Integer Parameter Synthesis for Timed Automata (AJ, DL, OHR), pp. 401–415.
TACAS-2013-NagyST #automation #realtime #testing: Automatic Testing of Real-Time Graphics Systems (RN, GS, AT), pp. 463–477.
ICPC-2013-LanzaDBHR #named #process #realtime #visual notation: Manhattan: Supporting real-time visual team activity awareness (ML, MD, AB, LH, FR), pp. 207–210.
STOC-2013-BabaiW #canonical #design: Quasipolynomial-time canonical form for steiner designs (LB, JW), pp. 261–270.
STOC-2013-ChenST #design #morphism #multi #testing: Multi-stage design for quasipolynomial-time isomorphism testing of steiner 2-systems (XC, XS, SHT), pp. 271–280.
STOC-2013-ClarksonW #approximate #rank: Low rank approximation and regression in input sparsity time (KLC, DPW), pp. 81–90.
STOC-2013-EisenstatK #algorithm #graph #linear #multi: Linear-time algorithms for max flow and multiple-source shortest paths in unit-weight planar graphs (DE, PNK), pp. 735–744.
STOC-2013-Har-PeledR #algorithm #distance #linear #problem: Net and prune: a linear time algorithm for euclidean distance problems (SHP, BAR), pp. 605–614.
STOC-2013-KeevashKM #polynomial: Polynomial-time perfect matchings in dense hypergraphs (PK, FK, RM), pp. 311–320.
STOC-2013-KelnerOSZ #algorithm #combinator: A simple, combinatorial algorithm for solving SDD systems in nearly-linear time (JAK, LO, AS, ZAZ), pp. 911–920.
STOC-2013-KingS #polynomial: Byzantine agreement in polynomial expected time: [extended abstract] (VK, JS), pp. 401–410.
STOC-2013-KleinMS #graph #linear #recursion: Structured recursive separator decompositions for planar graphs in linear time (PNK, SM, CS), pp. 505–514.
STOC-2013-MengM #linear #robust: Low-distortion subspace embeddings in input-sparsity time and applications to robust linear regression (XM, MWM), pp. 91–100.
STOC-2013-Orlin: Max flows in O(nm) time, or better (JBO), pp. 765–774.
STOC-2013-RothblumVW #interactive #proving #proximity #sublinear: Interactive proofs of proximity: delegating computation in sublinear time (GNR, SPV, AW), pp. 793–802.
DLT-2013-IbarraR #complexity: Some Decision Questions Concerning the Time Complexity of Language Acceptors (OHI, BR), pp. 264–276.
ICALP-v1-2013-0002BFGK: Minimizing Maximum (Weighted) Flow-Time on Related and Unrelated Machines (SA, KB, TF, NG, AK), pp. 13–24.
ICALP-v1-2013-AustrinKKM #algorithm #set #trade-off: Space-Time Tradeoffs for Subset Sum: An Improved Worst Case Algorithm (PA, PK, MK, JM), pp. 45–56.
ICALP-v1-2013-BelovsCJKM #3d #quantum: Time-Efficient Quantum Walks for 3-Distinctness (AB, AMC, SJ, RK, FM), pp. 105–122.
ICALP-v1-2013-BodlaenderCKN #algorithm #exponential #problem: Deterministic Single Exponential Time Algorithms for Connectivity Problems Parameterized by Treewidth (HLB, MC, SK, JN), pp. 196–207.
ICALP-v1-2013-CyganP #algorithm #bound #graph #performance: Faster Exponential-Time Algorithms in Graphs of Bounded Average Degree (MC, MP), pp. 364–375.
ICALP-v1-2013-GlasserNRSW #polynomial #reduction #set: Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions (CG, DTN, CR, ALS, MW), pp. 473–484.
ICALP-v1-2013-GolovachHKV #algorithm #incremental #polynomial #set: An Incremental Polynomial Time Algorithm to Enumerate All Minimal Edge Dominating Sets (PAG, PH, DK, YV), pp. 485–496.
ICALP-v1-2013-KucherovN #constant #realtime: Full-Fledged Real-Time Indexing for Constant Size Alphabets (GK, YN), pp. 650–660.
ICALP-v1-2013-LeviR #graph: A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor (RL, DR), pp. 709–720.
ICALP-v1-2013-WeimannY #approximate #graph #linear: Approximating the Diameter of Planar Graphs in Near Linear Time (OW, RY), pp. 828–839.
ICALP-v2-2013-Basset #automaton #probability #process: A Maximal Entropy Stochastic Process for a Timed Automaton, (NB), pp. 61–73.
ICALP-v2-2013-FearnleyJ #automaton #reachability: Reachability in Two-Clock Timed Automata Is PSPACE-Complete (JF, MJ), pp. 212–223.
ICALP-v2-2013-HenzingerKN #maintenance #network: Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks (MH, SK, DN), pp. 607–619.
ICALP-v2-2013-Jez #equation #linear #word: One-Variable Word Equations in Linear Time (AJ), pp. 324–335.
LATA-2013-KociumakaRRW #algorithm #linear #testing: Linear-Time Version of Holub’s Algorithm for Morphic Imprimitivity Testing (TK, JR, WR, TW), pp. 383–394.
IFM-2013-Larsen #automaton #model checking #statistics: Priced Timed Automata and Statistical Model Checking (KGL), pp. 154–161.
IFM-2013-OlderogS #realtime: Structural Transformations for Data-Enriched Real-Time Systems (ERO, MS), pp. 378–393.
SEFM-2013-AmanC #migration #realtime: Real-Time Migration Properties of rTiMo Verified in Uppaal (BA, GC), pp. 31–45.
SEFM-2013-BoerGW #runtime #verification: Run-Time Verification of Coboxes (FSdB, SdG, PYHW), pp. 259–273.
SEFM-2013-MenadD #approach #multi #requirements: A Transformation Approach for Multiform Time Requirements (NM, PD), pp. 16–30.
GT-VMT-2013-Giese #behaviour #graph transformation #probability: Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
CHI-2013-BanovicGF #fault: The effect of time-based cost of error in target-directed pointing tasks (NB, TG, GWF), pp. 1373–1382.
CHI-2013-FuchsFMBI #design #evaluation #multi: Evaluation of alternative glyph designs for time series data in a small multiple setting (JF, FF, FM, EB, PI), pp. 3237–3246.
CHI-2013-GartenbergBPMT #adaptation #automation #fault: Adaptive automation and cue invocation: the effect of cue timing on operator error (DG, LAB, JP, JMM, JGT), pp. 3121–3130.
CHI-2013-LaseckiMB #crowdsourcing #effectiveness #realtime: Warping time for more effective real-time crowdsourcing (WSL, CDM, JPB), pp. 2033–2036.
CHI-2013-LeeC #realtime: Real-time perception-level translation from audio signals to vibrotactile effects (JL, SC), pp. 2567–2576.
CHI-2013-LewisUM #named: UMUX-LITE: when there’s no time for the SUS (JRL, BU, DEM), pp. 2099–2102.
CHI-2013-Lundgren #interactive: Toying with time: considering temporal themes in interactive artifacts (SL), pp. 1639–1648.
CHI-2013-MacveanR #behaviour #comprehension #game studies #motivation #physics #process: Understanding exergame users’ physical activity, motivation and behavior over time (APM, JR), pp. 1251–1260.
CHI-2013-PerinVF #graph #interactive #multi #visualisation: Interactive horizon graphs: improving the compact visualization of multiple time series (CP, FV, JDF), pp. 3217–3226.
CHI-2013-SantosaCBS #editing #visual notation: Direct space-time trajectory control for visual media editing (SS, FC, RB, KS), pp. 1149–1158.
CHI-2013-SenJHBC: When the price is right: enabling time-dependent pricing of broadband data (SS, CJW, SH, JB, MC), pp. 2477–2486.
CHI-2013-TamMMK #design: The design and field observation of a haptic notification system for timing awareness during oral presentations (DT, KEM, JM, KJK), pp. 1689–1698.
CHI-2013-TausczikP #feedback #realtime #using: Improving teamwork using real-time language feedback (YRT, JWP), pp. 459–468.
CSCW-2013-AgustinaS #3d #collaboration #design #detection #realtime: Dependency-conflict detection in real-time collaborative 3D design systems (A, CS), pp. 715–728.
CSCW-2013-AgustinaS13a #3d #collaboration #design #named: Xpointer: an x-ray telepointer for relaxed-space-time wysiwis and unconstrained collaborative 3d design systems (A, CS), pp. 729–740.
CSCW-2013-GarrettW #realtime: The promise and peril of real-time corrections to political misperceptions (RKG, BEW), pp. 1047–1058.
CSCW-2013-LaseckiSKB #process #realtime #recognition: Real-time crowd labeling for deployable activity recognition (WSL, YCS, HAK, JPB), pp. 1203–1212.
CSCW-2013-NawahdahI #design: Virtually dining together in time-shifted environment: KIZUNA design (MN, TI), pp. 779–788.
CSCW-2013-ReineckeNBNG #behaviour #difference #online #scheduling: Doodle around the world: online scheduling behavior reflects cultural differences in time perception and group decision-making (KR, MKN, AB, MN, KZG), pp. 45–54.
DHM-HB-2013-KeyvaniLBO #database #metric #using: Using Methods-Time Measurement to Connect Digital Humans and Motion Databases (AK, DL, GB, RÖ), pp. 343–352.
DHM-HB-2013-NettenDG #behaviour #case study #metric: Chair Based Measurements of Sitting Behavior a Field Study of Sitting Postures and Sitting Time in Office Work (MPN, LHMvdD, RHMG), pp. 261–268.
DUXU-CXC-2013-Stevens #behaviour #gamification #how #social: How Gamification and Behavior Science Can Drive Social Change One Employee at a Time (SHS), pp. 597–601.
DUXU-NTE-2013-ChuangH #case study #difference: A Study on Time Differences between Actual Advertisement Viewing and Retrospective Perception (MHC, CH), pp. 455–464.
DUXU-PMT-2013-SandinoMV #design #interactive #realtime: Design Thinking Methodology for the Design of Interactive Real-Time Applications (DS, LMM, GV), pp. 583–592.
HCI-AMTE-2013-TruePF #education #human-computer: Confabulation in the Time of Transdisciplinarity: Reflection on HCI Education and a Call for Conversation (NT, JP, DF), pp. 128–136.
HCI-AS-2013-GotodaSMNM #learning #process #realtime: A Server-Based System Supporting Motor Learning through Real-Time and Reflective Learning Activities (NG, YS, KM, KN, CM), pp. 84–93.
HCI-AS-2013-HuaG #comprehension #difference #evaluation #predict #protocol #safety #usability: Usability Evaluation of a Voluntary Patient Safety Reporting System: Understanding the Difference between Predicted and Observed Time Values by Retrospective Think-Aloud Protocols (LH, YG), pp. 94–100.
HCI-III-2013-WangLLD #algorithm #performance #realtime #visual notation: A New Real-Time Visual SLAM Algorithm Based on the Improved FAST Features (LW, RL, CL, FD), pp. 206–215.
HCI-III-2013-YangZZJXW #detection #multi #realtime #using: Depth Camera Based Real-Time Fingertip Detection Using Multi-view Projection (WY, ZZ, XZ, LJ, CX, PW), pp. 254–261.
HCI-IMT-2013-MurataHS #interface #video: Effect of Unresponsive Time for User’s Touch Action of Selecting an Icon on the Video Mirror Interface (KM, MH, YS), pp. 462–468.
HCI-IMT-2013-SrivastavaT #analysis #realtime #using: Real Time Mono-vision Based Customizable Virtual Keyboard Using Finger Tip Speed Analysis (SS, RCT), pp. 497–505.
HCI-IMT-2013-ZhangSM #agile: Target Orientation Effects on Movement Time in Rapid Aiming Tasks (YZ, BS, WM), pp. 540–548.
HIMI-D-2013-ChangC #case study: A Study of Different Consumer Groups’ Preferences of Time Display on Watches (WCC, WTC), pp. 421–430.
HIMI-D-2013-KobayashiYA #analysis #behaviour: Analysis of Purchasing Behavior Focusing on the Passage of Time at a Group Buying Site of Coupon (TK, TY, YA), pp. 449–455.
HIMI-HSM-2013-PapangelisSCVEN #information management #realtime: Developing a Real Time Passenger Information System for Rural Areas (KP, SS, DC, NV, PE, JDN), pp. 153–162.
HIMI-LCCB-2013-ShiTS #consistency #nondeterminism #online #recommendation: Timing and Basis of Online Product Recommendation: The Preference Inconsistency Paradox (AS, CHT, CLS), pp. 531–539.
VISSOFT-2013-ShresthaZM #open source #visualisation: Visualizing time and geography of open source software with storygraph (AS, YZ, BM), pp. 1–4.
AdaEurope-2013-AsensioLCN #analysis #approach #execution #safety #worst-case: Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software (EA, IL, AC, JN), pp. 161–176.
AdaEurope-2013-BaldovinMV #operating system #towards: Towards a Time-Composable Operating System (AB, EM, TV), pp. 143–160.
AdaEurope-2013-SalazarAMP #ada #framework #modelling #realtime #safety: A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.
HILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using: Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
HILT-2013-MichellMP #manycore #programming #realtime: Real-time programming on accelerator many-core processors (SM, BM, LMP), pp. 23–36.
EDOC-2013-BerryM #data type #health #legacy #monitoring #quality #realtime: Real-Time Analytics for Legacy Data Streams in Health: Monitoring Health Data Quality (AB, ZM), pp. 91–100.
ICEIS-v1-2013-AndradeRYS #data-driven #database #novel #similarity: A Novel Method for Similarity Search over Meteorological Time Series Data based on the Coulomb’s Law (CGdA, MXR, CAY, MTPS), pp. 209–216.
ICEIS-v1-2013-CoutinhoPB #energy #scheduling: A Scheduling Strategy for Global Scientific Grids — Minimizing Simultaneously Time and Energy Consumption (FC, LLP, CTB), pp. 545–553.
ICEIS-v1-2013-EllouzeLB #database #design #logic #object-oriented #realtime: Object-oriented Real-time Database Design based on Description Logics (ZE, NL, RB), pp. 264–271.
ICEIS-v2-2013-RibeiroS #approach #modelling #realtime #requirements: An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes (FGCR, MSS), pp. 70–81.
ICEIS-v3-2013-CheikhrouhouKGJ #bibliography #modelling #process: A Survey on Time-aware Business Process Modeling (SC, SK, NG, MJ), pp. 236–242.
ICEIS-v3-2013-LucasXB #enterprise #realtime #visualisation: Visualizing ERP Usage Logs in Real Time (WTL, JX, TB), pp. 83–90.
CIKM-2013-AkibaIY #linear #network #random #scalability: Linear-time enumeration of maximal K-edge-connected subgraphs in large networks by random contraction (TA, YI, YY), pp. 909–918.
CIKM-2013-AlbakourMO #effectiveness #microblog #on the #realtime: On sparsity and drift for effective real-time filtering in microblogs (MDA, CM, IO), pp. 419–428.
CIKM-2013-KimCHZRD #feedback #mining #modelling #topic: Mining causal topics in text data: iterative topic modeling with time series feedback (HDK, MC, MH, CZ, TAR, DD), pp. 885–890.
CIKM-2013-LefortierOSS #crawling: Timely crawling of high-quality ephemeral new content (DL, LO, ES, PS), pp. 745–750.
CIKM-2013-MullangiR #named #performance #query #reachability #scalability: SCISSOR: scalable and efficient reachability query processing in time-evolving hierarchies (PRM, LR), pp. 799–804.
ECIR-2013-GuoDY: Updating Users about Time Critical Events (QG, FD, EYT), pp. 483–494.
ECIR-2013-JameelL #documentation #n-gram #topic: An N-Gram Topic Model for Time-Stamped Documents (SJ, WL), pp. 292–304.
ECIR-2013-KumarC #feedback #query #twitter: Time Based Feedback and Query Expansion for Twitter Search (NK, BAC), pp. 734–737.
ECIR-2013-McParlaneJ #automation #image: Exploiting Time in Automatic Image Tagging (PJM, JMJ), pp. 520–531.
ICML-c1-2013-WulsinFL #correlation #markov #parsing #process #using: Parsing epileptic events using a Markov switching process model for correlated time series (DW, EBF, BL), pp. 356–364.
ICML-c2-2013-GaneshapillaiGL #learning: Learning Connections in Financial Time Series (GG, JVG, AL), pp. 109–117.
ICML-c2-2013-HanL #estimation #matrix: Transition Matrix Estimation in High Dimensional Time Series (FH, HL), pp. 172–180.
ICML-c3-2013-LeSS #named: Fastfood — Computing Hilbert Space Expansions in loglinear time (QVL, TS, AJS), pp. 244–252.
ICML-c3-2013-SunZ #evaluation #order #representation: Saving Evaluation Time for the Decision Function in Boosting: Representation and Reordering Base Learner (PS, JZ), pp. 933–941.
ICML-c3-2013-WuHG #modelling #multi: Dynamic Covariance Models for Multivariate Financial Time Series (YW, JMHL, ZG), pp. 558–566.
KDD-2013-AsadiLB #memory management #policy #realtime #twitter: Dynamic memory allocation policies for postings in real-time Twitter search (NA, JL, MB), pp. 1186–1194.
KDD-2013-ChengXCACG #mining #named #realtime #social #social media: JobMiner: a real-time system for mining job-related patterns from social media (YC, YX, ZC, AA, ANC, SG), pp. 1450–1453.
KDD-2013-ChenHKB #learning #named: DTW-D: time series semi-supervised learning from a single example (YC, BH, EJK, GEAPAB), pp. 383–391.
KDD-2013-ChenTTY #analysis #kernel #modelling #performance: Model-based kernel for efficient time series analysis (HC, FT, PT, XY), pp. 392–400.
KDD-2013-ChiangLPY: Inferring distant-time location in low-sampling-rate trajectories (MFC, YHL, WCP, PSY), pp. 1454–1457.
KDD-2013-HaoCZ0RK #learning #towards: Towards never-ending learning from time series streams (YH, YC, JZ, BH, TR, EJK), pp. 874–882.
KDD-2013-LeeAC #realtime #twitter #using: Real-time disease surveillance using Twitter data: demonstration on flu and cancer (KL, AA, ANC), pp. 1474–1477.
KDD-2013-RistanoskiLB: A time-dependent enhanced support vector machine for time series regression (GR, WL, JB), pp. 946–954.
KDD-2013-YinLLW #perspective #recommendation: Silence is also evidence: interpreting dwell time for recommendation from psychological perspective (PY, PL, WCL, MW), pp. 989–997.
KDIR-KMIS-2013-GirdauskieneS #what: Assessing Environmental Dimensions for Creativity and Knowledge Creation — What Features of Task, Group and Time do make an Impact on Creativity and Knowledge Creation in a Creative Organization (LG, AS), pp. 532–538.
KEOD-2013-LepperT #named: tScore: Makes Computers and Humans Talk About Time (ML, BTyW), pp. 176–183.
MLDM-2013-SharmaG #detection: Optimal Time Segments for Stress Detection (NS, TG), pp. 421–433.
MLDM-2013-VavreckaL #classification #feature model: EEG Feature Selection Based on Time Series Classification (MV, LL), pp. 520–527.
RecSys-2013-ZhengI #effectiveness: Effectiveness of the data generated on different time in latent factor model (QZ, HHSI), pp. 327–330.
SEKE-2013-KalayciS #adaptation #framework #multi #runtime #workflow: Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations (SK, SMS), pp. 709–714.
SEKE-2013-Lou0 #artificial reality #gesture #interactive #personalisation #realtime #using: A Real-time Personalized Gesture Interaction System Using Wii Remote and Kinect for Tiled-Display Environment (YL, WW), pp. 131–136.
SIGIR-2013-ChenHL #modelling #recommendation: Modeling user’s receptiveness over time for recommendation (WC, WH, MLL), pp. 373–382.
SIGIR-2013-FafaliosT #named #realtime #semantics #web: X-ENS: semantic enrichment of web search results at real-time (PF, YT), pp. 1089–1090.
SIGIR-2013-KarkaliPV #realtime #recommendation: Match the news: a firefox extension for real-time news recommendation (MK, DP, MV), pp. 1117–1118.
SIGIR-2013-MiyanishiS #query: Time-aware structured query suggestion (TM, TS), pp. 809–812.
SIGIR-2013-RenLMR #personalisation #summary #twitter: Personalized time-aware tweets summarization (ZR, SL, EM, MdR), pp. 513–522.
SIGIR-2013-RossiMCS #performance #query #using: Fast document-at-a-time query processing using two-tier indexes (CR, ESdM, ALC, ASdS), pp. 183–192.
SIGIR-2013-Wang0 #e-commerce #recommendation: Opportunity model for e-commerce recommendation: right product; right time (JW, YZ), pp. 303–312.
SIGIR-2013-YuanCMSM #recommendation: Time-aware point-of-interest recommendation (QY, GC, ZM, AS, NMT), pp. 363–372.
ECMFA-2013-MzidMMPBA #design pattern #named #realtime: DPMP: A Software Pattern for Real-Time Tasks Merge (RM, CM, AM, STP, JPB, MA), pp. 101–117.
ECMFA-2013-PatzinaPPM #generative #modelling #monitoring #runtime: Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.
ICMT-2013-RestWSSV #editing #realtime #robust #visual notation: Robust Real-Time Synchronization between Textual and Graphical Editors (OvR, GW, JRHS, JGS, EV), pp. 92–107.
MoDELS-2013-SongBCC #adaptation #constraints #modelling #runtime #self #theorem proving #using: Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving (HS, SB, AC, SC), pp. 555–571.
MoDELS-2013-SongBCC #adaptation #constraints #modelling #runtime #self #theorem proving #using: Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving (HS, SB, AC, SC), pp. 555–571.
Onward-2013-OhshimaLFK #declarative #framework #interactive #user interface: KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework (YO, AL, BF, TK), pp. 117–134.
LOPSTR-2013-Saeedloei #encoding #logic #π-calculus: A Logical Encoding of Timed π-Calculus (NS), pp. 164–182.
LOPSTR-2013-Seki #logic programming #model checking #source code: Extending Co-logic Programs for Branching-Time Model Checking (HS), pp. 127–144.
PPDP-2013-MandelPP #functional #refinement: Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.
QAPL-2013-HanKKG #probability #specification: Modal Specifications for Probabilistic Timed Systems (TH, CK, MZK, HG), pp. 66–80.
PADL-2013-RodriguesASF #abstraction #analysis #composition #declarative #multi #using: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction (VR, BA, SMdS, MF), pp. 43–59.
POPL-2013-SuenagaSH #modelling #standard: Hyperstream processing systems: nonstandard modeling of continuous-time signals (KS, HS, IH), pp. 417–430.
SAC-2013-AktasG #assessment #authentication #control flow #runtime: Run-time control flow authentication: an assessment on contemporary x86 platforms (EA, KG), pp. 1859–1866.
SAC-2013-AnielloQB #data transformation: Input data organization for batch processing in time window based computations (LA, LQ, RB), pp. 363–370.
SAC-2013-BaldovinGMV #kernel: Kernel-level time composability for avionics applications (AB, AG, EM, TV), pp. 1552–1554.
SAC-2013-BraunCHMM #framework #named #realtime #visualisation: CrowdVis: a framework for real time crowd visualization (HB, VJC, RH, FPM, SRM), pp. 989–995.
SAC-2013-CameronSNMM #analysis #component #performance #realtime #rule-based: Performance analysis of a rule-based SOA component for real-time applications (AC, MS, NN, WM, TM), pp. 1877–1884.
SAC-2013-FanTCS #embedded #energy #manycore #realtime: Energy-aware real-time task synchronization in multi-core embedded systems (LFF, THT, YSC, SSS), pp. 1493–1498.
SAC-2013-GouwBJW #case study #industrial #java #runtime #source code: Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study (SdG, FSdB, EBJ, PYHW), pp. 1573–1578.
SAC-2013-HuangMGM #multi #realtime #scalability: Throughput-constrained voltage and frequency scaling for real-time heterogeneous multiprocessors (PH, OM, KG, AMM), pp. 1517–1524.
SAC-2013-KoPH #analysis #design #realtime #video: Design analysis for real-time video transcoding on cloud systems (SK, SP, HH), pp. 1610–1615.
SAC-2013-MajumderRZEA #named #novel #realtime #towards: iPrevention: towards a novel real-time smartphone-based fall prevention system (AJAM, FR, IZ, WEJ, SIA), pp. 513–518.
SAC-2013-MartinsLSN #fault tolerance #framework #middleware #realtime: Stheno, a real-time fault-tolerant P₂P middleware platform for light-train systems (RM, LMBL, FMAS, PN), pp. 431–438.
SAC-2013-MendesW #navigation #realtime #using: Real time autonomous navigation and obstacle avoidance using a semi-global stereo method (CCTM, DFW), pp. 235–236.
SAC-2013-TomaC #realtime: Computation offloading for real-time systems (AT, JJC), pp. 1650–1651.
SAC-2013-WombacherI #estimation #process: Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.
ESEC-FSE-2013-JiangZLSHGS #analysis #reliability #runtime: System reliability calculation based on the run-time analysis of ladder program (YJ, HZ, HL, XS, WNNH, MG, JS), pp. 695–698.
ESEC-FSE-2013-NavabpourJWBMBF #c #named #runtime #source code #verification: RiTHM: a tool for enabling time-triggered runtime verification for C programs (SN, YJ, CWWW, SB, RM, BB, SF), pp. 603–606.
ICSE-2013-BuckleyMRA #architecture #consistency #named: JITTAC: a just-in-time tool for architectural consistency (JB, SM, JR, NA), pp. 1291–1294.
ICSE-2013-GomezNAM #android #named: RERAN: timing- and touch-sensitive record and replay for Android (LG, IN, TA, TDM), pp. 72–81.
ICSE-2013-KhooFH #debugging #named: Expositor: scriptable time-travel debugging with first-class traces (YPK, JSF, MH), pp. 352–361.
ICSE-2013-KnaussD #communication #named #online #requirements: V: ISSUE: LIZER: exploring requirements clarification in online communication over time (EK, DD), pp. 1327–1330.
ICSE-2013-LiuYCY #monitoring #novel #parallel #process: Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes (XL, YY, DC, DY), pp. 1281–1284.
ICSE-2013-PrikladnickiC #development #industrial #proximity: Is time-zone proximity an advantage for software development? the case of the brazilian IT industry (RP, EC), pp. 973–981.
ICSE-2013-TanA00DC #composition #synthesis: Dynamic synthesis of local time requirement for service composition (THT, ÉA, JS, YL, JSD, MC), pp. 542–551.
ICSE-2013-ZhangGV #empirical #predict: Predicting bug-fixing time: an empirical study of commercial software projects (HZ, LG, SV), pp. 1042–1051.
CC-2013-Krause #polynomial: Optimal Register Allocation in Polynomial Time (PKK), pp. 1–20.
CGO-2013-CostaASP: Just-in-time value specialization (IRdAC, PROA, HNS, FMQP), p. 11.
HPCA-2013-ArdestaniR #manycore #named #performance #using: ESESC: A fast multicore simulator using Time-Based Sampling (EKA, JR), pp. 448–459.
HPDC-2013-ZhouWSJS #parallel #realtime: Supporting parallel soft real-time applications in virtualized environment (LZ, SW, HS, HJ, XS), pp. 117–118.
ISMM-2013-KaliberaJ #benchmark #metric: Rigorous benchmarking in reasonable time (TK, REJ), pp. 63–74.
ISMM-2013-MorikawaUI #adaptation #garbage collection #lisp: Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector (KM, TU, HI), pp. 15–26.
ISMM-2013-ReamesN #garbage collection #towards: Towards hinted collection: annotations for decreasing garbage collector pause times (PR, GCN), pp. 3–14.
LCTES-2013-GeunsHB #automation #data flow #realtime: Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.
PPoPP-2013-LuM #migration #parallel: Multi-level parallel computing of reverse time migration for seismic imaging on blue Gene/Q (LL, KAM), pp. 291–292.
SOSP-2013-MurrayMIIBA #data flow #named: Naiad: a timely dataflow system (DGM, FM, RI, MI, PB, MA), pp. 439–455.
CAV-2013-AndreLSDL #concurrent #named #parametricity #realtime #synthesis: PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (ÉA, YL, JS, JSD, SWL), pp. 984–989.
CAV-2013-HerbreteauSW #abstraction #automaton #lazy evaluation: Lazy Abstractions for Timed Automata (FH, BS, IW), pp. 990–1005.
CAV-2013-LaarmanODLP #abstraction #automaton #manycore #using: Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction (AL, MCO, AED, KGL, JvdP), pp. 968–983.
CAV-2013-PuggelliLSS #nondeterminism #polynomial #verification: Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (AP, WL, ALSV, SAS), pp. 527–542.
CAV-2013-Sankur #analysis #automaton #named #robust: Shrinktech: A Tool for the Robustness Analysis of Timed Automata (OS), pp. 1006–1012.
CAV-2013-StewartEY #automaton #bound #model checking #polynomial #probability: Upper Bounds for Newton’s Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata (AS, KE, MY), pp. 495–510.
ICTSS-2013-DavidLMNR #specification #testing: Remote Testing of Timed Specifications (AD, KGL, MM, ONT, AR), pp. 65–81.
ICTSS-2013-GastonHG #distributed #framework #implementation: An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.
LICS-2013-Lynch #automaton #probability: Timed and Probabilistic I/O Automata (NAL), p. 12.
TAP-2013-AichernigLN #automaton #modelling #mutation testing #testing: Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.
CBSE-2012-Carlson #analysis #component #embedded: Timing analysis of component-based embedded systems (JC), pp. 151–156.
CBSE-2012-MartinezV #approach #component #realtime: An MDE approach to address synchronization needs in component-based real-time systems (PLM, TV), pp. 125–134.
QoSA-2012-AliRB #architecture #case study #multi #realtime: Characterizing real-time reflexion-based architecture recovery: an in-vivo multi-case study (NA, JR, JB), pp. 23–32.
ASE-2012-AminGC #approach #automation #linear #modelling: An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling (AA, LG, AC), pp. 130–139.
CASE-2012-BaoLYL #energy #programming #realtime: Battery energy storage system load shifting control based on real time load forecast and dynamic programming (GB, CL, ZY, ZL), pp. 815–820.
CASE-2012-CaiL #algorithm #hybrid #multi #problem #scheduling #search-based: A hybrid genetic algorithm for resource-constrained multi-project scheduling problem with resource transfer time (ZC, XL), pp. 569–574.
CASE-2012-ChenZAB #analysis #approach #performance #realtime: Real-time performance analysis of production lines: A system-theoretic approach (GC, LZ, JA, SB), pp. 656–661.
CASE-2012-DhananjayanS #automation #design #realtime #requirements #specification #validation: Automating timed specification transparency for human designer validation of real-time discrete-event control requirements (AD, KTS), pp. 908–913.
CASE-2012-DimitrovB #algorithm #evaluation #reduction #scheduling #search-based: Criteria evaluation considering the current time used by a genetic scheduling algorithm for changeover and tardiness reduction (TD, MB), pp. 425–430.
CASE-2012-FrankHEFDV #automation #modelling #realtime #requirements #using: Using contact points to integrate discipline spanning real-time requirements in modeling Networked Automation Systems for manufacturing systems (TF, TH, KE, AF, CD, BVH), pp. 851–856.
CASE-2012-GhonaimGS #on the #problem: On the assignment problem of arbitrary processing time operations in partially overlapping manufacturing resources (WG, HG, WS), pp. 341–346.
CASE-2012-JungBT: A simplified time-delayed disturbance observer for position control of robot manipulators (SJ, YGB, MT), pp. 555–560.
CASE-2012-Kim #analysis #fuzzy #robust: Robust stability analysis of T-S fuzzy systems with interval time-varying delays via a relaxation technique (SHK), pp. 829–832.
CASE-2012-KosakiS #architecture #internet: Control of pneumatic artificial muscles with the just-in-time method based on a client-server architecture via the internet (TK, MS), pp. 980–985.
CASE-2012-LiLS #constraints #process: Dispatching rule considering time-constraints on processes for semiconductor wafer fabrication facility (LL, YFL, ZJS), pp. 407–412.
CASE-2012-LiST #case study #challenge #realtime: Real time electricity demand response for sustainable manufacturing systems: Challenges and a case study (LL, ZS, ZT), pp. 353–357.
CASE-2012-LiZH #realtime: A practical method for motor imagery based real-time prosthesis control (YNL, XDZ, ZXH), pp. 1052–1056.
CASE-2012-ObeidDY #constraints #health #parallel #scheduling: Scheduling on parallel machines with time constraints and Equipment Health Factors (AO, SDP, CY), pp. 401–406.
CASE-2012-ParkPC #automation #design #injection: Design automation of valve gate locations and open timing for injection molding of an automotive instrument panel (CHP, BGP, DHC), pp. 843–845.
CASE-2012-QuangR #approach #implementation: Implementation of Time Domain Passivity Approach on Rate-Mode bilateral teleoperation (HVQ, JHR), pp. 846–850.
CASE-2012-SawadaS #design #feedback #on the #optimisation: On numerical optimization design of continuous-time feedback type quantizer for networked control systems (KS, SS), pp. 1144–1149.
CASE-2012-TurkiZN #maintenance: Impact of delivery time on optimal production/delivery/maintenance planning (ST, HZ, NR), pp. 335–340.
CASE-2012-WangLC #algorithm #realtime: Real-time path planning for low altitude flight based on A* algorithm and TF/TA algorithm (HW, QL, NC), pp. 837–842.
CASE-2012-YanG #estimation #physics: Time-delay estimation of ultrasonic echoes based on the physical model matching (XY, LG), pp. 469–473.
CASE-2012-ZhangXG #implementation: Promise surgery start times and implementation strategies (ZZ, XX, NG), pp. 143–149.
DAC-2012-0001AG #memory management #realtime #runtime: Run-time power-down strategies for real-time SDRAM memory controllers (KC, BA, KG), pp. 988–993.
DAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named: DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.
DAC-2012-ChangJC #configuration management #optimisation #using: Timing ECO optimization using metal-configurable gate-array spare cells (HYC, IHRJ, YWC), pp. 802–807.
DAC-2012-ChungJ #analysis #functional #performance: Functional timing analysis made fast and general (YTC, JHRJ), pp. 1055–1060.
DAC-2012-El-ShambakeyR #bound #concurrent #embedded #realtime: STM concurrency control for embedded real-time software with tighter time bounds (MES, BR), pp. 437–446.
DAC-2012-HuangCBK #consistency #embedded #realtime #runtime: Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
DAC-2012-HuangLWT #interface: A non-intrusive timing synchronization interface for hardware-assisted HW/SW co-simulation (YHH, YSL, HIW, RST), pp. 127–132.
DAC-2012-LiANSVZ #design #physics #predict: Guiding a physical design closure system to produce easier-to-route designs with more predictable timing (ZL, CJA, GJN, CCNS, NV, NYZ), pp. 465–470.
DAC-2012-LoS #analysis #execution #monitoring #parallel #runtime #worst-case: Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DAC-2012-RoyC #analysis #predict: Predicting timing violations through instruction-level path sensitization analysis (SR, KC), pp. 1074–1081.
DAC-2012-SartoriK #compilation #energy #performance: Compiling for energy efficiency on timing speculative processors (JS, RK), pp. 1301–1308.
DAC-2012-SinhaVVXZ #concept #statistics: Reversible statistical max/min operation: concept and applications to timing (DS, CV, NV, JX, VZ), pp. 1067–1073.
DAC-2012-TovinakereSD #clustering #estimation #logic: A semiempirical model for wakeup time estimation in power-gated logic clusters (VDT, OS, SD), pp. 48–55.
DAC-2012-ZhangHY #implementation #realtime #recognition: Implementing an FPGA system for real-time intent recognition for prosthetic legs (XZ, HH, QY), pp. 169–175.
DAC-2012-ZolotovSHFVXLV #analysis #statistics: Timing analysis with nonseparable statistical and deterministic variations (VZ, DS, JGH, EAF, CV, JX, JL, NV), pp. 1061–1066.
DATE-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.
DATE-2012-AxerSE #bound #probability: Probabilistic response time bound for CAN messages with arbitrary deadlines (PA, MS, RE), pp. 1114–1117.
DATE-2012-BamakhramaZNS #automation #design #embedded #realtime #streaming: A methodology for automated design of hard-real-time embedded streaming systems (MB, JTZ, HN, TS), pp. 941–946.
DATE-2012-BrachtendorfBL #simulation: Simulation of the steady state of oscillators in the time domain (HGB, KB, RL), pp. 1355–1360.
DATE-2012-CherkaouiFAF #comparison #self: Comparison of Self-Timed Ring and Inverter Ring Oscillators as entropy sources in FPGAs (AC, VF, AA, LF), pp. 1325–1330.
DATE-2012-FanQ #framework #manycore #realtime #scheduling: Harmonic semi-partitioned scheduling for fixed-priority real-time tasks on multi-core platform (MF, GQ), pp. 503–508.
DATE-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.
DATE-2012-GerdesKURS #realtime: Time analysable synchronisation techniques for parallelised hard real-time applications (MG, FK, TU, CR, PS), pp. 671–676.
DATE-2012-GomonyWAWG #mobile #realtime: DRAM selection and configuration for real-time mobile systems (MDG, CW, BA, NW, KG), pp. 51–56.
DATE-2012-GoossensKAG #realtime: Memory-map selection for firm real-time SDRAM controllers (SG, TK, BA, KG), pp. 828–831.
DATE-2012-GoswamiLSC #implementation: Time-triggered implementations of mixed-criticality automotive software (DG, ML, RS, SC), pp. 1227–1232.
DATE-2012-HameedBH #adaptation #architecture #manycore #runtime: Dynamic cache management in multi-core architectures through run-time adaptation (FH, LB, JH), pp. 485–490.
DATE-2012-HamoucheK #aspect-oriented #component #design #embedded #realtime: Component-based and aspect-oriented methodology and tool for Real-Time Embedded Control Systems Design (RH, RK), pp. 1421–1424.
DATE-2012-HuangBRBK #scheduling #smt: Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving (JH, JOB, AR, CB, AK), pp. 509–514.
DATE-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.
DATE-2012-KimA #interface: On-chip source synchronous interface timing test scheme with calibration (HK, JAA), pp. 1146–1149.
DATE-2012-KnothJS #analysis #modelling: Current source modeling for power and timing analysis at different supply voltages (CK, HJ, US), pp. 923–928.
DATE-2012-LiangCZRZJC #3d #implementation #locality #optimisation #performance #realtime: Real-time implementation and performance optimization of 3D sound localization on GPUs (YL, ZC, SZ, KR, YZ, DLJ, DC), pp. 832–835.
DATE-2012-LiuJL #constant #parallel: Parallel probing: Dynamic and constant time setup procedure in circuit switching NoC (SL, AJ, ZL), pp. 1289–1294.
DATE-2012-LuMS #abstraction #modelling #prototype #transaction: Accurately timed transaction level models for virtual prototyping at high abstraction level (KL, DMG, US), pp. 135–140.
DATE-2012-MarianiSPZSB #architecture #configuration management #design #multi #resource management #runtime #using: Using multi-objective design space exploration to enable run-time resource management for reconfigurable architectures (GM, VMS, GP, VZ, CS, KB), pp. 1379–1384.
DATE-2012-MasrurGCCAB #analysis #communication #cyber-physical #hybrid #protocol: Timing analysis of cyber-physical applications for hybrid communication protocols (AM, DG, SC, JJC, AA, AB), pp. 1233–1238.
DATE-2012-NarayananDZT #design #using #verification: Verifying jitter in an analog and mixed signal design using dynamic time warping (RN, AD, MHZ, ST), pp. 1413–1416.
DATE-2012-Peraldi-FratiBKK #modelling: Timing Modeling with AUTOSAR — Current state and future directions (MAPF, HB, DK, SK), pp. 805–809.
DATE-2012-PrakashP #architecture #memory management #precise: An instruction scratchpad memory allocation for the precision timed architecture (AP, HDP), pp. 659–664.
DATE-2012-QuintonEBY #analysis #challenge #probability #roadmap: Challenges and new trends in probabilistic timing analysis (SQ, RE, DB, PMY), pp. 810–815.
DATE-2012-QuintonHE #analysis #formal method #realtime: Formal analysis of sporadic overload in real-time systems (SQ, MH, RE), pp. 515–520.
DATE-2012-RajeevMR #architecture #constraints #distributed #embedded #verification: Verifying timing synchronization constraints in distributed embedded architectures (ACR, SM, SR), pp. 200–205.
DATE-2012-RoxEG #analysis #design #network #using: Using timing analysis for the design of future switched based Ethernet automotive networks (JR, RE, PG), pp. 57–62.
DATE-2012-TangZBM #analysis #correlation #modelling #statistics: Transistor-level gate model based statistical timing analysis considering correlations (QT, AZ, MB, NvdM), pp. 917–922.
DATE-2012-TtofisT #adaptation #algorithm #hardware #implementation #realtime #towards: Towards accurate hardware stereo correspondence: A real-time FPGA implementation of a segmentation-based adaptive support weight algorithm (CT, TT), pp. 703–708.
DATE-2012-TurturiciSFF #embedded #power management #realtime: Low-power embedded system for real-time correction of fish-eye automotive cameras (MT, SS, LF, EF), pp. 340–341.
DATE-2012-WangRR #energy #runtime: Run-time power-gating in caches of GPUs for leakage energy savings (YW, SR, NR), pp. 300–303.
DATE-2012-YeYZX #scheduling: Clock skew scheduling for timing speculation (RY, FY, HZ, QX), pp. 929–934.
DocEng-2012-JansenCGB #personalisation #video: Just-in-time personalized video presentations (JJ, PC, RLG, DCAB), pp. 59–68.
HT-2012-KhabiriCK #predict #realtime #semantics #web: Predicting semantic annotations on the real-time web (EK, JC, KYK), pp. 219–228.
HT-2012-NakajimaZIN #analysis #detection #scalability: Early detection of buzzwords based on large-scale time-series analysis of blog entries (SN, JZ, YI, RYN), pp. 275–284.
HT-2012-SofeanS #architecture #design #detection #evaluation #implementation #network #realtime #social #using: A real-time architecture for detection of diseases using social networks: design, implementation and evaluation (MS, MS), pp. 309–310.
HT-2012-ZubiagaSAG #realtime #summary #towards #twitter: Towards real-time summarization of scheduled events from twitter streams (AZ, DS, EA, JG), pp. 319–320.
PODS-2012-GrozMS #linear #regular expression: Deterministic regular expressions in linear time (BG, SM, SS), pp. 49–60.
PODS-2012-IndykLR #approximate #testing: Approximating and testing k-histogram distributions in sub-linear time (PI, RL, RR), pp. 15–22.
SIGMOD-2012-AlexeHHKKNRSSVW #social #social media: Surfacing time-critical insights from social media (BA, MAH, KH, RK, GK, MN, HR, MSS, IRS, CV, RW), pp. 657–660.
SIGMOD-2012-ChandramouliCNSZ #named #realtime: RACE: real-time applications over cloud-edge (BC, JC, SN, IS, WZ), pp. 625–628.
SIGMOD-2012-El-HelwFI #information management #using: Just-in-time information extraction using extraction views (AEH, MHF, IFI), pp. 613–616.
SIGMOD-2012-MongioviBRSPF #mining #named #network: SigSpot: mining significant anomalous regions from time-evolving networks (abstract only) (MM, PB, RR, AKS, EEP, CF), p. 865.
SIGMOD-2012-ZellagK #consistency #detection #named #realtime: ConsAD: a real-time consistency anomalies detector (KZ, BK), pp. 641–644.
VLDB-2012-AgarwalRB #clustering #graph #identification #realtime: Real Time Discovery of Dense Clusters in Highly Dynamic Graphs: Identifying Real World Events in Highly Dynamic Environments (MKA, KR, MB), pp. 980–991.
VLDB-2012-AngelKSS #identification #maintenance #realtime #streaming: Dense Subgraph Maintenance under Streaming Edge Weight Updates for Real-time Story Identification (AA, NK, NS, DS), pp. 574–585.
VLDB-2012-DallachiesaNMP #nondeterminism #similarity: Uncertain Time-Series Similarity: Return to the Basics (MD, BN, KM, TP), pp. 1662–1673.
VLDB-2012-KhalefaFPL #integration #modelling: Model-based Integration of Past & Future in TimeTravel (MEK, UF, TBP, WL), pp. 1974–1977.
VLDB-2012-TaliusDDK #fault #query #transaction: Transaction Log Based Application Error Recovery and Point In-Time Query (TT, RD, AD, HK), pp. 1781–1789.
VLDB-2013-ZhouMRLHILS12 #distributed: Distributed Time-aware Provenance (WZ, SM, YR, YL, AH, ZGI, BTL, MS), pp. 49–60.
ITiCSE-2012-BrownPSE #analysis #complexity #generative #named: JUG: a JUnit generation, time complexity analysis and reporting tool to streamline grading (CB, RP, BS, JE), pp. 99–104.
ITiCSE-2012-SchaferMB #student: Best practices for time-management of student groups with heterogeneous effort (AS, MM, RB), p. 377.
FoSSaCS-2012-GollerHOW #automaton #model checking #parametricity: Branching-Time Model Checking of Parametric One-Counter Automata (SG, CH, JO, JW), pp. 406–420.
FoSSaCS-2012-Kartzow #automaton #exponential #first-order #model checking: First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time (AK), pp. 376–390.
TACAS-2012-DavidJJJMS #development #ide #petri net: TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (AD, LJ, MJ, KYJ, MHM, JS), pp. 492–497.
TACAS-2012-FinkbeinerP #synthesis: Template-Based Controller Synthesis for Timed Systems (BF, HJP), pp. 392–406.
TACAS-2012-WimmerJABK #markov #modelling: Minimal Critical Subsystems for Discrete-Time Markov Models (RW, NJ, EÁ, BB, JPK), pp. 299–314.
WRLA-2012-LepriAO #maude #model checking #realtime: Timed CTL Model Checking in Real-Time Maude (DL, EÁ, PCÖ), pp. 182–200.
CSMR-2012-GoulaoFWA #analysis #case study #comparative #evolution #predict #using: Software Evolution Prediction Using Seasonal Time Analysis: A Comparative Study (MG, NF, MW, FBeA), pp. 213–222.
CSMR-2012-LamkanfiD #analysis #debugging: Filtering Bug Reports for Fix-Time Analysis (AL, SD), pp. 379–384.
ICSM-2012-TangWZL #detection #maintenance: Time-leverage point detection for time sensitive software maintenance (ET, LW, JZ, XL), pp. 567–570.
MSR-2012-GilGM #empirical: An empirical investigation of changes in some software properties over time (JYG, MG, DM), pp. 227–236.
WCRE-2012-AmmarA #diagrams #empirical #evaluation #runtime: Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks (NA, MAA), pp. 367–376.
WCRE-2012-ZhangKZH #debugging #empirical: An Empirical Study on Factors Impacting Bug Fixing Time (FZ, FK, YZ, AEH), pp. 225–234.
PEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal: Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.
PLDI-2012-BaconCS #configuration management #garbage collection #hardware #realtime: And then there were none: a stall-free real-time garbage collector for reconfigurable hardware (DFB, PC, SS), pp. 23–34.
PLDI-2012-ZhangAM: Language-based control and mitigation of timing channels (DZ, AA, ACM), pp. 99–110.
STOC-2012-BansalBJK #trade-off: Tight time-space tradeoff for mutual exclusion (NB, VB, PJ, RK), pp. 971–982.
STOC-2012-BartalGK #approximate #polynomial #problem: The traveling salesman problem: low-dimensionality implies a polynomial time approximation scheme (YB, LAG, RK), pp. 663–672.
STOC-2012-BeameBI #bound #trade-off: Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space (PB, CB, RI), pp. 213–232.
STOC-2012-EtessamiSY #algorithm #branch #context-free grammar #multi #polynomial #probability #process: Polynomial time algorithms for multi-type branching processes and stochastic context-free grammars (KE, AS, MY), pp. 579–588.
STOC-2012-HuynhN #communication #complexity #on the #proving #trade-off: On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity (TH, JN), pp. 233–248.
STOC-2012-OrecchiaSV #algorithm #approximate #exponential: Approximating the exponential, the lanczos method and an Õ(m)-time spectral algorithm for balanced separator (LO, SS, NKV), pp. 1141–1160.
STOC-2012-SharathkumarA #algorithm #approximate #geometry: A near-linear time ε-approximation algorithm for geometric bipartite matching (RS, PKA), pp. 385–394.
FLOPS-2012-Bouma #declarative #logic #persistent #realtime: Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl) (GB), pp. 62–72.
ICALP-v1-2012-BabaiCQ #morphism #polynomial: Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups — (Extended Abstract) (LB, PC, YQ), pp. 51–62.
ICALP-v1-2012-EtessamiSY #algorithm #branch #equation #markov #polynomial #probability #process: Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations (KE, AS, MY), pp. 314–326.
ICALP-v1-2012-ItoTY #algorithm: Constant-Time Algorithms for Sparsity Matroids (HI, SiT, YY), pp. 498–509.
ICALP-v1-2012-KleinM: Solving Planar k-Terminal Cut in $O(n^(c√k)) Time (PNK, DM), pp. 569–580.
ICALP-v1-2012-Schmidt #linear: Certifying 3-Connectivity in Linear Time (JMS), pp. 786–797.
ICALP-v2-2012-BojanczykL #independence: A Machine-Independent Characterization of Timed Languages (MB, SL), pp. 92–103.
ICALP-v2-2012-BouyerMS #approach #automaton #game studies #reachability #robust: Robust Reachability in Timed Automata: A Game-Based Approach (PB, NM, OS), pp. 128–140.
ICALP-v2-2012-BrazdilKNW #markov #process #termination: Minimizing Expected Termination Time in One-Counter Markov Decision Processes (TB, AK, PN, DW), pp. 141–152.
ICALP-v2-2012-FearnleyS #bound #game studies: Time and Parallelizability Results for Parity Games with Bounded Treewidth (JF, SS), pp. 189–200.
LATA-2012-AbdullaAS #automaton #low cost #problem #reachability: The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems (PAA, MFA, JS), pp. 58–69.
LATA-2012-Asarin #information management: Measuring Information in Timed Languages (EA), pp. 1–2.
LATA-2012-GeilkeZ #algorithm #learning #pattern matching #polynomial: Polynomial-Time Algorithms for Learning Typed Pattern Languages (MG, SZ), pp. 277–288.
FM-2012-HieronsMN #distributed #order #testing #using: Using Time to Add Order to Distributed Testing (RMH, MGM, MN), pp. 232–246.
FM-2012-LinLSDA #automation #composition #verification: Automatic Compositional Verification of Timed Systems (SWL, YL, JS, JSD, ÉA), pp. 272–276.
FM-2012-NguyenSLDL #analysis: Improved BDD-Based Discrete Analysis of Timed Systems (TKN, JS, YL, JSD, YL), pp. 326–340.
IFM-2012-BerthingBSTV #development: Refinement-Based Development of Timed Systems (JB, PB, KS, LT, JV), pp. 69–83.
IFM-2012-DongolH #multi #reasoning #source code: Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands (BD, IJH), pp. 39–53.
IFM-2012-IsobeMNR #approach #capacity #csp #safety: Safety and Line Capacity in Railways — An Approach in Timed CSP (YI, FM, HNN, MR), pp. 54–68.
SEFM-2012-CiobanuKS #semantics: A Timed Mobility Semantics Based on Rewriting Strategies (GC, MK, LJS), pp. 141–155.
ICFP-2012-StefanRBLMM #concurrent #data flow #termination: Addressing covert termination and timing channels in concurrent information flow systems (DS, AR, PB, AL, JCM, DM), pp. 201–214.
GT-VMT-2012-GabrielLE #algebra #approach #petri net: Algebraic Approach to Timed Petri Nets (KG, PL, CE).
CHI-2012-CohnMPT #interactive #named #realtime #using: Humantenna: using the body as an antenna for real-time whole-body interaction (GC, DM, SP, DST), pp. 1901–1910.
CHI-2012-CorrellAFG: Comparing averages in time series data (MC, DA, SF, MG), pp. 1095–1104.
CHI-2012-DuganGMVJLCDB #enterprise #exclamation #quote: “I’d never get out of this !?$%# office”: redesigning time management for the enterprise (CD, WG, MJM, ANV, KJ, SL, LTC, EMD, BB), pp. 1755–1764.
CHI-2012-HayashiRNTRP #named: TimeBlocks: mom, can I have another block of time (EH, MAR, ZHN, NT, SR, EP), pp. 1713–1716.
CHI-2012-LiuHDMB #artificial reality #feedback #mobile #realtime: Evaluating the benefits of real-time feedback in mobile augmented reality with hand-held devices (CL, SH, JD, WEM, MBL), pp. 2973–2976.
CHI-2012-RaihaO #case study #fault #type system: An exploratory study of eye typing fundamentals: dwell time, text entry rate, errors, and workload (KJR, SO), pp. 3001–3010.
CHI-2012-TangMHRIZC #interactive #lightweight #using #video: Time travel proxy: using lightweight video recordings to create asynchronous, interactive meetings (JCT, JM, AH, AR, KI, CZ, XC), pp. 3111–3120.
CSCW-2012-AgustinaSX #3d #collaboration #dependence #design #realtime: Operational transformation for dependency conflict resolution in real-time collaborative 3D design systems (A, CS, DX), pp. 1401–1410.
CSCW-2012-CheungCS #collaboration #communication #game studies: Communication channels and awareness cues in collocated collaborative time-critical gaming (VC, YLBC, SDS), pp. 569–578.
CSCW-2012-DongF #communication #why: One piece at a time: why video-based communication is better for negotiation and conflict resolution (WD, WTF), pp. 167–176.
CSCW-2012-HsuJSC #framework #named #realtime #video: SynTag: a web-based platform for labeling real-time video (YCH, TJ, YTS, PCC), pp. 715–718.
CSCW-2012-LautamakiNKAME #collaboration #editing #java #named #realtime #web: CoRED: browser-based Collaborative Real-time Editor for Java web applications (JL, AN, JK, TA, TM, ME), pp. 1307–1316.
CSCW-2012-RoyGG #named #plugin #realtime #tool support: DiscoTech: a plug-in toolkit to improve handling of disconnection and reconnection in real-time groupware (BR, TCNG, CG), pp. 1287–1296.
CSCW-2012-SunWF #2d #collaboration #editing #orthogonal #realtime: Operational transformation for orthogonal conflict resolution in real-time collaborative 2d editing systems (CS, HW, HF), pp. 1391–1400.
AdaEurope-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.
AdaEurope-2012-GregertsenS #execution #hardware #performance #using: Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit (KNG, AS), pp. 177–192.
AdaEurope-2012-PolzlbauerBB #constraints #design #performance #realtime #reliability: Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems (FP, IB, EB), pp. 207–220.
AdaEurope-2012-SaezRC #framework #multi #realtime: An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications (SS, JR, AC), pp. 18–34.
HILT-2012-EilersK #adaptation #runtime: Adapting ACATS for use with run-time checks suppressed (DE, TK), pp. 97–102.
HILT-2012-LiSRM #analysis #protocol #realtime #scheduling: Applicability of real-time schedulability analysis on a software radio protocol (SL, FS, SR, MB), pp. 81–94.
HILT-2012-Nilsen12a #java #legacy #realtime: Real-time Java in modernization of the aegis weapon system (KN), pp. 63–70.
ICEIS-J-2012-PolasikGWKPT12a #empirical #mobile #performance: Time Efficiency of Point-of-Sale Payment Methods: Empirical Results for Cash, Cards and Mobile Payments (MP, JG, GW, JK, KP, NT), pp. 306–320.
ICEIS-v1-2012-LambeckSAG #concept #enterprise #realtime: Changing Concepts in Human-Computer-Interaction in Real-time Enterprise Systems — Introducing a Concept for Intuitive Decision Support in SCM Scenarios (CL, DS, RA, RG), pp. 139–144.
ICEIS-v1-2012-LouatiBDS #behaviour #database #modelling #realtime: Modeling Structural, Temporal and Behavioral Features of a Real-Time Database (NL, RB, CD, BS), pp. 119–125.
ICEIS-v2-2012-LelionnaisBDRS #behaviour #modelling #operating system #realtime: Formal Behavioral Modeling of Real-time Operating Systems (CL, MB, JD, OHR, CS), pp. 407–414.
ICEIS-v3-2012-CarofiglioGA #adaptation #design #evaluation #realtime: A Pilot Panel Study in User-centered Design and Evaluation of Real-time Adaptable Emotional Virtual Environments (VC, NG, FA), pp. 67–71.
CIKM-2012-AmiriC #mining #sentiment: Mining sentiment terminology through time (HA, TSC), pp. 2060–2064.
CIKM-2012-BalakrishnanB #optimisation #realtime: Real-time bid optimization for group-buying ads (RB, RPB), pp. 1707–1711.
CIKM-2012-CamposBDC #feature model #identification: Time feature selection for identifying active household members (PGC, AB, FD, IC), pp. 2311–2314.
CIKM-2012-CandanRSW #named #scalability #set #visualisation: STFMap: query- and feature-driven visualization of large time series data sets (KSC, RR, MLS, XW), pp. 2743–2745.
CIKM-2012-FanX #difference #monitoring #privacy #realtime: Real-time aggregate monitoring with differential privacy (LF, LX), pp. 2169–2173.
CIKM-2012-HuangCLL #predict #probability #process #social #using: Predicting aggregate social activities using continuous-time stochastic process (SH, MC, BL, DL), pp. 982–991.
CIKM-2012-JatowtT #analysis #scalability: Large scale analysis of changes in english vocabulary over recent time (AJ, KT), pp. 2523–2526.
CIKM-2012-KamathC #realtime #retrieval #web: Content-based crowd retrieval on the real-time web (KYK, JC), pp. 195–204.
CIKM-2012-KanhabuaN #learning #query #rank: Learning to rank search results for time-sensitive queries (NK, KN), pp. 2463–2466.
CIKM-2012-KimZRDHCL #mining #named #topic: InCaToMi: integrative causal topic miner between textual and non-textual time series data (HDK, CZ, TAR, DD, MH, MC, CCL), pp. 2689–2691.
CIKM-2012-KupavskiiOUUSGK #predict #twitter: Prediction of retweet cascade size over time (AK, LO, AU, SU, PS, GG, AK), pp. 2335–2338.
CIKM-2012-LiangXTC #recommendation #topic: Time-aware topic recommendation based on micro-blogs (HL, YX, DT, PC), pp. 1657–1661.
CIKM-2012-LiangZ #classification #performance: An efficient and simple under-sampling technique for imbalanced time series classification (GL, CZ), pp. 2339–2342.
CIKM-2012-LinJZY #named: TASE: a time-aware search engine (SL, PJ, XZ, LY), pp. 2713–2715.
CIKM-2012-LiuKCBLPR #graph #on the: On compressing weighted time-evolving graphs (WL, AK, JC, JB, CL, JP, KR), pp. 2319–2322.
CIKM-2012-MagdyAD #social #social media #summary: A summarization tool for time-sensitive social media (WM, AA, KD), pp. 2695–2697.
CIKM-2012-OrangS #approach #correlation #nondeterminism #probability #query: A probabilistic approach to correlation queries in uncertain time series data (MO, NS), pp. 2229–2233.
CIKM-2012-SmuckerC #probability #simulation: Stochastic simulation of time-biased gain (MDS, CLAC), pp. 2040–2044.
CIKM-2012-YanZN #realtime: Leveraging read rates of passive RFID tags for real-time indoor location tracking (DY, ZZ, WN), pp. 375–384.
CIKM-2012-ZhangHLL #learning #rank #realtime #twitter: Query-biased learning to rank for real-time twitter search (XZ, BH, TL, BL), pp. 1915–1919.
ECIR-2012-AliciAOCU #adaptation #query #web: Adaptive Time-to-Live Strategies for Query Result Caching in Web Search Engines (SA, ISA, RO, BBC, ÖU), pp. 401–412.
ECIR-2012-MaxwellRAJO #monitoring #named #realtime #social #social media: Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management (DM, SR, LA, CWJ, SO), pp. 573–575.
ECIR-2012-StrotgenAG #named: Retro: Time-Based Exploration of Product Reviews (JS, OA, MG), pp. 581–582.
ICML-2012-Gomez-RodriguezS #network: Influence Maximization in Continuous Time Diffusion Networks (MGR, BS), p. 78.
ICML-2012-JalaliS #dependence #graph #learning: Learning the Dependence Graph of Time Series with Latent Factors (AJ, SS), p. 83.
ICML-2012-LiuL #modelling #multi #named: Sparse-GEV: Sparse Latent Space Model for Multivariate Extreme Value Time Serie Modeling (YL, MTB, HL), p. 156.
ICML-2012-PrecupB #estimation #modelling: Improved Estimation in Time Varying Models (DP, PB), p. 189.
ICML-2012-XuWC #learning: The Greedy Miser: Learning under Test-time Budgets (ZEX, KQW, OC), p. 169.
ICPR-2012-BagdanovBSU #realtime #recognition: Real-time hand status recognition from RGB-D imagery (ADB, ADB, LS, LU), pp. 2456–2459.
ICPR-2012-BenamarDFMA #estimation: Time to contact estimation on paracatadioptric cameras (FB, CD, SEF, EMM, DA), pp. 3602–3605.
ICPR-2012-BianZSL #realtime: Parallelized Annealed Particle Filter for real-time marker-less motion tracking via heterogeneous computing (YB, XZ, JS, YL), pp. 2444–2447.
ICPR-2012-BodensteinerA #2d #3d #realtime #video: Real-time 2D video/3D LiDAR registration (CB, MA), pp. 2206–2209.
ICPR-2012-BurgessKA #locality #network: Node localization in unsynchronized time of arrival sensor networks (SB, YK, KÅ), pp. 2042–2046.
ICPR-2012-DaiBWT #segmentation: Retinal vessel segmentation via Iterative Geodesic Time Transform (BD, WB, XW, YT), pp. 561–564.
ICPR-2012-DuanPJ #multi #probability #realtime: Probabilistic depth map fusion for real-time multi-view stereo (YD, MP, YJ), pp. 368–371.
ICPR-2012-DuanZRTB #automation #automaton #probability #recognition: Timed and probabilistic automata for automatic animal Call Recognition (SD, JZ, PR, MWT, LB), pp. 2910–2913.
ICPR-2012-HidoM #feature model #predict: Temporal feature selection for time-series prediction (SH, TM), pp. 3557–3560.
ICPR-2012-ItohTA #3d #graph #image #sequence #using: 3D tracking of soccer players using time-situation graph in monocular image sequence (HI, TT, YA), pp. 2532–2536.
ICPR-2012-LeeLM #detection #realtime #smarttech: Real-time staircase detection from a wearable stereo system (YHL, TSL, GGM), pp. 3770–3773.
ICPR-2012-LiuXFLMK #classification #modelling #multi #statistics: Statistical modeling and signal selection in multivariate time series pattern classification (RL, SX, CF, YwL, YLM, DSK), pp. 2853–2856.
ICPR-2012-MinCMD #3d #identification #realtime: Real-time 3D face identification from a depth camera (RM, JC, GGM, JLD), pp. 1739–1742.
ICPR-2012-MiyamotoMSS #3d #classification #estimation #precise #realtime: Real-time and precise 3-D hand posture estimation based on classification tree trained with variations of appearances (SM, TM, NS, YS), pp. 453–456.
ICPR-2012-NaitoKSS #using: Deblurring depth blur and motion blur simultaneously by using space-time coding (RN, TK, FS, JS), pp. 2177–2180.
ICPR-2012-RiechertZMK #estimation #hybrid #realtime #recursion #using: Real-time disparity estimation using line-wise hybrid recursive matching and cross-bilateral median up-sampling (CR, FZ, MM, PK), pp. 3168–3171.
ICPR-2012-SjobergKIL #classification #concept #detection #linear #realtime #scalability #visual notation: Real-time large-scale visual concept detection with linear classifiers (MS, MK, SI, JL), pp. 421–424.
ICPR-2012-SuematsuH #process: Time series alignment with Gaussian processes (NS, AH), pp. 2355–2358.
ICPR-2012-TsaoH #estimation #image #parametricity #realtime: Real-time human object motion parameters estimation from depth images (ICT, CLH), pp. 829–832.
ICPR-2012-UchidaFOF #markov: Non-Markovian dynamic time warping (SU, MF, KO, YF), pp. 2294–2297.
ICPR-2012-WangCCP #detection #realtime #using: Real-time smoke detection using texture and color features (YW, TWC, RC, NTP), pp. 1727–1730.
KDD-2012-BatalFHMH #detection #mining #multi: Mining recent temporal patterns for event detection in multivariate time series data (IB, DF, JH, FM, MH), pp. 280–288.
KDD-2012-ChanLLBR #graph #mining #multi #named: SeqiBloc: mining multi-time spanning blockmodels in dynamic graphs (JC, WL, CL, JB, KR), pp. 651–659.
KDD-2012-KangPHF #algorithm #analysis #named #scalability: GigaTensor: scaling tensor analysis up by 100 times — algorithms and discoveries (UK, EEP, AH, CF), pp. 316–324.
KDD-2012-LinesDHB #classification: A shapelet transform for time series classification (JL, LMD, JH, AB), pp. 289–297.
KDD-2012-MaoCCLKB #approach #data mining #mining #monitoring #realtime: An integrated data mining approach to real-time clinical monitoring and deterioration warning (YM, WC, YC, CL, MK, TCB), pp. 1140–1148.
KDD-2012-MatsubaraSFIY #mining #performance: Fast mining and forecasting of complex time-stamped events (YM, YS, CF, TI, MY), pp. 271–279.
KDD-2012-OhKPY #network #realtime #semantics: PubMed search and exploration with real-time semantic network construction (JO, TK, SP, HY), pp. 1572–1575.
KDD-2012-PhamP #algorithm #approximate #detection: A near-linear time approximation algorithm for angle-based outlier detection in high-dimensional data (NP, RP), pp. 877–885.
KDD-2012-RakthanmanonCMBWZZK #mining #sequence: Searching and mining trillions of time series subsequences under dynamic time warping (TR, BJLC, AM, GEAPAB, MBW, QZ, JZ, EJK), pp. 262–270.
KDIR-2012-SpiegelA #analysis #distance #invariant: An Order-invariant Time Series Distance Measure — Position on Recent Developments in Time Series Analysis (SS, SA), pp. 264–268.
KR-2012-BudanLCS #framework #modelling #reliability: Modelling Time and Reliability in Structured Argumentation Frameworks (MCB, MJGL, CIC, GRS).
RecSys-2012-BollenGW #memory management #retrieval: Remembering the stars?: effect of time on preference retrieval from memory (DGFMB, MPG, MCW), pp. 217–220.
RecSys-2012-Diaz-AvilesDSN #realtime #recommendation #social: Real-time top-n recommendation in social streams (EDA, LD, LST, WN), pp. 59–66.
RecSys-2012-Herbrich #distributed #learning #online #realtime: Distributed, real-time bayesian learning in online services (RH), pp. 203–204.
RecSys-2012-PhelanMS #named #realtime #twitter #using: Yokie: explorations in curated real-time search & discovery using twitter (OP, KM, BS), pp. 307–308.
RecSys-2012-SklarSH #realtime #recommendation: Recommending interesting events in real-time with foursquare check-ins (MS, BS, AH), pp. 311–312.
SEKE-2012-BouchenebB #parametricity #verification #workflow: Parametric Verification of TimeWorkflow Nets (HB, KB), pp. 375–380.
SIGIR-2012-AnandBBS #maintenance: Index maintenance for time-travel text search (AA, SJB, KB, RS), pp. 235–244.
SIGIR-2012-ArroyueloGMOS #ranking #trade-off: To index or not to index: time-space trade-offs in search engines with positional ranking functions (DA, SG, MM, MO, TS), pp. 255–264.
SIGIR-2012-BaiJ #online #realtime #web: Online result cache invalidation for real-time web search (XB, FPJ), pp. 641–650.
SIGIR-2012-BaskayaKJ #interactive #simulation: Time drives interaction: simulating sessions in diverse searching environments (FB, HK, KJ), pp. 105–114.
SIGIR-2012-ChangHYLC #ranking #web: Learning-based time-sensitive re-ranking for web search (PTC, YCH, CLY, SDL, PJC), pp. 1101–1102.
SIGIR-2012-KanhabuaBN #learning #retrieval: Learning to select a time-aware retrieval model (NK, KB, KN), pp. 1099–1100.
SIGIR-2012-LagunA #estimation: Re-examining search result snippet examination time forrelevance estimation (DL, EA), pp. 1141–1142.
SIGIR-2012-MacdonaldTO #learning #online #predict #query #scheduling: Learning to predict response times for online query scheduling (CM, NT, IO), pp. 621–630.
SIGIR-2012-RobertsonK12a #ad hoc #evaluation #on the #realtime #retrieval: On real-time ad-hoc retrieval evaluation (SER, EK), pp. 1119–1120.
SIGIR-2012-ShokouhiR #query: Time-sensitive query auto-completion (MS, KR), pp. 601–610.
SIGIR-2012-SmuckerC #effectiveness #metric: Time-based calibration of effectiveness measures (MDS, CLAC), pp. 95–104.
SIGIR-2012-SmuckerJ #fault: Time to judge relevance as an indicator of assessor error (MDS, CPJ), pp. 1153–1154.
SIGIR-2012-Whiting #problem #ranking: The essence of time: considering temporal relevance as an intent-aware ranking problem (SW), p. 1000.
ECMFA-2012-GeP #framework #realtime #safety #uml #verification: Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
ECMFA-2012-QureshiCT #constraints #specification: A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications (TNQ, DJC, MT), pp. 303–318.
MoDELS-2012-RamirezCBS #nondeterminism #runtime: Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
MoDELS-2012-RamirezCBS #nondeterminism #runtime: Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
Onward-2012-TaeumelSH #programming #runtime: The VIVIDE programming environment: connecting run-time information with programmers’ system knowledge (MT, BS, RH), pp. 117–126.
OOPSLA-2012-StricklandTFF #runtime: Chaperones and impersonators: run-time support for reasonable interposition (TSS, STH, RBF, MF), pp. 943–962.
TOOLS-EUROPE-2012-DeAntoniM #logic #modelling #named: TimeSquare: Treat Your Models with Logical Time (JD, FM), pp. 34–41.
TOOLS-EUROPE-2012-FiambertiMT #development #framework #object-oriented #realtime: An Object-Oriented Application Framework for the Development of Real-Time Systems (FF, DM, FT), pp. 75–90.
TOOLS-EUROPE-2012-LangrTDD #c++ #runtime: Fake Run-Time Selection of Template Arguments in C++ (DL, PT, TD, JPD), pp. 140–154.
TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise: Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
PPDP-2012-Madet #multi #polynomial #thread #λ-calculus: A polynomial time λ-calculus with multithreading and side effects (AM), pp. 55–66.
QAPL-2012-BulychevDLMPLW #automaton #model checking #named #statistics: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (PEB, AD, KGL, MM, DBP, AL, ZW), pp. 1–16.
POPL-2012-MonsantoFHW #compilation #network #programming language #runtime: A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
POPL-2012-SmaragdakisESYF #concurrent #detection #polynomial #predict: Sound predictive race detection in polynomial time (YS, JE, CS, JY, CF), pp. 387–400.
RE-2012-Cleland-HuangMMA #recommendation #traceability: Breaking the big-bang practice of traceability: Pushing timely trace recommendations to project stakeholders (JCH, PM, MM, SA), pp. 231–240.
RE-2012-WelshB #adaptation #evaluation #modelling #requirements #runtime #self: Run-time model evaluation for requirements model-driven self-adaptation (KW, NB), pp. 329–330.
SAC-2012-AlencarBPO #documentation #visualisation: Time-aware visualization of document collections (ABA, KB, FVP, MCFdO), pp. 997–1004.
SAC-2012-AmericoRD #framework #java #realtime: Managing the dynamism of the OSGi Service Platform in real-time Java applications (JCA, WR, DD), pp. 1115–1122.
SAC-2012-BhattiBA #approach #manycore #realtime #scheduling: A semi-partitioned real-time scheduling approach for periodic task systems on multicore platforms (MKB, CB, MA), pp. 1594–1601.
SAC-2012-ChoeYYR #algorithm #automation #realtime #scheduling #search-based #using: Real-time scheduling of twin stacking cranes in an automated container terminal using a genetic algorithm (RC, HY, YY, KRR), pp. 238–243.
SAC-2012-CosciaCMZ #approach #development #web #web service: An approach to improve code-first web services discoverability at development time (JLOC, MC, CM, AZ), pp. 638–643.
SAC-2012-El-ShambakeyR #bound #concurrent #embedded #manycore #realtime #trade-off: STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs (MES, BR), pp. 1602–1609.
SAC-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.
SAC-2012-FanS #automation #collaboration #dependence #programming #realtime #semantics: Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming (HF, CS), pp. 737–742.
SAC-2012-FischerMK #data type #realtime #visual notation: Real-time visual analytics for event data streams (FF, FM, DAK), pp. 801–806.
SAC-2012-HasegawaT #distance #invariant #using: Affine invariant shape matching using radon transform and dynamic time warping distance (MH, ST), pp. 777–781.
SAC-2012-ImJLLL #manycore #operating system #realtime: A real-time operating system for manycore systems (CI, MJ, JDL, SL, SL), pp. 1845–1846.
SAC-2012-Kim #multi #optimisation #realtime #reliability #towards: Towards optimizing the reliability of real-time transmission in multi-hop wireless LANs (JK), pp. 577–582.
SAC-2012-KorahSS #framework #multi #realtime #scalability: Multi-agent framework for real-time processing of large and dynamic search spaces (JK, EES, ESJ), pp. 755–762.
SAC-2012-LeeKPCLN #memory management #realtime: Real-time flash memory storage with Janus-FTL (JL, AK, MP, JC, DL, SHN), pp. 1799–1806.
SAC-2012-LiLXZR #named: TL-Tree: flash-optimized storage for time-series sensing data on sensor platforms (HL, DL, LX, GZ, KR), pp. 1565–1572.
SAC-2012-OliveiraCS #bound #on the #using: On using adversary simulators to obtain tight lower bounds for response times (RSdO, AC, RAS), pp. 1573–1579.
SAC-2012-SchluterC #correlation #detection #markov #modelling #predict #using: Hidden markov model-based time series prediction using motifs for detecting inter-time-serial correlations (TS, SC), pp. 158–164.
SAC-2012-SwainCNB #analysis #markov #performance #using: Performance analysis of IEEE 802.11 IBSS power save mode using a discrete-time markov model (PS, SC, SN, PB), pp. 631–633.
SAC-2012-TeymooriKY #fault tolerance #network #realtime: A real-time data aggregation method for fault-tolerant wireless sensor networks (PT, MK, NY), pp. 605–612.
SAC-2012-TsaiC #3d #manycore #realtime #scheduling: Thermal-aware real-time task scheduling for three-dimensional multicore chip (THT, YSC), pp. 1618–1624.
SAC-2012-ZibranR #ide #realtime: IDE-based real-time focused search for near-miss clones (MFZ, CKR), pp. 1235–1242.
FSE-2012-CanaveraEM #adaptation #execution #mining: Mining the execution history of a software system to infer the best time for its adaptation (KRC, NE, SM), p. 18.
ICSE-2012-Blincoe #coordination #developer #performance #process: Timely and efficient facilitation of coordination of software developers’ activities (KB), pp. 1539–1542.
ICSE-2012-Blincoe12a #collaboration #coordination #detection #developer #requirements: Timely detection of Coordination Requirements to support collaboration among software developers (KB), pp. 1601–1603.
ICSE-2012-FosterGL #ide #named #realtime #refactoring: WitchDoctor: IDE support for real-time auto-completion of refactorings (SRF, WGG, SL), pp. 222–232.
ICSE-2012-ZhouXZ #bound #named #polynomial #search-based: Stride: Search-based deterministic replay in polynomial time via bounded linkage (JZ, XX, CZ), pp. 892–902.
SLE-2012-CuadradoGL #runtime: The Program Is the Model: Enabling Transformations@run.time (JSC, EG, JdL), pp. 104–123.
SPLC-2012-CordySHL #behaviour #modelling #product line #realtime #verification: Behavioural modelling and verification of real-time software product lines (MC, PYS, PH, AL), pp. 66–75.
LCTES-2012-HuangZX #architecture #clustering #embedded #realtime: WCET-aware re-scheduling register allocation for real-time embedded systems with clustered VLIW architecture (YH, MZ, CJX), pp. 31–40.
LCTES-2012-KyleBFLT #embedded #manycore #set #simulation #using: Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation (SCK, IB, BF, HL, NPT), pp. 21–30.
CAV-2012-GuetGHMS #markov #search-based: Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits (CCG, AG, TAH, MM, AS), pp. 294–309.
CAV-2012-GuhaNA #automaton #bisimulation #decidability #on the: On Decidability of Prebisimulation for Timed Automata (SG, CN, SAK), pp. 444–461.
CAV-2012-SongSLD #model checking #probability #realtime: A Model Checker for Hierarchical Probabilistic Real-Time Systems (SS, JS, YL, JSD), pp. 705–711.
CAV-2012-ZutshiST #abstraction #relational: Timed Relational Abstractions for Sampled Data Control Systems (AZ, SS, AT), pp. 343–361.
ICST-2012-AlesioGNB #constraints #optimisation #realtime #testing #using: Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
ICST-2012-DustmannSW #distributed #testing: Symbolic System Time in Distributed Systems Testing (OSD, RS, KW), pp. 893–894.
ICTSS-2012-BannourEGG #consistency #generative #modelling #testing: Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
IJCAR-2012-LatteL #branch #exclamation: Branching Time? Pruning Time! (ML, ML), pp. 393–407.
ISSTA-2012-IqbalAB #algorithm #embedded #empirical #modelling #realtime #testing: Empirical investigation of search algorithms for environment model-based testing of real-time embedded software (MZZI, AA, LCB), pp. 199–209.
LICS-2012-AbdullaAS #automaton: Dense-Timed Pushdown Automata (PAA, MFA, JS), pp. 35–44.
LICS-2012-HaddadSS #complexity #petri net #recursion: The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets (SH, SS, PS), pp. 355–364.
LICS-2012-HerbreteauSW #abstraction #automaton: Better Abstractions for Timed Automata (FH, BS, IW), pp. 375–384.
RTA-2012-Felgenhauer #confluence #polynomial #term rewriting: Deciding Confluence of Ground Term Rewrite Systems in Cubic Time (BF), pp. 165–175.
SAT-2012-SlivovskyS #dependence #linear: Computing Resolution-Path Dependencies in Linear Time , (FS, SS), pp. 58–71.
CBSE-2011-BordeC #component #embedded #realtime #synthesis #towards: Towards verified synthesis of ProCom, a component model for real-time embedded systems (EB, JC), pp. 129–138.
CBSE-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.
CBSE-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.
ECSA-2011-BruckmannGP #architecture #enterprise #monitoring #realtime #towards #using: Towards Real-Time Monitoring and Controlling of Enterprise Architectures Using Business Software Control Centers (TB, VG, MP), pp. 287–294.
ECSA-2011-CasanovaSGA #architecture #fault #runtime: Architecture-Based Run-Time Fault Diagnosis (PC, BRS, DG, RA), pp. 261–277.
QoSA-ISARCS-2011-HofigD #analysis #execution: Failure-dependent execution time analysis (KH, DD), pp. 115–122.
WICSA-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.
ASE-2011-WelshSB #requirements #runtime #towards: Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.
ASE-2011-ZhangMPL #monitoring #predict #runtime: Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
CASE-2011-AddadALD #automation #evaluation #metric: Measures vs. analytic evaluation of response time of Networked Automation Systems (BA, SA, JJL, BD), pp. 576–581.
CASE-2011-Aguayo-LaraRR #invariant #petri net: Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.
CASE-2011-Bonhomme #petri net #realtime #scheduling: A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets (PB), pp. 582–587.
CASE-2011-Gonzalez-CastoloL #analysis #fuzzy #nondeterminism: State uncertainty analysis of Fuzzy Timed DES (JCGC, ELM), pp. 600–606.
CASE-2011-HajiD #case study #simulation #using: A simulation case study: Reducing outpatient waiting time of otolaryngology care services using VBA (MH, HD), pp. 525–530.
CASE-2011-KaoZCHWLWWC #constraints: Near optimal furnace tool allocation with batching and waiting time constraints (YTK, SCZ, SCC, JHH, PW, PBL, SW, FW, JC), pp. 108–113.
CASE-2011-KimL #clustering #constraints #scheduling #tool support: Scheduling of cluster tools with ready time constraints for small lot production (HJK, TEL), pp. 96–101.
CASE-2011-LeeLNCC #design #optimisation: Design optimization of one-time-use leaping mechanism for sensor node relocation (GL, GL, YN, NYC, DC), pp. 749–754.
CASE-2011-PuiuM #communication #realtime: The time delay control of CAN messages for real-time communication (DP, FM), pp. 631–636.
CASE-2011-UrliM #industrial #realtime: Use of Ethernet communications for real-time control systems in the metals industry (LU, SM), pp. 6–11.
DAC-2011-ChangJC #functional: Simultaneous functional and timing ECO (HYC, IHRJ, YWC), pp. 140–145.
DAC-2011-ChenO #fault #statistics: Diagnosing scan clock delay faults through statistical timing pruning (MC, AO), pp. 423–428.
DAC-2011-DellingerGR #kernel #linux #multi #realtime: ChronOS Linux: a best-effort real-time multiprocessor Linux kernel (MD, PG, BR), pp. 474–479.
DAC-2011-HuangQFQ #constraints #realtime #throughput: Throughput maximization for periodic real-time systems under the maximal temperature constraint (HH, GQ, JF, MQ), pp. 363–368.
DAC-2011-KernZSNT #network: Accuracy of ethernet AVB time synchronization under varying temperature conditions for automotive networks (AK, HZ, TS, JN, JT), pp. 597–602.
DAC-2011-KumarT #realtime: Cool shapers: shaping real-time tasks for improved thermal guarantees (PK, LT), pp. 468–473.
DAC-2011-LimVH #challenge #network #realtime: Challenges in a future IP/ethernet-based in-car network for real-time applications (HTL, LV, DH), pp. 7–12.
DAC-2011-LiuYX #low cost: Re-synthesis for cost-efficient circuit-level timing speculation (YL, FY, QX), pp. 158–163.
DAC-2011-OnaissiTLN #analysis #approach #performance: A fast approach for static timing analysis covering all PVT corners (SO, FT, JL, FNN), pp. 777–782.
DAC-2011-ReimannLGHT #constraints #realtime #string #synthesis: Symbolic system synthesis in the presence of stringent real-time constraints (FR, ML, MG, CH, JT), pp. 393–398.
DAC-2011-StattelmannBR #optimisation #performance #simulation: Fast and accurate source-level simulation of software timing considering complex code optimizations (SS, OB, WR), pp. 486–491.
DAC-2011-Vitek #embedded #java #realtime: Virtualizing real-time embedded systems with Java (JV), pp. 906–911.
DAC-2011-WangMR #clustering #configuration management #energy #manycore #optimisation #realtime: Dynamic cache reconfiguration and partitioning for energy optimization in real-time multi-core systems (WW, PM, SR), pp. 948–953.
DAC-2011-ZattSSABH #adaptation #energy #estimation #multi #runtime #video: Run-time adaptive energy-aware motion and disparity estimation in multiview video coding (BZ, MS, FS, LVA, SB, JH), pp. 1026–1031.
DAC-2011-ZhaoAZ #embedded #energy #realtime: Generalized reliability-oriented energy management for real-time embedded applications (BZ, HA, DZ), pp. 381–386.
DATE-2011-AbdallahLS #energy #fault #robust #statistics: Timing error statistics for energy-efficient robust DSP systems (RAA, YHL, NRS), pp. 285–288.
DATE-2011-AhmedSBH #configuration management #multi #named #runtime: mRTS: Run-time system for reconfigurable processors with multi-grained instruction-set extensions (WA, MS, LB, JH), pp. 1554–1559.
DATE-2011-Al-DujailyMXYP #concurrent #detection #network #runtime #transitive #using: Run-time deadlock detection in networks-on-chip using coupled transitive closure networks (RAD, TSTM, FX, AY, MP), pp. 497–502.
DATE-2011-AnjamNW #multi #runtime: Targeting code diversity with run-time adjustable issue-slots in a chip multiprocessor (FA, MN, SW), pp. 1358–1363.
DATE-2011-ArslanO #adaptation #effectiveness #learning #optimisation #realtime: Adaptive test optimization through real time learning of test effectiveness (BA, AO), pp. 1430–1435.
DATE-2011-BaiDDC #network #program transformation #programming #runtime: Simplified programming of faulty sensor networks via code transformation and run-time interval computation (LSB, RPD, PAD, PHC), pp. 88–93.
DATE-2011-ChenO #analysis #fault #image #statistics: Diagnosing scan chain timing faults through statistical feature analysis of scan images (MC, AO), pp. 185–190.
DATE-2011-ChenY #design: Timing-constrained I/O buffer placement for flip-chip designs (ZWC, JTY), pp. 619–624.
DATE-2011-ChiuSH #constraints #pipes and filters #precedence #realtime #streaming #synthesis: Pipeline schedule synthesis for real-time streaming tasks with inter/intra-instance precedence constraints (YSC, CSS, SHH), pp. 1321–1326.
DATE-2011-GhermanMECB #concurrent #fault #predict #self: Error prediction based on concurrent self-test and reduced slack time (VG, JM, SE, SC, YB), pp. 1626–1631.
DATE-2011-HameedFH #3d #adaptation #architecture #manycore #runtime: Dynamic thermal management in 3D multi-core architecture through run-time adaptation (FH, MAAF, JH), pp. 299–304.
DATE-2011-HanumaiahV #manycore #realtime: Reliability-aware thermal management for hard real-time applications on multi-core processors (VH, SBKV), pp. 137–142.
DATE-2011-HashempourDTKHBX #fault #industrial #reduction #testing: Test time reduction in analogue/mixed-signal devices by defect oriented testing: An industrial example (HH, JD, BT, BK, CH, MvB, YX), pp. 371–376.
DATE-2011-HeGO #design #energy: Controlled timing-error acceptance for low energy IDCT design (KH, AG, MO), pp. 758–763.
DATE-2011-HuangQ #constraints #energy #realtime: Leakage aware energy minimization for real-time systems under the maximum temperature constraint (HH, GQ), pp. 479–484.
DATE-2011-KamalAP: Timing variation-aware custom instruction extension technique (MK, AAK, MP), pp. 1517–1520.
DATE-2011-KanounMKA #monitoring #realtime: A real-time compressed sensing-based personal electrocardiogram monitoring system (KK, HM, NK, DA), pp. 824–829.
DATE-2011-KobayashiH #analysis #correlation #power management: An LOCV-based static timing analysis considering spatial correlations of power supply variations (SK, KH), pp. 559–562.
DATE-2011-KongYD #clustering #energy #multi #realtime #scheduling: Energy-efficient scheduling of real-time tasks on cluster-based multicores (FK, WY, QD), pp. 1135–1140.
DATE-2011-LiMY #independence: Redressing timing issues for speed-independent circuits in deep submicron age (YL, TSTM, AY), pp. 1376–1381.
DATE-2011-MatischekHGH #communication #realtime: Real-time wireless communication in automotive applications (RM, TH, CG, JH), pp. 1036–1041.
DATE-2011-MerrettAWZRMRLFA #analysis #modelling #monte carlo #performance #statistics #variability: Modelling circuit performance variations due to statistical variability: Monte Carlo static timing analysis (MM, PA, YW, MZ, DR, CM, SR, ZL, SBF, AA), pp. 1537–1540.
DATE-2011-MiyaseWAFYK #generative #testing: Transition-Time-Relation based capture-safety checking for at-speed scan test generation (KM, XW, MA, HF, YY, SK), pp. 895–898.
DATE-2011-MontagA #precise #realtime: Precise WCET calculation in highly variant real-time systems (PM, SA), pp. 920–925.
DATE-2011-Niu #embedded #energy #realtime #scheduling: System-level energy-efficient scheduling for hard real-time embedded systems (LN), pp. 281–284.
DATE-2011-PalframanKL #detection #fault #low cost: Time redundant parity for low-cost transient error detection (DJP, NSK, MHL), pp. 52–57.
DATE-2011-RaiYBCT #analysis #realtime #worst-case: Worst-case temperature analysis for real-time systems (DR, HY, IB, JJC, LT), pp. 631–636.
DATE-2011-RazaghiG #development #embedded #manycore #realtime: Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
DATE-2011-ShafiqueBAH #configuration management #manycore #resource management #runtime: Minority-Game-based resource allocation for run-time reconfigurable multi-core processors (MS, LB, WA, JH), pp. 1261–1266.
DATE-2011-TsukiyamaF #algorithm #analysis #statistics: An algorithm to improve accuracy of criticality in statistical static timing analysis (ST, MF), pp. 1529–1532.
DATE-2011-VissersNN #interface #realtime #synthesis #tool support #using: Building real-time HDTV applications in FPGAs using processors, AXI interfaces and high level synthesis tools (KAV, SN, JN), pp. 848–850.
DATE-2011-WinterF #runtime #scheduling: Guaranteed service virtual channel allocation in NoCs for run-time task scheduling (MW, GF), pp. 419–424.
DATE-2011-WuM #analysis #optimisation: Aging-aware timing analysis and optimization considering path sensitization (KCW, DM), pp. 1572–1577.
DATE-2011-ZiermannTS #adaptation #algorithm #named: DynOAA — Dynamic offset adaptation algorithm for improving response times of CAN systems (TZ, JT, ZS), pp. 269–272.
DocEng-2011-Ahmed-NacerIORU #documentation #editing #realtime: Evaluating CRDTs for real-time document editing (MAN, CLI, GO, HGR, PU), pp. 103–112.
DRR-2011-SaabniE #distance #documentation #using #word: Word spotting for handwritten documents using Chamfer Distance and Dynamic Time Warping (RS, JES), pp. 1–10.
ICDAR-2011-ShahabSD #approach #recognition: Bayesian Approach to Photo Time-Stamp Recognition (AS, FS, AD), pp. 1039–1043.
ICDAR-2011-TakedaKI #database #documentation #image #memory management #performance #realtime #retrieval: Real-Time Document Image Retrieval for a 10 Million Pages Database with a Memory Efficient and Stability Improved LLAH (KT, KK, MI), pp. 1054–1058.
ICDAR-2011-VincentNP #algorithm #documentation #using: Document Recto-verso Registration Using a Dynamic Time Warping Algorithm (VR, NJ, JPD), pp. 1230–1234.
ICDAR-2011-WangL #realtime #recognition #segmentation: Dynamic Text Line Segmentation for Real-Time Recognition of Chinese Handwritten Sentences (DHW, CLL), pp. 931–935.
ICDAR-2011-ZhuN11b #online #recognition #using: Trie-Lexicon-Driven Recognition for On-line Handwritten Japanese Disease Names Using a Time-Synchronous Method (BZ, MN), pp. 1130–1134.
SIGMOD-2011-ChandramouliLEM #named #realtime #recommendation: StreamRec: a real-time recommender system (BC, JJL, AE, MFM), pp. 1243–1246.
SIGMOD-2011-ChenLOW #named #performance #realtime #twitter: TI: an efficient indexing mechanism for real-time search on tweets (CC, FL, BCO, SW), pp. 649–660.
SIGMOD-2011-WangWW #semantics: Finding semantics in time series (PW, HW, WW), pp. 385–396.
VLDB-2011-GrinevGHK #realtime #web: Analytics for the RealTime Web (MG, MPG, MH, DK), pp. 1391–1394.
VLDB-2011-MogaT #named #realtime: UpStream: A Storage-centric Load Management System for Real-time Update Streams (AM, NT), pp. 1442–1445.
VLDB-2011-SrinivasanB #named #realtime: Citrusleaf: A Real-Time NoSQL DB which Preserves ACID (VS, BB), pp. 1340–1350.
VLDB-2011-ZhouVH #modelling: Dissemination of Models over Time-Varying Data (YZ, ZV, JH), pp. 864–875.
ITiCSE-2011-StrieweG11a #automation #programming #runtime #using: Using run time traces in automated programming tutoring (MS, MG), pp. 303–307.
ESOP-2011-HuntS #exponential #polynomial #security #type system: From Exponential to Polynomial-Time Security Typing via Principal Types (SH, DS), pp. 297–316.
ESOP-2011-Mine #c #embedded #fault #parallel #runtime #source code #static analysis: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
FASE-2011-PostHP #named #realtime #requirements: rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.
FoSSaCS-2011-BertrandSJK #approach #automaton #game studies: A Game Approach to Determinize Timed Automata (NB, AS, TJ, MK), pp. 245–259.
FoSSaCS-2011-JaubertR #analysis #automaton #robust: Quantitative Robustness Analysis of Flat Timed Automata (RJ, PAR), pp. 229–244.
FoSSaCS-2011-Kobayashi #algorithm #automaton #higher-order #linear #model checking #recursion: A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (NK0), pp. 260–274.
TACAS-2011-BarbotCHKM #linear #model checking #performance #realtime: Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.
TACAS-2011-BertrandJSK #automaton #nondeterminism #testing: Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.
TACAS-2011-SeshiaK #analysis #named #tool support: GameTime: A Toolkit for Timing Analysis of Software (SAS, JK), pp. 388–392.
CSMR-2011-AndradeRGSRB #flexibility #implementation: Assessing Idioms for Implementing Features with Flexible Binding Times (RA, MR, VG, LS, HR, PB), pp. 231–240.
CSMR-2011-StojanovicOCD #coordination #development #named #open source #realtime: ALERT: Active Support and Real-Time Coordination Based on Event Processing in Open Source Software Development (LS, FO, LC, SD), pp. 359–362.
ICPC-2011-EndrikatH #aspect-oriented #development #maintenance #programming: Is Aspect-Oriented Programming a Rewarding Investment into Future Code Changes? A Socio-technical Study on Development and Maintenance Time (SE, SH), pp. 51–60.
ICPC-2011-KeivanlooRC #approach #clone detection #hybrid #named #realtime: SeClone — A Hybrid Approach to Internet-Scale Real-Time Code Clone Search (IK, JR, PC), pp. 223–224.
MSR-2011-BhattacharyaN #debugging #modelling #predict #question: Bug-fix time prediction models: can we do better? (PB, IN), pp. 207–210.
MSR-2011-EyolfsonTL #commit #debugging #developer #experience: Do time of day and developer experience affect commit bugginess (JE, LT, PL), pp. 153–162.
PASTE-2011-BernatM: Anywhere, any-time binary instrumentation (ARB, BPM), pp. 9–16.
WCRE-2011-KeivanlooRC #clone detection #multi #realtime: Internet-scale Real-time Code Clone Search Via Multi-level Indexing (IK, JR, PC), pp. 23–27.
PEPM-2011-PlasmeijerAKLNG #evolution #runtime #type safety #workflow: iTasks for a change: type-safe run-time change in dynamically evolving workflows (RP, PA, PWMK, BL, TvN, JHGvG), pp. 151–160.
PLDI-2011-AnselMETCSSBY #compilation #independence #self: Language-independent sandboxing of just-in-time compilation and self-modifying code (JA, PM, ÚE, ET, BC, DLS, DS, CB, BY), pp. 355–366.
PLDI-2011-BohmKKFT #compilation #parallel #using: Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator (IB, TJKEvK, SCK, BF, NPT), pp. 74–85.
STOC-2011-AdsulGMS #algorithm #game studies #morphism #polynomial: Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm (BA, JG, RM, MAS), pp. 195–204.
STOC-2011-BrandaoCY #algorithm #problem #quantum: A quasipolynomial-time algorithm for the quantum separability problem (FGSLB, MC, JY), pp. 343–352.
STOC-2011-DingLP #metric: Cover times, blanket times, and majorizing measures (JD, JRL, YP), pp. 61–70.
STOC-2011-DoerrFF #network #social: Social networks spread rumors in sublogarithmic time (BD, MF, TF), pp. 21–30.
STOC-2011-KoppartySY: High-rate codes with sublinear-time decoding (SK, SS, SY), pp. 167–176.
STOC-2011-NovocinSV #algorithm #complexity: An LLL-reduction algorithm with quasi-linear time complexity: extended abstract (AN, DS, GV), pp. 403–412.
STOC-2011-PatrascuT11a: Don’t rush into a union: take time to find your roots (MP, MT), pp. 559–568.
STOC-2011-Yoshida #algorithm #approximate #bound #csp: Optimal constant-time approximation algorithms and (unconditional) inapproximability results for every bounded-degree CSP (YY), pp. 665–674.
DLT-J-2009-Petersen11 #bound #simulation: Simulations by Time-Bounded Counter Machines (HP), pp. 395–409.
AFL-2011-PramodK #polynomial #towards #word: Towards Shortest Synchronizing Words in Polynomial Time (VTKP, KVK), pp. 358–367.
ICALP-v1-2011-ChanLLLT #energy #multi: Sleep Management on Multiple Machines for Energy and Flow Time (SHC, TWL, LKL, CML, HFT), pp. 219–231.
ICALP-v1-2011-DurocherHMNS #constant #linear: Range Majority in Constant Time and Linear Space (SD, MH, JIM, PKN, MS), pp. 244–255.
ICALP-v1-2011-GoldbergJ #algorithm #polynomial: A Polynomial-Time Algorithm for Estimating the Partition Function of the Ferromagnetic Ising Model on a Regular Matroid (LAG, MJ), pp. 521–532.
ICALP-v1-2011-NordstromR #on the #satisfiability #trade-off: On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution (JN, AAR), pp. 642–653.
ICALP-v2-2011-BertrandBBS #automaton #problem: Emptiness and Universality Problems in Timed Automata with Positive Frequency (NB, PB, TB, AS), pp. 246–257.
ICALP-v2-2011-BrihayeDGORW #automaton #bound #hybrid #on the #reachability: On Reachability for Hybrid Automata over Bounded Time (TB, LD, GG, JO, JFR, JW), pp. 416–427.
ICALP-v2-2011-CominettiCL: Existence and Uniqueness of Equilibria for Flows over Time (RC, JRC, OL), pp. 552–563.
ICALP-v2-2011-DamsHK #convergence: Convergence Time of Power-Control Dynamics (JD, MH, TK), pp. 637–649.
LATA-2011-Quaas #automaton #bound #on the #problem: On the Interval-Bound Problem for Weighted Timed Automata (KQ), pp. 452–464.
FM-2011-CiobanuK #interactive #migration: Timed Migration and Interaction with Access Permissions (GC, MK), pp. 293–307.
SEFM-2011-CastroKAA #branch #fault tolerance #logic #named #verification: dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification (PFC, CK, AA, NA), pp. 106–121.
ICFP-2011-ChyzakD #generative #ml #runtime #using #web: Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
ICFP-2011-Mitchell #ecosystem #functional #modelling #programming: Functional programming through deep time: modeling the first complex ecosystems on earth (EGM), pp. 28–31.
IFL-2011-Schilling #challenge #compilation #haskell: Challenges for a Trace-Based Just-In-Time Compiler for Haskell (TS), pp. 51–68.
AGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #sequence chart #specification: Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.
CHI-2011-BogunovichS #behaviour #constraints: The effects of time constraints on user behavior for deferrable interruptions (PB, DDS), pp. 3123–3126.
CHI-2011-ChiL #named #realtime #social #social media: Raconteur: integrating authored and real-time social media (PYC, HL), pp. 3165–3168.
CHI-2011-GeyerDBMDM #enterprise #question #social: An open, social microcalender for the enterprise: timely? (WG, CD, BB, MM, EMD, DRM), pp. 247–256.
CHI-2011-GuiardOP #fault #trade-off: Fitt’s law as an explicit time/error trade-off (YG, HBO, STP), pp. 1619–1628.
CHI-2011-KumarMO #mobile: The times they are a-changin‘: mobile payments in India (DK, DBM, JO), pp. 1413–1422.
CHI-2011-LindenJBRS #feedback #game studies #lessons learnt #realtime: Buzzing to play: lessons learned from an in the wild study of real-time vibrotactile feedback (JvdL, RMGJ, JB, YR, ES), pp. 533–542.
CHI-2011-MartinH #coordination #named #scheduling #social: Kairoscope: managing time perception and scheduling through social event coordination (RM, HH), pp. 1969–1978.
CHI-2011-NoguchiSBO: Time characteristics of olfaction in a single breath (DN, SS, YB, KiO), pp. 83–92.
CHI-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.
CHI-2011-ShiraziRSKMS #mobile #realtime: Real-time nonverbal opinion sharing through mobile phones during sports events (ASS, MR, RS, SGK, AM, AS), pp. 307–310.
CHI-2011-StarbirdP #quote #self #volunteer: “Voluntweeters”: self-organizing by digital volunteers in times of crisis (KS, LP), pp. 1071–1080.
CHI-2011-SuzukiBYJNAF #mobile #modelling: Variation in importance of time-on-task with familiarity with mobile phone models (SS, VB, NY, BEJ, YN, TA, SF), pp. 2551–2554.
CHI-2011-WhittakerMCBT #case study #email: Am I wasting my time organizing email?: a study of email refinding (SW, TM, JAC, HB, JCT), pp. 3449–3458.
CHI-2011-ZhaoCB #multi #named #navigation #using #visual notation: KronoMiner: using multi-foci navigation for the visual exploration of time-series data (JZ, FC, RB), pp. 1737–1746.
CHI-2011-ZimmermanTGYHATHS #co-evolution #design: Field trial of Tiramisu: crowd-sourcing bus arrival times to spur co-design (JZ, AT, CG, DY, CH, RA, NRT, YH, AS), pp. 1677–1686.
CSCW-2011-GutwinLG #network #performance #realtime #testing: Real-time groupware in the browser: testing the performance of web-based networking (CG, ML, TCNG), pp. 167–176.
CSCW-2011-NasirifardH #realtime #twitter: A real-time tweet diffusion advisor for #Twitter (PN, CH), pp. 587–588.
CSCW-2011-RauLVKS #behaviour: Different time management behaviors of Germans, Chinese and Japanese (PLPR, JL, SV, TK, CMS), pp. 701–704.
CSCW-2011-SarcevicPB #coordination: Coordinating time-critical work with role-tagging (AS, LP, RSB), pp. 465–474.
CSCW-2011-SaveryG #development #latency: It’s about time: confronting latency in the development of groupware systems (CS, TCNG), pp. 177–186.
CSCW-2011-TangZCI #case study #collaboration: Your time zone or mine?: a study of globally time zone-shifted collaboration (JCT, CZ, XC, KI), pp. 235–244.
CSCW-2011-ZhaoLLG #approach #game studies #hybrid #internet #realtime #video: Back to the future: a hybrid approach to transparent sharing of video games over the internet in real time (SZ, DL, TL, NG), pp. 187–196.
DHM-2011-GrafHKM #3d #multi #re-engineering #realtime #video: Accelerated Real-Time Reconstruction of 3D Deformable Objects from Multi-view Video Channels (HG, LH, SK, CM), pp. 282–291.
DUXU-v2-2011-RyderSY #framework #grid: The Grid Intelligent Planning Framework: Planning Electric Utility Investments in a Time of Accelerating Change (GR, FS, SY), pp. 205–214.
DUXU-v2-2011-SuzukiKN #case study #estimation #evaluation #metric #usability #web: A Study on the Time Estimation Measurement for Web Usability Evaluation (KS, MK, HN), pp. 53–59.
HCI-DDA-2011-BomsdorfGHM #configuration management #design #execution #modelling #runtime: Configurable Executable Task Models Supporting the Transition from Design Time to Runtime (BB, SG, MH, JTM), pp. 155–164.
HCI-DDA-2011-LinDCLL: Measuring Corrective Reaction Time with the Intermittent Illumination Model (JFL, CGD, CMC, YDL, YQL), pp. 397–405.
HCI-DDA-2011-SeisslerBM #adaptation #runtime #smarttech #towards #user interface: Towards Pattern-Driven Engineering of Run-Time Adaptive User Interfaces for Smart Production Environments (MS, KB, GM), pp. 299–308.
HCI-MIIE-2011-GaoG #mobile #representation: The Effect of Time Orientation and Representation of Points of Interests on the Use of Mobile Tour Guide (FG, QG), pp. 59–68.
HCI-MIIE-2011-LinH #adaptation #performance #predict: Predicting the Effects of Time-Gaps for Adaptive Cruise Control (ACC) on Bus Driver Performance (BTWL, SLH), pp. 435–443.
HCI-UA-2011-FriedmanRB #interactive #realtime: A Real-Time Interactive MIDI Glove for Domicile Stroke Rehabilitation (NF, DJR, MB), pp. 151–158.
HCI-UA-2011-StabNBBK #semantics: Interacting with Semantics and Time (CS, KN, MB, DB, AK), pp. 520–529.
HIMI-v1-2011-OhoriSNI #analysis: Construction of a Model for Discriminating between Electroencephalographic Patterns at the Time of Incorrect Inputs Based on Sensitivity Spectrum Analysis (RO, DS, YN, SI), pp. 618–626.
HIMI-v2-2011-KuboDM #interactive #realtime: Real-time and Interactive Rendering for Translucent Materials such as Human Skin (HK, YD, SM), pp. 388–395.
OCSC-2011-IizukaIY #realtime: A Real-time Disaster Situation Mapping System for University Campuses (KI, YI, KY), pp. 40–49.
AdaEurope-2011-Burns #hardware #parallel #programming language #realtime: Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaEurope-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.
AdaEurope-2011-SaezTC #ada #framework #multi #realtime #using: A Real-Time Framework for Multiprocessor Platforms Using Ada 2012 (SS, ST, AC), pp. 46–60.
SIGAda-2011-McCormickS #embedded #realtime: Building embedded real-time applications (JWM, FS), pp. 15–16.
ICEIS-J-2011-NganBL11a #framework #learning #monitoring #multi #query: An Event-Based Service Framework for Learning, Querying and Monitoring Multivariate Time Series (CKN, AB, JL), pp. 208–223.
ICEIS-v1-2011-NiknafsSRR #analysis #comparative #predict: Comparative Analysis of Three Techniques for Predictions in Time Series Having Repetitive Patterns (AN, BS, MMR, GR), pp. 177–182.
ICEIS-v2-2011-NganBL #framework #learning #monitoring #multi #query: A Service Framework for Learning, Querying and Monitoring Multivariate Time Series (CKN, AB, JL), pp. 92–101.
ICEIS-v2-2011-TarsauliyaTS #network #search-based #using: Financial Time Series Forecast using Simulated Annealing and Threshold Acceptance Genetic BPA Neural Network (AT, RT, AS), pp. 172–177.
ICEIS-v3-2011-TahamtanOTH #named: BPEL-TIME — WS-BPEL Time Management Extension (AT, CO, AMT, AH), pp. 34–45.
ICEIS-v3-2011-Zhao #analysis #contest #industrial: The Competitive Strategy Analysis of Express Industry based on Time-based Competition (JZ), pp. 502–506.
ICEIS-v4-2011-SchiefKZRWSMME #internet #process: The ADiWa Project — On the Way to Just-in-time Process Dynamics based on Events from the Internet of Things (MS, CK, BZ, PR, WW, JS, DM, HM, JE), pp. 371–377.
ICEIS-v4-2011-Zhao11a #modelling #optimisation #research: Research on Logistics Location Optimization Model based on Time Dimensions (JZ), pp. 656–661.
CIKM-2011-AgrawalIV: Timing when to buy (RA, SI, RV), pp. 709–718.
CIKM-2011-AmodeoAG #on the #query: On relevance, time and query expansion (GA, GA, GG), pp. 1973–1976.
CIKM-2011-JangKFP #approximate #distance #linear: A linear-time approximation of the earth mover’s distance (MHJ, SWK, CF, SP), pp. 505–514.
CIKM-2011-NambiarFSNR #realtime: Discovering customer intent in real-time for streamlining service desk conversations (UN, TAF, LVS, SN, GR), pp. 1383–1388.
CIKM-2011-WatanabeOOO #detection #microblog #named #realtime: Jasmine: a real-time local-event detection system based on geolocation information propagated to microblogs (KW, MO, MO, RO), pp. 2541–2544.
ECIR-2011-KimC #analysis #web: An Analysis of Time-Instability in Web Search Results (JK, VRC), pp. 466–478.
ECIR-2011-LlorensSNG #documentation #named #visual notation: Time-Surfer: Time-Based Graphical Access to Document Content (HL, ES, BN, RJG), pp. 767–771.
ICML-2011-LiP #clustering #exclamation: Time Series Clustering: Complex is Simpler! (LL, BAP), pp. 185–192.
ICML-2011-UrnerSB #predict: Access to Unlabeled Data can Speed up Prediction Time (RU, SSS, SBD), pp. 641–648.
KDD-2011-AchlioptasSB: Two-locus association mapping in subquadratic time (PA, BS, KMB), pp. 726–734.
KDD-2011-Boyd #distributed #embedded #optimisation #realtime #scalability: Convex optimization: from embedded real-time to large-scale distributed (SB), p. 1.
KDD-2011-ChenBAD #algorithm #realtime: Real-time bidding algorithms for performance-based display ad allocation (YC, PB, BA, NRD), pp. 1307–1315.
KDD-2011-GuerraVMA #analysis #approach #bias #realtime #sentiment: From bias to opinion: a transfer-learning approach to real-time sentiment analysis (PHCG, AV, WMJ, VA), pp. 150–158.
KDD-2011-HongDGT #multi #topic: A time-dependent topic model for multiple text streams (LH, BD, SG, KT), pp. 832–840.
KDD-2011-Hsu #realtime: Real-time risk control system for CNP (card not present) (TH), p. 783.
KDD-2011-KashyapK #scalability: Scalable kNN search on vertically stored time series (SK, PK), pp. 1334–1342.
KDD-2011-MueenKY #classification #named: Logical-shapelets: an expressive primitive for time series classification (AM, EJK, NEY), pp. 1154–1162.
KDD-2011-PiskorskiA #framework #realtime: Frontex real-time news event extraction framework (JP, MA), pp. 749–752.
KDD-2011-TorgoO #2d #predict: 2D-interval predictions for time series (LT, OO), pp. 787–794.
KDIR-2011-OzakiE #difference #empirical #estimation: Estimation of Implicit user Influence from Proxy Logs — An Empirical Study on the Effects of Time Difference and Popularity (TO, ME), pp. 250–255.
KDIR-2011-WongLZYFXKC #case study #segmentation: Time Series Segmentation as a Discovery Tool — A Case Study of the US and Japanese Financial Markets (JCW, GHTL, YZ, WSY, RPF, DYX, JLK, SAC), pp. 52–63.
KEOD-2011-Tinsley #ontology #realtime: OTTER Project — Ontology Technology that Executes Real-time: Project Status (TAT), pp. 521–527.
KMIS-2011-PortelaGSSRMAN #information management #pervasive #realtime: Knowledge Discovery for Pervasive and Real-time Intelligent Decision Support in Intensive Care Medicine (FP, PG, MFS, ÁMS, FR, JM, AA, JN), pp. 241–249.
MLDM-2011-ArmstrongD #database #scalability: Unsupervised Discovery of Motifs under Amplitude Scaling and Shifting in Time Series Databases (TA, ED), pp. 539–552.
MLDM-2011-GunesCO #algorithm #classification #named #novel #relational #search-based #using: GA-TVRC: A Novel Relational Time Varying Classifier to Extract Temporal Information Using Genetic Algorithms (IG, ZÇ, SGÖ), pp. 568–583.
SEKE-2011-ChawlaXZ #composition #ontology #realtime #reliability #web #web service: A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition (HC, HX, MZ), pp. 153–158.
SEKE-2011-Iyengar #realtime: Sustainable Software Systems for Real Time Applications (keynote) (SSI).
SEKE-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.
SIGIR-2011-AnandBBS #performance: Temporal index sharding for space-time efficiency in archive search (AA, SJB, KB, RS), pp. 545–554.
SIGIR-2011-CaverleeCEHKM #monitoring #named #realtime #web: CrowdTracker: enabling community-based real-time web monitoring (JC, ZC, BE, CFH, KYK, JM), pp. 1283–1284.
SIGIR-2011-KanhabuaN #performance #predict #query: Time-based query performance predictors (NK, KN), pp. 1181–1182.
SIGIR-2011-KanhabuaN11a #comparison #ranking: A comparison of time-aware ranking methods (NK, KN), pp. 1257–1258.
SIGIR-2011-KeikhaGC #modelling: Time-based relevance models (MK, SG, FC), pp. 1087–1088.
SIGIR-2011-Shokouhi #analysis #detection #query: Detecting seasonal queries by time-series analysis (MS), pp. 1171–1172.
ECOOP-2011-Bergel #execution #smalltalk: Counting Messages as a Proxy for Average Execution Time in Pharo (AB), pp. 533–557.
ECOOP-2011-PothierT #debugging #query #scalability: Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging (GP, ÉT), pp. 558–582.
OOPSLA-2011-AdamsKMMCD #polynomial: Flow-sensitive type recovery in linear-log time (MDA, AWK, JM, MM, AC, RKD), pp. 483–498.
OOPSLA-2011-LiSD #analysis #concurrent #detection #named: SOS: saving time in dynamic race detection with stationary analysis (DL, WSa, MBD), pp. 35–50.
OOPSLA-2011-WurthingerABWM #aspect-oriented #evolution #java #runtime: Safe and atomic run-time code evolution for Java and its application to dynamic AOP (TW, DA, WB, CW, HM), pp. 825–844.
GPCE-2011-NystromWD #compilation #named #runtime #scala: Firepile: run-time compilation for GPUs in scala (NN, DW, KD), pp. 107–116.
GPCE-2011-SteckLS #modelling #runtime: Model-driven engineering and run-time model-usage in service robotics (AS, AL, CS), pp. 73–82.
QAPL-2011-AmanC #petri net: Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.
QAPL-2011-AndreychenkoCW #infinity #markov #modelling #on the fly: On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models (AA, PC, VW), p. 1.
QAPL-2011-Rutkowski #automaton #game studies: Two-Player Reachability-Price Games on Single-Clock Timed Automata (MR), pp. 31–46.
PADL-2011-BelwalC: Determining Actual Response Time in P-FRP (CB, AMKC), pp. 250–264.
PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code: Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.
RE-2011-PostHP #realtime #requirements: Vacuous real-time requirements (AP, JH, AP), pp. 153–162.
RE-2011-Waldmann #agile #constraints #development #requirements #what: There’s never enough time: Doing requirements under resource constraints, and what requirements engineering can learn from agile development (BW), pp. 301–305.
RE-2011-WelshSB #nondeterminism #runtime: Run-time resolution of uncertainty (KW, PS, NB), pp. 355–356.
REFSQ-2011-QureshiSP #perspective #research: Satisfying User Needs at the Right Time and in the Right Place: A Research Preview (NAQ, NS, AP), pp. 94–99.
SAC-2011-DingZ #analysis #forensics: Time based data forensic and cross-reference analysis (XD, HZ), pp. 185–190.
SAC-2011-FontugneF #adaptation #detection: A Hough-transform-based anomaly detector with an adaptive time interval (RF, KF), pp. 471–477.
SAC-2011-GomiI #analysis: A personal photograph browser for life log analysis based on location, time, and person (AG, TI), pp. 1245–1251.
SAC-2011-GuerraF #realtime #resource management: Handling overload of target sensitive real-time applications for increased system utility and improved resource usage (RG, GF), pp. 742–747.
SAC-2011-JanieschMMVB #architecture #named #process #realtime: Slipstream: architecture options for real-time process analytics (CJ, MM, OM, RV, JB), pp. 295–300.
SAC-2011-KongGDY #energy #parallel #realtime #scheduling: Energy-efficient scheduling for parallel real-time tasks based on level-packing (FK, NG, QD, WY), pp. 635–640.
SAC-2011-KontogiannisWM #clustering #comprehension #reduction #runtime: Event clustering for log reduction and run time system understanding (KK, AW, SM), pp. 191–192.
SAC-2011-LiuQR #online #realtime #scheduling: On-line scheduling of real-time services with profit and penalty (SL, GQ, SR), pp. 1476–1481.
SAC-2011-LiuZ #memory management #predict #realtime: Exploiting time predictable two-level scratchpad memory for real-time systems (YL, WZ), pp. 395–396.
SAC-2011-LuKNB #analysis #approach #embedded #realtime #simulation #statistics #validation: A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems (YL, JK, TN, IB), pp. 711–716.
SAC-2011-MitakeKCN #embedded #manycore #realtime: Coexisting real-time OS and general purpose OS on an embedded virtualization layer for a multicore processor (HM, YK, AC, TN), pp. 629–630.
SAC-2011-TillyR #realtime: Matching customer requests to service offerings in real-time (MT, SRM), pp. 456–461.
SAC-2011-YouCXLZ #effectiveness #empirical #testing: An empirical study on the effectiveness of time-aware test case prioritization techniques (DY, ZC, BX, BL, CZ), pp. 1451–1456.
ICSE-2011-FilieriGT #model checking #performance #probability #runtime: Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.
ASPLOS-2011-HoangFJ #compilation: Exploring circuit timing-aware language and compilation (GH, RBF, RJ), pp. 345–356.
CGO-2011-JonesBMC #optimisation #performance: Link-time optimization for power efficiency in a tagless instruction cache (TMJ, SB, JM, DC), pp. 32–41.
HPCA-2011-PellauerAKPE #manycore #named #simulation #using: HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing (MP, MA, MAK, AP, JSE), pp. 406–417.
HPDC-2011-AbbasiEWSK #performance #pipes and filters: Just in time: adding value to the IO pipelines of high performance applications with JITStaging (HA, GE, MW, KS, SK), pp. 27–36.
HPDC-2011-AhujaBFGS #modelling #protocol: Introspective end-system modeling to optimize the transfer time of rate based protocols (VA, AB, MKF, DG, GS), pp. 61–72.
ISMM-2011-KaliberaJ #memory management #optimisation #performance #realtime: Handles revisited: optimising performance and memory costs in a real-time collector (TK, REJ), pp. 89–98.
LCTES-2011-GrayA #api #architecture #embedded #manycore: Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation (IG, NCA), pp. 51–60.
LCTES-2011-VirletZGKGP #realtime #scheduling: Scheduling of stream-based real-time applications for heterogeneous systems (BV, XZ, JPG, BK, MJG, DAP), pp. 1–10.
PPoPP-2011-StellwagSKS #constraints #library #parallel: A wait-free NCAS library for parallel applications with timing constraints (PS, FS, JK, WSP), pp. 301–302.
PPoPP-2011-StrzodkaSP: Time skewing made simple (RS, MS, DP), pp. 295–296.
CAV-2011-DavidLLMW #model checking #realtime #statistics: Time for Statistical Model Checking of Real-Time Systems (AD, KGL, AL, MM, ZW), pp. 349–355.
CAV-2011-HangMP #architecture #constraints #cyber-physical #modelling #realtime: Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints (CH, PM, VP), pp. 441–456.
CAV-2011-KwiatkowskaNP #probability #realtime #verification: PRISM 4.0: Verification of Probabilistic Real-Time Systems (MZK, GN, DP), pp. 585–591.
CAV-2011-MorbePS #automaton #model checking: Fully Symbolic Model Checking for Timed Automata (GM, FP, CS), pp. 616–632.
CAV-2011-PeterEM #automaton #named #synthesis #verification: Synthia: Verification and Synthesis for Timed Automata (HJP, RE, RM), pp. 649–655.
CSL-2011-BeauxisM #network #semantics #standard: A Non-Standard Semantics for Kahn Networks in Continuous Time (RB, SM), pp. 35–50.
CSL-2011-Vardi #branch #linear #perspective #semantics: Branching vs. Linear Time: Semantical Perspective (MYV), p. 3.
ICLP-J-2011-CominiTV #concurrent #constraints #source code: Abstract diagnosis for timed concurrent constraint programs (MC, LT, AV), pp. 487–502.
ICST-2011-HanselRHG #algorithm #embedded #generative #realtime: An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
ICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing: Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.
ICTSS-2011-Nunez #probability #testing: Formal Testing of Timed and Probabilistic Systems (MN), pp. 9–14.
ICTSS-2011-PeleskaHLLSSVZ #benchmark #concurrent #metric #realtime #testing: A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain (JP, AH, FL, HL, HS, PS, EV, CZ), pp. 146–161.
LICS-2011-AbdullaM #petri net: Computing Optimal Coverability Costs in Priced Timed Petri Nets (PAA, RM), pp. 399–408.
RTA-2011-AvanziniEM #exponential #order #term rewriting: A Path Order for Rewrite Systems that Compute Exponential Time Functions (MA, NE, GM), pp. 123–138.
SAT-2011-DantsinH #satisfiability: Satisfiability Certificates Verifiable in Subexponential Time (ED, EAH), pp. 19–32.
CBSE-2010-HosekPBHM #comparison #component #embedded #framework #realtime: Comparison of Component Frameworks for Real-Time Embedded Systems (PH, TP, TB, PH, MM), pp. 21–36.
CBSE-2010-LoiretSDS #approach #composition #embedded #realtime: A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks (FL, LS, LD, DS), pp. 37–54.
ASE-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.
CASE-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.
CASE-2010-CaiM #analysis #approach #hybrid #industrial #process: Dwell-time approach to stability analysis for hybrid control systems: Application to an industrial refrigeration process (CC, SM), pp. 728–733.
CASE-2010-ChanR #clustering #estimation #multi #on the #scheduling #tool support: On gradient estimation of scheduling for multi-cluster tools with general robot moving times (WK(C, TMR), pp. 112–117.
CASE-2010-Hsu #bound #markov #safety: Control of continuous-time Markov chains with safety upper bounds (SPH), pp. 990–993.
CASE-2010-JohnsonM #optimisation #using: Local planning using switching time optimization (ERJ, TDM), pp. 828–834.
CASE-2010-LeBSK #modelling #realtime #towards #using: Towards virtual instruments for cardiovascular healthcare: Real-time modeling of cardiovascular dynamics using ECG signals (TQL, STSB, AS, RK), pp. 903–910.
CASE-2010-MackayFB #framework #geometry #realtime #visual notation: A real-time visual action-recognition framework for time-varying-geometry objects (MDM, RGF, BB), pp. 922–927.
CASE-2010-MacwanNB #approach #bound #multi #novel #online #predict #probability: On-line target-motion prediction for autonomous multirobot search in realistic terrains with time-expanding boundaries: A novel probabilistic approach (AM, GN, BB), pp. 662–667.
CASE-2010-RichtsfeldSV #automation #detection #realtime: Real-time edge detection for automated fibre-mat stitching (MR, AS, MV), pp. 557–562.
CASE-2010-WuZ #bound #clustering #petri net #process #scheduling #tool support: Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation (NW, MZ), pp. 465–470.
CASE-2010-XuXZC #3d #realtime: Real-time 3D shape inspection system for manufacturing parts based on three-step stripe pattern (JX, NX, CZ, HC), pp. 228–233.
DAC-2010-ChuangKSC #optimisation: Pulsed-latch aware placement for timing-integrity optimization (YLC, SK, YS, YWC), pp. 280–285.
DAC-2010-HsuLML #analysis #flexibility: Static timing analysis for flexible TFT circuits (CHH, CL, EHM, JCML), pp. 799–802.
DAC-2010-JuHRC #analysis #multi #source code: Timing analysis of esterel programs on general-purpose multiprocessors (LJ, BKH, AR, SC), pp. 48–51.
DAC-2010-MirhoseiniAK #realtime: Real time emulations: foundation and applications (AM, YA, FK), pp. 623–624.
DAC-2010-SchranzhoferPCTC #analysis #manycore #modelling #resource management #worst-case: Worst-case response time analysis of resource access models in multi-core systems (AS, RP, JJC, LT, MC), pp. 332–337.
DAC-2010-ShihC #independence #performance #synthesis: Fast timing-model independent buffered clock-tree synthesis (XWS, YWC), pp. 80–85.
DAC-2010-SilvaPS #analysis #modelling #parametricity: Speedpath analysis under parametric timing models (LGeS, JRP, LMS), pp. 268–273.
DAC-2010-SridharanM #embedded #power management #realtime #reliability: Reliability aware power management for dual-processor real-time embedded systems (RS, RNM), pp. 819–824.
DAC-2010-TangZBM #analysis #simulation #statistics: RDE-based transistor-level gate simulation for statistical static timing analysis (QT, AZ, MB, NvdM), pp. 787–792.
DAC-2010-WangM #approximate #named #realtime #scalability #using: PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme (WW, PM), pp. 705–710.
DAC-2010-WangZD #distributed #logic #parallel #simulation: Distributed time, conservative parallel logic simulation on GPUs (BDW, YZ, YD), pp. 761–766.
DAC-2010-XieD #predict #variability: Representative path selection for post-silicon timing prediction under variability (LX, AD), pp. 386–391.
DAC-2010-YangALLP #3d #analysis #layout #optimisation: TSV stress aware timing analysis with applications to 3D-IC layout optimization (JSY, KA, YJL, SKL, DZP), pp. 803–806.
DAC-2010-YuVH #adaptation #multi #realtime #scheduling: Leakage-aware dynamic scheduling for real-time adaptive applications on multiprocessor systems (HY, BV, YH), pp. 493–498.
DAC-2010-ZitterellS #approach #energy #online #probability #realtime #scheduling: A probabilistic and energy-efficient scheduling approach for online application in real-time systems (TZ, CS), pp. 42–47.
DATE-2010-BaoAEP #energy #optimisation #scalability: Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling (MB, AA, PE, ZP), pp. 21–26.
DATE-2010-Benveniste #architecture #cyber-physical: Loosely Time-Triggered Architectures for Cyber-Physical Systems (AB), pp. 3–8.
DATE-2010-BhaduriS #interface #realtime: A proposal for real-time interfaces in SPEEDS (PB, IS), pp. 441–446.
DATE-2010-BraakHKHS #realtime #resource management #runtime: Run-time spatial resource management for real-time applications on heterogeneous MPSoCs (TDtB, PKFH, JK, JH, GJMS), pp. 357–362.
DATE-2010-ChenDS #algorithm #analysis: Properties of and improvements to time-domain dynamic thermal analysis algorithms (XC, RPD, LS), pp. 1165–1170.
DATE-2010-ChoudhuryCMA10a #fault #named #online: TIMBER: Time borrowing and error relaying for online timing error resilience (MRC, VC, KM, RCA), pp. 1554–1559.
DATE-2010-DixitDR #component #embedded #realtime: Taming the component timing: A CBD methodology for real-time embedded systems (MGD, PD, SR), pp. 1649–1652.
DATE-2010-HadjitheophanousTGT #3d #hardware #re-engineering #realtime #towards: Towards hardware stereoscopic 3D reconstruction a real-time FPGA computation of the disparity map (SH, CT, ASG, TT), pp. 1743–1748.
DATE-2010-HuanYCM #energy #graph: Energy-oriented dynamic SPM allocation based on time-slotted Cache conflict graph (WH, ZY, MC, LM), pp. 598–601.
DATE-2010-HwangSAG #modelling #transaction: Accurate timed RTOS model for transaction level modeling (YH, GS, SA, DDG), pp. 1333–1336.
DATE-2010-IqbalSH #estimation #execution #named #order #pipes and filters #recursion: RMOT: Recursion in model order for task execution time estimation in a software pipeline (NI, MAS, JH), pp. 953–956.
DATE-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.
DATE-2010-JaffariA #estimation #monte carlo: Practical Monte-Carlo based timing yield estimation of digital circuits (JJ, MA), pp. 807–812.
DATE-2010-JungP #network #nondeterminism #optimisation #power management: Optimizing the power delivery network in dynamically voltage scaled systems with uncertain power mode transition times (HJ, MP), pp. 351–356.
DATE-2010-KanoriaMM #analysis #markov #monte carlo #statistics #using: Statistical static timing analysis using Markov chain Monte Carlo (YK, SM, AM), pp. 813–818.
DATE-2010-KarnerASW #network #runtime #simulation #using: Holistic simulation of FlexRay networks by using run-time model switching (MK, EA, CS, RW), pp. 544–549.
DATE-2010-KerstanO #design #realtime: Design of a real-time optimized emulation method (TK, MO), pp. 646–649.
DATE-2010-KlobedanzKT0 #analysis #case study #development #modelling: Timing modeling and analysis for AUTOSAR-based software development — a case study (KK, CK, AT, WM), pp. 642–645.
DATE-2010-KootiBLB #configuration management #embedded #realtime #scheduling: Transition-aware real-time task scheduling for reconfigurable embedded systems (HK, EB, SL, LB), pp. 232–237.
DATE-2010-LakshmananBR #analysis: Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems (KL, GB, RR), pp. 331–334.
DATE-2010-LarsenLNP #analysis #realtime #synthesis #using: Scenario-based analysis and synthesis of real-time systems using uppaal (KGL, SL, BN, SP), pp. 447–452.
DATE-2010-LiuLW #energy #fault tolerance #performance #realtime #scheduling: Scheduling for energy efficiency and fault tolerance in hard real-time systems (YL, HL, KW), pp. 1444–1449.
DATE-2010-LotzeGM #modelling: Timing modeling for digital sub-threshold circuits (NL, JG, YM), pp. 299–302.
DATE-2010-MarianiAVYPSZ #design #framework #industrial #manycore #resource management #runtime: An industrial design space exploration framework for supporting run-time resource management on multi-core systems (GM, PA, GV, CYC, GP, CS, VZ), pp. 196–201.
DATE-2010-MasrurCF: Constant-time admission control for Deadline Monotonic tasks (AM, SC, GF), pp. 220–225.
DATE-2010-PenolazziSH #energy #operating system #performance #predict #realtime: Predicting energy and performance overhead of Real-Time Operating Systems (SP, IS, AH), pp. 15–20.
DATE-2010-RitheGWDGBC #analysis #logic #statistics: Non-linear Operating Point Statistical Analysis for Local Variations in logic timing at low voltage (RR, JG, AW, SD, GG, DB, AC), pp. 965–968.
DATE-2010-ShafikAC #design #embedded #optimisation #power management: Soft error-aware design optimization of low power and time-constrained embedded systems (RAS, BMAH, KC), pp. 1462–1467.
DATE-2010-ShafiqueBH #adaptation #energy #estimation #named #predict #runtime #video: enBudget: A Run-Time Adaptive Predictive Energy-Budgeting scheme for energy-aware Motion Estimation in H.264/MPEG-4 AVC video encoder (MS, LB, JH), pp. 1725–1730.
DATE-2010-TraubSKB #network: Scenario extraction for a refined timing-analysis of automotive network topologies (MT, TS, OK, JB), pp. 81–86.
DATE-2010-WenCCL #debugging #named #parallel #runtime #source code: RunAssert: A non-intrusive run-time assertion for parallel programs debugging (CNW, SHC, TFC, TJL), pp. 287–290.
DATE-2010-YangCTK #energy #realtime #scheduling: Energy-efficient real-time task scheduling with temperature-dependent leakage (CYY, JJC, LT, TWK), pp. 9–14.
DATE-2010-Yu: A memory- and time-efficient on-chip TCAM minimizer for IP lookup (HY), pp. 926–931.
DATE-2010-Zhu #algorithm #multi #realtime: Retiming multi-rate DSP algorithms to meet real-time requirement (XYZ), pp. 1785–1790.
DocEng-2010-GuimaraesCB #personalisation #web: Creating and sharing personalized time-based annotations of videos on the web (RLG, PC, DCAB), pp. 27–36.
DRR-2010-YinBA #classification #documentation #optimisation: Time and space optimization of document content classifiers (DY, HSB, CA), pp. 1–10.
SIGMOD-2010-BiemBFRRVKM #realtime #scalability: IBM infosphere streams for scalable, real-time, intelligent transportation services (AB, EB, HF, AR, AR, OV, HNK, CM), pp. 1093–1104.
SIGMOD-2010-MoonCZ #architecture #evolution #optimisation #query #scalability #transaction: Scalable architecture and query optimization fortransaction-time DBs with evolving schemas (HJM, CC, CZ), pp. 207–218.
SIGMOD-2010-MueenNL #approximate #correlation #performance: Fast approximate correlation for massive time-series data (AM, SN, JL), pp. 171–182.
SIGMOD-2010-RastogiN #distributed #encryption: Differentially private aggregation of distributed time-series with transformation and encryption (VR, SN), pp. 735–746.
VLDB-2010-AilamakiHJMOW: Time for Our Field to Grow Up (AA, LMH, HVJ, DM, MTÖ, MW), p. 1658.
VLDB-2010-FanLMTWW #graph #pattern matching #polynomial: Graph Pattern Matching: From Intractable to Polynomial Time (WF, JL, SM, NT, YW, YW), pp. 264–275.
VLDB-2010-HentschelHM #integration: Just-in-time Data Integration in Action (MH, LMH, RJM), pp. 1621–1624.
VLDB-2010-LiPF #linear: Parsimonious Linear Fingerprinting for Time Series (LL, BAP, CF), pp. 385–396.
VLDB-2010-MahPC #algorithm #functional #named #realtime #set: UASMAs: a set of algorithms to instantaneously map SNPs in real time to aid functional SNP discovery (JM, DP, SC), pp. 1406–1413.
VLDB-2010-SettyBBW #identification #named: InZeit: Efficiently Identifying Insightful Time Points (VS, SJB, KB, GW), pp. 1605–1608.
VLDB-2010-SrivastavaGGJSSSY #data analysis #realtime: Enabling Real Time Data Analysis (DS, LG, RG, TJ, JS, VS, OS, JY), pp. 1–2.
VLDB-2010-StrotgenG #documentation #named: TimeTrails: A System for Exploring Spatio-Temporal Information in Documents (JS, MG), pp. 1569–1572.
VLDB-2010-WangREW #health #realtime: Active Complex Event Processing: Applications in Real-Time Health Care (DW, EAR, RTE, HW), pp. 1545–1548.
ESOP-2010-BaillotGM #functional #linear #logic: A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.
FASE-2010-BoronatO #model transformation #realtime: Formal Real-Time Model Transformations in MOMENT2 (AB, PCÖ), pp. 29–43.
TACAS-2010-MalinowskiN #automaton #bound #model checking #partial order #satisfiability #semantics: SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata (JM, PN), pp. 405–419.
TACAS-2010-MoyA #calculus #problem #realtime: Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions (MM, KA), pp. 358–372.
TACAS-2010-ValmariF #markov: Simple O(m logn) Time Markov Chain Lumping (AV, GF), pp. 38–52.
WRLA-2010-RiveraDV #behaviour #domain-specific language #on the #realtime #semantics #visual notation: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
CSMR-2010-LanzaHG #collaboration #development #process #realtime #visualisation: Supporting Collaboration Awareness with Real-Time Visualization of Development Activity (ML, LH, AG), pp. 202–211.
ICPC-2010-BarbourYZ #clone detection #detection #scalability: A Technique for Just-in-Time Clone Detection in Large Scale Systems (LB, HY, YZ), pp. 76–79.
ICSM-2010-CanforaCCP #detection #empirical #logic #multi #using: Using multivariate time series and association rules to detect logical change coupling: An empirical study (GC, MC, LC, MDP), pp. 1–10.
WCRE-2010-PerscheidSHGH #analysis #behaviour #online #runtime: Immediacy through Interactivity: Online Analysis of Run-time Behavior (MP, BS, RH, FG, MH), pp. 77–86.
PEPM-2010-RudolphT #bytecode #code generation #named #runtime #type safety: Mnemonics: type-safe bytecode generation at run time (JR, PT), pp. 15–24.
PLDI-2010-PizloZMHBV #garbage collection #named #realtime: Schism: fragmentation-tolerant real-time garbage collection (FP, LZ, PM, ALH, EB, JV), pp. 146–159.
SAS-2010-Emerson: Time of Time (EAE), p. 1.
STOC-2010-BurgisserC #equation #polynomial #problem: Solving polynomial equations in smoothed polynomial time and a near solution to smale’s 17th problem (PB, FC), pp. 503–512.
STOC-2010-DellM #polynomial #satisfiability: Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses (HD, DvM), pp. 251–260.
STOC-2010-GilbertLPS #approximate #metric #optimisation: Approximate sparse recovery: optimizing time and measurements (ACG, YL, EP, MJS), pp. 475–484.
STOC-2010-GoelKK #graph: Perfect matchings in o(n log n) time in regular bipartite graphs (AG, MK, SK), pp. 39–46.
STOC-2010-MicciancioV #algorithm #exponential #problem: A deterministic single exponential time algorithm for most lattice problems based on voronoi cell computations (DM, PV), pp. 351–358.
FLOPS-2010-ThiemannS #combinator #generative #polymorphism: Tag-Free Combinators for Binding-Time Polymorphic Program Generation (PT, MS), pp. 87–102.
DLT-J-2008-GawrychowskiKRS10 #context-free grammar #polynomial: Finding the Growth Rate of a Regular or Context-Free Language in Polynomial Time (PG, DK, NR, JS), pp. 597–618.
CIAA-2010-ReidenbachS #polynomial #regular expression #scalability: A Polynomial Time Match Test for Large Classes of Extended Regular Expressions (DR, MLS), pp. 241–250.
ICALP-v1-2010-Ambos-SpiesB #exponential: Weak Completeness Notions for Exponential Time (KAS, TB), pp. 503–514.
ICALP-v1-2010-DellHW #complexity #exponential #polynomial: Exponential Time Complexity of the Permanent and the Tutte Polynomial (HD, TH, MW), pp. 426–437.
ICALP-v1-2010-EisenbrandHNSVW #realtime #scheduling: Scheduling Periodic Tasks in a Hard Real-Time Environment (FE, NH, MN, MS, JV, AW), pp. 299–311.
ICALP-v1-2010-Woodruff #polynomial: Additive Spanners in Nearly Quadratic Time (DPW), pp. 463–474.
ICALP-v2-2010-OuaknineW #bound #formal method #towards #verification: Towards a Theory of Time-Bounded Verification (JO, JW), pp. 22–37.
LATA-2010-SaeedloeiG #induction #realtime #verification: Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) (NS, GG), pp. 536–548.
IFM-2010-Faber #architecture #composition #realtime #reasoning #verification: Verification Architectures: Compositional Reasoning for Real-Time Systems (JF), pp. 136–151.
SEFM-2010-GothelG #automation #invariant #network #realtime #towards #using #verification: Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants (TG, SG), pp. 310–314.
SEFM-2010-HakimipourSW #java #named #realtime: TART: Timed-Automata to Real-Time Java Tool (NH, PAS, AJW), pp. 299–309.
SEFM-2010-KokashKV #analysis #modelling #visual notation: Time and Data-Aware Analysis of Graphical Service Models in Reo (NK, CK, EPdV), pp. 125–134.
SEFM-2010-WeiWB #design: A Timed Model of Circus with the Reactive Design Miracle (KW, JW, AB), pp. 315–319.
ICGT-2010-LaraGBHT #graph transformation #simulation: Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
CHI-2010-EngstromJPB #realtime: Temporal hybridity: footage with instant replay in real time (AE, OJ, MJP, MB), pp. 1495–1504.
CHI-2010-FerrisWB #named #realtime: OneBusAway: results from providing real-time arrival information for public transit (BF, KW, AB), pp. 1807–1816.
CHI-2010-HornofZH #multimodal: Knowing where and when to look in a time-critical multimodal dual task (AJH, YZ, TH), pp. 2103–2112.
CHI-2010-HuhtalaSMIH #case study #mobile #user interface: Animated UI transitions and perception of time: a user study on animated effects on a mobile screen (JH, AHS, JM, MI, JH), pp. 1339–1342.
CHI-2010-JensenLWCSD #case study: The life and times of files and information: a study of desktop provenance (CJ, HL, EW, JC, MS, TGD), pp. 767–776.
CHI-2010-PanJYPQ #automation #communication #comprehension #quality #realtime: Effects of automated transcription quality on non-native speakers’ comprehension in real-time computer-mediated communication (YP, DJ, LY, MP, YQ), pp. 1725–1734.
CHI-2010-SauroL #question #testing #usability #what: Average task times in usability tests: what to report? (JS, JRL), pp. 2347–2350.
CSCW-2010-CaoSBKED #communication #comprehension #product line: Understanding family communication across time zones (XC, AS, AJBB, DSK, DE, XD), pp. 155–158.
CSCW-2010-TuckerBRW #named: Catchup: a useful application of time-travel in meetings (ST, OB, AR, SW), pp. 99–102.
SOFTVIS-2010-JeanA #named #prototype #realtime #visual notation: VIPERS: visual prototyping environment for real-time imaging systems (FJ, ABA), pp. 211–212.
AdaEurope-2010-AnderssonP #ada #algorithm #implementation #manycore #realtime #scheduling #using: Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 (BA, LMP), pp. 54–67.
AdaEurope-2010-Baker #manycore #question #realtime #reliability #what: What to Make of Multicore Processors for Reliable Real-Time Systems? (TPB), pp. 1–18.
AdaEurope-2010-MartinezBD #component #realtime #scheduling: Scheduling Configuration of Real-Time Component-Based Applications (PLM, LB, JMD), pp. 181–195.
AdaEurope-2010-MezzettiPV #ada: Preservation of Timing Properties with the Ada Ravenscar Profile (EM, MP, TV), pp. 153–166.
AdaEurope-2010-PastorASA #approach #modelling #realtime #sequence #towards #using: Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach (JAP, DA, PS, BÁ), pp. 167–180.
AdaEurope-2010-SangorrinHPG #distributed #flexibility #realtime #transaction: Managing Transactions in Flexible Distributed Real-Time Systems (DS, MGH, HP, JJG), pp. 251–264.
AdaEurope-2010-WellingsB #ada #evolution #programming #realtime: The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 (AJW, AB), pp. 196–207.
SIGAda-2010-BradleyPZ #ada #development #realtime #using: Real-time system development in ada using LEGO® mindstorms® NXT (PJB, JAdlP, JZ), pp. 37–40.
SIGAda-2010-McCormick #ada #embedded #parallel #realtime: Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.
SIGAda-2010-Pettit #ada #concurrent #design #embedded #realtime #uml #using: Designing real-time, concurrent, and embedded software systems using UML and Ada (RGPI), pp. 7–8.
SIGAda-2010-RasC #runtime: A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller (JR, AMKC), pp. 13–22.
ICEIS-AIDSS-2010-AhdabG #learning #network #performance: Efficient Learning of Dynamic Bayesian Networks from Timed Data (AA, MLG), pp. 226–231.
ICEIS-AIDSS-2010-BenayadiG #framework #mining #sequence: Mining Timed Sequences with TOM4L Framework (NB, MLG), pp. 111–120.
ICEIS-AIDSS-2010-SantosBC #composition #concept #named #ontology #plugin: FONTE — A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts (JS, LB, AGC), pp. 93–102.
ICEIS-AIDSS-2010-VialeBGP #approach #modelling #process #scalability #sequence #using: Modeling Large Scale Manufacturing Process from Timed Data — Using the TOM4L Approach and Sequence Alignment Information for Modeling STMicroelectronics’ Production Processes (PV, NB, MLG, JP), pp. 129–138.
ICEIS-HCI-2010-VinhasOR #assessment #automation #interface #multi #named #realtime: BioStories — Dynamic Multimedia Interfaces based on Automatic Real-time User Emotion Assessment (VV, ECO, LPR), pp. 21–29.
ICEIS-ISAS-2010-MakniHYT #constraints #modelling #workflow: Modeling Time Constraints in Inter-organizational Workflows (MM, NBHA, MMY, ST), pp. 221–229.
ICEIS-J-2010-MoralesTP10a #composition #formal method #process #verification: A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes (LEMM, MICT, MAP), pp. 388–403.
ICEIS-J-2010-VinhasOR10a #assessment #multi #named #realtime: BioStories: Dynamic Multimedia Environments Based on Real-Time Audience Emotion Assessment (VV, ECO, LPR), pp. 512–525.
CIKM-2010-ChenJPL #algorithm #database #mining #performance #scalability: An efficient algorithm for mining time interval-based patterns in large database (YCC, JCJ, WCP, SYL), pp. 49–58.
CIKM-2010-DemartiniMBZ #named: TAER: time-aware entity retrieval-exploiting the past to find relevant entities in news articles (GD, MMSM, RB, HZ), pp. 1517–1520.
CIKM-2010-GargNB #algorithm #memory management #performance #realtime: Real-time memory efficient data redundancy removal algorithm (VKG, AN, SB), pp. 1259–1268.
CIKM-2010-KamathC #identification #realtime #web: Identifying hotspots on the real-time web (KYK, JC), pp. 1837–1840.
CIKM-2010-MoonLCLZC #feedback #learning #online #ranking #realtime #using: Online learning for recency search ranking using real-time user feedback (TM, LL, WC, CL, ZZ, YC), pp. 1501–1504.
CIKM-2010-ShangCSCH #towards: (k, P)-anonymity: towards pattern-preserving anonymity of time-series data (XS, KC, LS, GC, TH), pp. 1333–1336.
CIKM-2010-ZhaoAY #composition #nondeterminism #on the #set: On wavelet decomposition of uncertain time series data sets (YZ, CCA, PSY), pp. 129–138.
ECIR-2010-AlonsoBBW #named: NEAT: News Exploration Along Time (OA, KB, SJB, GW), p. 667.
ECIR-2010-AnderkaSP #bound #similarity #why: Cross-Language High Similarity Search: Why No Sub-linear Time Bound Can Be Expected (MA, BS, MP), pp. 640–644.
ICML-2010-BshoutyL #clustering #linear #using: Finding Planted Partitions in Nearly Linear Time using Arrested Spectral Clustering (NHB, PML), pp. 135–142.
ICML-2010-ChenW #modelling: Dynamical Products of Experts for Modeling Financial Time Series (YC, MW), pp. 207–214.
ICML-2010-DondelingerLH #flexibility #information management #network: Heterogeneous Continuous Dynamic Bayesian Networks with Flexible Structure and Inter-Time Segment Information Sharing (FD, SL, DH), pp. 303–310.
ICML-2010-El-HayCFK: Continuous-Time Belief Propagation (TEH, IC, NF, RK), pp. 343–350.
ICML-2010-LiuNLL #analysis #graph #learning #relational: Learning Temporal Causal Graphs for Relational Time-Series Analysis (YL, ANM, ACL, YL), pp. 687–694.
ICPR-2010-AmcalarC #design #evaluation #human-computer #implementation #interface #realtime: Design, Implementation and Evaluation of a Real-Time P300-based Brain-Computer Interface System (AA, MÇ), pp. 117–120.
ICPR-2010-ChiuHW #clustering: AP-Based Consensus Clustering for Gene Expression Time Series (TYC, TCH, JSW), pp. 2512–2515.
ICPR-2010-EklundAOYK #communication #interface #realtime #using: A Brain Computer Interface for Communication Using Real-Time fMRI (AE, MTA, HO, AY, HK), pp. 3665–3669.
ICPR-2010-FahnC #algorithm #realtime #recognition: Real-Time Upper-Limbs Posture Recognition Based on Particle Filters and AdaBoost Algorithms (CSF, SLC), pp. 3854–3857.
ICPR-2010-FaselB #network #realtime #speech: Deep Belief Networks for Real-Time Extraction of Tongue Contours from Ultrasound During Speech (IF, JB), pp. 1493–1496.
ICPR-2010-Fuchs #image #multi: Multipath Interference Compensation in Time-of-Flight Camera Images (SF), pp. 3583–3586.
ICPR-2010-GilPT #adaptation #analysis #integration #visual notation: Analysis and Adaptation of Integration Time in PMD Camera for Visual Servoing (PG, JP, FT), pp. 311–315.
ICPR-2010-HiraiUK #performance #realtime: Real-Time Pose Regression with Fast Volume Descriptor Computation (MH, NU, MK), pp. 1852–1855.
ICPR-2010-JanneyG #framework #image #realtime: IFLT Based Real-Time Framework for Image Matching (PJ, GG), pp. 2242–2245.
ICPR-2010-KanetoNB #estimation #realtime #using: Real-Time User Position Estimation in Indoor Environments Using Digital Watermarking for Audio Signals (RK, YN, NB), pp. 97–100.
ICPR-2010-KimCKA #image: Spatial and Temporal Enhancement of Depth Images Captured by a Time-of-Flight Depth Sensor (SYK, JHC, AK, MAA), pp. 2358–2361.
ICPR-2010-Kita #modelling: Background Modeling by Combining Joint Intensity Histogram with Time-sequential Data (YK), pp. 991–994.
ICPR-2010-LewandowskiRMN #reduction: Temporal Extension of Laplacian Eigenmaps for Unsupervised Dimensionality Reduction of Time Series (ML, JMdR, DM, JCN), pp. 161–164.
ICPR-2010-LinLCH #3d #gesture #modelling #multi #realtime: Real-Time 3D Model-Based Gesture Tracking for Multimedia Control (SYL, YCL, LWC, YPH), pp. 3822–3825.
ICPR-2010-LiP10a #analysis #classification #monitoring #realtime: Human State Classification and Predication for Critical Care Monitoring by Real-Time Bio-signal Analysis (XL, FP), pp. 2460–2463.
ICPR-2010-LiPG #detection #evaluation #realtime: Real-Time Traffic Sign Detection: An Evaluation Study (YL, SP, WG), pp. 3033–3036.
ICPR-2010-MicoO #algorithm #constant #nearest neighbour #performance: A Constant Average Time Algorithm to Allow Insertions in the LAESA Fast Nearest Neighbour Search Index (LM, JO), pp. 3911–3914.
ICPR-2010-NguyenD10a #linear: Circularity Measuring in Linear Time (TPN, IDR), pp. 2098–2101.
ICPR-2010-Perez-CarrascoSASL #network #realtime: Spike-Based Convolutional Network for Real-Time Processing (JAPC, CS, BA, TSG, BLB), pp. 3085–3088.
ICPR-2010-QuWL #difference #image #recognition #using: Action Recognition Using Space-Time Shape Difference Images (HQ, LW, CL), pp. 3661–3664.
ICPR-2010-SadekAMS #automation #realtime #recognition #using: Real-Time Automatic Traffic Accident Recognition Using HFG (SS, AAH, BM, US), pp. 3348–3351.
ICPR-2010-ShiGW #detection #realtime: Real-Time Abnormal Event Detection in Complicated Scenes (YS, YG, RW), pp. 3653–3656.
ICPR-2010-StephaniJRH #automation #detection: Automatically Detecting Peaks in Terahertz Time-Domain Spectroscopy (HS, JJ, CR, BH), pp. 4468–4471.
ICPR-2010-TopalAG #approach #detection #heuristic #realtime #robust: Edge Drawing: A Heuristic Approach to Robust Real-Time Edge Detection (CT, CA, YG), pp. 2424–2427.
ICPR-2010-ZhangZZZ #classification #kernel #metric #using: Time Series Classification Using Support Vector Machine with Gaussian Elastic Metric Kernel (DZ, WZ, DZ, HZ), pp. 29–32.
ICPR-2010-ZhouWH #2d #3d #realtime #using: Real-Time 3D Face and Facial Action Tracking Using Extended 2D+3D AAMs (MZ, YW, XH), pp. 3963–3966.
KDD-2010-AgarwalCE #learning #online #performance #recommendation: Fast online learning through offline initialization for time-sensitive recommendation (DA, BCC, PE), pp. 703–712.
KDD-2010-MueenK #maintenance #online: Online discovery and maintenance of time series motifs (AM, EJK), pp. 1089–1098.
KDD-2010-SarangiM #named #nondeterminism #similarity: DUST: a generalized notion of similarity between uncertain time series (SRS, KM), pp. 383–392.
KDD-2010-TanTSLW #graph #social: Social action tracking via noise tolerant time-varying factor graphs (CT, JT, JS, QL, FW), pp. 1049–1058.
KDD-2010-ZhangSZL #corpus #correlation #multi #process: Evolutionary hierarchical dirichlet processes for multiple correlated time-varying corpora (JZ, YS, CZ, SL), pp. 1079–1088.
KDIR-2010-PalmeriniRMCV #feature model: Feature Selection for the Instrumented Timed Up and Go in Parkinson’s Disease (LP, LR, SM, LC, FV), pp. 95–99.
KDIR-2010-SinghMG #feedback #query #realtime: Dynamic Query Expansion based on User’s Real Time Implicit Feedback (SRS, HAM, TAG), pp. 112–121.
KDIR-2010-ZakourSMM #constraints: Time Constraints Extension on Frequent Sequential Patterns (ABZ, MS, SM, MM), pp. 281–287.
KMIS-2010-BachlechnerKMW #information management: Taking Pressure off Knowledge Workers with the Help of Situational Applications — Improving Time-to-proficiency in Knowledge Work Settings (DB, MK, RM, GW), pp. 378–381.
KMIS-2010-PortelaSVRSN #realtime: Real-time Intelligent Decision Support in Intensive Medicine (FP, MS, MVB, FR, ÁMS, JN), pp. 44–50.
KR-2010-BelardinelliL #first-order #interactive #logic #multi: Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems (FB, AL).
RecSys-2010-EsparzaOS #on the #realtime #recommendation #web: On the real-time web as a source of recommendation knowledge (SGE, MPO, BS), pp. 305–308.
RecSys-2010-PessemierDDM #algorithm #collaboration #dependence #quality: Time dependency of data quality for collaborative filtering algorithms (TDP, SD, TD, LM), pp. 281–284.
SEKE-2010-KhwajaU #execution #implementation #realtime #specification: Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
SEKE-2010-SieglGH #modelling #testing #variability: Introduction of Time and Timing Variability in Usage Model based Testing (SS, RG, KSJH), pp. 61–66.
SEKE-2010-WangHW #analysis #petri net #process: A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.
SEKE-2010-WangXLS #debugging #optimisation #probability: A Stochastic Model for Optimizing the Patching Time of Software Bugs (YW, DX, WML, DBS), pp. 88–92.
SIGIR-2010-ChenMCRH #detection #rank #web: Web page publication time detection and its application for page rank (ZC, JM, CC, HR, SH), pp. 859–860.
SIGIR-2010-LiuWD #analysis #behaviour #comprehension #web: Understanding web browsing behaviors through Weibull analysis of dwell time (CL, RWW, STD), pp. 379–386.
SIGIR-2010-Popescu-BelisKPNBW #automation #multi #retrieval #speech: Automatic content linking: speech-based just-in-time retrieval for multimedia archives (APB, JK, PP, AN, EB, JdW), p. 703.
MoDELS-v1-2010-IqbalAB<