BibSLEIGH — realtime tag

realtime

realtime

Tag #realtime

1751 papers:

PADL-2020-ShivkumarMZ #named #runtime: RTMLton: An SML Runtime for Real-Time Systems (BS, JCM, LZ), pp. 113–130.
ASPLOS-2020-NiuMLWQLWR #execution #mobile #named: PatDNN: Achieving Real-Time DNN Execution on Mobile Devices with Pattern-based Weight Pruning (WN, XM, SL, SW, XQ, XL, YW, BR), pp. 907–922.
AIIDE-2019-Marino #game studies #learning #programming #search-based: Learning Strategies for Real-Time Strategy Games with Genetic Programming (JRHM), pp. 219–220.
AIIDE-2019-YangO #game studies #monte carlo: Guiding Monte Carlo Tree Search by Scripts in Real-Time Strategy Games (ZY, SO), pp. 100–107.
CoG-2019-DingliB #adaptation #artificial reality #reduction: Realtime Adaptive Virtual Reality for Pain Reduction (AD, LB), pp. 1–4.
VS-Games-2019-KirakosianMM #3d #simulation: Immersive Simulation and Training of Person-to-3D Character Dance in Real-Time (SK, EM, KM), pp. 1–4.
CIKM-2019-LiYH #clustering #graph: Real-time Edge Repartitioning for Dynamic Graph (HL, HY, JH), pp. 2125–2128.
CIKM-2019-LuYGWLC #clustering #learning: Reinforcement Learning with Sequential Information Clustering in Real-Time Bidding (JL, CY, XG, LW, CL, GC), pp. 1633–1641.
CIKM-2019-ShanahanD #detection #pipes and filters: Realtime Object Detection via Deep Learning-based Pipelines (JGS, LD), pp. 2977–2978.
CIKM-2019-WangJH0YZWHWLXG #adaptation #learning: Learning Adaptive Display Exposure for Real-Time Advertising (WW, JJ, JH, CC0, CY, WZ0, JW0, XH, YW, HL, JX, KG), pp. 2595–2603.
CIKM-2019-ZhangYWH #automation #e-commerce #learning #named #ranking: Autor3: Automated Real-time Ranking with Reinforcement Learning in E-commerce Sponsored Search Advertising (YZ, ZY, LW, LH), pp. 2499–2507.
ICML-2019-BenzingGMMS #approximate #learning: Optimal Kronecker-Sum Approximation of Real Time Recurrent Learning (FB, MMG, AM, AM, AS), pp. 604–613.
KDD-2019-BiswasPVSN #interactive #named: Seeker: Real-Time Interactive Search (AB, TTP, MV, BS, HN), pp. 2867–2875.
KDD-2019-ChenLBCZLTWDCSW: Gmail Smart Compose: Real-Time Assisted Writing (MXC, BNL, GB, YC, SZ, JL, JT, YW, AMD, ZC, TS, YW), pp. 2287–2295.
KDD-2019-Ding0LXZSJS #recommendation: Infer Implicit Contexts in Real-time Online-to-Offline Recommendation (XD, JT0, TXL, CX, YZ, FS, QJ, DS), pp. 2336–2346.
KDD-2019-FedoryszakFRZ #data type #detection #social: Real-time Event Detection on Social Data Streams (MF, BF, VR, CZ), pp. 2774–2782.
KDD-2019-GrislainPT #network #probability: Recurrent Neural Networks for Stochastic Control in Real-Time Bidding (NG, NP0, AT), pp. 2801–2809.
KDD-2019-GuoHJZW0 #behaviour #multi #network #predict #using: Buying or Browsing?: Predicting Real-time Purchasing Intent using Attention-based Deep Network with Multiple Behavior (LG, LH, RJ, BZ, XW, BC0), pp. 1984–1992.
KDD-2019-LinSQL0ZJ #precise #process #robust: Robust Gaussian Process Regression for Real-Time High Precision GPS Signal Enhancement (ML, XS, QQ, HL, LS0, SZ, RJ), pp. 2838–2847.
KDD-2019-LiuGZL #recommendation: Real-time Attention Based Look-alike Model for Recommender System (YL, KG, XZ, LL), pp. 2765–2773.
KDD-2019-OchiaiSYTF #recommendation #smarttech: Real-time On-Device Troubleshooting Recommendation for Smartphones (KO, KS, NY, YT, YF), pp. 2783–2791.
KDD-2019-RenQZY00: Deep Landscape Forecasting for Real-time Bidding Advertising (KR, JQ, LZ, ZY, WZ0, YY0), pp. 363–372.
KDD-2019-Yeh0DDNK #monitoring #online: Online Amnestic DTW to allow Real-Time Golden Batch Monitoring (CCMY, YZ0, HAD, AD, MN, EJK), pp. 2604–2612.
ASE-2019-ZhengLZLZD #detection #feedback #named #online #scalability: iFeedback: Exploiting User Feedback for Real-Time Issue Detection in Large-Scale Online Service Systems (WZ, HL, YZ, JL, HZ, YD), pp. 352–363.
CASE-2019-ChangLH #coordination #detection #network #using: Real-Time Object Coordinate Detection and Manipulator Control Using Rigidly Trained Convolutional Neural Networks (YMC, CHGL, YFH), pp. 1347–1352.
CASE-2019-ChenJD #analysis #flexibility #geometry #performance: Real-Time Performance Analysis of Batch-Based Serial Flexible Production Lines With Geometric Machines (JC, ZJ, YD), pp. 97–102.
CASE-2019-CunhaL #energy #optimisation: Real-Time Path-Constrained Trajectory Tracking for Robot Manipulators with Energy Budget Optimization (DVC, FL), pp. 1327–1332.
CASE-2019-HongCL #learning #locality #mobile #using: Real-time Visual-Based Localization for Mobile Robot Using Structured-View Deep Learning (YFH, YMC, CHGL), pp. 1353–1358.
CASE-2019-HuCZ #adaptation #distributed #multi #scheduling: Adaptive Real-Time Scheduling of Dynamic Multiple-Criticality Applications on Heterogeneous Distributed Computing Systems (BH, ZC, LZ), pp. 897–903.
CASE-2019-KangJ #health #optimisation #process #sequence: Joint Optimization of Operating Mode and Part Sequence for Robot Loading Process Considering Real-time Health Condition (YK, FJ), pp. 48–53.
CASE-2019-LugaresiAFM #approach #modelling #novel #validation: Real-time Validation of Digital Models for Manufacturing Systems: a Novel Signal-processing-based Approach (GL, GA, FF, AM), pp. 450–455.
CASE-2019-QamsaneCBKMMTB #evaluation #framework #monitoring: A Unified Digital Twin Framework for Real-time Monitoring and Evaluation of Smart Manufacturing Systems (YQ, CYC, ECB, BCK, SM, JRM, DMT, KB), pp. 1394–1401.
CASE-2019-RaineriB #bound: Jerk limited planner for real-time applications requiring variable velocity bounds (MR, CGLB), pp. 1611–1617.
CASE-2019-SihiteYB #validation: Derivation of a new drive/coast motor driver model for real-time brushed DC motor control, and validation on a MIP robot (ENS, DJY, TRB), pp. 1099–1105.
CASE-2019-WangJRH #image #scalability #using: Real-time control for large scale additive manufacturing using thermal images (FW, FJ, KR, NH), pp. 36–41.
CASE-2019-YangLYK #classification #learning: Investigation of Deep Learning for Real-Time Melt Pool Classification in Additive Manufacturing (ZY, YL, HY, SK), pp. 640–647.
ICST-2019-TannoI #debugging #interactive #source code: Suspend-Less Debugging for Interactive and/or Realtime Programs (HT, HI), pp. 194–205.
SANER-2018-Franzio0LB #assessment #named #quality: RETICULA: Real-time code quality assessment (LF, BL0, ML, GB), pp. 542–546.
FM-2018-LarsenLN #validation: 20 Years of Real Real Time Model Validation (KGL, FL, BN), pp. 22–36.
AIIDE-2018-MoraesML #game studies: Nested-Greedy Search for Adversarial Real-Time Games (ROM, JRHM, LHSL), pp. 67–73.
CHI-PLAY-2018-CharleerGGCLV: Real-Time Dashboards to Support eSports Spectating (SC, KG, FG, HC, BL, KV), pp. 59–71.
CIG-2018-AndersenGG #game studies #learning: Deep RTS: A Game Environment for Deep Reinforcement Learning in Real-Time Strategy Games (PAA, MG, OCG), pp. 1–8.
CIG-2018-BulitkoD #heuristic #learning: Anxious Learning in Real-Time Heuristic Search (VB, KD), pp. 1–4.
CIG-2018-DubeyGLL #multi #optimisation: Evolutionary Multi-objective Optimization of Real-Time Strategy Micro (RD, JG, SJL, SL0), pp. 1–8.
CIG-2018-RodgersLA #game studies: Ensemble Decision Making in Real-Time Games (PR, JL, DA), pp. 1–8.
CIG-2018-SigurdsonB0HK #heuristic #multi: Multi-Agent Pathfinding with Real-Time Heuristic Search (DS, VB, WY0, CH, SK), pp. 1–8.
CIG-2018-TavaresC #game studies #learning: Tabular Reinforcement Learning in Real-Time Strategy Games via Options (ART, LC), pp. 1–8.
CIG-2018-YangO #evaluation #game studies #independence #learning: Learning Map-Independent Evaluation Functions for Real-Time Strategy Games (ZY, SO), pp. 1–7.
FDG-2018-TrumanRRM #artificial reality #game studies: Rethinking real-time strategy games for virtual reality (ST, NR, DR0, SvM), p. 6.
CIKM-2018-DingLX0S #machine learning #optimisation: Optimizing Boiler Control in Real-Time with Machine Learning for Sustainability (YD, JL, JX, MJ0, YS), pp. 2147–2154.
CIKM-2018-JinSLGWZ #learning #multi: Real-Time Bidding with Multi-Agent Reinforcement Learning in Display Advertising (JJ, CS, HL, KG, JW0, WZ0), pp. 2193–2201.
CIKM-2018-TangTDJG #detection #on the: On Real-time Detecting Passenger Flow Anomalies (BT, HT, XD, BJ, TG), pp. 1053–1062.
ECIR-2018-Martinez-Castano #approach #detection #modelling #social #social media: A Micromodule Approach for Building Real-Time Systems with Python-Based Models: Application to Early Risk Detection of Depression on Social Media (RMC, JCP, DEL, FC), pp. 801–805.
ICPR-2018-AkdemirBS #locality #using: Real-time Vehicle Localization and Tracking Using Monocular Panomorph Panoramic Vision (BA, ANB, LMS), pp. 2350–2355.
ICPR-2018-ChanLK #mobile #recognition: Real-Time Texture-less Object Recognition on Mobile Devices (JC, JAL, QK), pp. 3273–3278.
ICPR-2018-YinLLCS #detection #multi: Cross Modal Multiscale Fusion Net for Real-time RGB-D Detection (KY, SL0, RL, YC, KS), pp. 2386–2391.
ICPR-2018-ZhangDW #multi #visual notation: Multi-layer CNN Features Aggregation for Real-time Visual Tracking (LZ, YD, YW), pp. 2404–2409.
ICPR-2018-ZhouWD #learning #online #robust: Online Learning of Spatial-Temporal Convolution Response for Robust Real-Time Tracking (JZ, RW, JD), pp. 1821–1826.
KDD-2018-0009QG0H #learning: Deep Reinforcement Learning for Sponsored Search Real-time Bidding (JZ0, GQ, ZG, WZ0, XH), pp. 1021–1030.
KDD-2018-GaoGYSTXWYRMC #optimisation: Near Real-time Optimization of Activity-based Notifications (YG, VG, JY, CS, ZT, PJX, CW, SY, RR, AM, SC), pp. 283–292.
KDD-2018-GrbovicC #personalisation #ranking #using: Real-time Personalization using Embeddings for Search Ranking at Airbnb (MG, HC), pp. 311–320.
KDD-2018-JauvionG: Optimal Allocation of Real-Time-Bidding and Direct Campaigns (GJ, NG), pp. 416–424.
KDD-2018-Raghavan #community #recommendation: Building Near Realtime Contextual Recommendations for Active Communities on LinkedIn (HR), p. 2874.
KDD-2018-RongXYM #big data #named: Du-Parking: Spatio-Temporal Big Data Tells You Realtime Parking Availability (YR, ZX, RY, XM), pp. 646–654.
KDD-2018-Valdez-VivasGKF #detection #distributed #framework #performance: A Real-time Framework for Detecting Efficiency Regressions in a Globally Distributed Codebase (MVV, CG, AK, EF, KG, SC), pp. 821–829.
KDD-2018-WuYC #learning: Deep Censored Learning of the Winning Price in the Real Time Bidding (WCHW, MYY, MSC), pp. 2526–2535.
MoDELS-2018-AhmadiPD #embedded #modelling #slicing #uml: Slicing UML-based Models of Real-time Embedded Systems (RA, EP, JD), pp. 346–356.
AdaEurope-2018-GutierrezP #distributed #scheduling #theory and practice: Theory and Practice of EDF Scheduling in Distributed Real-Time Systems (JJG, HP0), pp. 123–137.
GPCE-2018-LiuAT #automation #constraints #execution #named #refactoring: RT-trust: automated refactoring for trusted execution under real-time constraints (YL, KA, ET), pp. 175–187.
CASE-2018-Huang0ZAX #maintenance: Real-time Control of Maintenance on Deteriorating Manufacturing System (JH0, QC0, JZ, JA, GX), pp. 211–216.
CASE-2018-KangYJ #analysis #performance #using: Real-time Production Performance Analysis Using Machine Degradation Signals: a Two-Machine Case (YK, HY, FJ), pp. 1501–1506.
CASE-2018-LiseliDKSG: Enhancing in-hand dexterous micro-manipulation for real-time applications (JBL, RD, PK, JAS, MG), pp. 1605–1611.
CASE-2018-LowO #hybrid #implementation #predict #using: Real-time Implementation of Nonlinear Model Predictive Control for Mechatronic Systems Using a Hybrid Model (SL, DO), pp. 164–167.
CASE-2018-SygullaWSBHWR #architecture: An EtherCAT-Based Real-Time Control System Architecture for Humanoid Robots (FS, RW, PS, TFCB, ACH, DW, DR), pp. 483–490.
CASE-2018-TelschigSK #architecture #distributed #embedded: A Real-Time Container Architecture for Dependable Distributed Embedded Applications (KT, AS, AK), pp. 1367–1374.
CASE-2018-WangLJ: Condition-based Real-time Production Control for Smart Manufacturing Systems (FW, YL, FJ), pp. 1052–1057.
CASE-2018-XuLS0L #recognition #self #using: Real-time Shape Recognition of a Deformable Link by Using Self-Organizing Map (SX, GL, DS, LS0, JL), pp. 586–591.
EDM-2017-ChenNSN #feedback #programming: Real-time programming exercise feedback in MOOCs (ZC, AN, AS, JN).
EDM-2017-Ortiz-VazquezLL #analysis #clustering #modelling: Cluster Analysis of Real Time Location Data - An Application of Gaussian Mixture Models (AOV, XL, CFL, HSC, GN).
DLT-2017-Grandjean #2d #difference: Differences Between 2D Neighborhoods According to Real Time Computation (AG), pp. 198–209.
AIIDE-2017-BarrigaSB #game studies #learning: Combining Strategic Learning with Tactical Search in Real-Time Strategy Games (NAB, MS, MB), pp. 9–15.
AIIDE-2017-OskouieB #algorithm #fault #heuristic #robust: Robustness of Real-Time Heuristic Search Algorithms to Read/Write Error in Externally Stored Heuristics (MAO, VB), pp. 137–143.
AIIDE-2017-SigurdsonB #algorithm #heuristic #learning: Deep Learning for Real-Time Heuristic Search Algorithm Selection (DS, VB), pp. 108–114.
CHI-PLAY-2017-NewnVAAV #game studies: Evaluating Real-Time Gaze Representations to Infer Intentions in Competitive Turn-Based Strategy Games (JN, EV, FA, YA, FV), pp. 541–552.
CIG-2017-UriarteO #game studies #generative: Single believe state generation for partially observable real-time strategy games (AU, SO), pp. 296–303.
VS-Games-2017-ZadGP #game studies: Swarm intelligence for autonomous cooperative agents in battles for real-time strategy games (DDZ, LBG, ITP), pp. 39–46.
CIKM-2017-ZhangWHCZ #estimation #named: RATE: Overcoming Noise and Sparsity of Textual Features in Real-Time Location Estimation (YZ, WW0, BH, KMC, YZ), pp. 2423–2426.
CIKM-2017-ZhiSLZ0 #database #named #using #verification #web: ClaimVerif: A Real-time Claim Verification System Using the Web and Fact Databases (SZ, YS, JL, CZ0, JH0), pp. 2555–2558.
ECIR-2017-AlbahemHTE #named #twitter: QweetFinder: Real-Time Finding and Filtering of Question Tweets (AA, MH, MT, TE), pp. 766–769.
ICML-2017-ArikCCDGKLMNRSS: Deep Voice: Real-time Neural Text-to-Speech (SÖA, MC, AC, GFD, AG, YK, XL, JM, AYN, JR, SS, MS), pp. 195–204.
ICML-2017-RippelB #adaptation #image: Real-Time Adaptive Image Compression (OR, LDB), pp. 2922–2930.
KDD-2017-ChahuaraGJR #optimisation #web: Real-Time Optimization of Web Publisher RTB Revenues (PC, NG, GJ, JMR), pp. 1743–1751.
KDD-2017-HillNLIV #algorithm #multi #optimisation #performance: An Efficient Bandit Algorithm for Realtime Multivariate Optimization (DNH, HN, YL0, AI, SVNV), pp. 1813–1821.
KDD-2017-LiuFMRSX #analysis #effectiveness #internet #process: Effective and Real-time In-App Activity Analysis in Encrypted Internet Traffic Streams (JL, YF, JM, YR, LS, HX), pp. 335–344.
AdaEurope-2017-DaiB #execution #predict #roadmap #worst-case: Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems (XD, AB), pp. 87–101.
ESEC-FSE-2017-BagherzadehHD #debugging #development #independence #modelling #platform: Model-level, platform-independent debugging in the context of the model-driven development of real-time systems (MB, NH, JD), pp. 419–430.
CASE-2017-ZhengLC #comparison #learning #policy: Comparison study of two reinforcement learning based real-time control policies for two-machine-one-buffer production system (WZ, YL, QC), pp. 1163–1168.
ECSA-2016-HassanQO #architecture #evolution #framework: Evolution Style: Framework for Dynamic Evolution of Real-Time Software Architecture (AH, AQ, MO0), pp. 166–174.
WICSA-2016-MonotOSW #architecture #embedded: Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead (AM, MO, CS, MW), pp. 201–210.
SANER-2016-SailerDLM #named #reverse engineering: CoreTAna: A Trace Analyzer for Reverse Engineering Real-Time Software (AS, MD, GL, JM), pp. 657–660.
AIIDE-2016-Bulitko #algorithm #heuristic: Per-Map Algorithm Selection in Real-Time Heuristic Search (VB), pp. 143–148.
AIIDE-2016-TavaresASC #game studies: Rock, Paper, StarCraft: Strategy Selection in Real-Time Strategy Games (ART, HA, AS, LC), pp. 93–99.
CIG-2016-DeWittLL #3d #evolution #game studies: Evolving micro for 3D Real-Time Strategy games (TD, SJL, SL0), pp. 1–8.
CIG-2016-Ontanon #game studies #monte carlo: Informed Monte Carlo Tree Search for Real-Time Strategy games (SO), pp. 1–8.
CIG-2016-SoemersSSW #game studies #monte carlo #video: Enhancements for real-time Monte-Carlo Tree Search in General Video Game Playing (DJNJS, CFS, TS, MHMW), pp. 1–8.
CIG-2016-StanescuBHB #game studies #network #using: Evaluating real-time strategy game states using convolutional neural networks (MS, NAB, AH, MB), pp. 1–7.
VS-Games-2016-KerlerVEM #named: Pheromander: Real-Time Strategy with Digital Pheromones (SK, JV, SE, SvM), pp. 1–4.
CIKM-2016-Duong-TrungSS #matrix #predict #twitter: Near Real-time Geolocation Prediction in Twitter Streams via Matrix Factorization Based Regression (NDT, NS, LST), pp. 1973–1976.
CIKM-2016-Ekstrand-AbuegM #case study #metric #summary: A Study of Realtime Summarization Metrics (MEA, RM, VP, FD0), pp. 2125–2130.
CIKM-2016-FanFYZ #adaptation #twitter: Adaptive Evolutionary Filtering in Real-Time Twitter Stream (FF, YF, LY, DZ0), pp. 1079–1088.
CIKM-2016-LinCWC #optimisation #predict: Combining Powers of Two Predictors in Optimizing Real-Time Bidding Strategy under Constrained Budget (CCL, KTC, WCHW, MSC), pp. 2143–2148.
CIKM-2016-LiuLNFTAKVPWMDV #detection #scalability #twitter #verification: Reuters Tracer: A Large Scale System of Detecting & Verifying Real-Time News Events from Twitter (XL, QL, AN, RF, MT, KA, RK, MV, SP, RW, RM, JD, AV, WK, SS), pp. 207–216.
CIKM-2016-MariappanPRDPR #assurance #named #quality: QART: A Tool for Quality Assurance in Real-Time in Contact Centers (RM, BP, PRR, SD, NP, SR), pp. 2493–2496.
ECIR-2016-MartinsMC #interface #twitter: Jitter Search: A News-Based Real-Time Twitter Search Interface (FM, JM, JC), pp. 841–844.
ECIR-2016-WangYZ #algorithm: Real-Time Bidding Based Display Advertising: Mechanisms and Algorithms (JW0, SY0, WZ0), pp. 897–901.
ICPR-2016-AhmedS #named #novel #video: StableFlow: A novel real-time method for digital video stabilization (AA, MSS), pp. 2965–2970.
ICPR-2016-DentamaroCG: Real time Artificial Auditory Systems for cluttered environments (GD, AC, CG), pp. 2234–2239.
ICPR-2016-HosseinKhaniKSH #image #random: Real-time removal of random value impulse noise in medical images (ZH, NK, SMRS, MH, SS, KW, KN), pp. 3916–3921.
ICPR-2016-LangenkamperN #architecture #classification #detection #learning #online: COATL - a learning architecture for online real-time detection and classification assistance for environmental data (DL, TWN), pp. 597–602.
ICPR-2016-PhamPCC #3d #robust: Robust real-time performance-driven 3D face tracking (HXP, VP, JC, TJC), pp. 1851–1856.
ICPR-2016-RapczynskiWA #estimation #latency: Continuous low latency heart rate estimation from painful faces in real time (MR, PW, AAH), pp. 1165–1170.
ICPR-2016-WangJ #artificial reality: Real time eye gaze tracking with Kinect (KW, QJ), pp. 2752–2757.
KDD-2016-MatsubaraS #co-evolution #sequence: Regime Shifts in Streams: Real-time Forecasting of Co-evolving Time Sequences (YM, YS), pp. 1045–1054.
MoDELS-2016-DasGJBHD #animation #code generation #development #embedded #modelling #monitoring #runtime: Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation (ND, SG, LJ, MB, NH, JD), pp. 36–43.
AdaEurope-2016-MeiGW #java: Real-Time Stream Processing in Java (HM0, IG, AJW), pp. 44–57.
AdaEurope-2016-MohaqeqiAY #analysis #data flow #graph #modelling #using: Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model (MM, JA, WY0), pp. 15–29.
AdaEurope-2016-PerezGHP #distributed #scheduling: The Polling Effect on the Schedulability of Distributed Real-Time Systems (HP0, JJG, MGH, JCP), pp. 179–194.
CASE-2016-AmannAS #online #predict: Online real-time scheduled model predictive feedforward control for impounded river reaches applied to the Moselle river (KUA, EA, OS), pp. 1276–1281.
CASE-2016-ArefOGM #mobile #navigation: Real-time vision-based navigation for nonholonomic mobile robots (MMA, RO, RG, JM), pp. 515–522.
CASE-2016-ChanCY #fault #interface #locality: BIM-enabled streamlined fault localization with system topology, RFID technology and real-time data acquisition interfaces (PSC, HYC, PHY), pp. 815–820.
CASE-2016-ChuSS #modelling #predict #probability: Stochastic Lagrangian Traffic flow modeling and real-time traffic prediction (KCC, RS, KS), pp. 213–218.
CBSE-2015-NandiMO #component #contract #probability #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: Real-time Multi-core Components for Cyber-physical Systems (MW, MO, AM), pp. 37–42.
QoSA-2015-XuWXZB #as a service #data analysis: Making Real Time Data Analytics Available as a Service (DX, DW, XX, LZ, LB), pp. 73–82.
SIGMOD-2015-ArmenatzoglouPN #approach #clustering #game studies #graph #multi #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: 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-HuangCZJX #named #recommendation: TencentRec: Real-time Stream Recommendation in Practice (YH, BC, WZ, JJ, YX), pp. 227–238.
VLDB-2015-GoelPABMFGMBL #architecture #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: Real Time Analytics: Algorithms and Systems (AK, SK, KR), pp. 2040–2051.
VLDB-2015-LarsonBHHNP #sql: Real-Time Analytical Processing with SQL Server (PÅL, AB, ENH, WH, MN, VP), pp. 1740–1751.
VLDB-2015-LiuDMM #named: 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: Real-time Targeted Influence Maximization for Online Advertisements (YL, DZ, KLT), pp. 1070–1081.
EDM-2015-MillsD #detection #online #towards: Toward a Real-time (Day) Dreamcatcher: Detecting Mind Wandering Episodes During Online Reading (CM, SKD), pp. 69–76.
ITiCSE-2015-KurkovskyM #student: Student Projects with Real-time Sensor Data (SK, MM), p. 344.
CIAA-2015-HeamJ15a #automaton #generative #random: Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata (PCH, JLJ), pp. 153–164.
FM-2015-Nakajima #behaviour #energy #maude #using: Using Real-Time Maude to Model Check Energy Consumption Behavior (SN), pp. 378–394.
AIIDE-2015-BarrigaSB #behaviour #game studies: Puppet Search: Enhancing Scripted Behavior by Look-Ahead Search with Applications to Real-Time Strategy Games (NAB, MS, MB), pp. 9–15.
AIIDE-2015-EngelsTC #automation #game studies #generative #music: Automatic Real-Time Music Generation for Games (SE, TT, FC), pp. 220–222.
CIG-2015-AsayamaMFN #game studies #performance #predict #video: Prediction as faster perception in a real-time fighting video game (KA, KM, KiF, MN), pp. 517–522.
CIG-2015-OliveiraM #game studies #performance #using: Creating efficient walls using potential fields in real-time strategy games (CFdO, CAGM), pp. 138–145.
CHI-2015-DamianTBSLA #behaviour #feedback #interactive #social #using: Augmenting Social Interactions: Realtime Behavioural Feedback using Social Signal Processing Techniques (ID, CSST, TB, JS, KL, EA), pp. 565–574.
CHI-2015-DehaisPSFG #automation: “Automation Surprise” in Aviation: Real-Time Solutions (FD, VP, SS, JF, TG), pp. 2525–2534.
CHI-2015-FaircloughKG #classification #interactive: 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: Ethermap: Real-time Collaborative Map Editing (TF, DW, CK), pp. 3583–3592.
CHI-2015-MatthewsSRCSLG #elicitation #representation: Real-Time Representation Versus Response Elicitation in Biosensor Data (MM, JS, LR, JTC, AS, JWL, GG), pp. 605–608.
CHI-2015-SharpKRTSKRLVWF #flexibility #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-XuRSSA #interface #quality: Real-time Guidance Camera Interface to Enhance Photo Aesthetic Quality (YX, JR, JS, GS, RA), pp. 1183–1186.
DHM-EH-2015-GieserBM #artificial reality #gesture #recognition #using: Real-Time Static Gesture Recognition for Upper Extremity Rehabilitation Using the Leap Motion (SNG, AB, FM), pp. 144–154.
DUXU-IXD-2015-AbyarjooOTOB #health #named #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 #women: 3D Real Time Virtual Fitting Room for Women (SB, CK, LS, PK, PB), pp. 162–171.
ICEIS-v1-2015-GharbiGB #approach #configuration management #embedded #hybrid #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.
CIKM-2015-ChenZSW #approach #eye tracking #modelling #query #topic: A Real-Time Eye Tracking Based Query Expansion Approach via Latent Topic Modeling (YC, PZ0, DS0, BW), pp. 1719–1722.
CIKM-2015-LiuNLFS #twitter: Real-time Rumor Debunking on Twitter (XL, AN, QL, RF, SS), pp. 1867–1870.
ECIR-2015-HopfgartnerB #recommendation: Join the Living Lab: Evaluating News Recommendations in Real-Time (FH, TB), pp. 826–829.
ECIR-2015-Martinez-Alvarez #information management #named: Signal: Advanced Real-Time Information Filtering (MMA, UK, WH, MP), pp. 793–796.
KDD-2015-HayashiMTK #detection #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 #using: Real-Time Bid Prediction using Thompson Sampling-Based Expert Selection (EI, SJ, AD), pp. 1869–1878.
KDD-2015-Kawamae #recommendation: Real Time Recommendations from Connoisseurs (NK), pp. 537–546.
KDD-2015-Ojjeh #open source #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: An Architecture for Agile Machine Learning in Real-Time Applications (JSS), pp. 2059–2068.
KDD-2015-WuYC #predict: Predicting Winning Price in Real Time Bidding with Censored Data (WCHW, MYY, MSC), pp. 1305–1314.
RecSys-2015-HopfgartnerKHT #recommendation: Real-time Recommendation of Streamed Data (FH, BK, TH, RT), pp. 361–362.
RecSys-2015-LerallutGR #recommendation #scalability: Large-Scale Real-Time Product Recommendation at Criteo (RL, DG, NLR), p. 232.
SEKE-2015-SalehianF #detection #embedded #monitoring: Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.
SAC-2015-AlyI #named #process #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: On the impact of entity linking in microblog real-time filtering (GB, DC, AE, DM), pp. 1066–1071.
SAC-2015-FonsecaNRP #execution #parallel: A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SAC-2015-KambonaBM #middleware #named #scalability #web: Serena: scalable middleware for real-time web applications (KK, EGB, WDM), pp. 802–805.
SAC-2015-LommatzschA #recommendation: Real-time recommendations for user-item streams (AL, SA), pp. 1039–1046.
CASE-2015-ArdakaniORJ #generative #predict #using: Real-time trajectory generation using model predictive control (MMGA, BO, AR, RJ), pp. 942–948.
CASE-2015-BasileCC #identification #modelling #petri net: Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.
CASE-2015-KobayashiH: Optimal real-time pricing of electricity with consideration for decrease in price effect (KK, KH), pp. 539–544.
CASE-2015-LinZW #predict #using: Using real-time sensing data for predicting future state of building fires (CCL, GZ, LLW), pp. 1313–1318.
CASE-2015-LiuFOCK: A real-time passive vision system for robotic arc welding (JL, ZF, SIO, KHC, JKK), pp. 389–394.
CASE-2015-OgunmoluGJG: 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 #simulation: Overcoming real time bond in high level simulation environments (RP, CT, GB, RB, CF), pp. 1644–1648.
CASE-2015-QiuSL #data access: Real time access control of patient service in the pediatrics department (YQ, JS, ZL), pp. 734–739.
CASE-2015-SaezMBT #analysis #hybrid #performance #simulation: Real-time hybrid simulation of manufacturing systems for performance analysis and control (MS, FPM, KB, DMT), pp. 526–531.
CASE-2015-ShiK: Real-time grasping planning for robotic bin-picking and kitting applications (JS, GSK), pp. 1632–1637.
CASE-2015-Yen #using: Optimize the flight path for airlines using real-time information (JRY), p. 1649.
CASE-2015-ZonEHJVSB #delivery #detection #multi #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: Designing time partitions for real-time hypervisor with sufficient temporal independence (MB, RE), p. 6.
DAC-2015-CavigelliMB #embedded #network: Accelerating real-time embedded scene labeling with convolutional networks (LC, MM, LB), p. 6.
DAC-2015-FernandezJAQVC #bound: Increasing confidence on measurement-based contention bounds for real-time round-robin buses (GF, JJ, JA, EQ, TV, FJC), p. 6.
DAC-2015-HuangCZL #behaviour #named #scheduling: PASS: priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling (WHH, JJC, HZ, CL), p. 6.
DAC-2015-YoonSMC #behaviour #detection #embedded #heatmap #memory management #using: Memory heat map: anomaly detection in real-time embedded systems using memory behavior (MKY, LS, SM, JC), p. 6.
DATE-2015-BiewerAGSH #approach #coordination #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-GomonyGAAG #memory management #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: Delay analysis of structural real-time workload (NG, YT, YW, WY), pp. 223–228.
DATE-2015-HerberRWH #scheduling #using: Real-time capable CAN to AVB ethernet gateway using frame aggregation and scheduling (CH, AR, TW, AH), pp. 61–66.
DATE-2015-KaneYHSS #architecture #interface: A neural machine interface architecture for real-time artificial lower limb control (JK, QY, RH, WS, MS), pp. 633–636.
DATE-2015-LiuDNL #hardware #named: 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 #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-PoplavkoSBBB #execution #modelling #multi: Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
DATE-2015-WangNRQ #manycore #scheduling #statistics: Multi-core fixed-priority scheduling of real-time tasks with statistical deadline guarantee (TW, LN, SR, GQ), pp. 1335–1340.
LCTES-2015-0001HL #analysis #kernel: Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems (CD, MH, DL), p. 10.
LCTES-2015-StilkerichLES #analysis #embedded: A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems (IS, CL, CE, MS), p. 11.
PDP-2015-AliAP #data flow #graph #parametricity: Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs (HIA, BA, LMP), pp. 701–710.
PDP-2015-Eisserer #embedded #framework #image #parallel #performance #platform: Portable Framework for Real-Time Parallel Image Processing on High Performance Embedded Platforms (CE), pp. 721–724.
PDP-2015-GianariaG #image #simulation #using: Real-Time Simulation of Radiological Images Using CUDA Technology (EG, EG), pp. 669–673.
PDP-2015-SayutiI #embedded #optimisation: Simultaneous Optimisation of Task Mapping and Priority Assignment for Real-Time Embedded NoCs (MNSMS, LSI), pp. 692–695.
FoSSaCS-2015-AntonopoulosHRW #logic: Three Variables Suffice for Real-Time Logic (TA, PH, SR, JW), pp. 361–374.
ICST-2015-Lorber #modelling #mutation testing #testing: Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICTSS-2015-AzizS #generative #parallel #testing: Test-Data Generation for Testing Parallel Real-Time Systems (MWA, SABS), pp. 211–223.
VMCAI-2015-WaezWDR #industrial: A Model for Industrial Real-Time Systems (MTBW, AW, JD, KR), pp. 153–171.
ECSA-2014-ChiprianovFSP #architecture #distributed #embedded #modelling #performance #predict: 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: 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: SRMP: a software pattern for deadlocks prevention inreal-time concurrency models (RM, CM, JPB, MA), pp. 139–144.
SIGMOD-2014-YangTLRMG #named: Druid: a real-time analytical data store (FY, ET, XL, NR, GM, DG), pp. 157–168.
SIGMOD-2014-ZhangYFLY #named #scalability: OceanRT: real-time analytics over large temporal data (SZ, YY, WF, LL, MY), pp. 1099–1102.
VLDB-2014-GuptaSGGZLL #detection #graph #online #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 #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 #scalability: Large Scale Real-time Ridesharing with Service Guarantee on Road Networks (YH, FB, RJ, XSW), pp. 2017–2028.
VLDB-2014-ShirakawaHN #independence #named #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 #recommendation: R3: A Real-Time Route Recommendation System (HW, GL, HH, SC, BS, HW, WSL, KLT), pp. 1549–1552.
VLDB-2014-XieZMXL #named #online: CLEar: A Real-time Online Observatory for Bursty and Viral Events (RX, FZ, HM, WX, CL), pp. 1637–1640.
VLDB-2014-ZhangYFW #design #implementation #interactive #scalability: Design and Implementation of a Real-Time Interactive Analytics System for Large Spatio-Temporal Data (SZ, YY, WF, MW), pp. 1754–1759.
EDM-2014-NyeHFSHM #modelling #student: Exploring real-time student models based on natural-language tutoring sessions (BN, MHH, CF, BS, XH, KKM), pp. 253–256.
FM-2014-HayesM #algebra #invariant: Invariants, Well-Founded Statements and Real-Time Program Algebra (IJH, LM), pp. 318–334.
AIIDE-2014-BlackfordL #game studies #multi #order #problem: The Real-Time Strategy Game Multi-Objective Build Order Problem (JB, GBL).
AIIDE-2014-StanescuBB #game studies: Hierarchical Adversarial Search Applied to Real-Time Strategy Games (MS, NAB, MB).
CIG-2014-GaudlB #behaviour #biology #low cost #modelling: Extended ramp goal module: Low-cost behaviour arbitration for real-time controllers based on biological models of dopamine cells (SEG, JJB), pp. 1–8.
CIG-2014-KimK #game studies #learning #recommendation: Learning to recommend game contents for real-time strategy gamers (HTK, KJK), pp. 1–8.
FDG-2014-SiPT #analysis #automation #game studies: Automated terrain analysis in real-time strategy games (CS, YP, CTT).
GT-VMT-2014-BrennerGHLST #case study #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-GlueckKW #exclamation #navigation #visualisation: Dive in!: enabling progressive loading for real-time navigation of data visualizations (MG, AK, DJW), pp. 561–570.
CHI-2014-LeeD #feedback: Real-time feedback for improving medication taking (MLL, AKD), pp. 2259–2268.
CSCW-2014-NakazatoYSNTH #using #video: Smart Face: enhancing creativity during video conferences using real-time facial deformation (NN, SY, SS, TN, TT, MH), pp. 75–83.
DUXU-TMT-2014-Bastos #design #how: Designing Real-Time: On How Events Affect Audiovisual Narrative (MB), pp. 509–518.
LCT-TRE-2014-Khairuddin #collaboration #design #editing #interface: Interface Design for a Real-Time Collaborative Editing Tool (NNK), pp. 417–428.
SCSM-2014-Ahangama #detection #social #social media #twitter #using: Use of Twitter Stream Data for Trend Detection of Various Social Media Sites in Real Time (SA), pp. 151–159.
ICEIS-v2-2014-Chung #complexity #profiling #towards: Towards Real-time Static and Dynamic Profiling of Organisational Complexity (KSKC), pp. 466–471.
ICEIS-v2-2014-ShamsuzzohaAKH #collaboration #internet #monitoring #process #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.
CIKM-2014-RamadanC: Forest-Based Dynamic Sorted Neighborhood Indexing for Real-Time Entity Resolution (BR, PC), pp. 1787–1790.
CIKM-2014-TaxidouF #agile #analysis #information management #named #twitter: RApID: A System for Real-time Analysis of Information Diffusion in Twitter (IT, PMF), pp. 2060–2062.
CIKM-2014-VouzoukidouAC #named #query #ranking: MeowsReader: Real-Time Ranking and Filtering of News with Generalized Continuous Top-k Queries (NV, BA, VC), pp. 2066–2068.
ECIR-2014-Lommatzsch #recommendation #using: Real-Time News Recommendation Using Context-Aware Ensembles (AL), pp. 51–62.
ECIR-2014-PanemBGV #detection #topic #twitter #using: Entity Tracking in Real-Time Using Sub-topic Detection on Twitter (SP, RB, MG, VV), pp. 528–533.
ECIR-2014-WangL #statistics #twitter: The Impact of Future Term Statistics in Real-Time Tweet Search (YW, JL), pp. 567–572.
ICPR-2014-BeraM #multi #using: Realtime Multilevel Crowd Tracking Using Reciprocal Velocity Obstacles (AB, DM), pp. 4164–4169.
ICPR-2014-GarciaO: CPU-Based Real-Time Surface and Solid Voxelization for Incomplete Point Cloud (FG, BEO), pp. 2757–2762.
ICPR-2014-GomezK #detection: MSER-Based Real-Time Text Detection and Tracking (LG, DK), pp. 3110–3115.
ICPR-2014-LiuZZL #detection: Real-Time Scene Text Detection Based on Stroke Model (YL, DZ, YZ, SL), pp. 3116–3120.
ICPR-2014-MoeiniMF #image #invariant #matrix #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-TulyakovVSS #estimation #robust: Robust Real-Time Extreme Head Pose Estimation (ST, RLV, SS, NS), pp. 2263–2268.
ICPR-2014-WangSY #segmentation: Real-Time Tracking Combined with Object Segmentation (HW, NS, YY), pp. 4098–4103.
ICPR-2014-YangXWL #learning: Real-Time Tracking via Deformable Structure Regression Learning (XY, QX, SW, PL), pp. 2179–2184.
ICPR-2014-YoonYYK #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 #sequence: Real Time Fingertip Detection with Kinect Depth Image Sequences (YY, YS, YZ), pp. 550–555.
ICPR-2014-ZhangCQ: Real-Time Object Tracking with Generalized Part-Based Appearance Model and Structure-Constrained Motion Model (HZ, SC, LQ), pp. 1224–1229.
KDD-2014-AvvenutiCMMT: 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-HerodotouDBOF #locality #network #scalability: Scalable near real-time failure localization of data center networks (HH, BD, SB, GO, PF), pp. 1689–1698.
KDD-2014-YuanWCMS #empirical #optimisation: An empirical study of reserve price optimisation in real-time bidding (SY, JW, BC, PM, SS), pp. 1897–1906.
KDD-2014-ZhangYW: Optimal real-time bidding for display advertising (WZ, SY, JW), pp. 1077–1086.
KMIS-2014-VelosoPSSRA0 #data mining #mining #modelling #predict: Real-Time Data Mining Models for Predicting Length of Stay in Intensive Care Units (RV, FP, MFS, ÁMS, FR, AA, JM), pp. 245–254.
MLDM-2014-YuST #detection #modelling: Semi-supervised Time Series Modeling for Real-Time Flux Domain Detection on Passive DNS Traffic (BY, LS, MT), pp. 258–271.
SEKE-2014-NassarJSB #energy #generative #java #runtime: Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications (MN, JJ, IS, MBB), pp. 592–597.
SIGIR-2014-KongMFYZ #predict: Predicting bursts and popularity of hashtags in real-time (SK, QM, LF, FY, ZZ), pp. 927–930.
SIGIR-2014-PaiG #online #visualisation: Real-time visualization and targeting of online visitors (DP, SZG), pp. 1253–1254.
SIGIR-2014-WingY #health #named: FitYou: integrating health profiles to real-time contextual suggestion (CW, HY), pp. 1263–1264.
AdaEurope-2014-SaezC #kernel #predict: Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels (SS, AC), pp. 134–148.
AdaEurope-2014-SaezRC #ada #multi #platform #reliability #scheduling: Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012 (SS, JR, AC), pp. 74–90.
PPDP-2014-GiavittoE: Real-Time Matching of Antescofo Temporal Patterns (JLG, JE), pp. 93–104.
RE-2014-Zhou #development #embedded #requirements: Requirements development and management of embedded real-time systems (JZ), pp. 479–484.
SAC-2014-BertoutFO #automation #clustering #heuristic #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 #web: Enforcing entailment constraints in offline editing scenarios for real-time collaborative web documents (PG, WH, UZ, MS), pp. 735–742.
SAC-2014-Majumder: A real-time smartphone- and smartshoe-based fall prevention system (AKMJAM), pp. 470–471.
SAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #uml: Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
DAC-2014-BeckertNEP #independence: Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor (MB, MN, RE, SMP), p. 6.
DAC-2014-LiuCTKD #component #using: Computation Offloading by Using Timing Unreliable Components in Real-Time Systems (WL, JJC, AT, TWK, QD), p. 6.
DAC-2014-RaiHST #detection #fault #framework #performance: An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor (DR, PH, NS, LT), p. 6.
DAC-2014-SchaffnerGSKB #approximate #complexity #linear #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: Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems (MS, LK, JA, EQ, FJC), p. 6.
DATE-2014-AzimCPF #communication #distributed #generative #multi: 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 #sequence: Acceptance and random generation of event sequences under real time calculus constraints (KB, PD), pp. 1–6.
DATE-2014-CannellaBS #approach #scheduling #streaming #using: System-level scheduling of real-time streaming applications using a semi-partitioned approach (EC, MB, TS), pp. 1–6.
DATE-2014-DongZ #manycore #memory management #stack: Minimizing stack memory for hard real-time applications on multicore platforms (CD, HZ), pp. 1–6.
DATE-2014-GomonyAG #optimisation #performance: Coupling TDM NoC and DRAM controller for cost and performance optimization of real-time systems (MDG, BA, KG), pp. 1–6.
DATE-2014-JinS #evaluation #trust: Real-time trust evaluation in integrated circuits (YJ, DS), pp. 1–6.
DATE-2014-LeeF #framework #named #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: CoMik: A predictable and cycle-accurately composable real-time microkernel (AN, ABN, AMM, MK, KG), pp. 1–4.
DATE-2014-RamboTDAE #analysis: 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: 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: A constraint-based design space exploration framework for real-time applications on MPSoCs (KR, IS), pp. 1–6.
DATE-2014-TtofisT #hardware #image: High-quality real-time hardware stereo matching based on guided image filtering (CT, TT), pp. 1–6.
ISMM-2014-BaconCS #configuration management #garbage collection #hardware #parallel: Parallel real-time garbage collection of multiple heaps in reconfigurable hardware (DFB, PC, SS), pp. 117–127.
PDP-2014-HosseinimotlaghKH #energy #scheduling: A Cooperative Two-Tier Energy-Aware Scheduling for Real-Time Tasks in Computing Clouds (SH, FK, SH), pp. 178–182.
TACAS-2014-ReinbacherRS #health #runtime: Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.
WRLA-2014-LiuOM #ad hoc #framework #maude #mobile #network: A Framework for Mobile Ad hoc Networks in Real-Time Maude (SL, PCÖ, JM), pp. 162–177.
WRLA-2014-Olveczky #maude: Real-Time Maude and Its Applications (PCÖ), pp. 42–79.
ECSA-2013-CuestaMF #architecture #semantics #towards: Towards an Architecture for Managing Big Semantic Data in Real-Time (CEC, MAMP, JDF), pp. 45–53.
HT-2013-WangQS #analysis #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: Real Time Camera Phone Guidance for Compliant Document Image Acquisition without Sight (MPC, RM), pp. 408–412.
ICDAR-2013-LvHWL #online #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 #verification: FREAK for Real Time Forensic Signature Verification (MIM, SA, ML, AD), pp. 971–975.
SIGMOD-2013-FanXS #adaptation #monitoring #named #performance: FAST: differentially private real-time aggregate monitor with filtering and adaptive sampling (LF, LX, VSS), pp. 1065–1068.
SIGMOD-2013-LiGC #named #sequence: ε-Matching: event processing over noisy sequences in real time (ZL, TG, CXC), pp. 601–612.
SIGMOD-2013-MishneDLSL #architecture #big data #performance #query #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-TanMWYYZ #in the cloud #named #streaming: Resa: realtime elastic streaming analytics in the cloud (TT, RTBM, MW, YY, YY, ZZ), pp. 1287–1288.
SIGMOD-2013-VianaM #named #network #social: FriendRouter: real-time path finder in social networks (WV, MMM), pp. 1281–1282.
VLDB-2013-Taxidou #analysis #information management #social #social media: Realtime Analysis of Information Diffusion in Social Media (IT), pp. 1416–1421.
ICPC-2013-LanzaDBHR #named #process #visual notation: Manhattan: Supporting real-time visual team activity awareness (ML, MD, AB, LH, FR), pp. 207–210.
ICALP-v1-2013-KucherovN #constant: Full-Fledged Real-Time Indexing for Constant Size Alphabets (GK, YN), pp. 650–660.
IFM-2013-OlderogS: Structural Transformations for Data-Enriched Real-Time Systems (ERO, MS), pp. 378–393.
SEFM-2013-AmanC #migration: Real-Time Migration Properties of rTiMo Verified in Uppaal (BA, GC), pp. 31–45.
AIIDE-2013-JaideeM #game studies #modelling: Modeling Unit Classes as Agents in Real-Time Strategy Games (UJ, HMA).
AIIDE-2013-Ontanon #combinator #game studies #multi #problem: The Combinatorial Multi-Armed Bandit Problem and Its Application to Real-Time Strategy Games (SO).
CIG-2013-MaggioreSDPBS #adaptation #game studies #named: LGOAP: Adaptive layered planning for real-time videogames (GM, CS, DD, FP, HB, PS), pp. 1–8.
FDG-2013-CabezasT #behaviour #generative: Real-time procedural terrain generation through swarm behaviours (ÁFC, TT), pp. 421–422.
FDG-2013-GaudlDB #behaviour #design #game studies: Behaviour oriented design for real-time-strategy games (SEG, SD, JJB), pp. 198–205.
VS-Games-2013-BassA #interactive: Smoke and Shadows: Rendering and Light Interaction of Smoke in Real-Time Rendered Virtual Environments (CJB, EFA), pp. 1–4.
CHI-2013-LaseckiMB #crowdsourcing #effectiveness: Warping time for more effective real-time crowdsourcing (WSL, CDM, JPB), pp. 2033–2036.
CHI-2013-LeeC: Real-time perception-level translation from audio signals to vibrotactile effects (JL, SC), pp. 2567–2576.
CHI-2013-TausczikP #feedback #using: Improving teamwork using real-time language feedback (YRT, JWP), pp. 459–468.
CSCW-2013-AgustinaS #3d #collaboration #design #detection: Dependency-conflict detection in real-time collaborative 3D design systems (A, CS), pp. 715–728.
CSCW-2013-GarrettW: The promise and peril of real-time corrections to political misperceptions (RKG, BEW), pp. 1047–1058.
CSCW-2013-LaseckiSKB #process #recognition: Real-time crowd labeling for deployable activity recognition (WSL, YCS, HAK, JPB), pp. 1203–1212.
DUXU-PMT-2013-SandinoMV #design #interactive: Design Thinking Methodology for the Design of Interactive Real-Time Applications (DS, LMM, GV), pp. 583–592.
HCI-AS-2013-GotodaSMNM #learning #process: A Server-Based System Supporting Motor Learning through Real-Time and Reflective Learning Activities (NG, YS, KM, KN, CM), pp. 84–93.
HCI-III-2013-WangLLD #algorithm #performance #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 #using: Depth Camera Based Real-Time Fingertip Detection Using Multi-view Projection (WY, ZZ, XZ, LJ, CX, PW), pp. 254–261.
HCI-IMT-2013-HammerB #robust #using: Robust Hand Tracking in Realtime Using a Single Head-Mounted RGB Camera (JHH, JB), pp. 252–261.
HCI-IMT-2013-SrivastavaT #analysis #using: Real Time Mono-vision Based Customizable Virtual Keyboard Using Finger Tip Speed Analysis (SS, RCT), pp. 497–505.
HIMI-HSM-2013-PapangelisSCVEN #information management: Developing a Real Time Passenger Information System for Rural Areas (KP, SS, DC, NV, PE, JDN), pp. 153–162.
EDOC-2013-BerryM #data type #health #legacy #monitoring #quality: Real-Time Analytics for Legacy Data Streams in Health: Monitoring Health Data Quality (AB, ZM), pp. 91–100.
ICEIS-v1-2013-EllouzeLB #database #design #logic #object-oriented: Object-oriented Real-time Database Design based on Description Logics (ZE, NL, RB), pp. 264–271.
ICEIS-v2-2013-RibeiroS #approach #modelling #requirements: An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes (FGCR, MSS), pp. 70–81.
ICEIS-v3-2013-LucasXB #enterprise #visualisation: Visualizing ERP Usage Logs in Real Time (WTL, JX, TB), pp. 83–90.
CIKM-2013-AlbakourMO #effectiveness #microblog #on the: On sparsity and drift for effective real-time filtering in microblogs (MDA, CM, IO), pp. 419–428.
ECIR-2013-PaltoglouB #ad hoc #microblog: Subjectivity Annotation of the Microblog 2011 Realtime Adhoc Relevance Judgments (GP, KB), pp. 344–355.
KDD-2013-AsadiLB #memory management #policy #twitter: Dynamic memory allocation policies for postings in real-time Twitter search (NA, JL, MB), pp. 1186–1194.
KDD-2013-ChengXCACG #mining #named #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-LeeAC #twitter #using: Real-time disease surveillance using Twitter data: demonstration on flu and cancer (KL, AA, ANC), pp. 1474–1477.
SEKE-2013-Lou0 #artificial reality #gesture #interactive #personalisation #using: A Real-time Personalized Gesture Interaction System Using Wii Remote and Kinect for Tiled-Display Environment (YL, WW), pp. 131–136.
SIGIR-2013-FafaliosT #named #semantics #web: X-ENS: semantic enrichment of web search results at real-time (PF, YT), pp. 1089–1090.
SIGIR-2013-KarkaliPV #recommendation: Match the news: a firefox extension for real-time news recommendation (MK, DP, MV), pp. 1117–1118.
ECMFA-2013-MzidMMPBA #design pattern #named: DPMP: A Software Pattern for Real-Time Tasks Merge (RM, CM, AM, STP, JPB, MA), pp. 101–117.
ICMT-2013-RestWSSV #editing #robust #visual notation: Robust Real-Time Synchronization between Textual and Graphical Editors (OvR, GW, JRHS, JGS, EV), pp. 92–107.
AdaEurope-2013-SalazarAMP #ada #framework #modelling #safety: A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.
HILT-2013-MichellMP #manycore #programming: Real-time programming on accelerator many-core processors (SM, BM, LMP), pp. 23–36.
SAC-2013-BraunCHMM #framework #named #visualisation: CrowdVis: a framework for real time crowd visualization (HB, VJC, RH, FPM, SRM), pp. 989–995.
SAC-2013-CameronSNMM #analysis #component #performance #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: Energy-aware real-time task synchronization in multi-core embedded systems (LFF, THT, YSC, SSS), pp. 1493–1498.
SAC-2013-HuangMGM #multi #scalability: Throughput-constrained voltage and frequency scaling for real-time heterogeneous multiprocessors (PH, OM, KG, AMM), pp. 1517–1524.
SAC-2013-KoPH #analysis #design #video: Design analysis for real-time video transcoding on cloud systems (SK, SP, HH), pp. 1610–1615.
SAC-2013-MajumderRZEA #named #novel #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 #platform: 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 #using: Real time autonomous navigation and obstacle avoidance using a semi-global stereo method (CCTM, DFW), pp. 235–236.
SAC-2013-TomaC: Computation offloading for real-time systems (AT, JJC), pp. 1650–1651.
CASE-2013-DanishvarMSA #clustering #modelling: Event-clustering for real-time data modeling (MD, AM, PAMdS, RA), pp. 362–367.
CASE-2013-DevesseRFW: A real-time optimal control method for swing-free tower crane motions (WD, MR, LF, JW), pp. 336–341.
CASE-2013-DotoliEFPST #network: 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 #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-ZhouL #detection #throughput: Real time electricity demand response for sustainable manufacturing systems considering throughput bottleneck detection (ZZ, LL), pp. 640–644.
DAC-2013-AlaghiLH #probability: Stochastic circuits for real-time image-processing applications (AA, CL, JPH), p. 6.
DAC-2013-BanerjeeDSC #adaptation #constraints #energy #performance: Real-time use-aware adaptive MIMO RF receiver systems for energy efficiency under BER constraints (DB, SKD, SS, AC), p. 7.
DAC-2013-DingLM #analysis #multi: Integrated instruction cache analysis and locking in multitasking real-time systems (HD, YL, TM), p. 10.
DAC-2013-WuergesOS #energy #performance: Reconciling real-time guarantees and energy efficiency through unlocked-cache prefetching (EW, RSdO, LCVdS), p. 9.
DAC-2013-ZhaiBS #parallel #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: Designing energy-efficient NoC for real-time embedded systems through slack optimization (JZ, NS, JO, LT, VN, YX), p. 6.
DATE-2013-CarvajalF #framework #platform: An open platform for mixed-criticality real-time ethernet (GC, SF), pp. 153–156.
DATE-2013-ChabrolRDJHOZ #kernel: Time- and angle-triggered real-time kernel (DC, DR, VD, MJ, MAH, PO, GZ), pp. 1060–1062.
DATE-2013-El-ShambakeyR #named #scheduling: FBLT: a real-time contention manager with improved schedulability (MES, BR), pp. 1325–1330.
DATE-2013-GomonyAG #architecture #memory management #multi: Architecture and optimal configuration of a real-time multi-channel memory controller (MDG, BA, KG), pp. 1307–1312.
DATE-2013-HamdiouiNGGGB #challenge #reliability: Reliability challenges of real-time systems in forthcoming technology nodes (SH, MN, DG, AG, GG, PB), pp. 129–134.
DATE-2013-HuHMCF #detection #fault: 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 #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: A cache design for probabilistically analysable real-time systems (LK, JA, EQ, FJC), pp. 513–518.
DATE-2013-KumarCT #approach #distributed #satisfiability: A satisfiability approach to speed assignment for distributed real-time systems (PK, DBC, LT), pp. 749–754.
DATE-2013-Mueller-GritschnederLWGS #case study #framework #platform #prototype: 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-NeukirchnerQMAE #analysis: Sensitivity analysis for arbitrary activation patterns in real-time systems (MN, SQ, TM, PA, RE), pp. 135–140.
DATE-2013-PollexFSMMW #analysis #constant: 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: Formal analysis of sporadic bursts in real-time systems (SQ, MN, RE), pp. 767–772.
HPDC-2013-ZhouWSJS #parallel: Supporting parallel soft real-time applications in virtualized environment (LZ, SW, HS, HJ, XS), pp. 117–118.
LCTES-2013-GeunsHB #automation #data flow: Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.
FASE-2013-TrikiCBS #implementation #modelling #parallel: Model-Based Implementation of Parallel Real-Time Systems (AT, JC, SB, JS), pp. 235–249.
TACAS-2013-NagyST #automation #testing: Automatic Testing of Real-Time Graphics Systems (RN, GS, AT), pp. 463–477.
CAV-2013-AndreLSDL #concurrent #named #parametricity #synthesis: PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (ÉA, YL, JS, JSD, SWL), pp. 984–989.
CBSE-2012-MartinezV #approach #component: 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: Characterizing real-time reflexion-based architecture recovery: an in-vivo multi-case study (NA, JR, JB), pp. 23–32.
HT-2012-KhabiriCK #predict #semantics #web: Predicting semantic annotations on the real-time web (EK, JC, KYK), pp. 219–228.
HT-2012-SofeanS #architecture #design #detection #evaluation #implementation #network #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 #summary #towards #twitter: Towards real-time summarization of scheduled events from twitter streams (AZ, DS, EA, JG), pp. 319–320.
JCDL-2012-LiangQY #information retrieval #microblog: Exploiting real-time information retrieval in the microblogosphere (FL, RQ, JY), pp. 267–276.
SIGMOD-2012-ChandramouliCNSZ #named: RACE: real-time applications over cloud-edge (BC, JC, SN, IS, WZ), pp. 625–628.
SIGMOD-2012-ZellagK #consistency #detection #named: ConsAD: a real-time consistency anomalies detector (KZ, BK), pp. 641–644.
VLDB-2012-AgarwalRB #clustering #graph #identification: 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 #streaming: Dense Subgraph Maintenance under Streaming Edge Weight Updates for Real-time Story Identification (AA, NK, NS, DS), pp. 574–585.
FLOPS-2012-Bouma #logic #persistent: Real-Time Persistent Queues and Deques with Logic Variables (GB), pp. 62–72.
AIIDE-2012-BulitkoRL #heuristic #on the: On Case Base Formation in Real-Time Heuristic Search (VB, DCR, RL).
AIIDE-2012-YoungH #game studies #learning: Evolutionary Learning of Goal Priorities in a Real-Time Strategy Game (JY, NH).
CIG-2012-Fernandez-AresGMG #adaptation #game studies: Adaptive bots for real-time strategy games via map characterization (AFA, PGS, AMM, JJMG), pp. 417–721.
CIG-2012-GemineSFE #game studies #learning: Imitative learning for real-time strategy games (QG, FS, RF, DE), pp. 424–429.
CIG-2012-GongLAZLC #game studies #segmentation: In-game action list segmentation and labeling in real-time strategy games (WG, EPL, PA, FZ0, DL0, FCTC), pp. 147–154.
CIG-2012-WenderW #game studies #learning: Applying reinforcement learning to small scale combat in the real-time strategy game StarCraft: Broodwar (SW, IDW), pp. 402–408.
CIG-2012-WittkampBHW #learning: Noise tolerance for real-time evolutionary learning of cooperative predator-prey strategies (MW, LB, PH, RLW), pp. 25–32.
FDG-2012-ZohoorianSGT #coordination #design #framework #game studies #multi #named: PLATO: a coordination framework for designers of multi-player real-time digital games (AZ, KGS, CG, AT), pp. 141–148.
VS-Games-2012-SuttieLLR #adaptation #approach #game studies #towards: Towards a Biocybernetic Approach for Serious Games Real-time Psychophysiological Inferences for Adaptive Agents in Serious Games (NS, SL, TL, JR), pp. 316–317.
CHI-2012-CohnMPT #interactive #named #using: Humantenna: using the body as an antenna for real-time whole-body interaction (GC, DM, SP, DST), pp. 1901–1910.
CHI-2012-LiuHDMB #artificial reality #feedback #mobile: Evaluating the benefits of real-time feedback in mobile augmented reality with hand-held devices (CL, SH, JD, WEM, MBL), pp. 2973–2976.
CSCW-2012-AgustinaSX #3d #collaboration #dependence #design: Operational transformation for dependency conflict resolution in real-time collaborative 3D design systems (A, CS, DX), pp. 1401–1410.
CSCW-2012-HsuJSC #framework #named #platform #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 #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 #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-SunSXS #collaboration #editing: Creative conflict resolution in realtime collaborative editing systems (DS, CS, SX, HS), pp. 1411–1420.
CSCW-2012-SunWF #2d #collaboration #editing #orthogonal: Operational transformation for orthogonal conflict resolution in real-time collaborative 2d editing systems (CS, HW, HF), pp. 1391–1400.
ICEIS-v1-2012-LambeckSAG #concept #enterprise: 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: 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: Formal Behavioral Modeling of Real-time Operating Systems (CL, MB, JD, OHR, CS), pp. 407–414.
ICEIS-v3-2012-CarofiglioGA #adaptation #design #evaluation: 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-BalakrishnanB #optimisation: Real-time bid optimization for group-buying ads (RB, RPB), pp. 1707–1711.
CIKM-2012-FanX #difference #monitoring #privacy: Real-time aggregate monitoring with differential privacy (LF, LX), pp. 2169–2173.
CIKM-2012-KamathC #retrieval #web: Content-based crowd retrieval on the real-time web (KYK, JC), pp. 195–204.
CIKM-2012-YanZN: Leveraging read rates of passive RFID tags for real-time indoor location tracking (DY, ZZ, WN), pp. 375–384.
CIKM-2012-ZhangHLL #learning #rank #twitter: Query-biased learning to rank for real-time twitter search (XZ, BH, TL, BL), pp. 1915–1919.
ECIR-2012-MaxwellRAJO #monitoring #named #social #social media: Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management (DM, SR, LA, CWJ, SO), pp. 573–575.
ICPR-2012-BagdanovBSU #recognition: Real-time hand status recognition from RGB-D imagery (ADB, ADB, LS, LU), pp. 2456–2459.
ICPR-2012-BianZSL: 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 #video: Real-time 2D video/3D LiDAR registration (CB, MA), pp. 2206–2209.
ICPR-2012-DuanPJ #multi #probability: Probabilistic depth map fusion for real-time multi-view stereo (YD, MP, YJ), pp. 368–371.
ICPR-2012-HongZSW #robust: Realtime object matching with robust dominant orientation templates (CH, JZ, MS, YW), pp. 1152–1155.
ICPR-2012-LeeLM #detection #smarttech: Real-time staircase detection from a wearable stereo system (YHL, TSL, GGM), pp. 3770–3773.
ICPR-2012-MinCMD #3d #identification: Real-time 3D face identification from a depth camera (RM, JC, GGM, JLD), pp. 1739–1742.
ICPR-2012-MiyamotoMSS #3d #classification #estimation #precise: 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-RiechertZMK #estimation #hybrid #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 #scalability #visual notation: Real-time large-scale visual concept detection with linear classifiers (MS, MK, SI, JL), pp. 421–424.
ICPR-2012-TsaoH #estimation #image #parametricity: Real-time human object motion parameters estimation from depth images (ICT, CLH), pp. 829–832.
ICPR-2012-WangCCP #detection #using: Real-time smoke detection using texture and color features (YW, TWC, RC, NTP), pp. 1727–1730.
KDD-2012-MaoCCLKB #approach #data mining #mining #monitoring: An integrated data mining approach to real-time clinical monitoring and deterioration warning (YM, WC, YC, CL, MK, TCB), pp. 1140–1148.
KDD-2012-OhKPY #network #semantics: PubMed search and exploration with real-time semantic network construction (JO, TK, SP, HY), pp. 1572–1575.
RecSys-2012-Diaz-AvilesDSN #recommendation #social: Real-time top-n recommendation in social streams (EDA, LD, LST, WN), pp. 59–66.
RecSys-2012-Herbrich #distributed #learning #online: Distributed, real-time bayesian learning in online services (RH), pp. 203–204.
RecSys-2012-PhelanMS #named #twitter #using: Yokie: explorations in curated real-time search & discovery using twitter (OP, KM, BS), pp. 307–308.
RecSys-2012-SklarSH #recommendation: Recommending interesting events in real-time with foursquare check-ins (MS, BS, AH), pp. 311–312.
SIGIR-2012-BaiJ #online #web: Online result cache invalidation for real-time web search (XB, FPJ), pp. 641–650.
SIGIR-2012-RobertsonK12a #ad hoc #evaluation #on the #retrieval: On real-time ad-hoc retrieval evaluation (SER, EK), pp. 1119–1120.
ECMFA-2012-GeP #framework #safety #uml #verification: Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
SPLC-2012-CordySHL #behaviour #modelling #product line #verification: Behavioural modelling and verification of real-time software product lines (MC, PYS, PH, AL), pp. 66–75.
TOOLS-EUROPE-2012-FiambertiMT #development #framework #object-oriented: An Object-Oriented Application Framework for the Development of Real-Time Systems (FF, DM, FT), pp. 75–90.
AdaEurope-2012-Garcia-VallsI #ada #configuration management #distributed #middleware: Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA (MGV, FIV), pp. 35–48.
AdaEurope-2012-PolzlbauerBB #constraints #design #performance #reliability: Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems (FP, IB, EB), pp. 207–220.
AdaEurope-2012-SaezRC #framework #multi: An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications (SS, JR, AC), pp. 18–34.
HILT-2012-LiSRM #analysis #protocol #scheduling: Applicability of real-time schedulability analysis on a software radio protocol (SL, FS, SR, MB), pp. 81–94.
HILT-2012-Nilsen12a #java #legacy: Real-time Java in modernization of the aegis weapon system (KN), pp. 63–70.
PLDI-2012-BaconCS #configuration management #garbage collection #hardware: And then there were none: a stall-free real-time garbage collector for reconfigurable hardware (DFB, PC, SS), pp. 23–34.
ICSE-2012-FosterGL #ide #named #refactoring: WitchDoctor: IDE support for real-time auto-completion of refactorings (SRF, WGG, SL), pp. 222–232.
SAC-2012-AmericoRD #framework #java #platform: Managing the dynamism of the OSGi Service Platform in real-time Java applications (JCA, WR, DD), pp. 1115–1122.
SAC-2012-BhattiBA #approach #manycore #platform #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 #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-El-ShambakeyR #bound #concurrent #embedded #manycore #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 #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 #semantics: Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming (HF, CS), pp. 737–742.
SAC-2012-FischerMK #data type #visual notation: Real-time visual analytics for event data streams (FF, FM, DAK), pp. 801–806.
SAC-2012-ImJLLL #manycore #operating system: A real-time operating system for manycore systems (CI, MJ, JDL, SL, SL), pp. 1845–1846.
SAC-2012-Kim #multi #optimisation #reliability #towards: Towards optimizing the reliability of real-time transmission in multi-hop wireless LANs (JK), pp. 577–582.
SAC-2012-KorahSS #framework #multi #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: Real-time flash memory storage with Janus-FTL (JL, AK, MP, JC, DL, SHN), pp. 1799–1806.
SAC-2012-Skubch #constraints: Solving non-linear arithmetic constraints in soft realtime environments (HS), pp. 67–73.
SAC-2012-TeymooriKY #fault tolerance #network: A real-time data aggregation method for fault-tolerant wireless sensor networks (PT, MK, NY), pp. 605–612.
SAC-2012-TsaiC #3d #manycore #scheduling: Thermal-aware real-time task scheduling for three-dimensional multicore chip (THT, YSC), pp. 1618–1624.
SAC-2012-ZibranR #ide: IDE-based real-time focused search for near-miss clones (MFZ, CKR), pp. 1235–1242.
CASE-2012-BaoLYL #energy #programming: 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-ChenZAB #analysis #approach #performance: Real-time performance analysis of production lines: A system-theoretic approach (GC, LZ, JA, SB), pp. 656–661.
CASE-2012-DhananjayanS #automation #design #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-FrankHEFDV #automation #modelling #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-LiST #case study #challenge: Real time electricity demand response for sustainable manufacturing systems: Challenges and a case study (LL, ZS, ZT), pp. 353–357.
CASE-2012-LiZH: A practical method for motor imagery based real-time prosthesis control (YNL, XDZ, ZXH), pp. 1052–1056.
CASE-2012-WangLC #algorithm: Real-time path planning for low altitude flight based on A* algorithm and TF/TA algorithm (HW, QL, NC), pp. 837–842.
DAC-2012-0001AG #memory management #runtime: Run-time power-down strategies for real-time SDRAM memory controllers (KC, BA, KG), pp. 988–993.
DAC-2012-El-ShambakeyR #bound #concurrent #embedded: STM concurrency control for embedded real-time software with tighter time bounds (MES, BR), pp. 437–446.
DAC-2012-HuangCBK #consistency #embedded #runtime: Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
DAC-2012-ZhangHY #implementation #recognition: Implementing an FPGA system for real-time intent recognition for prosthetic legs (XZ, HH, QY), pp. 169–175.
DATE-2012-BamakhramaZNS #automation #design #embedded #streaming: A methodology for automated design of hard-real-time embedded streaming systems (MB, JTZ, HN, TS), pp. 941–946.
DATE-2012-FanQ #framework #manycore #platform #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 #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: Time analysable synchronisation techniques for parallelised hard real-time applications (MG, FK, TU, CR, PS), pp. 671–676.
DATE-2012-GomonyWAWG #mobile: DRAM selection and configuration for real-time mobile systems (MDG, CW, BA, NW, KG), pp. 51–56.
DATE-2012-GoossensKAG: Memory-map selection for firm real-time SDRAM controllers (SG, TK, BA, KG), pp. 828–831.
DATE-2012-HamoucheK #aspect-oriented #component #design #embedded: Component-based and aspect-oriented methodology and tool for Real-Time Embedded Control Systems Design (RH, RK), pp. 1421–1424.
DATE-2012-JiangEP #co-evolution #communication #constraints #design #distributed #embedded #security: Co-design techniques for distributed real-time embedded systems with communication security constraints (KJ, PE, ZP), pp. 947–952.
DATE-2012-LiangCZRZJC #3d #implementation #locality #optimisation #performance: Real-time implementation and performance optimization of 3D sound localization on GPUs (YL, ZC, SZ, KR, YZ, DLJ, DC), pp. 832–835.
DATE-2012-QuintonHE #analysis #formal method: Formal analysis of sporadic overload in real-time systems (SQ, MH, RE), pp. 515–520.
DATE-2012-TtofisT #adaptation #algorithm #hardware #implementation #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: Low-power embedded system for real-time correction of fish-eye automotive cameras (MT, SS, LF, EF), pp. 340–341.
LCTES-2012-HuangZX #architecture #clustering #embedded: WCET-aware re-scheduling register allocation for real-time embedded systems with clustered VLIW architecture (YH, MZ, CJX), pp. 31–40.
WRLA-2012-LepriAO #maude #model checking: Timed CTL Model Checking in Real-Time Maude (DL, EÁ, PCÖ), pp. 182–200.
CAV-2012-SongSLD #model checking #probability: A Model Checker for Hierarchical Probabilistic Real-Time Systems (SS, JS, YL, JSD), pp. 705–711.
ICST-2012-AlesioGNB #constraints #optimisation #testing #using: Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
ISSTA-2012-IqbalAB #algorithm #embedded #empirical #modelling #testing: Empirical investigation of search algorithms for environment model-based testing of real-time embedded software (MZZI, AA, LCB), pp. 199–209.
CBSE-2011-BordeC #component #embedded #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: Predictable deployment in component-based enterprise distributed real-time and embedded systems (WO, ASG, DCS), pp. 21–30.
CBSE-2011-TambeG #component #distributed #embedded #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 #towards #using: Towards Real-Time Monitoring and Controlling of Enterprise Architectures Using Business Software Control Centers (TB, VG, MP), pp. 287–294.
WICSA-2011-BordeCFLLMPS #component #development #distributed #embedded #named: PRIDE — An Environment for Component-Based Development of Distributed Real-Time Embedded Systems (EB, JC, JF, LL, TL, JM, AP, SS), pp. 351–354.
DocEng-2011-Ahmed-NacerIORU #documentation #editing: Evaluating CRDTs for real-time document editing (MAN, CLI, GO, HGR, PU), pp. 103–112.
ICDAR-2011-TakedaKI #database #documentation #image #memory management #performance #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-WangL #recognition #segmentation: Dynamic Text Line Segmentation for Real-Time Recognition of Chinese Handwritten Sentences (DHW, CLL), pp. 931–935.
SIGMOD-2011-BorthakurGSMSKRMMRSA #facebook: Apache hadoop goes realtime at Facebook (DB, JG, JSS, KM, NS, HK, KR, DM, AM, SR, RS, ASA), pp. 1071–1080.
SIGMOD-2011-ChandramouliLEM #named #recommendation: StreamRec: a real-time recommender system (BC, JJL, AE, MFM), pp. 1243–1246.
SIGMOD-2011-ChenLOW #named #performance #twitter: TI: an efficient indexing mechanism for real-time search on tweets (CC, FL, BCO, SW), pp. 649–660.
VLDB-2011-GrinevGHK #web: Analytics for the RealTime Web (MG, MPG, MH, DK), pp. 1391–1394.
VLDB-2011-MogaT #named: UpStream: A Storage-centric Load Management System for Real-time Update Streams (AM, NT), pp. 1442–1445.
VLDB-2011-SrinivasanB #named: Citrusleaf: A Real-Time NoSQL DB which Preserves ACID (VS, BB), pp. 1340–1350.
CSMR-2011-StojanovicOCD #coordination #development #named #open source: 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-KeivanlooRC #approach #clone detection #hybrid #named: SeClone — A Hybrid Approach to Internet-Scale Real-Time Code Clone Search (IK, JR, PC), pp. 223–224.
WCRE-2011-KeivanlooRC #clone detection #multi: Internet-scale Real-time Code Clone Search Via Multi-level Indexing (IK, JR, PC), pp. 23–27.
AIIDE-2011-DereszynskiHFDHU #behaviour #game studies #learning #modelling #probability: Learning Probabilistic Behavior Models in Real-Time Strategy Games (EWD, JH, AF, TGD, TTH, MU).
AIIDE-2011-HernandezB #adaptation: Real-Time Adaptive A* with Depression Avoidance (CH, JAB).
AIIDE-2011-SantosM #game studies #scheduling: Wasp-Like Scheduling for Unit Training in Real-Time Strategy Games (MS, CM).
AIIDE-2011-WeberMJ #estimation #game studies: A Particle Model for State Estimation in Real-Time Strategy Games (BGW, MM, AJ).
DiGRA-2011-Jonne #game studies: Do We Need Real-Time Hermeneutics? Structures of Meaning in Games (JA).
FDG-2011-AmarasingheP #game studies #performance #towards #video: Towards fast, believable real-time rendering of burning objects in video games (DA, IP), pp. 256–258.
FDG-2011-CrenshawOWH #game studies #multi #on the #user interface: On creating a native real-time-strategy game user interface for multi-touch devices (NC, SO, WSW, AH), pp. 283–285.
FDG-2011-MorelliF #game studies #gesture #using #video: Real-time sensory substitution to enable players who are blind to play video games using whole body gestures (TM, EF), pp. 147–153.
VS-Games-2011-Schwenk #using: Real-Time Rendering of Dynamic Area and Volume Lights Using Hierarchical Irradiance Volumes (KS), pp. 136–139.
CHI-2011-ChiL #named #social #social media: Raconteur: integrating authored and real-time social media (PYC, HL), pp. 3165–3168.
CHI-2011-LindenJBRS #feedback #game studies #lessons learnt: 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-ScissorsSIRS #behaviour #collaboration #distributed #editing: Real-time collaborative editing behavior in USA and Japanese distributed teams (LES, NSS, TI, SLR, SS), pp. 1119–1128.
CHI-2011-ShiraziRSKMS #mobile: Real-time nonverbal opinion sharing through mobile phones during sports events (ASS, MR, RS, SGK, AM, AS), pp. 307–310.
CSCW-2011-GutwinLG #network #performance #testing: Real-time groupware in the browser: testing the performance of web-based networking (CG, ML, TCNG), pp. 167–176.
CSCW-2011-NasirifardH #twitter: A real-time tweet diffusion advisor for #Twitter (PN, CH), pp. 587–588.
CSCW-2011-ZhaoLLG #approach #game studies #hybrid #internet #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 #video: Accelerated Real-Time Reconstruction of 3D Deformable Objects from Multi-view Video Channels (HG, LH, SK, CM), pp. 282–291.
HCI-UA-2011-FriedmanRB #interactive: A Real-Time Interactive MIDI Glove for Domicile Stroke Rehabilitation (NF, DJR, MB), pp. 151–158.
HIMI-v2-2011-KuboDM #interactive: Real-time and Interactive Rendering for Translucent Materials such as Human Skin (HK, YD, SM), pp. 388–395.
OCSC-2011-IizukaIY: A Real-time Disaster Situation Mapping System for University Campuses (KI, YI, KY), pp. 40–49.
CIKM-2011-NambiarFSNR: 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: Jasmine: a real-time local-event detection system based on geolocation information propagated to microblogs (KW, MO, MO, RO), pp. 2541–2544.
ECIR-2011-BortnikovLV: Caching for Realtime Search (EB, RL, KV), pp. 104–116.
KDD-2011-Boyd #distributed #embedded #optimisation #scalability: Convex optimization: from embedded real-time to large-scale distributed (SB), p. 1.
KDD-2011-ChenBAD #algorithm: Real-time bidding algorithms for performance-based display ad allocation (YC, PB, BA, NRD), pp. 1307–1315.
KDD-2011-GuerraVMA #analysis #approach #bias #sentiment: From bias to opinion: a transfer-learning approach to real-time sentiment analysis (PHCG, AV, WMJ, VA), pp. 150–158.
KDD-2011-Hsu: Real-time risk control system for CNP (card not present) (TH), p. 783.
KDD-2011-PiskorskiA #framework: Frontex real-time news event extraction framework (JP, MA), pp. 749–752.
KEOD-2011-Tinsley #ontology: OTTER Project — Ontology Technology that Executes Real-time: Project Status (TAT), pp. 521–527.
KMIS-2011-PortelaGSSRMAN #information management #pervasive: 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.
SEKE-2011-ChawlaXZ #composition #ontology #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: Sustainable Software Systems for Real Time Applications (SSI).
SEKE-2011-LiuGCJ #architecture #design #distributed #grid #power management: Designing a Distributed Systems Architecture Testbed for Real-Time Power Grid Systems (YL, IG, YC, SJ), pp. 268–271.
SIGIR-2011-CaverleeCEHKM #monitoring #named #web: CrowdTracker: enabling community-based real-time web monitoring (JC, ZC, BE, CFH, KYK, JM), pp. 1283–1284.
AdaEurope-2011-Burns #hardware #parallel #programming language: Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaEurope-2011-MedinaC #ada #analysis #design #distributed #modelling #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 #platform #using: A Real-Time Framework for Multiprocessor Platforms Using Ada 2012 (SS, ST, AC), pp. 46–60.
SIGAda-2011-McCormickS #embedded: Building embedded real-time applications (JWM, FS), pp. 15–16.
RE-2011-PostHP #requirements: Vacuous real-time requirements (AP, JH, AP), pp. 153–162.
SAC-2011-GuerraF #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: Slipstream: architecture options for real-time process analytics (CJ, MM, OM, RV, JB), pp. 295–300.
SAC-2011-KongGDY #energy #parallel #scheduling: Energy-efficient scheduling for parallel real-time tasks based on level-packing (FK, NG, QD, WY), pp. 635–640.
SAC-2011-LiuQR #online #scheduling: On-line scheduling of real-time services with profit and penalty (SL, GQ, SR), pp. 1476–1481.
SAC-2011-LiuZ #memory management #predict: Exploiting time predictable two-level scratchpad memory for real-time systems (YL, WZ), pp. 395–396.
SAC-2011-LuKNB #analysis #approach #embedded #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: 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: Matching customer requests to service offerings in real-time (MT, SRM), pp. 456–461.
CASE-2011-Bonhomme #petri net #scheduling: A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets (PB), pp. 582–587.
CASE-2011-PuiuM #communication: The time delay control of CAN messages for real-time communication (DP, FM), pp. 631–636.
CASE-2011-UrliM #industrial #using: Use of Ethernet communications for real-time control systems in the metals industry (LU, SM), pp. 6–11.
DAC-2011-DellingerGR #kernel #linux #multi: ChronOS Linux: a best-effort real-time multiprocessor Linux kernel (MD, PG, BR), pp. 474–479.
DAC-2011-HuangQFQ #constraints #throughput: Throughput maximization for periodic real-time systems under the maximal temperature constraint (HH, GQ, JF, MQ), pp. 363–368.
DAC-2011-KumarT: Cool shapers: shaping real-time tasks for improved thermal guarantees (PK, LT), pp. 468–473.
DAC-2011-LimVH #challenge #network: Challenges in a future IP/ethernet-based in-car network for real-time applications (HTL, LV, DH), pp. 7–12.
DAC-2011-ReimannLGHT #constraints #string #synthesis: Symbolic system synthesis in the presence of stringent real-time constraints (FR, ML, MG, CH, JT), pp. 393–398.
DAC-2011-Vitek #embedded #java: Virtualizing real-time embedded systems with Java (JV), pp. 906–911.
DAC-2011-WangMR #clustering #configuration management #energy #manycore #optimisation: Dynamic cache reconfiguration and partitioning for energy optimization in real-time multi-core systems (WW, PM, SR), pp. 948–953.
DAC-2011-ZhaoAZ #embedded #energy: Generalized reliability-oriented energy management for real-time embedded applications (BZ, HA, DZ), pp. 381–386.
DATE-2011-ArslanO #adaptation #effectiveness #learning #optimisation: Adaptive test optimization through real time learning of test effectiveness (BA, AO), pp. 1430–1435.
DATE-2011-ChiuSH #constraints #pipes and filters #precedence #streaming #synthesis: Pipeline schedule synthesis for real-time streaming tasks with inter/intra-instance precedence constraints (YSC, CSS, SHH), pp. 1321–1326.
DATE-2011-HanumaiahV #manycore: Reliability-aware thermal management for hard real-time applications on multi-core processors (VH, SBKV), pp. 137–142.
DATE-2011-HuangQ #constraints #energy: Leakage aware energy minimization for real-time systems under the maximum temperature constraint (HH, GQ), pp. 479–484.
DATE-2011-KanounMKA #monitoring: A real-time compressed sensing-based personal electrocardiogram monitoring system (KK, HM, NK, DA), pp. 824–829.
DATE-2011-KongYD #clustering #energy #multi #scheduling: Energy-efficient scheduling of real-time tasks on cluster-based multicores (FK, WY, QD), pp. 1135–1140.
DATE-2011-MatischekHGH #communication: Real-time wireless communication in automotive applications (RM, TH, CG, JH), pp. 1036–1041.
DATE-2011-MontagA #precise: Precise WCET calculation in highly variant real-time systems (PM, SA), pp. 920–925.
DATE-2011-Niu #embedded #energy #scheduling: System-level energy-efficient scheduling for hard real-time embedded systems (LN), pp. 281–284.
DATE-2011-RaiYBCT #analysis #worst-case: Worst-case temperature analysis for real-time systems (DR, HY, IB, JJC, LT), pp. 631–636.
DATE-2011-RazaghiG #development #embedded #manycore: Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
DATE-2011-VissersNN #interface #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.
ISMM-2011-KaliberaJ #memory management #optimisation #performance: Handles revisited: optimising performance and memory costs in a real-time collector (TK, REJ), pp. 89–98.
LCTES-2011-VirletZGKGP #scheduling: Scheduling of stream-based real-time applications for heterogeneous systems (BV, XZ, JPG, BK, MJG, DAP), pp. 1–10.
PDP-2011-BaldoGGF #manycore: Multi-core Desktop Processors Make Possible Real-Time Electron Tomography (JIAB, EMG, IG, JJF), pp. 127–132.
FASE-2011-PostHP #named #requirements: rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.
TACAS-2011-BarbotCHKM #linear #model checking #performance: Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.
CAV-2011-DavidLLMW #model checking #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: Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints (CH, PM, VP), pp. 441–456.
CAV-2011-KwiatkowskaNP #probability #verification: PRISM 4.0: Verification of Probabilistic Real-Time Systems (MZK, GN, DP), pp. 585–591.
ICST-2011-HanselRHG #algorithm #embedded #generative: An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
ICTSS-2011-PeleskaHLLSSVZ #benchmark #concurrent #metric #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.
CBSE-2010-HosekPBHM #comparison #component #embedded #framework: Comparison of Component Frameworks for Real-Time Embedded Systems (PH, TP, TB, PH, MM), pp. 21–36.
CBSE-2010-LoiretSDS #approach #composition #embedded: A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks (FL, LS, LD, DS), pp. 37–54.
SIGMOD-2010-BiemBFRRVKM #scalability: IBM infosphere streams for scalable, real-time, intelligent transportation services (AB, EB, HF, AR, AR, OV, HNK, CM), pp. 1093–1104.
VLDB-2010-MahPC #algorithm #functional #named #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-SrivastavaGGJSSSY #data analysis: Enabling Real Time Data Analysis (DS, LG, RG, TJ, JS, VS, OS, JY), pp. 1–2.
VLDB-2010-WangREW #health: Active Complex Event Processing: Applications in Real-Time Health Care (DW, EAR, RTE, HW), pp. 1545–1548.
SIGITE-2010-WaldmannL #collaboration #eclipse #framework #platform: Integrating the google wave platform with eclipse for collaborative, real-time code creation (BAW, DJL), pp. 69–72.
CSMR-2010-LanzaHG #collaboration #development #process #visualisation: Supporting Collaboration Awareness with Real-Time Visualization of Development Activity (ML, LH, AG), pp. 202–211.
ICALP-v1-2010-EisenbrandHNSVW #scheduling: Scheduling Periodic Tasks in a Hard Real-Time Environment (FE, NH, MN, MS, JV, AW), pp. 299–311.
LATA-2010-SaeedloeiG #induction #verification: Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) (NS, GG), pp. 536–548.
IFM-2010-Faber #architecture #composition #reasoning #verification: Verification Architectures: Compositional Reasoning for Real-Time Systems (JF), pp. 136–151.
SEFM-2010-GothelG #automation #invariant #network #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: TART: Timed-Automata to Real-Time Java Tool (NH, PAS, AJW), pp. 299–309.
AIIDE-2010-Perkins #analysis #approach #composition #detection #game studies: Terrain Analysis in Real-Time Strategy Games: An Integrated Approach to Choke Point Detection and Region Decomposition (LP).
CIG-2010-ArinbjarnarK #interactive #network: Bayesian networks: Real-time applicable decision mechanisms for intelligent agents in interactive drama (MA, DK), pp. 427–434.
CIG-2010-HagelbackJ #case study #game studies: A study on human like characteristics in real time strategy games (JH, SJJ), pp. 139–145.
CIG-2010-HagelbackJP #game studies: AI and computational intelligence for real-time strategy games (JH, SJJ, MP), pp. 1–4.
FDG-2010-Johnson #collaboration #game studies #multi: Supporting collaborative real-time strategic planning in multi-player games (MWJ), pp. 265–267.
FDG-2010-McGeeA #game studies #overview: Real-time team-mate AI in games: a definition, survey, & critique (KM, ATA), pp. 124–131.
CHI-2010-EngstromJPB: Temporal hybridity: footage with instant replay in real time (AE, OJ, MJP, MB), pp. 1495–1504.
CHI-2010-FerrisWB #named: OneBusAway: results from providing real-time arrival information for public transit (BF, KW, AB), pp. 1807–1816.
CHI-2010-PanJYPQ #automation #communication #comprehension #quality: Effects of automated transcription quality on non-native speakers’ comprehension in real-time computer-mediated communication (YP, DJ, LY, MP, YQ), pp. 1725–1734.
SOFTVIS-2010-JeanA #named #prototype #visual notation: VIPERS: visual prototyping environment for real-time imaging systems (FJ, ABA), pp. 211–212.
ICEIS-HCI-2010-VinhasOR #assessment #automation #interface #multi #named: BioStories — Dynamic Multimedia Interfaces based on Automatic Real-time User Emotion Assessment (VV, ECO, LPR), pp. 21–29.
ICEIS-J-2010-VinhasOR10a #assessment #multi #named: BioStories: Dynamic Multimedia Environments Based on Real-Time Audience Emotion Assessment (VV, ECO, LPR), pp. 512–525.
CIKM-2010-GargNB #algorithm #memory management #performance: Real-time memory efficient data redundancy removal algorithm (VKG, AN, SB), pp. 1259–1268.
CIKM-2010-KamathC #identification #web: Identifying hotspots on the real-time web (KYK, JC), pp. 1837–1840.
CIKM-2010-MoonLCLZC #feedback #learning #online #ranking #using: Online learning for recency search ranking using real-time user feedback (TM, LL, WC, CL, ZZ, YC), pp. 1501–1504.
ICPR-2010-AmcalarC #design #evaluation #human-computer #implementation #interface: Design, Implementation and Evaluation of a Real-Time P300-based Brain-Computer Interface System (AA, MÇ), pp. 117–120.
ICPR-2010-EklundAOYK #communication #interface #using: A Brain Computer Interface for Communication Using Real-Time fMRI (AE, MTA, HO, AY, HK), pp. 3665–3669.
ICPR-2010-FahnC #algorithm #recognition: Real-Time Upper-Limbs Posture Recognition Based on Particle Filters and AdaBoost Algorithms (CSF, SLC), pp. 3854–3857.
ICPR-2010-FaselB #network #speech: Deep Belief Networks for Real-Time Extraction of Tongue Contours from Ultrasound During Speech (IF, JB), pp. 1493–1496.
ICPR-2010-HiraiUK #performance: Real-Time Pose Regression with Fast Volume Descriptor Computation (MH, NU, MK), pp. 1852–1855.
ICPR-2010-JanneyG #framework #image: IFLT Based Real-Time Framework for Image Matching (PJ, GG), pp. 2242–2245.
ICPR-2010-KanetoNB #estimation #using: Real-Time User Position Estimation in Indoor Environments Using Digital Watermarking for Audio Signals (RK, YN, NB), pp. 97–100.
ICPR-2010-LinLCH #3d #gesture #modelling #multi: Real-Time 3D Model-Based Gesture Tracking for Multimedia Control (SYL, YCL, LWC, YPH), pp. 3822–3825.
ICPR-2010-LiP10a #analysis #classification #monitoring: 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: Real-Time Traffic Sign Detection: An Evaluation Study (YL, SP, WG), pp. 3033–3036.
ICPR-2010-Perez-CarrascoSASL #network: Spike-Based Convolutional Network for Real-Time Processing (JAPC, CS, BA, TSG, BLB), pp. 3085–3088.
ICPR-2010-SadekAMS #automation #recognition #using: Real-Time Automatic Traffic Accident Recognition Using HFG (SS, AAH, BM, US), pp. 3348–3351.
ICPR-2010-ShiGW #detection: Real-Time Abnormal Event Detection in Complicated Scenes (YS, YG, RW), pp. 3653–3656.
ICPR-2010-TopalAG #approach #detection #heuristic #robust: Edge Drawing: A Heuristic Approach to Robust Real-Time Edge Detection (CT, CA, YG), pp. 2424–2427.
ICPR-2010-ZhouWH #2d #3d #using: Real-Time 3D Face and Facial Action Tracking Using Extended 2D+3D AAMs (MZ, YW, XH), pp. 3963–3966.
KDIR-2010-SinghMG #feedback #query: Dynamic Query Expansion based on User’s Real Time Implicit Feedback (SRS, HAM, TAG), pp. 112–121.
KMIS-2010-PortelaSVRSN: Real-time Intelligent Decision Support in Intensive Medicine (FP, MS, MVB, FR, ÁMS, JN), pp. 44–50.
RecSys-2010-EsparzaOS #on the #recommendation #web: On the real-time web as a source of recommendation knowledge (SGE, MPO, BS), pp. 305–308.
SEKE-2010-KhwajaU #execution #implementation #specification: Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
MoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #testing #uml: Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.
AdaEurope-2010-AnderssonP #ada #algorithm #implementation #manycore #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 #reliability #what: What to Make of Multicore Processors for Reliable Real-Time Systems? (TPB), pp. 1–18.
AdaEurope-2010-MartinezBD #component #scheduling: Scheduling Configuration of Real-Time Component-Based Applications (PLM, LB, JMD), pp. 181–195.
AdaEurope-2010-PastorASA #approach #modelling #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 #transaction: Managing Transactions in Flexible Distributed Real-Time Systems (DS, MGH, HP, JJG), pp. 251–264.
AdaEurope-2010-WellingsB #ada #evolution #programming: The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 (AJW, AB), pp. 196–207.
PLDI-2010-PizloZMHBV #garbage collection #named: Schism: fragmentation-tolerant real-time garbage collection (FP, LZ, PM, ALH, EB, JV), pp. 146–159.
QAPL-2010-AltisenLM #automaton #calculus #component #evaluation #interface #performance #using: Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata (KA, YL, MM), pp. 16–33.
SIGAda-2010-BradleyPZ #ada #development #using: Real-time system development in ada using LEGO® mindstorms® NXT (PJB, JAdlP, JZ), pp. 37–40.
SIGAda-2010-McCormick #ada #embedded #parallel: Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.
SIGAda-2010-Pettit #ada #concurrent #design #embedded #uml #using: Designing real-time, concurrent, and embedded software systems using UML and Ada (RGPI), pp. 7–8.
FSE-2010-LiuSD: Analyzing hierarchical complex real-time systems (YL, JS, JSD), pp. 365–366.
ICSE-2010-HenklerMSDN #component #integration #legacy: Legacy component integration by the Fujaba real-time tool suite (SH, JM, WS, MvD, UN), pp. 267–270.
ICSE-2010-Lewis #generative #invariant #named: Zenet: generating and enforcing real-time temporal invariants (CL), pp. 329–330.
SAC-2010-ChokshiB #analysis #calculus #performance #revisited #using: Performance analysis of FlexRay-based systems using real-time calculus, revisited (DBC, PB), pp. 351–356.
SAC-2010-FacchinettiF #architecture #clustering #manycore: Resource partitioning for real-time processing on a multicore architecture (TF, MF), pp. 359–360.
SAC-2010-FacchinettiSG #design #development #embedded #metric: Design and development of a real-time embedded inertial measurement unit (TF, AS, EG), pp. 491–495.
SAC-2010-ForgetBLP #architecture #design #embedded #multi: A real-time architecture design language for multi-rate embedded control systems (JF, FB, DL, CP), pp. 527–534.
SAC-2010-KimKPT #framework #hybrid #platform #scheduling: Integrating real-time hybrid task scheduling into a sensor node platform (TK, BK, EKP, ST), pp. 737–741.
SAC-2010-LvLLC #multi #on-demand #scheduling: Profit-based on-demand broadcast scheduling of real-time multi-item requests (JL, VCSL, ML, EC), pp. 580–584.
SAC-2010-Niu #energy #scalability: Energy-aware dual-mode voltage scaling for weakly hard real-time systems (LN), pp. 321–325.
SAC-2010-SantanaLM #clustering #web: Load forecasting applied to soft real-time web clusters (CS, JCBL, DM), pp. 346–350.
SAC-2010-SchoeberlBV #memory management #named #transaction: RTTM: real-time transactional memory (MS, FB, JV), pp. 326–333.
SAC-2010-WeiYKHC #energy #manycore #scheduling: Energy-efficient real-time scheduling of multimedia tasks on multi-core processors (YHW, CYY, TWK, SHH, YHC), pp. 258–262.
CASE-2010-LeBSK #modelling #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 #visual notation: A real-time visual action-recognition framework for time-varying-geometry objects (MDM, RGF, BB), pp. 922–927.
CASE-2010-RichtsfeldSV #automation #detection: Real-time edge detection for automated fibre-mat stitching (MR, AS, MV), pp. 557–562.
CASE-2010-XuXZC #3d: Real-time 3D shape inspection system for manufacturing parts based on three-step stripe pattern (JX, NX, CZ, HC), pp. 228–233.
DAC-2010-MirhoseiniAK: Real time emulations: foundation and applications (AM, YA, FK), pp. 623–624.
DAC-2010-SridharanM #embedded #power management #reliability: Reliability aware power management for dual-processor real-time embedded systems (RS, RNM), pp. 819–824.
DAC-2010-WangM #approximate #named #scalability #using: PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme (WW, PM), pp. 705–710.
DAC-2010-YuVH #adaptation #multi #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 #scheduling: A probabilistic and energy-efficient scheduling approach for online application in real-time systems (TZ, CS), pp. 42–47.
DATE-2010-BhaduriS #interface: A proposal for real-time interfaces in SPEEDS (PB, IS), pp. 441–446.
DATE-2010-BraakHKHS #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-DixitDR #component #embedded: 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 #towards: Towards hardware stereoscopic 3D reconstruction a real-time FPGA computation of the disparity map (SH, CT, ASG, TT), pp. 1743–1748.
DATE-2010-KerstanO #design: Design of a real-time optimized emulation method (TK, MO), pp. 646–649.
DATE-2010-KootiBLB #configuration management #embedded #scheduling: Transition-aware real-time task scheduling for reconfigurable embedded systems (HK, EB, SL, LB), pp. 232–237.
DATE-2010-LarsenLNP #analysis #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 #scheduling: Scheduling for energy efficiency and fault tolerance in hard real-time systems (YL, HL, KW), pp. 1444–1449.
DATE-2010-PenolazziSH #energy #operating system #performance #predict: Predicting energy and performance overhead of Real-Time Operating Systems (SP, IS, AH), pp. 15–20.
DATE-2010-YangCTK #energy #scheduling: Energy-efficient real-time task scheduling with temperature-dependent leakage (CYY, JJC, LT, TWK), pp. 9–14.
DATE-2010-Zhu #algorithm #multi: Retiming multi-rate DSP algorithms to meet real-time requirement (XYZ), pp. 1785–1790.
HPDC-2010-HuangSILLWJ #named #pipes and filters: MR-scope: a real-time tracing tool for MapReduce (DH, XS, SI, LL, HL, SW, HJ), pp. 849–855.
HPDC-2010-RivasAN #architecture #named: Janus: a cross-layer soft real-time architecture for virtualization (RR, MAA, KN), pp. 676–683.
ISMM-2010-Siebert #concurrent #garbage collection #parallel: Concurrent, parallel, real-time garbage-collection (FS), pp. 11–20.
OSDI-2010-EnckGCCJMS #data flow #monitoring #named #privacy #smarttech: TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones (WE, PG, BGC, LPC, JJ, PM, AS), pp. 393–407.
PDP-2010-GarciaLH #scheduling: Scheduling Soft Real-Time Applications on NOWs (JRG, JLL, PH), pp. 59–63.
PDP-2010-IncarboneS #multi: A New Revenue Model for P2P Real-Time Multimedia Communications in Small High-Interactive Groups (GI, GS), pp. 334–340.
FASE-2010-BoronatO #model transformation: Formal Real-Time Model Transformations in MOMENT2 (AB, PCÖ), pp. 29–43.
TACAS-2010-MoyA #calculus #problem: Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions (MM, KA), pp. 358–372.
WRLA-2010-RiveraDV #behaviour #domain-specific language #on the #semantics #visual notation: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
ICTSS-2010-ArcuriIB #black box #embedded #random #search-based #testing #using: Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing (AA, MZZI, LCB), pp. 95–110.
VMCAI-2010-ChadhaLPV #bound #complexity #verification: Complexity Bounds for the Verification of Real-Time Software (RC, AL, PP, MV), pp. 95–111.
VMCAI-2010-WilhelmABGHRWW #analysis: Static Timing Analysis for Hard Real-Time Systems (RW, SA, CB, DG, JH, JR, BW, SW), pp. 3–22.
CBSE-2009-LoiretNBL #component #embedded #operating system: Component-Based Real-Time Operating System for Embedded Applications (FL, JFN, JPB, OL), pp. 209–226.
QoSA-2009-KavimandanG #model transformation #optimisation: Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems (AK, ASG), pp. 18–35.
ICDAR-2009-IwamuraTHK #recognition: Real-Time Camera-Based Recognition of Characters and Pictograms (MI, TT, AH, KK), pp. 76–80.
ICDAR-2009-NakaiKI #documentation #image #retrieval #using #web: Real-Time Retrieval for Images of Documents in Various Languages Using a Web Camera (TN, KK, MI), pp. 146–150.
VLDB-2009-LiuDDLZ #monitoring #named #network #scalability: MOIR/MT: Monitoring Large-Scale Road Network Traffic in Real-Time (KL, KD, ZD, ML, XZ), pp. 1538–1541.
VLDB-2009-NehmeRB: Tagging Stream Data for Rich Real-Time Services (RVN, EAR, EB), pp. 73–84.
ITiCSE-2009-QianLT #education #embedded #online: Teach real-time embedded system online with real hands-on labs (KQ, JL, LT), p. 367.
FM-2009-LarsenLNP #requirements #verification: Verifying Real-Time Systems against Scenario-Based Requirements (KGL, SL, BN, SP), pp. 676–691.
IFM-2009-StockerLG #parallel #process: Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (JS, FL, HG), pp. 88–102.
SEFM-2009-BersaniFPR #modelling #multi #paradigm #verification: Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (MMB, CAF, MP, MR), pp. 13–22.
SEFM-2009-ColomboPS #java #monitoring #source code: LARVA --- Safer Monitoring of Real-Time Java Programs (CC, GJP, GS), pp. 33–37.
SEFM-2009-DaumSS #correctness #implementation #operating system: Implementation Correctness of a Real-Time Operating System (MD, NS, MS), pp. 23–32.
Haskell-2009-PikeBG #embedded #experience #haskell #protocol: Roll your own test bed for embedded real-time protocols: a haskell experience (LP, GMB, AG), pp. 61–68.
AIIDE-2009-BartheyeJ #component #game studies #video: A Real-Time PDDL-based Planning Component for Video Games (OB, EJ).
AIIDE-2009-BulitkoB: kNN LRTA*: Simple Subgoaling for Real-Time Search (VB, YB).
AIIDE-2009-BurelliJ09a #named: CamOn: A Real-Time Autonomous Camera System (PB, AJ).
AIIDE-2009-WeberM #game studies #order #reasoning: Case-Based Reasoning for Build Order in Real-Time Strategy Games (BGW, MM).
CIG-2009-JangYC #algorithm #game studies #using: Optimal strategy selection of non-player character on real time strategy game using a speciated evolutionary algorithm (SHJ, JY, SBC), pp. 75–79.
CIG-2009-KeaveneyO #evolution #game studies #robust: Evolving robust strategies for an abstract real-time strategy game (DK, CO), pp. 371–378.
CIG-2009-ThompsonL #automation #execution #using: Realtime execution of automated plans using evolutionary robotics (TT, JL), pp. 333–340.
DiGRA-2009-CameronC #encoding #liveness #performance: Encoding liveness: Performance and real-time rendering in machinima (DC, JC).
VS-Games-2009-KoniarisGP #automation #modelling #multi: An Automated Modeling Method for Multiple Detail Levels of Real-Time Trees (CK, AG, GP), pp. 53–60.
CHI-2009-HsiehC #named: mimir: a market-based real-time question and answer service (GH, SC), pp. 769–778.
CHI-2009-LeshedPHCBLMG #behaviour #feedback #visualisation: Visualizing real-time language-based feedback on teamwork behavior in computer-mediated groups (GL, DP, JTH, DC, JPB, SL, PLM, GG), pp. 537–546.
CHI-2009-PanJPQ #comprehension: Effects of real-time transcription on non-native speaker’s comprehension in computer-mediated communications (YP, DJ, MP, YQ), pp. 2353–2356.
DHM-2009-KuramotoIST #comparison #education #physics #self: Augmented Practice Mirror: A Self-learning Support System of Physical Motion with Real-Time Comparison to Teacher’s Model (IK, YI, YS, YT), pp. 123–131.
HCI-NIMT-2009-AlexanderAA #framework #gesture #incremental #learning #open source #recognition: An Open Source Framework for Real-Time, Incremental, Static and Dynamic Hand Gesture Learning and Recognition (TCA, HSA, GCA), pp. 123–130.
HCI-NIMT-2009-FahnKW #recognition: Real-Time Face Tracking and Recognition Based on Particle Filtering and AdaBoosting Techniques (CSF, MJK, KYW), pp. 198–207.
HCI-NIMT-2009-LeeSLCH #image #interactive #interface: A Real-Time Hand Interaction System for Image Sensor Based Interface (SL, JS, SBL, YCC, TDH), pp. 208–215.
HCI-VAD-2009-MitsuishiKHG #concept #distance #interactive: The Concept of IMPRESSION: An Interactive Instruction System and Its Practice for Real-Time Distance Lessons between U.S. and Japan (TM, FK, YH, KG), pp. 176–185.
HIMI-II-2009-NozawaK #analysis #comparison #reduction: A Comparison of Artifact Reduction Methods for Real-Time Analysis of fNIRS Data (TN, TK), pp. 413–422.
ICEIS-DISI-2009-Daute #approach #database #maintenance: Introducing Real-time Business Case Database — An Approach to Improve System Maintenance of Complex Application Landscapes (OD), pp. 202–207.
ICEIS-DISI-2009-VinhasAM: Business Intelligence based on a Wi-Fi Real Time Positioning Engine — A Practical Application in a Major Retail Company (VV, PA, PM), pp. 11–16.
ICEIS-HCI-2009-VinhasSOR #assessment #multi #towards: Dynamic Multimedia Environment based on Realtime user Emotion Assessment — Biometric User Data towards Affective Immersive Environments (VV, DCS, ECO, LPR), pp. 42–47.
ICEIS-SAIC-2009-BalzanoSL #ajax #collaboration #web: A Scheme of Strategies for Real-time Web Collaboration based on AJAX/Comet Techniques for Live RIA (WB, MRDS, LDL), pp. 35–40.
CIKM-2009-ChokG #framework #mining #network: Spatio-temporal association rule mining framework for real-time sensor network applications (HC, LG), pp. 1761–1764.
CIKM-2009-ChristenGH: Similarity-aware indexing for real-time entity resolution (PC, RWG, DH), pp. 1565–1568.
CIKM-2009-ParkG #automation #metric #towards #using: Towards real-time measurement of customer satisfaction using automatically generated call transcripts (YP, SCG), pp. 1387–1396.
KDIR-2009-PaquetV #2d #3d #multi #product line: Finding Protein Family Similarities in Real Time through Multiple 3D and 2D Representations, Indexing and Exhaustive Searching (EP, HLV), pp. 127–133.
RecSys-2009-PhelanMS #recommendation #topic #twitter #using: Using twitter to recommend real-time topical news (OP, KM, BS), pp. 385–388.
SEKE-2009-AndresMN #mining #testing #using: Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems (CA, MGM, MN), pp. 426–431.
TOOLS-EUROPE-2009-Vitek #concurrent #modelling #programming: Programming Models for Concurrency and Real-Time (JV), p. 17.
AdaEurope-2009-Fernandez-SanchezA #architecture #modelling: Modelling and Evaluating Real-Time Software Architectures (JLFS, GMA), pp. 164–176.
AdaEurope-2009-UruenaZP #distributed #middleware #strict: A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems (SU, JZ, JAdlP), pp. 16–29.
SIGAda-2009-McCormick #ada #parallel: Ada for real-time and parallel processing (JWM), pp. 13–14.
SIGAda-2009-Rogers #ada #embedded: Embedded, hard, real-time systems with Ada (PR), pp. 17–18.
ICSE-2009-HenklerGHSAEHLSG #behaviour #synthesis: Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite (SH, JG, MH, WS, KA, TE, CH, RL, AS, HG), pp. 615–618.
SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #sequence chart #uml #validation: Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.
SAC-2009-AymerichFS #grid #in the cloud: A real time financial system based on grid and cloud computing (FA, GF, SS), pp. 1219–1220.
SAC-2009-CapozuccaG #concurrent #design #object-oriented #reliability: Designing reliable real-time concurrent object-oriented software systems (AC, NG), pp. 1996–1997.
SAC-2009-ChenR #adaptation #quality: Adaptive optimal checkpoint interval and its impact on system’s overall quality in soft real-time applications (NC, SR), pp. 1015–1020.
SAC-2009-FahmyRJ #analysis #distributed #transaction: Response time analysis of software transactional memory-based distributed real-time systems (SFF, BR, EDJ), pp. 334–338.
SAC-2009-KimR #multi #network: Opportunistic real-time routing in multi-hop wireless sensor networks (JK, BR), pp. 2197–2201.
SAC-2009-LaiRC #embedded #on the #scheduling: On scheduling soft real-time tasks with lock-free synchronization for embedded devices (SL, BR, HC), pp. 1685–1686.
SAC-2009-LeePR #ad hoc #mobile #network: A real-time message scheduler support for dual-sink mobile ad-hoc sensor networks (JL, GLP, SuR), pp. 305–309.
SAC-2009-LiangZSZ #adaptation #architecture #distributed #embedded #resource management: Adaptive resource management architecture for distributed real-time embedded systems (KL, XZ, RS, KZ), pp. 1050–1055.
SAC-2009-MaengKSR #architecture #debugging #embedded #named: RT-replayer: a record-replay architecture for embedded real-time software debugging (JCM, JIK, MKS, MR), pp. 1670–1675.
SAC-2009-MaLWW #query #scheduling: Real-time scheduling for continuous queries with deadlines (LM, XL, YW, HW), pp. 1516–1517.
SAC-2009-MonacoNP #architecture #latency #orthogonal #requirements #scheduling: An orthogonal real-time scheduling architecture for responsiveness QoS requirements in SOA environments (FJM, MN, MLMP), pp. 1990–1995.
SAC-2009-PaganoCRLSAST #implementation #network: ERIKA and open-ZB: an implementation for real-time wireless networking (PP, MC, AR, GL, RS, MA, PGS, ET), pp. 1687–1688.
SAC-2009-PaganoPL #multi #using: Real-time multi-view vision systems using WSNs (PP, FP, YL), pp. 2191–2196.
SAC-2009-ParkKLKK #network #using: A mobility management scheme using SCTP-SIP for real-time services across heterogeneous networks (HP, MK, SL, SK, YK), pp. 196–200.
SAC-2009-QiuLS #embedded #framework #hardware #optimisation #platform: Heterogeneous real-time embedded software optimization considering hardware platform (MQ, HL, EHMS), pp. 1637–1641.
SAC-2009-WeiCM #design #energy #manycore #metric: Designing a multi-core hard real-time test bed for energy measurement experiments (TW, XC, PM), pp. 1998–1999.
GPCE-2009-RadermacherCGT #case study #component #execution #generative #modelling #specification: Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE’s GCM and real-time annotations (AR, AC, SG, FT), pp. 127–136.
CASE-2009-BukkapatnamMKSK #monitoring #using: Real-time monitoring of container stability loss using wireless vibration sensor tags (STSB, SM, JK, VS, RK), pp. 221–226.
CASE-2009-DSouzaGRS: Supervisory control for real-time systems based on conflict-tolerant controllers (DD, MG, SR, PS), pp. 555–560.
CGO-2009-ChoiLCMM #compilation #embedded #manycore: Stream Compilation for Real-Time Embedded Multicore Systems (YC, YL, NC, SAM, TNM), pp. 210–220.
DAC-2009-LaiYKH #performance: A trace-capable instruction cache for cost efficient real-time program trace compression in SoC (CHL, FCY, CFK, IJH), pp. 136–141.
DAC-2009-LiuWQ #adaptation #algorithm #energy #scheduling: An adaptive scheduling and voltage/frequency selection algorithm for real-time energy harvesting systems (SL, QW, QQ), pp. 782–787.
DAC-2009-UzelacM: A real-time program trace compressor utilizing double move-to-front method (VU, AM), pp. 738–743.
DATE-2009-BeltrameFS #design: A real-time application design methodology for MPSoCs (GB, LF, DS), pp. 767–772.
DATE-2009-CasteresR #architecture #integration #modelling #trade-off: Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs (JC, TR), pp. 346–351.
DATE-2009-ChoSE #memory management #named: KAST: K-associative sector translation for NAND flash memory in real-time systems (HjC, DS, YIE), pp. 507–512.
DATE-2009-DabiriVPS #energy: Energy minimization for real-time systems with non-convex and discrete operation modes (FD, AV, MP, MS), pp. 1416–1421.
DATE-2009-FahmyRJ #bound #distributed #memory management #multi #on the #transaction: On bounding response times under software transactional memory in distributed multiprocessor real-time systems (SFF, BR, EDJ), pp. 688–693.
DATE-2009-HuynhM #configuration management #embedded #runtime: Runtime reconfiguration of custom instructions for real-time embedded systems (HPH, TM), pp. 1536–1541.
DATE-2009-KonigBSMNW #behaviour #embedded #evaluation #performance: Application specific performance indicators for quantitative evaluation of the timing behavior for embedded real-time systems (FK, DB, FS, UM, MN, GW), pp. 519–523.
DATE-2009-LombardiMB #clustering #manycore #robust #scheduling: Robust non-preemptive hard real-time scheduling for clustered multicore platforms (ML, MM, LB), pp. 803–808.
DATE-2009-MazziniPV #development: An MDE methodology for the development of high-integrity real-time systems (SM, SP, TV), pp. 1154–1159.
DATE-2009-ReicheltST #constraints #design: The influence of real-time constraints on the design of FlexRay-based systems (SR, OS, GT), pp. 858–863.
DATE-2009-StoimenovPT #reliability #scheduling: Reliable mode changes in real-time systems with fixed priority or EDF scheduling (NS, SP, LT), pp. 99–104.
DATE-2009-YangCKT #approximate #energy #multi #scheduling: An approximation scheme for energy-efficient scheduling of real-time tasks in heterogeneous multiprocessor systems (CYY, JJC, TWK, LT), pp. 694–699.
DATE-2009-ZhuSJ #architecture #cpu #hybrid #scheduling #streaming: Buffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures (JZ, IS, AJ), pp. 1506–1511.
LCTES-2009-SarkarMRM #manycore #migration: Push-assisted migration of real-time tasks in multi-core processors (AS, FM, HR, SM), pp. 80–89.
LCTES-2009-ZouABL #embedded #flexibility #graph #theory and practice: PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice (JZ, JSA, DFB, EAL), pp. 31–40.
PDP-2009-MathesGDF #automation #industrial #named: SOAP4IPC: A Real-Time SOAP Engine for Industrial Automation (MM, JG, HD, BF), pp. 220–226.
WRLA-2008-DuranO09 #implementation #maude: A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.
CAV-2009-Sifakis #component: Component-Based Construction of Real-Time Systems in BIP (JS), pp. 33–34.
ICST-2009-GrossmannSS #embedded #testing: Testing Embedded Real Time Systems with TTCN-3 (JG, DAS, IS), pp. 81–90.
ICST-2009-WolovickDQ #execution #optimisation #testing: Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.
TestCom-FATES-2009-AdjirSR #testing #using: Testing Real-Time Systems Using TINA (NA, PdSS, KMR), pp. 1–15.
CBSE-2008-MartinezDPM #component #distributed #named: Ada-CCM: Component-Based Technology for Distributed Real-Time Systems (PLM, JMD, PP, JLM), pp. 334–350.
SIGITE-2008-Pak #assessment #risk management #statistics: The near real time statistical asset priority driven (nrtsapd) risk assessment methodology (CP), pp. 105–112.
ICALP-A-2008-EisenbrandR #scheduling: A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation (FE, TR), pp. 246–257.
ICALP-B-2008-BouyerMOW #complexity #model checking #on the: On Expressiveness and Complexity in Real-Time Model Checking (PB, NM, JO, JW), pp. 124–135.
FM-2008-MacedoLF #development #distributed #incremental #using: Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (HDM, PGL, JSF), pp. 181–197.
AIIDE-2008-HagelbackJ: The Rise of Potential Fields in Real Time Strategy Bots (JH, SJJ).
AIIDE-2008-HaleYD #composition #navigation: Automatically-generated Convex Region Decomposition for Real-time Spatial Agent Navigation in Virtual Worlds (DHH, GMY, PND).
AIIDE-2008-TrustyOR #game studies #optimisation #probability: Stochastic Plan Optimization in Real-Time Strategy Games (AT, SO, AR).
AIIDE-2008-VirmaniKMOR #authoring #behaviour #game studies #ide: An Intelligent IDE for Behavior Authoring in Real-Time Strategy Games (SV, YK, MM0, SO, AR).
CIG-2008-BeumeHNPPW #anti #game studies: Intelligent anti-grouping in real-time strategy games (NB, TH, BN, NP, MP, SW), pp. 63–70.
CIG-2008-DanielsiekSTBNP #game studies: Intelligent moving of groups in real-time strategy games (HD, RS, AT0, NB, BN, MP), pp. 71–78.
CIG-2008-HagelbackJ #game studies: Dealing with fog of war in a Real Time Strategy game environment (JH, SJJ), pp. 55–62.
CIG-2008-HeijdenBS #game studies: Dynamic formations in real-time strategy games (MvdH, SB, PS), pp. 47–54.
CIG-2008-JangC #evolution #game studies #simulation: Evolving neural NPCs with layered influence map in the real-time simulation game 'Conqueror' (SHJ, SBC), pp. 385–388.
CIG-2008-OlesenYH #challenge #game studies #using: Real-time challenge balance in an RTS game using rtNEAT (JKO, GNY, JH), pp. 87–94.
CIG-2008-YannakakisH #adaptation #game studies #optimisation: Real-time adaptation of augmented-reality games for optimizing player satisfaction (GNY, JH), pp. 103–110.
CHI-2008-KimGSPPW #experience #user interface: Tracking real-time user experience (TRUE): a comprehensive instrumentation solution for complex systems (JHK, DVG, ES, BP, RJP, DRW), pp. 443–452.
ICEIS-AIDSS-2008-ChengSZ #clustering: Real Time Clustering Model (JC, MRS, MRZ), pp. 235–240.
ICEIS-ISAS2-2008-IdoudiDSBG #database: Structural Model of Real-Time Databases (NI, CD, BS, RB, FG), pp. 319–324.
CIKM-2008-LiuLNBMG #dataset #feature model #performance #preprocessor #scalability: Real-time data pre-processing technique for efficient feature extraction in large scale datasets (YL, LVL, RSN, KB, PM, CLG), pp. 981–990.
CIKM-2008-LuoYY #detection #video: Real-time new event detection for video streams (GL, RY, PSY), pp. 379–388.
ICPR-2008-BelleDS #detection #random #recognition: Randomized trees for real-time one-step face detection and recognition (VB, TD, SS), pp. 1–4.
ICPR-2008-DonoserB08a: Real time appearance based hand tracking (MD, HB), pp. 1–4.
ICPR-2008-GongC #graph #learning #online #optimisation #segmentation #using: Real-time foreground segmentation on GPUs using local online learning and global graph cut optimization (MG, LC), pp. 1–4.
ICPR-2008-IhaddadeneD #analysis: Real-time crowd motion analysis (NI, CD), pp. 1–4.
ICPR-2008-KiryatiRIR #detection #video: Real-time abnormal motion detection in surveillance video (NK, TRR, YI, SR), pp. 1–4.
ICPR-2008-KonKAT #adaptation #detection #interactive #using: Adaptive habituation detection to build human computer interactive systems using a real-time cross-modal computation (MK, TK, KA, HT), pp. 1–4.
ICPR-2008-LangerK #approach #detection #image #robust: A new hierarchical approach in robust real-time image feature detection and matching (ML, KDK), pp. 1–4.
ICPR-2008-LuoLW #recognition: A real-time accompaniment system based on sung voice recognition (LL, PFL, ZFW), pp. 1–4.
ICPR-2008-RicharzPF #3d #detection #gesture: Real-time detection and interpretation of 3D deictic gestures for interactionwith an intelligent environment (JR, TP, GAF), pp. 1–4.
ICPR-2008-SatoOKI #image: Real-time image-based rendering system for virtual city based on image compression technique and eigen texture method (RS, SO, HK, KI), pp. 1–4.
ICPR-2008-SekiH #3d #multi #using: Real-time 3D tracking using multiple sample points (AS, HH), pp. 1–4.
ICPR-2008-SimonB #detection #estimation #geometry #multi: Detection of the intersection lines in multiplanar environments: Application to real-time estimation of the camera-scene geometry (GS, MOB), pp. 1–4.
ICPR-2008-SuAL #predict #robust: Robust real-time face alignment based on ASM with boosting regression for displacement prediction (YS, HA, SL), pp. 1–4.
ICPR-2008-TaketomiSY #database #estimation #using: Real-time camera position and posture estimation using a feature landmark database with priorities (TT, TS, NY), pp. 1–4.
ICPR-2008-TombariMSA #effectiveness: Near real-time stereo based on effective cost aggregation (FT, SM, LdS, EA), pp. 1–4.
ICPR-2008-VanacloigOGG #constraints #people #recognition: People and luggage recognition in airport surveillance under real-time constraints (VLAV, JARO, GAG, JMVG), pp. 1–4.
ICPR-2008-WangY #feature model #image: Feature selection for real-time image matching systems (QW, SY), pp. 1–4.
ICPR-2008-WeiLNA: Real-time accurate optical flow-based motion sensor (ZW, DJL, BEN, JKA), pp. 1–4.
KDD-2008-ParikhS #detection #query #scalability: Scalable and near real-time burst detection from eCommerce queries (NP, NS), pp. 972–980.
SIGIR-2008-AnickK: A longitudinal study of real-time search assistance adoption (PGA, RGPK), pp. 701–702.
SIGIR-2008-SongZLZLLG #automation #recommendation: Real-time automatic tag recommendation (YS, ZZ, HL, QZ, JL, WCL, CLG), pp. 515–522.
AdaEurope-2008-FahmyRJ #performance #scheduling #thread: Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness (SFF, BR, EDJ), pp. 211–225.
AdaEurope-2008-MartinezDPM #ada #component #distributed: An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications (PLM, JMD, PP, JLM), pp. 254–267.
AdaEurope-2008-PerezGSH #ada #middleware #perspective: Real-Time Distribution Middleware from the Ada Perspective (HP, JJG, DS, MGH), pp. 268–281.
AdaEurope-2008-SinghoffPD #scheduling #usability: Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project (FS, AP, PD), pp. 240–253.
PLDI-2008-PizloPS #case study #concurrent #garbage collection: A study of concurrent real-time garbage collectors (FP, EP, BS), pp. 33–44.
SIGAda-2008-Doran #ada #development #embedded #named #programming language: Anima: a Ada derived programming language for real-time embedded software development (SD), pp. 121–132.
SIGAda-2008-McCormick #ada #named #parallel: MA1: Ada for real-time and parallel processing (JWM), pp. 5–6.
SIGAda-2008-RasC #architecture #distributed: Real-time synchronization on distributed architecture with Ada-2005 (JR, AMKC), pp. 75–84.
ASE-2008-BordinPP #agile #modelling #prototype #verification: Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems (MB, MP, SP), pp. 491–492.
ASE-2008-Hall #modelling #queue #specification #using #validation: Validating Real Time Specifications using Real Time Event Queue Modeling (RJH), pp. 79–88.
ASE-2008-PradellaMP #bound #satisfiability #specification: Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking (MP, AM, PSP), pp. 119–127.
SAC-2008-ChenCK #multi: Multiprocessor frequency locking for real-time task synchronization (YSC, LPC, TWK), pp. 289–293.
SAC-2008-CruzBC #approach #embedded #modelling #towards: Towards a model-driven engineering approach for developing embedded hard real-time software (FC, RSB, LC), pp. 308–314.
SAC-2008-FahmyRJ #scheduling #thread: Scheduling distributable real-time threads in the presence of crash failures and message losses (SFF, BR, EDJ), pp. 294–301.
SAC-2008-GuerraLF #constraints #energy #web: Attaining soft real-time constraint and energy-efficiency in web servers (RG, JCBL, GF), pp. 2085–2089.
SAC-2008-GuiFSB #component #configuration management #embedded #hybrid: A hybrid real-time component model for reconfigurable embedded systems (NG, VDF, HS, CB), pp. 1590–1596.
SAC-2008-MartinsB #on the: On the meaning of modes in uniprocessor real-time systems (PM, AB), pp. 324–325.
SAC-2008-RaveendranBG #algorithm #evaluation #scheduling #trade-off: Evaluation of priority based real time scheduling algorithms: choices and tradeoffs (BKR, SB, SG), pp. 302–307.
SAC-2008-SobralB #hybrid #mobile: A wireless hybrid contention/TDMA-based MAC for real-time mobile application (MMS, LBB), pp. 284–288.
SAC-2008-WeiMZL #network: A bandwidth management scheme support for real-time applications in wireless mesh networks (YW, RM, TZ, XL), pp. 2063–2068.
SAC-2008-WeiYLX #embedded #memory management #predict: Flash memory management based on predicted data expiry-time in embedded real-time systems (PW, LY, ZL, XX), pp. 1477–1481.
SAC-2008-YiMCJK #named #operating system: PreeMe: preemptive real-time task management for event-driven sensor operating systems (SY, HM, YC, IJ, YK), pp. 1726–1727.
CASE-2008-WuZPCC #clustering #constraints #modelling #petri net #process #tool support: Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations (NW, MZ, SP, FC, CC), pp. 109–114.
DAC-2008-LinSH #multi: A multi-resolution AHB bus tracer for real-time compression of forward/backward traces in a circular buffer (YTL, WCS, IJH), pp. 862–865.
DAC-2008-MohalikRDRSPJ #analysis #embedded #latency #model checking: Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts (SM, ACR, MGD, SR, PVS, PKP, SJ), pp. 296–299.
DAC-2008-SridharanGM #embedded #power management: Feedback-controlled reliability-aware power management for real-time embedded systems (RS, NG, RNM), pp. 185–190.
DATE-2008-AltCS #algorithm #architecture #detection #hardware: Hardware/software architecture of an algorithm for vision-based real-time vehicle detection in dark environments (NA, CC, WS), pp. 176–181.
DATE-2008-BriaoBW: Dynamic Task Allocation Strategies in MPSoC for Soft Real-time Applications (EWB, DB, FRW), pp. 1386–1389.
DATE-2008-ChantemDH #scheduling: Temperature-Aware Scheduling and Assignment for Hard Real-Time Applications on MPSoCs (TC, RPD, XSH), pp. 288–293.
DATE-2008-ChatterjeeGHIKPS #logic #reliability: Logical Reliability of Interacting Real-Time Tasks (KC, AG, TAH, DTI, CMK, CP, ALSV), pp. 909–914.
DATE-2008-CruzBCM #embedded #modelling #named #synthesis: ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis (FC, RSB, LCC, PRMM), pp. 1510–1515.
DATE-2008-DavidLLN #approach #game studies #testing: A Game-Theoretic Approach to Real-Time System Testing (AD, KGL, SL, BN), pp. 486–491.
DATE-2008-LindgrenEAN #c #embedded: TinyTimber, Reactive Objects in C for Real-Time Embedded Systems (PL, JE, SA, JN), pp. 1382–1385.
DATE-2008-LiuQW #energy: Energy Aware Dynamic Voltage and Frequency Selection for Real-Time Systems with Energy Harvesting (SL, QQ, QW), pp. 236–241.
DATE-2008-MalaniMQW #adaptation #multi #nondeterminism #scalability #scheduling: Adaptive Scheduling and Voltage Scaling for Multiprocessor Real-time Applications with Non-deterministic Workload (PM, PM, QQ, QW), pp. 652–657.
DATE-2008-SamiiREP #distributed #estimation #simulation #worst-case: A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems (SS, SR, PE, ZP), pp. 556–561.
DATE-2008-TumeoBCCMPFS #multi: A Dual-Priority Real-Time Multiprocessor System on FPGA for Automotive Applications (AT, MB, LC, MC, MM, GP, FF, DS), pp. 1039–1044.
TACAS-2008-OlveczkyM #maude: The Real-Time Maude Tool (PCÖ, JM), pp. 332–336.
ICST-2008-Garousi #distributed #modelling #nondeterminism #testing #uml: Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty (VG), pp. 92–101.
ICST-2008-LindstromOA #empirical #execution #testing: Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications (BL, AJO, SFA), pp. 112–120.
TestCom-FATES-2008-SerbanescuMDSR #testing: Real-Time Testing with TTCN-3 (DAS, VM, GD, IS, IR), pp. 283–301.
TestCom-FATES-2008-WangH #analysis #concurrent #generative #testing: Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis (FW, GDH), pp. 234–249.
ICDAR-2007-RodriguezSL #documentation #interface: A Pen-Based Interface for Real-Time Document Edition (JAR, GS, JL), pp. 939–943.
SIGMOD-2007-LuoTY #adaptation #detection: Resource-adaptive real-time new event detection (GL, CT, PSY), pp. 497–508.
VLDB-2007-ShenZHSZ #detection #named #video: UQLIPS: A Real-time Near-duplicate Video Clip Detection System (HTS, XZ, ZH, JS, XZ), pp. 1374–1377.
ITiCSE-2007-KheirW #speech #student #using: Inclusion of deaf students in computer science classes using real-time speech transcription (RK, TW), pp. 261–265.
IFM-2007-Bruckner #concurrent #slicing #specification #verification: Slicing Concurrent Real-Time System Specifications for Verification (IB), pp. 54–74.
IFM-2007-MeinickeS #development #process #reasoning #reliability: A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (LM, GS), pp. 439–458.
IFM-2007-VerhoefVHB #distributed #embedded: Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
AIIDE-2007-WintermuteXL #approach #named: SORTS: A Human-Level Approach to Real-Time Strategy AI (SW, JZX, JEL), pp. 55–60.
DiGRA-2007-Niedenthal #game studies #multi: Real-Time Sweetspot: The Multiple Meanings of Game Company Playtests (SN).
HCI-AS-2007-EshetC: Synchronous Reading in Real-Time Environments (YE, EC), pp. 245–254.
HCI-AS-2007-LiYG #classification #network #towards: Traffic Classification — Towards Accurate Real Time Network Applications (ZL, RY, XG), pp. 67–76.
HCI-AS-2007-ZhanLSO #game studies #multi #online: Face to Face Communications in Multiplayer Online Games: A Real-Time System (CZ, WL, FS, PO), pp. 401–410.
HCI-MIE-2007-KimKEKASK #adaptation #detection #using: Real-Time Face Tracking System Using Adaptive Face Detector and Kalman Filter (JHK, BDK, JSE, CK, SHA, BJS, SKK), pp. 669–678.
HCI-MIE-2007-WangYCI #interactive #interface #multimodal #using: Character Agents in E-Learning Interface Using Multimodal Real-Time Interaction (HW, JY, MHC, MI), pp. 225–231.
HIMI-IIE-2007-BaeckerBCLRMWW #distributed #interactive #learning: Webcasting Made Interactive: Integrating Real-Time Videoconferencing in Distributed Learning Spaces (RB, JPB, RC, SL, KR, CM, AW, PW), pp. 269–278.
HIMI-IIE-2007-MoradiKSH #algorithm #detection #navigation: A Real-Time GPU-Based Wall Detection Algorithm for Mapping and Navigation in Indoor Environments (HM, EK, DNS, JH), pp. 1072–1077.
HIMI-MTT-2007-KwonSH #design #implementation #using: Design and Implementation of Enhanced Real Time News Service Using RSS and VoiceXML (HJK, JHS, KSH), pp. 677–686.
HIMI-MTT-2007-MiyakeT #coordination: Internal Timing Mechanism for Real-Time Coordination — Two Types of Control in Synchronized Tapping (YM, KT), pp. 876–883.
HIMI-MTT-2007-ParkB07b #adaptation #distance: Real-Time Stereoscopic Conversion with Adaptable Viewing Distance at Personal Stereoscopic Viewing Devices (IP, HB), pp. 738–746.
HIMI-MTT-2007-ShimazuKHK: Tasting Robot with an Optical Tongue: Real Time Examining and Advice Giving on Food and Drink (HS, KK, AH, TK), pp. 950–957.
ICEIS-DISI-2007-SantosB07a #integration: A continuous data integration methodology for supporting real-time data warehousing (RJS, JB), pp. 589–598.
ICEIS-EIS-2007-MahdaviSSG #design #distributed #information management #quality: Designing an E-based Real Time Quality Control Information System for Distributed Manufacturing Shops (IM, BS, MS, SG), pp. 159–163.
ICEIS-SAIC-2007-Gerlicher #approach #aspect-oriented #collaboration #framework #integration #multi: Transparent Extension of Single-User Applications to Multi-User Real-Time Collaborative Systems — An Aspect Oriented Approach to Framework Integration (ARSG), pp. 327–334.
KDD-2007-BeckerA #concept #ranking #using: Real-time ranking with concept drift using expert advice (HB, MA), pp. 86–94.
KDD-2007-ChenT #clustering: Density-based clustering for real-time stream data (YC, LT), pp. 133–142.
SEKE-2007-PatelXG #online #trust: Real-Time Trust Management in Agent Based Online Auction Systems (RP, HX, AG), pp. 244–250.
SIGIR-2007-AhnW #named: Nexus: a real time QA system (KA, BLW), p. 910.
ECOOP-2007-FramptonBCG #garbage collection: Generational Real-Time Garbage Collection (DF, DFB, PC, DG), pp. 101–125.
AdaEurope-2007-BordinV #approach #correctness #metamodelling: Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach (MB, TV), pp. 114–127.
AdaEurope-2007-ElleuchKA #approach #development #embedded: ArchMDE Approach for the Development of Embedded Real Time Systems (NE, AK, SBA), pp. 142–154.
AdaEurope-2007-RivasR #ada #implementation: Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.
AdaEurope-2007-WellingsB #ada: Real-Time Utilities for Ada 2005 (AJW, AB), pp. 1–14.
PPDP-2007-AlTurkiM #semantics: Real-time rewriting semantics of orc (MA, JM), pp. 131–142.
SIGAda-2007-McCormick #ada #named #parallel: MA1: real-time and parallel processing in ada (JWM), p. 7.
SIGAda-2007-Singhoff #ada #named #scheduling: MP1: real time scheduling theory and its use with ada (FS), p. 8.
ASE-2007-Hall #infinity #modelling #named #validation: Rteq: modeling and validating infinite-state hard-real-time systems (RJH), pp. 481–484.
ESEC-FSE-2007-KumarSCP #analysis #design #framework #optimisation #statistics: A profile-driven statistical analysis framework for the design optimization of soft real-time applications (TK, JS, RC, SP), pp. 529–532.
ICSE-2007-BurmesterGHHTGMV #perspective #tool support: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (SB, HG, SH, MH, MT, AG, EM, HV), pp. 801–804.
SAC-2007-ChaiZX #java: Real-time Java processor optimized for RTSJ (ZC, WZ, WX), pp. 1540–1544.
SAC-2007-QiaoZWL #database: Developing event-condition-action rules in real-time active database (YQ, KZ, HW, XL), pp. 511–516.
SAC-2007-StanchinaM #algorithm #garbage collection #performance: Exploiting the efficiency of generational algorithms for hardware-supported real-time garbage collection (SS, MM), pp. 713–718.
CASE-2007-00010DAR #behaviour #feature model: A Micropositioning System with Real-Time Feature Extraction Capability for Quantifying C. elegans Locomotive Behavior (WW, YS, SJD, MA, PJR), pp. 243–248.
CASE-2007-IshiiNYOM #behaviour #quantifier: Real-time and Long-time Quantification of Behavior of Laboratory Mice Scratching (II, YN, KY, KO, HM), pp. 628–633.
CASE-2007-PuSZD #operating system #precise: An Application of Real-time Operating System in High Speed and High Precision Motion Control Systems (DP, XS, WZ, HD), pp. 997–1001.
CGO-2007-FultonS #compilation #java #source code: Compilation Techniques for Real-Time Java Programs (MF, MGS), pp. 221–231.
CGO-2007-WallaceH #named #performance: SuperPin: Parallelizing Dynamic Instrumentation for Real-Time Performance (SW, KMH), pp. 209–220.
DAC-2007-DavareZNPKS #distributed #optimisation: Period Optimization for Hard Real-time Distributed Automotive Systems (AD, QZ, MDN, CP, SK, ALSV), pp. 278–283.
DAC-2007-LucasHE #library #named: FlexWAFE — A High-end Real-Time Stream Processing Library for FPGAs (AdCL, SH, RE), pp. 916–921.
DAC-2007-XianLL #energy #execution #multi #nondeterminism #scheduling: Energy-Aware Scheduling for Real-Time Multiprocessor Systems with Uncertain Task Execution Time (CX, YHL, ZL), pp. 664–669.
DATE-2007-ChenKYK #energy #scheduling: Energy-efficient real-time task scheduling with task rejection (JJC, TWK, CLY, KJK), pp. 1629–1634.
DATE-2007-DittmannF #configuration management #scheduling: Hard real-time reconfiguration port scheduling (FD, SF), pp. 123–128.
DATE-2007-FengWZKS #automation #black box #generative #interactive: Interactive presentation: Automatic model generation for black box real-time systems (THF, LW, WZ, SK, SAS), pp. 930–935.
DATE-2007-HuangG #energy #optimisation #performance #scalability: Efficient and scalable compiler-directed energy optimization for realtime applications (PKH, SG), pp. 785–790.
DATE-2007-HuynhM #embedded: Instruction-set customization for real-time embedded systems (HPH, TM), pp. 1472–1477.
DATE-2007-KhanA #architecture #configuration management #implementation #pipes and filters #programmable: Pipelined implementation of a real time programmable encoder for low density parity check code on a reconfigurable instruction cell architecture (ZK, TA), pp. 349–354.
DATE-2007-NiuQ #energy #interactive #scheduling: Interactive presentation: Peripheral-conscious scheduling on energy minimization for weakly hard real-time systems (LN, GQ), pp. 791–796.
DATE-2007-PuautP #comparison: Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparison (IP, CP), pp. 1484–1489.
DATE-2007-QiuXSS #embedded #energy #multi: Energy minimization with soft real-time and DVS for uniprocessor and multiprocessor embedded systems (MQ, CX, ZS, EHMS), pp. 1641–1646.
DATE-2007-WangC #energy #mobile: Minimum-energy LDPC decoder for real-time mobile application (WW, GC), pp. 343–348.
DATE-2007-ZhengNPGV #distributed #modelling #synthesis: Synthesis of task and message activation models in real-time distributed automotive systems (WZ, MDN, CP, PG, ALSV), pp. 93–98.
ISMM-2007-PizloFPS #garbage collection #multi #named: Stopless: a real-time garbage collector for multiprocessors (FP, DF, EP, BS), pp. 159–172.
ISMM-2007-StanchinaM #algorithm #implementation: Mark-sweep or copying?: a “best of both worlds” algorithm and a hardware-supported real-time implementation (SS, MM), pp. 173–182.
LCTES-2007-AuerbachBIKRRT #java #programming: Java takes flight: time-portable real-time programming with exotasks (JSA, DFB, DTI, CMK, VTR, HR, RT), pp. 51–62.
LCTES-2007-PizloHV #garbage collection: Hierarchical real-time garbage collection (FP, ALH, JV), pp. 123–133.
LCTES-2007-WaltherHN #behaviour #embedded: Analyzing the real-time behaviour of deeply embedded event driven systems (KW, RH, JN), pp. 149–151.
LCTES-2007-ZhongX #energy #optimisation: Frequency-aware energy optimization for real-time periodic and aperiodic tasks (XZ, CZX), pp. 21–30.
PDP-2007-CampanileCCR #adaptation #data type #parsing: Adaptable Parsing of Real-Time Data Streams (FC, AC, LC, LR), pp. 412–418.
WRLA-J-2004-OlveczkyM07 #maude #semantics: Semantics and pragmatics of Real-Time Maude (PCÖ, JM), pp. 161–196.
WRLA-2006-OlveczkyM07a #abstraction #maude: Abstraction and Completeness for Real-Time Maude (PCÖ, JM), pp. 5–27.
TACAS-2007-TivoliFGG #adaptation #component #synthesis: Adaptor Synthesis for Real-Time Components (MT, PF, AG, GG), pp. 185–200.
CAV-2007-OuimetL #simulation #specification #tool support #verification: The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems (MO, KL), pp. 126–130.
CBSE-2006-LudersFWC #component #embedded #prototype: A Prototype Tool for Software Component Services in Embedded Real-Time Systems (FL, DF, AW, IC), pp. 222–237.
FM-2006-VerhoefLH #distributed #embedded #modelling #validation: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
SEFM-2006-BasuBS #component #modelling: Modeling Heterogeneous Real-time Components in BIP (AB, MB, JS), pp. 3–12.
CIG-2006-HeinzKGBL #empirical #game studies #recognition #smarttech #using: Using Wearable Sensors for Real-Time Recognition Tasks in Games of Martial Arts - An Initial Experiment (EAH, KSK, MG, DB, PL), pp. 98–102.
CSCW-2006-GutwinFWDB #network #performance: Improving network efficiency in real-time groupware with general message compression (CG, CF, MW, JD, TB), pp. 119–128.
ICEIS-ISAS-2006-AkhlakiTT #algebra #design #modelling #process #specification #uml: Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications (KBA, MICT, JAHT), pp. 290–297.
ICEIS-ISAS-2006-ChengP #aspect-oriented #development #embedded #overview #resource management #scheduling #using: Using Aspect-Oriented Software Development in Real-Time Embedded Systems Software — A Review of Scheduling, Resource Allocation and Synchronization (PLC, GAP), pp. 388–393.
CIKM-2006-Kielman #security: The real-time nature and value of homeland security information (JK), p. 3.
ICPR-v1-2006-BeaumesnilL #3d #animation: Real Time Tracking for 3D Realistic Lip Animation (BB, FL), pp. 219–222.
ICPR-v1-2006-Bernier #3d #using: Real-Time 3D Articulated Pose Tracking using Particle Filters Interacting through Belief Propagation (OB), pp. 90–93.
ICPR-v1-2006-CayouetteC: Generic Real-Time Tracking Method on Semi-Dynamic Scenes (FC, JRC), pp. 711–714.
ICPR-v1-2006-ChangCYY #estimation #interactive #using: An Intelligent Bulletin Board System with Real-time Vision-based Interaction Using Head Pose Estimation (CYC, PCC, YSY, JFY), pp. 1140–1143.
ICPR-v1-2006-HuangM #detection #independence #towards: Toward A Speaker-Independent Real-Time Affect Detection System (RH, CM), pp. 1204–1207.
ICPR-v1-2006-JainN #estimation: Real-time Camera Pose and Focal Length Estimation (SJ, UN), pp. 551–555.
ICPR-v1-2006-LinCW #detection #multi #queue: A Real-Time Multiple-Vehicle Detection and Tracking System with Prior Occlusion Detection and Resolution, and Prior Queue Detection and Resolution (SPL, YHC, BFW), pp. 828–831.
ICPR-v1-2006-MoritaniHS #feature model: Real-Time Object Tracking without Feature Extraction (TM, SH, KS), pp. 747–750.
ICPR-v1-2006-PupilliC #3d #modelling #using: Real-Time Camera Tracking Using Known 3D Models and a Particle Filter (MP, AC), pp. 199–203.
ICPR-v1-2006-SibiryakovB #analysis #multi: Real-Time Multi-Frame Analysis of Dominant Translation (AS, MB), pp. 55–58.
ICPR-v1-2006-SungLK #recognition #using: A Real-Time Facial Expression Recognition using the STAAM (JS, SL, DK), pp. 275–278.
ICPR-v1-2006-Ueshiba #bidirectional #implementation #performance: An Efficient Implementation Technique of Bidirectional Matching for Real-time Trinocular Stereo Vision (TU), pp. 1076–1079.
ICPR-v1-2006-ZhuJ #detection #invariant #robust: Robust Pose Invariant Facial Feature Detection and Tracking in Real-Time (ZZ, QJ), pp. 1092–1095.
ICPR-v2-2006-Maruyama #clustering #configuration management #hardware #image: Real-time K-Means Clustering for Color Images on Reconfigurable Hardware (TM), pp. 816–819.
ICPR-v2-2006-YuW #algorithm #clustering #named #scalability #set: GCA: A real-time grid-based clustering algorithm for large data set (ZY, HSW), pp. 740–743.
ICPR-v3-2006-AgrawalK #locality #using: Real-time Localization in Outdoor Environments using Stereo Vision and Inexpensive GPS (MA, KK), pp. 1063–1068.
ICPR-v3-2006-BimboLV #gesture #interactive #multi #recognition: Multi-User Natural Interaction System based on Real-Time Hand Tracking and Gesture Recognition (ADB, LL, AV), pp. 55–58.
ICPR-v3-2006-ChenCPKA #capacity #mobile: A Moving Object Tracked by A Mobile Robot with Real-Time Obstacles Avoidance Capacity (CHC, CC, DLP, AK, MAA), pp. 1091–1094.
ICPR-v3-2006-KawabataHS #detection: Real-Time Detection of Anomalous Objects in Dynamic Scene (SK, SH, KS), pp. 1171–1174.
ICPR-v3-2006-KyweFM #algorithm #image #scheduling #using: Scheduling of Image Processing Using Anytime Algorithm for Real-time System (WWK, DF, KM), pp. 1095–1098.
ICPR-v3-2006-Li06a: Real-Time Spherical Stereo (SL), pp. 1046–1049.
ICPR-v3-2006-YaoYLJ #algorithm #recognition #scalability: Real Time Large Vocabulary Continuous Sign Language Recognition Based on OP/Viterbi Algorithm (GY, HY, XL, FJ), pp. 312–315.
ICPR-v3-2006-YunBK #dependence #recognition #relational #using #visual notation: Real-time Object Recognition using Relational Dependency based on Graphical Model (WHY, SYB, DK), pp. 28–32.
ICPR-v4-2006-Rivera-RoveloB #algebra #framework #geometry #using: Non-Rigid Alignment and Real-Time Tracking Using the Geometric Algebra Framework (JRR, EBC), pp. 675–678.
ICPR-v4-2006-SiddiquiM #adaptation: Real Time Limb Tracking with Adaptive Model Selection (MS, GGM), pp. 770–773.
ICPR-v4-2006-TsujiYI #integration #locality: Real-time Sound Source Localization Based on Audiovisual Frequency Integration (TT, KY, II), pp. 322–325.
ICPR-v4-2006-VillamizarSA #detection #image #invariant #using: Computation of Rotation Local Invariant Features using the Integral Image for Real Time Object Detection (MV, AS, JAC), pp. 81–85.
ICPR-v4-2006-WangLTX #detection #estimation #multi #video: Real-Time Multi-View Face Detection and Pose Estimation in Video Stream (YW, YL, LT, GX), pp. 354–357.
KDD-2006-JankSW #functional #modelling #online: Dynamic, real-time forecasting of online auctions via functional models (WJ, GS, SW), pp. 580–585.
SEKE-2006-LiuBGRTOA #distributed #embedded #framework #named #product line: QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems (SHL, BRB, JGG, RRR, MT, AMO, MA), pp. 724–729.
SIGIR-2006-WhiteM #case study #effectiveness #query: A study of real-time query expansion effectiveness (RWW, GM), pp. 715–716.
MoDELS-2006-Gomaa #architecture #design #modelling #product line: A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines (HG), pp. 1–15.
MoDELS-2006-Gomaa #architecture #design #modelling #product line: A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines (HG), pp. 1–15.
ECOOP-2006-AndreaeCGNVZ #aspect-oriented #java: Scoped Types and Aspects for Real-Time Java (CA, YC, CG, JN, JV, TZ), pp. 124–147.
AdaEurope-2006-BrosgolW #ada #comparison #java #safety: A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications (BMB, AJW), pp. 13–26.
AdaEurope-2006-CamposGH #middleware #policy #scheduling: Interchangeable Scheduling Policies in Real-Time Middleware for Distribution (JLC, JJG, MGH), pp. 227–240.
AdaEurope-2006-Cheng #ada #detection #runtime: Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems (JC), pp. 167–178.
AdaEurope-2006-UruenaZBPP #communication #distributed #protocol: The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems (SU, JZ, DB, JAP, JAdlP), pp. 215–226.
PLDI-2006-SpoonhowerABCG #named #programming: Eventrons: a safe programming construct for high-frequency hard real-time applications (DS, JSA, DFB, PC, DG), pp. 283–294.
POPL-2006-CohenDEPPP #network: N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems (AC, MD, CE, CP, FP, MP), pp. 180–193.
ICSE-2006-DengSG #aspect-oriented #deployment #development #distributed #embedded #modelling: Addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems via aspect-oriented & model-driven software development (GD, DCS, ASG), pp. 811–814.
ICSE-2006-Gomaa #concurrent #design #distributed #uml: Designing concurrent, distributed, and real-time applications with UML (HG), pp. 1059–1060.
SAC-2006-ChoRJ #embedded #on the #scheduling: On utility accrual processor scheduling with wait-free synchronization for embedded real-time software (HC, BR, EDJ), pp. 918–922.
SAC-2006-ColomboPR #architecture #formal method #modelling #uml: A UML 2-compatible language and tool for formal modeling real-time system architectures (PC, MP, MR), pp. 1785–1790.
SAC-2006-GuesmiR #design #embedded #implementation: Design and implementation of a real-time notification service within the context of embedded ORB and the CAN bus (TG, HR), pp. 773–777.
SAC-2006-LuHS #algorithm #precise #scheduling: A precise schedulability test algorithm for scheduling periodic tasks in real-time systems (WCL, JWH, WKS), pp. 1451–1455.
SAC-2006-SemghouniSAB #probability #transaction: Stochastic study of real-time transactions success ratio (SS, BS, LA, AB), pp. 513–514.
SAC-2006-ShankaranBSBLMD #component #distributed #embedded #framework: A framework for (re)deploying components in distributed real-time and embedded systems (NS, JB, DCS, GB, PJL, EM, TD), pp. 737–738.
SAC-2006-WuRJ #bound #embedded #energy #on the: On bounding energy consumption in dynamic, embedded real-time systems (HW, BR, EDJ), pp. 933–934.
CC-2006-BaconCFGHR #analysis #named #online #visualisation: Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork (DFB, PC, DF, DG, MH, VTR), pp. 96–100.
DAC-2006-KhatibPBBBKJN #analysis #architecture #design #monitoring #multi: A multiprocessor system-on-chip for real-time biomedical monitoring and analysis: architectural design space exploration (IAK, FP, DB, LB, MB, HK, AJ, RN), pp. 125–130.
DAC-2006-TanimotoYNH #using: A real time budgeting method for module-level-pipelined bus based system using bus scenarios (TT, SY, AN, TH), pp. 37–42.
DAC-2006-ZhouP #agile #embedded #low cost: Rapid and low-cost context-switch through embedded processor customization for real-time and control applications (XZ, PP), pp. 352–357.
DATE-2006-ChengG #energy #online #scheduling: Online energy-aware I/O device scheduling for hard real-time systems (HC, SG), pp. 1055–1060.
DATE-2006-ChoRJ #embedded: Lock-free synchronization for dynamic embedded real-time systems (HC, BR, EDJ), pp. 438–443.
DATE-2006-HsuCK #constraints #energy #multi #synthesis: Multiprocessor synthesis for periodic hard real-time tasks under a given energy constraint (HRH, JJC, TWK), pp. 1061–1066.
DATE-2006-IgnatNSN #classification #impact analysis #operating system: Soft-error classification and impact analysis on real-time operating systems (NI, BN, YS, GN), pp. 182–187.
DATE-2006-LiCY #adaptation #embedded #energy #optimisation #performance: Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems (ZL, HC, SY), pp. 678–683.
DATE-2006-LucasHRERWGFHES #configuration management #framework #platform: A reconfigurable HW/SW platform for computation intensive high-resolution real-time digital film applications (AdCL, SH, PR, RE, HR, GW, KG, RF, WH, SE, GS), pp. 194–199.
DATE-2006-MaC #embedded #energy #multi #platform #scalability #trade-off: Scalable performance-energy trade-off exploration of embedded real-time systems on multiprocessor platforms (ZM, FC), pp. 1073–1078.
DATE-2006-StreubuhrFHTDS #architecture #modelling #multi #performance: Task-accurate performance modeling in SystemC for real-time multi-processor architectures (MS, JF, CH, JT, RD, TS), pp. 480–481.
DATE-2006-ThornbergO #memory management #specification #video: Impact of bit-width specification on the memory hierarchy for a real-time video processing system (BT, MO), pp. 752–753.
DATE-2006-WandelerMT #analysis #performance: Performance analysis of greedy shapers in real-time systems (EW, AM, LT), pp. 444–449.
DATE-2006-WehrmeisterPB #embedded #generative #java #object-oriented #optimisation #specification: Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java (MAW, CEP, LBB), pp. 806–811.
FASE-2006-OlveczkyC #algorithm #analysis #maude #scheduling #simulation: Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude (PCÖ, MC), pp. 357–372.
TestCom-2006-BerradaCFS #bound #testing #using: Test Case Minimization for Real-Time Systems Using Timed Bound Traces (IB, RC, PF, AS), pp. 289–305.
TestCom-2006-BouazizK #on the fly #testing: Symbolic and on the Fly Testing with Real-Time Observers (RB, OK), pp. 306–323.
TestCom-2006-WangWYST #communication #testing #using: Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems (ZW, JW, XY, XS, BT), pp. 324–340.
CBSE-2005-FredrikssonSA #component #optimisation #resource management: Optimizing Resource Usage in Component-Based Real-Time Systems (JF, KS, MÅ), pp. 49–65.
CBSE-2005-GuH #component #implementation #modelling #scheduling #synthesis: Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models (ZG, ZH), pp. 235–250.
WICSA-2005-LudersFW #component #embedded: Software Components Services for Embedded Real-Time Systems (FL, DF, AW), pp. 278–279.
WICSA-2005-Rosso #architecture #embedded #memory management #product line: Dynamic Memory Management for Software Product Family Architectures in Embedded Real-Time Systems (CDR), pp. 211–212.
HT-2005-LutkenhouseNB #community #distributed: Distributed, real-time computation of community preferences (TL, MLN, JB), pp. 88–97.
VLDB-2005-SchmidtLSL #query #robust: Robust Real-time Query Processing with QStream (SS, TL, SS, WL), pp. 1299–1302.
SIGITE-2005-ChastineP #2d #array #education #using #video: Teaching 2D arrays using real-time video filters (JWC, JAP), pp. 133–137.
CSMR-2005-HuseliusA #synthesis: Model Synthesis for Real-Time Systems (JH, JA), pp. 52–60.
FM-2005-WulfDR #implementation #modelling: Systematic Implementation of Real-Time Models (MDW, LD, JFR), pp. 139–156.
SEFM-2005-SunW #process #refinement #semantics: Operational Semantics for Real-Time Processes with Action Refinement (XS, JW), pp. 54–63.
AIIDE-2005-DSilvaJCSM #behaviour: Retaining Learned Behavior During Real-Time Neuroevolution (TD, RJ, MC, KOS, RM), pp. 39–44.
AIIDE-2005-Gompert #simulation: Real-time Simulation of Herds Moving Over Terrain (JMG), pp. 149–150.
AIIDE-2005-Orkin #architecture #game studies: Agent Architecture Considerations for Real-Time Planning in Games (JO), pp. 105–110.
AIIDE-2005-StanleyCM #game studies #learning #video: Real-time Learning in the NERO Video Game (KOS, RC, RM), pp. 159–160.
CIG-2005-HongC #evolution #game studies #simulation: Evolving Reactive NPCs for the Real-Time Simulation Game (JHH, SBC).
CIG-2005-MilesL #game studies #injection: Case-Injection Improves Response Time for a Real-Time Strategy Game (CM, SJL).
CIG-2005-StanleyBM #evolution #game studies #video: Real-Time Evolution in the NERO Video Game (Winner of CIG 2005 Best Paper Award) (KOS, BDB, RM).
DiGRA-2005-SauveLPBAK #game studies #learning #online: Playing And Learning Without Borders: A Real-time Online Play Environment (LS, VL, WP, GMB, VGSA, DK).
ICEIS-v1-2005-KircheZT #corba: Real-Time Sales & Operations Planning with Corba: Linking Demand Management with Production Planning (ETK, JZ, TT), pp. 122–129.
ICEIS-v3-2005-EspositoMORS #data mining #detection #mining #novel: Real Time Detection of Novel Attacks by Means of Data Mining Techniques (ME, CM, FO, SPR, CS), pp. 120–127.
ICEIS-v3-2005-Shah #approach #architecture #enterprise #integration #modelling: Model Driven Architecture Based Real-Time Enterprise Information Integration — An Approach and Impact on Businesses (VSS), pp. 167–173.
ICEIS-v5-2005-CordryBB #interactive #scheduling: Performing Real-Time Scheduling in an Interactive Audio-Streaming Application (JC, NB, SB), pp. 140–147.
ICML-2005-McMahanLG #bound #performance #programming: Bounded real-time dynamic programming: RTDP with monotone upper bounds and performance guarantees (HBM, ML, GJG), pp. 569–576.
ECMDA-FA-2005-BurmesterGS #architecture #framework #independence #modelling #platform: Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code (SB, HG, WS), pp. 25–40.
MoDELS-2005-Schmidt #development #distributed #embedded #modelling: Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
MoDELS-2005-Schmidt #development #distributed #embedded #modelling: Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
AdaEurope-2005-Brosgol #ada #comparison #java #specification: A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM (BMB), pp. 129–143.
AdaEurope-2005-MartinezH #communication #named #protocol #standard: RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet (JMM, MGH), pp. 180–195.
LOPSTR-2005-SimonMG #design #implementation: Design and Implementation of AT: A Real-Time Action Description Language (LS, AM, GG), pp. 44–60.
ASE-2005-ShankarASX #reasoning #semantics: Reasoning about real-time statecharts in the presence of semantic variations (SS, SA, VS, XX), pp. 243–252.
ICSE-2005-BurmesterGHST #development #modelling #safety: The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems (SB, HG, MH, DS, MT), pp. 670–671.
ICSE-2005-KonradC #specification: Real-time specification patterns (SK, BHCC), pp. 372–381.
SAC-2005-ChenCKM #scheduling: Real-time task scheduling anomaly: observations and prevention (YSC, LPC, TWK, AKM), pp. 897–898.
SAC-2005-DiazLPCV #approach #behaviour #e-commerce #probability #protocol #set #validation: An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol (GD, KGL, JJP, FC, VV), pp. 815–820.
SAC-2005-GorappaK #distributed #embedded #empirical #evaluation: Empirical evaluation of OpenCCM for Java-based distributed, real-time, and embedded systems (SG, RK), pp. 1288–1292.
SAC-2005-LiuBGROA #assurance #distributed #embedded #requirements: Two-level assurance of QoS requirements for distributed real-time and embedded systems (SHL, BRB, JGG, RRR, AMO, MA), pp. 903–904.
SAC-2005-LiWLC #mobile #transaction: Mobile real-time read-only transaction processing in data broadcast environments (GL, HW, YL, JC), pp. 1176–1177.
SAC-2005-RenJ #adaptation #distributed #forensics #network: Honeynet based distributed adaptive network forensics and active real time investigation (WR, HJ), pp. 302–303.
SAC-2005-TrentiniM #framework #java #petri net #validation: Plan validation via petri nets in the real-time performers Java framework (AT, DM), pp. 1534–1538.
CASE-2005-KimKYT #identification #using: Dynamic shipment planning in an automobile shipment yard using real-time radio frequency identification (RFID) information (JK, SRTK, STY, JDT), pp. 148–153.
CASE-2005-LowWW #development #on the #using: On the development of a real time control system by using xPC Target: solution to robotic system control (KHL, HW, MYW), pp. 345–350.
DAC-2005-CortesEP #energy: Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints (LAC, PE, ZP), pp. 889–894.
DAC-2005-JejurikarG #embedded #scheduling: Dynamic slack reclamation with procrastination scheduling in real-time embedded systems (RJ, RKG), pp. 111–116.
DAC-2005-Magee #development #matlab #testing #verification: Matlab extensions for the development, testing and verification of real-time DSP software (DPM), pp. 603–606.
DAC-2005-ZhangLLSS #scheduling: Optimal procrastinating voltage scheduling for hard real-time systems (YZ, ZL, JL, KS, MRS), pp. 905–908.
DATE-2005-AlbersS #analysis #performance #scheduling: Efficient Feasibility Analysis for Real-Time Systems with EDF Scheduling (KA, FS), pp. 492–497.
DATE-2005-BurchardHC #memory management #streaming: A Real-Time Streaming Memory Controller (AB, EHN, AC), pp. 20–25.
DATE-2005-ChappellMPOFS #adaptation #generative #safety: Exploiting Real-Time FPGA Based Adaptive Systems Technology for Real-Time Sensor Fusion in Next Generation Automotive Safety Systems (SC, AM, DP, DO, BF, CS), pp. 180–185.
DATE-2005-Dean #concurrent #integration #synthesis #thread: Software Thread Integration and Synthesis for Real-Time Applications (AGD), pp. 68–69.
DATE-2005-HaiYC #modelling: Unified Modeling of Complex Real-Time Control Systems (HH, ZYf, CCl), pp. 498–499.
DATE-2005-WongLLHP #scheduling: Scheduling of Soft Real-Time Systems for Context-Aware Applications (JLW, WL, FL, LH, MP), pp. 318–323.
DATE-2005-WuRJ #energy #scheduling: Energy-Efficient, Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model (HW, BR, EDJ), pp. 474–479.
LCTES-2005-BaconCGV #garbage collection #named: Syncopation: generational real-time garbage collection in the metronome (DFB, PC, DG, MTV), pp. 183–192.
LCTES-2005-FarcasFPT #component #execution #logic: Transparent distribution of real-time components based on logical execution time (EF, CF, WP, JT), pp. 31–39.
LCTES-2005-MannDLC #garbage collection: Static determination of allocation rates to support real-time garbage collection (TM, MD, RL, RC), pp. 193–202.
PDP-2005-ChandlerF #approach #multi #named: Rendezvous: An Alternative Approach to Conflict Resolution for Real Time Multi-User Applications (AC, JF), pp. 160–167.
WRLA-2004-OlveczkyM05 #maude: Real-Time Maude 2.1 (PCÖ, JM), pp. 285–314.
FASE-2005-FuriaRMM #automation #composition #proving: Automated Compositional Proofs for Real-Time Systems (CAF, MR, DM, AM), pp. 326–340.
FATES-2005-JurdzinskiPQ #testing: Calculating Probabilities of Real-Time Test Cases (MJ, DP, HQ), pp. 134–151.
TestCom-2005-KrichenT05a #framework #testing: An Expressive and Implementable Formal Framework for Testing Real-Time Systems (MK, ST), pp. 209–225.
CBSE-2004-LipariGTGA #component #framework: A Hierarchical Framework for Component-Based Real-Time Systems (GL, PG, MT, GG, PA), pp. 209–216.
CBSE-2004-SandstromFA #component #embedded #safety: Introducing a Component Technology for Safety Critical Embedded Real-Time Systems (KS, JF, MÅ), pp. 194–208.
WICSA-2004-BardramC #architecture #collaboration: Real-time Collaboration in Activity-based Architectures (JB, HBC), pp. 325–328.
WICSA-2004-BashroushSKB #architecture #network: A Network Architectural Style for Real-time Systems: NaSr (RB, ITAS, PK, TJB), pp. 321–324.
DocEng-2004-KingST #animation #behaviour #functional #programming #xml: Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation (PRK, PS, SJT), pp. 57–66.
VLDB-2004-MokbelXAHPH #data type #named #query: PLACE: A Query Processor for Handling Real-time Spatio-temporal Data Streams (MFM, XX, WGA, SEH, SP, MAH), pp. 1377–1380.
CSEET-2004-SmithLL #java #question #re-engineering: Can Real-Time Software Engineering be Taught to Java Programmers? (SS, SWL, AL), pp. 124–129.
ICSM-2004-DangLMPPT #design #using #video #visual notation: Design Recovery of Real-Time Graphical Applications Using Video (CD, AVL, AM, KCP, TQP, JT), pp. 338–347.
ICSM-2004-WhiteR #analysis #industrial #testing #using: Industrial Real-Time Regression Testing and Analysis Using Firewalls (LJW, BR), pp. 18–27.
SEFM-2004-Sinnott #development #tool support: The Formal, Tool Supported Development of Real Time Systems (ROS), pp. 388–395.
SFM-2004-Bravetti #probability: Real Time and Stochastic Time (MB), pp. 132–180.
ICEIS-v1-2004-AbdouliSAB #distributed #transaction: Enhancing the Success Ratio of Distributed Real-Time Nested Transactions (MA, BS, LA, AB), pp. 233–240.
ICEIS-v2-2004-Okhtilev #data flow #distributed: The Data Flow and Distributed Calculations Intelligence Information Technology for Decision Support System in Real Time (MO), pp. 497–500.
ICEIS-v2-2004-ZhuangZNTZ #execution: Dynamic Negotiation for Real-Time Manufacturing Execution (LZ, JZ, BN, YT, YZ), pp. 321–326.
ICPR-v1-2004-BariamisIMK #architecture #feature model #image: An FPGA-Based Architecture for Real Time Image Feature Extraction (DGB, DKI, DEM, SAK), pp. 801–804.
ICPR-v1-2004-HoriSNK #detection #multi #using: A Real-Time Multi Face Detection Technique Using Positive-Negative Lines-of-Face Template (YH, KS, YN, TK), pp. 765–768.
ICPR-v1-2004-JorgLN #visual notation: FPGA based Real-Time Visual Servoing (SJ, JL, MN), pp. 749–753.
ICPR-v1-2004-KaszubiakTKM #3d #estimation #multi: Real-Time, 3-D-Multi Object Position Estimation and Tracking (JK, MT, RWK, BM), pp. 785–788.
ICPR-v1-2004-WoetzelK #estimation #hardware #multi: Multi-Camera Real-Time Depth Estimation with Discontinuity Handling on PC Graphics Hardware (JW, RK), pp. 741–744.
ICPR-v1-2004-YoshimotoDAT #architecture #performance: Confidence-Driven Architecture for Real-time Vision Processing and Its Application to Efficient Vision-Based Human Motion Sensing (HY, ND, DA, RiT), pp. 736–740.
ICPR-v2-2004-BandoSDI #performance #visual notation: Switching Particle Filters for Efficient Real-time Visual Tracking (TB, TS, KD, SI), pp. 720–723.
ICPR-v2-2004-KanbaraY #artificial reality #estimation: Real-time Estimation of Light Source Environment for Photorealistic Augmented Reality (MK, NY), pp. 911–914.
ICPR-v2-2004-LiYMKG #detection: A Real-Time Vehicle Detection and Tracking System in Outdoor Traffic Scenes (XL, XY, YLM, RK, GG), pp. 761–764.
ICPR-v2-2004-ZhangLG #detection #using: Real-Time Face Detection Using Boosting in Hierarchical Feature Spaces (DZ, SZL, DGP), pp. 411–414.
ICPR-v2-2004-ZhengZZ #recognition #using: Real-Time Face Recognition Using Gram-Schmidt Orthogonalization for LDA (WZ, CZ, LZ), pp. 403–406.
ICPR-v3-2004-ChiuDS #embedded: An Embedded Real-time Vision System for 24-hour Indoor/Outdoor Car-Counting Applications (MYC, RD, TS), pp. 338–341.
ICPR-v3-2004-DateYAT #interactive: Real-timeHumanMotion Sensingbased on Vision-based Inverse Kinematics for Interactive Applications (ND, HY, DA, RiT), pp. 318–321.
ICPR-v3-2004-DOrazioLCD #algorithm #detection #image: An Algorithm for Real Time Eye Detection in Face Images (TD, ML, GC, AD), pp. 278–281.
ICPR-v3-2004-HuangT #detection #estimation #robust #video: Robust Real-Time Detection, Tracking, and Pose Estimation of Faces in Video Streams (KSH, MMT), pp. 965–968.
ICPR-v3-2004-IshiiHYN #detection: Face and Head Detection for a Real-Time Surveillance System (YI, HH, KY, YN), pp. 298–301.
ICPR-v3-2004-JiaMSC #detection #fault: An Intelligent Real-time Vision System for Surface Defect Detection (HJ, YLM, JS, TSC), pp. 239–242.
ICPR-v3-2004-TerrillonPNY #detection #multi #recognition #robust #sequence #video: DRUIDE : A Real-Time System for Robust Multiple Face Detection, Tracking and Hand Posture Recognition in Color Video Sequences (JCT, AP, YN, KY), pp. 302–305.
ICPR-v3-2004-WangAWH #recognition: Real Time Facial Expression Recognition with Adaboost (YW, HA, BW, CH), pp. 926–929.
ICPR-v4-2004-CastanedaLC #architecture #composition #implementation #visual notation: Implementation of a Modular Real-Time Feature-Based Architecture Applied to Visual Face Tracking (BC, YL, JCC), pp. 167–170.
ICPR-v4-2004-ChateauL: Real Time Tracking with Occlusion and Illumination Variations (TC, JTL), pp. 763–766.
ICPR-v4-2004-DehaisDMC #artificial reality #perspective #sequence #using #video: Augmented Reality through Real-Time Tracking of Video Sequences Using a Panoramic View (CD, MD, GM, VC), pp. 995–998.
ICPR-v4-2004-Martin-HerreroFA #assurance #quality: A SOFM Improves a Real Time Quality Assurance Machine Vision System (JMH, MFA, JLAC), pp. 301–304.
ICPR-v4-2004-MassonDJ #3d #robust: Robust Real Time Tracking of 3D Objects (LM, MD, FJ), pp. 252–255.
SEKE-2004-WeigangCDM #distributed #grid #knowledge base #using: Distributed Knowledge Based System Using Grid Computing for Real Time Air Traffic Synchronization — ATFMGC (WL, DAC, MVPD, ACMAdM), pp. 396–401.
AdaEurope-2004-AlvarezPOSN #ada #education #framework #platform #using: Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada (BÁ, JAP, FJO, PS, PJNL), pp. 213–224.
AdaEurope-2004-CamposGH #ada #embedded: The Chance for Ada to Support Distribution and Real-Time in Embedded Systems (JLC, JJG, MGH), pp. 91–105.
AdaEurope-2004-MasmanoRRC #linux: Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux (MM, JR, IR, AC), pp. 144–155.
AdaEurope-2004-Nadrchal #on the fly #requirements: Event Language for Real-Time On-the-Fly Control According to the Initial Requirements (SPN), pp. 120–131.
SIGAda-2004-SinghoffLNM #flexibility #framework #named #scheduling: Cheddar: a flexible real time scheduling framework (FS, JL, LN, LM), pp. 1–8.
ASE-2004-Kloukinas: Data-Mining Synthesised Schedulers for Hard Real-Time Systems (CK), pp. 14–23.
ASE-2004-MikucionisLN #modelling #named #online #testing: T-UPPAAL: Online Model-based Testing of Real-Time Systems (MM, KGL, BN), pp. 396–397.
ICSE-2004-HaRCRD #case study #composition #experience #induction #proving: Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.
ICSE-2004-Kang #analysis #approximate #embedded #parametricity: Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
SAC-2004-GustafssonH #database #on-demand: Dynamic on-demand updating of data in real-time database systems (TG, JH), pp. 846–853.
SAC-2004-KayssiE #named #network: EmuNET: a real-time network emulator (AIK, AEHM), pp. 357–362.
DAC-2004-JejurikarPG #embedded #scalability: Leakage aware dynamic voltage scaling for real-time embedded systems (RJ, CP, RKG), pp. 275–280.
DAC-2004-SeoKC #scheduling: Profile-based optimal intra-task voltage scheduling for hard real-time applications (JS, TK, KSC), pp. 87–92.
DAC-2004-ZhangDC #distributed #embedded #energy #fault tolerance: Energy-aware deterministic fault tolerance in distributed real-time embedded systems (YZ, RPD, KC), pp. 550–555.
DATE-DF-2004-MoignePC #simulation: A Generic RTOS Model for Real-time Systems Simulation with SystemC (RLM, OP, JPC), pp. 82–87.
DATE-v1-2004-HuM #architecture #communication #constraints #energy #scheduling: Energy-Aware Communication and Task Scheduling for Network-on-Chip Architectures under Real-Time Constraints (JH, RM), pp. 234–239.
DATE-v2-2004-CortesEP #scheduling: Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks (LAC, PE, ZP), pp. 1176–1183.
DATE-v2-2004-PinelloCS #deployment #embedded #fault tolerance: Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications (CP, LPC, ALSV), pp. 1164–1169.
DATE-v2-2004-PopEPIHB #clustering #design #embedded #multi #optimisation: Design Optimization of Multi-Cluster Embedded Systems for Real-Time Application (PP, PE, ZP, VI, MH, OB), pp. 1027–1033.
DATE-v2-2004-SchattkowskyM #embedded #execution #modelling #specification: Model-Based Specification and Execution of Embedded Real-Time Systems (TS, WM), pp. 1392–1393.
DATE-v2-2004-TanM #analysis #multi: Timing Analysis for Preemptive Multi-Tasking Real-Time Systems with Caches (YT, VJMI), pp. 1034–1039.
DATE-v2-2004-ZhangC #analysis #embedded #fault tolerance #scalability: Task Feasibility Analysis and Dynamic Voltage Scaling in Fault-Tolerant Real-Time Embedded Systems (YZ, KC), pp. 1170–1175.
LCTES-2004-ImH #multi #scalability #scheduling #using: Dynamic voltage scaling for real-time multi-task scheduling using buffers (CI, SH), pp. 88–94.
LCTES-2004-JejurikarG #scheduling: Procrastination scheduling in fixed priority real-time systems (RJ, RKG), pp. 57–66.
LCTES-2004-StarnerA: Measuring the cache interference cost in preemptive real-time systems (JS, LA), pp. 146–154.
FASE-2004-OlveczkyM #analysis #maude #specification #using: Specification and Analysis of Real-Time Systems Using Real-Time Maude (PCÖ, JM), pp. 354–358.
FATES-2004-BordbarO #approach #formal method #testing: Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach (BB, KO), pp. 95–109.
FATES-2004-BrionesB #framework #generative #testing: A Test Generation Framework for quiescent Real-Time Systems (LBB, EB), pp. 64–78.
FATES-2004-LarsenMN #online #testing #using: Online Testing of Real-time Systems Using Uppaal (KGL, MM, BN), pp. 79–94.
TestCom-2004-NeukirchenDG #communication #requirements #testing #using: Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing (HN, ZRD, JG), pp. 144–159.
HT-2003-WangL #enterprise #hypermedia: A cooperative hypermedia solution to work management in real-time enterprises (WW, FML), pp. 196–197.
CIAA-2003-WangY #parametricity: Timing Parameter Characterization of Real-Time Systems (FW, HCY), pp. 23–34.
ICALP-2003-NaorST #scheduling: Real-Time Scheduling with a Budget (JN, HS, TT), pp. 1123–1137.
FME-2003-Schafer #analysis #fault #model checking: Combining Real-Time Model-Checking and Fault Tree Analysis (AS), pp. 522–541.
DiGRA-2003-RoudavskiP: Space, Agency, Meaning and Drama in Navigable Real-Time Virtual Environments (SR, FP).
EDOC-2003-JengSC #architecture #enterprise #process: An Agent-based Architecture for Analyzing Business Processes of Real-Time Enterprises (JJJ, JS, HC), pp. 86–97.
ICEIS-v1-2003-AmantonSH #database #distributed #precise: Tradding Precision for Timeliness in Distributed Real-Time Databases (LA, BS, JH), pp. 558–561.
ICEIS-v1-2003-Saad-BouzefraneK #database #distributed: Distributed Overload Control for Real-Time Replicated Database Systems (SSB, CK), pp. 380–388.
ICEIS-v1-2003-WashingtonNU #education #implementation #modelling #online: Models for Implementation of Online Real Time It-Enabled Service for Entry to Professional Education (DGW, TRN, VRU), pp. 260–266.
ICEIS-v2-2003-WangRLC #mining #online #recommendation #web: Mining Web Usage Data for Real-Time Online Recommendation (MW, SJR, SYL, JKYC), pp. 575–578.
ICEIS-v3-2003-NetoPP #database #modelling #quality: Real-Time Database Modeling Considering Quality of Service (PFRN, AP, MLBP), pp. 403–410.
MLDM-2003-MiteranBB #approximate #bound #classification #image #segmentation #using: Classification Boundary Approximation by Using Combination of Training Steps for Real-Time Image Segmentation (JM, SB, EBB), pp. 141–155.
SEKE-2003-BelliniGNR #c++ #implementation #logic: TILCO Temporal Logic for Real-Time Systems Implementation in C++ (PB, AG, PN, DR), pp. 166–173.
SEKE-2003-LaiSF #mining: Real-Time Mining of Partial Periodic Patterns (CL, LS, MF), pp. 259–266.
UML-2003-ShankarA #semantics #uml: Formal Semantics of UML with Real-Time Constructs (SS, SA), pp. 60–75.
ECOOP-2003-PalaczV #java #testing #type system: Java Subtype Tests in Real-Time (KP, JV), pp. 378–404.
AdaEurope-2003-BrosgolW #ada #comparison #java: A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java (BMB, AJW), pp. 113–128.
AdaEurope-2003-JeppuKS #ada #safety #testing #using: Testing Safety Critical Ada Code Using Non Real Time Testing (YVJ, KK, PSS), pp. 382–392.
AdaEurope-2003-MasmanoRRC #ada #linux: Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.
AdaEurope-2003-OrtizAPS #architecture #case study #evaluation #performance #uml #using: A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST (FJO, BÁ, JAP, PS), pp. 417–428.
PLDI-2003-BoyapatiSBR #java #memory management: Ownership types for safe region-based memory management in real-time Java (CB, AS, WSB, MCR), pp. 324–337.
POPL-2003-BaconCR #consistency #garbage collection: A real-time garbage collector with low overhead and consistent utilization (DFB, PC, VTR), pp. 285–298.
SIGAda-2003-Potratz #ada #comparison #embedded #implementation #java: A practical comparison between Java and Ada in implementing a real-time embedded system (EP), pp. 71–83.
ESEC-FSE-2003-GieseTBF #composition #design #towards #uml #verification: Towards the compositional verification of real-time UML designs (HG, MT, SB, SF), pp. 38–47.
SAC-2003-CarliniB #embedded #performance #representation: An Efficient Time Representation for Real-Time Embedded Systems (AC, GCB), pp. 705–712.
SAC-2003-PascucciLFGSLH #monitoring #scalability #simulation: Real-Time Monitoring of Large Scientific Simulations (VP, DEL, RJF, FG, GS, LL, BH), pp. 194–198.
SAC-2003-ShouHT #visualisation: Supporting Real-time Visualization With The HDoV Tree (LS, ZH, KLT), pp. 966–971.
GPCE-2003-HammondM #domain-specific language #embedded #named: Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
DAC-2003-MeyerowitzPS #policy #scheduling: A tool for describing and evaluating hierarchical real-time bus scheduling policies (TM, CP, ALSV), pp. 312–317.
DATE-2003-BeeckGBMCD #data transformation #implementation #power management: Background Data Organisation for the Low-Power Implementation in Real-Time of a Digital Audio Broadcast Receiver on a SIMD Processor (POdB, CG, EB, MM, FC, GD), pp. 11144–11145.
DATE-2003-KodaseWS #constraints #embedded #runtime: Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints (SK, SW, KGS), pp. 20170–20175.
DATE-2003-LuoPJ #communication #distributed #embedded #scalability: Simultaneous Dynamic Voltage Scaling of Processors and Communication Links in Real-Time Distributed Embedded Systems (JL, LSP, NKJ), pp. 11150–11151.
DATE-2003-ZhangC #adaptation #embedded #energy: Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems (YZ, KC), pp. 10918–10925.
LCTES-2003-AbouGhazalehCMMC #compilation #embedded #energy: Energy management for real-time embedded applications with compiler support (NA, BRC, DM, RGM, MC), pp. 284–293.
LCTES-2003-BaconCR #garbage collection #java: Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java (DFB, PC, VTR), pp. 81–92.
LCTES-2003-CorsaroC #java #performance: Efficient memory-reference checks for real-time java (AC, RC), pp. 51–58.
LCTES-2003-NizR #embedded #framework: Time weaver: a software-through-models framework for embedded real-time systems (DdN, RR), pp. 133–143.
LCTES-2003-RobertzH #adaptation #embedded #garbage collection #robust #scheduling: Time-triggered garbage collection: robust and adaptive real-time GC scheduling for embedded systems (SGR, RH), pp. 93–102.
SOSP-2003-YuanN #cpu #energy #mobile #multi #scheduling: Energy-efficient soft real-time CPU scheduling for mobile multimedia systems (WY, KN), pp. 149–163.
ESOP-2003-GorrieriLM #analysis #encryption #protocol: A Simple Language for Real-Time Cryptographic Protocol Analysis (RG, EL, FM), pp. 114–128.
FASE-2003-BiancoLMO #component #specification #towards #uml: Towards UML-Based Formal Specifications of Component-Based Real-Time Software (VDB, LL, MM, GO), pp. 118–134.
CAV-2003-BeyerLN #named #verification: Rabbit: A Tool for BDD-Based Verification of Real-Time Systems (DB, CL, AN), pp. 122–125.
CAV-2003-Geilen #logic #on the fly: An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic (MG), pp. 394–406.
FATES-2003-HesselLNPS #generative #testing #using: Time-Optimal Real-Time Test Case Generation Using Uppaal (AH, KGL, BN, PP, AS), pp. 114–130.
FATES-2003-KhoumsiJM #generative #nondeterminism #testing: Test Cases Generation for Nondeterministic Real-Time Systems (AK, TJ, HM), pp. 131–146.
TestCom-2003-DaiGN #specification #visual notation: T911IMED TTCN-3 Based Graphical Real-Time Test Specification (ZRD, JG, HN), pp. 110–127.
VLDB-2002-LamKR #mobile #monitoring #named #using: RTMonitor: Real-Time Data Monitoring Using Mobile Agent Technologies (KyL, AK, KR), pp. 1063–1066.
VLDB-2002-ZhuS #data type #monitoring #named #statistics: StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time (YZ, DS), pp. 358–369.
ITiCSE-2002-RapanottiBG #distance #student: eTutorials with voice groupware: real-time conferencing to support computing students at a distance (LR, CTB, RG), pp. 116–120.
CIAA-2002-LargeteauG #distributed #validation: Term Validation of Distributed Hard Real-Time Applications (GL, DG), pp. 262–269.
DLT-2002-UmeoK #automaton #communication #infinity #sequence: An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton (HU, NK), pp. 339–348.
IFM-2002-Smith #concurrent #csp #integration #specification: An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems (GS), pp. 267–285.
CSCW-2002-PrinceCFWJBK #3d #artificial reality #interactive: 3-D live: real time interaction for mixed reality (SP, ADC, FF, TW, NJ, MB, HK), pp. 364–371.
ICEIS-2002-SadegSA #distributed #named #protocol #transaction: D-ANTICIP: A Protocol Suitable for Distributed Real-Time Transactions (BS, SSB, LA), pp. 171–178.
ICPR-v1-2002-KangKB #multi #people #using: Real-Time Multiple People Tracking Using Competitive Condensation (HK, DK, SYB), pp. 413–416.
ICPR-v1-2002-MorenoTAS #3d: 3D Real-Time Head Tracking Fusing Color Histograms and Stereovision (FM, AT, JAC, AS), pp. 368–371.
ICPR-v1-2002-SunCM #gesture #recognition: Real-Time Gesture Recognition System Based on Contour Signatures (XS, CWC, BSM), pp. 447–450.
ICPR-v2-2002-AmerDM #independence #recognition: Context-Independent Real-Time Event Recognition: Application to Key-Image Extraction (AA, ED, AM), pp. 945–948.
ICPR-v2-2002-BuenaposadaB #estimation: Real-Time Tracking and Estimation of Plane Pose (JMB, LB), pp. 697–700.
ICPR-v2-2002-LuCLF #video: Real-Time MPEG2 Video Watermarking in the VLC Domain (CSL, JRC, HYML, KCF), p. 552–?.
ICPR-v2-2002-LuZ #detection: Real-Time Unsupervised Speaker Change Detection (LL, HZ), pp. 358–361.
ICPR-v2-2002-ToenniesBA #locality: Feasibility of Hough-Transform-Based Iris Localisation for Real-Time-Application (KDT, FB, MA), pp. 1053–1056.
ICPR-v2-2002-UkitaM #communication #multi: Real-Time Cooperative Multi-Target Tracking by Communicating Active Vision Agents (NU, TM), pp. 14–19.
ICPR-v2-2002-YangDWZ #estimation #mobile #using: Real-Time Pose Estimation for Outdoor Mobile Robots Using Range Data (MY, BD, HW, BZ), pp. 593–596.
ICPR-v2-2002-ZhaoH #multi: Real-Time Multiple-Person Tracking System (HXZ, YSH), pp. 897–900.
ICPR-v3-2002-AyromlouVP #probability: Probabilistic Matching of Image- to Model-Features for Real-time Object Tracking (MA, MV, WP), pp. 692–695.
ICPR-v3-2002-ForsterLR #using: Real-Time Range Imaging for Dynamic Scenes Using Colour-Edge Based Structured Light (FF, MKL, BR), pp. 645–648.
ICPR-v3-2002-RivlinRGBL #classification: A Real-Time System for Classification of Moving Objects (ER, MR, RG, UB, SL), pp. 688–691.
ICPR-v3-2002-SumiIT #locality: Hyper Frame Vision: A Real-Time Vision System for 6-DOF Object Localization (YS, YI, FT), pp. 577–580.
ICPR-v4-2002-CorreiaC #algorithm #implementation: Real-Time Implementation of an Optical Flow Algorithm (MVC, ACC), pp. 247–250.
ICPR-v4-2002-JiY #3d #information retrieval: Real Time 3D Face Pose Discrimination Based On Active IR Illumination (QJ, XY), pp. 310–313.
ICPR-v4-2002-ZhuJFL #eye tracking #information retrieval: Combining Kalman Filtering and Mean Shift for Real Time Eye Tracking under Active IR Illumination (ZZ, QJ, KF, KL), p. 318–?.
KDD-2002-WeissV: A system for real-time competitive market intelligence (SMW, NKV), pp. 360–365.
SEKE-2002-ConciP #industrial: A system for real-time fabric inspection and industrial decision (AC, CBP), pp. 707–714.
UML-2002-FlakeM #constraints #ocl #uml: A UML Profile for Real-Time Constraints with the OCL (SF, WM), pp. 179–195.
AdaEurope-2002-MedinaGDH #ada #analysis #component #distributed #modelling #scheduling: Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components (JLM, JJG, JMD, MGH), pp. 282–296.
ASIA-PEPM-2002-XuK #compilation #functional #programming: Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.
PLDI-2002-HenzingerK #embedded #predict: The Embedded Machine: Predictable, Portable Real-Time Code (TAH, CMK), pp. 315–326.
ICSE-2002-MaysL #approach #reliability #robust: The cyclefree methodology: a simple approach to building reliable, robust, real-time systems (DM, RJL), pp. 567–575.
GPCE-2002-NeemaBGG #adaptation #distributed #embedded #generative #synthesis: Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems (SN, TB, JG, ASG), pp. 236–251.
DAC-2002-ChakrabartiDCB #interface #specification #verification: Formal verification of module interfaces against real time specifications (AC, PD, PPC, AB), pp. 141–145.
DAC-2002-ChakrabortyEKT #embedded #scheduling: Schedulability of event-driven code blocks in real-time embedded systems (SC, TE, SK, LT), pp. 616–621.
DATE-2002-Jong #design #embedded #uml: A UML-Based Design Methodology for Real-Time and Embedded Sytems (GGdJ), pp. 776–779.
DATE-2002-KimKM #algorithm #analysis #scalability #using: A Dynamic Voltage Scaling Algorithm for Dynamic-Priority Hard Real-Time Systems Using Slack Time Analysis (WK, JK, SLM), pp. 788–794.
DATE-2002-LogothetisS #generative #modelling: Extending Synchronous Languages for Generating Abstract Real-Time Models (GL, KS), pp. 795–802.
DATE-2002-MunzenbergerDSH #design #embedded #specification #synthesis #validation: A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems (RM, MD, FS, RH), p. 1095.
DATE-2002-Selic #standard #uml: The Real-Time UML Standard: Definition and Application (BS), pp. 770–772.
ISMM-2002-DetersC #automation #java #memory management: Automated discovery of scoped memory regions for real-time Java (MD, RC), pp. 132–142.
LCTES-SCOPES-2002-DudaniMZ #constraints #embedded #energy #feedback #scheduling: Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints (AD, FM, YZ), pp. 213–222.
LCTES-SCOPES-2002-KimHK #design #object-oriented #scheduling: Perfecting preemption threshold scheduling for object-oriented real-time system design: from the perspective of real-time synchronization (SK, SH, THK), pp. 223–232.
PDP-2002-FohlerILV #design #named #web: SALSART — A Web Based Cooperative Environment for Offline Real-time Schedule Design (GF, DI, TL, RV), pp. 63–70.
WRLA-J-1996-OlveczkyM02 #hybrid #logic #specification: Specification of real-time and hybrid systems in rewriting logic (PCÖ, JM), pp. 359–405.
FASE-2002-DavidMY #uml #verification: Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.
TACAS-2002-ChaH #constraints #distributed #execution #validation: Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems (HC, RH), pp. 83–97.
TACAS-2002-Stehno #design: Real-Time Systems Design with PEP (CS), pp. 476–480.
CAV-2002-BozgaGM #component #validation: IF-2.0: A Validation Environment for Component-Based Real-Time Systems (MB, SG, LM), pp. 343–348.
ICLP-2002-PemmasaniRR #constraints #logic programming #model checking #performance #using: Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints (GP, CRR, IVR), pp. 100–114.
ISSTA-2002-Cardell-Oliver #consistency #distributed: Conformance test experiments for distributed real-time systems (RCO), pp. 159–163.
LICS-2002-FaellaTM #game studies: Dense Real-Time Games (MF, SLT, AM), pp. 167–176.
TestCom-2002-DaiGN: Timed TTCN-3 — A Real-time Extension for TTCN-3 (ZRD, JG, HN), pp. 407–424.
ICDAR-2001-ToyozumiMSS #recognition: A System for Real-time Recognition of Handwritten Mathematical Formulas (KT, KM, YS, TS), pp. 1059–1063.
VLDB-2001-TanSHCR #scalability: Walking Through a Very Large Virtual Environment in Real-time (LS, JC, ZH, YR, KLT), pp. 401–410.
FME-2001-Paynter #logic #revisited: Real-Time Logic Revisited (SP), pp. 300–317.
FME-2001-SherifSC #approach #specification #validation: An Integrated Approach to Specification and Validation of Real-Time Systems (AS, AS, SC), pp. 278–299.
ICFP-2001-WanTH: Real-Time FRP (ZW, WT, PH), pp. 146–156.
CIKM-2001-BauerL #information retrieval #modelling: Real Time User Context Modeling for Information Retrieval Agents (TB, DBL), pp. 568–570.
UML-2001-ApvrilleSLSC #design #uml #validation: A New UML Profile for Real-Time System Formal Design and Validation (LA, PdSS, CL, PS, JPC), pp. 287–301.
UML-2001-LettrariK #modelling #monitoring #testing #uml: Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.
TOOLS-USA-2001-Brosgol #ada #comparison #concurrent #java #overview #programming: A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix (BMB), p. 362.
AdaEurope-2001-BrosgolD #java #question: Can Java Meet Its Real-Time Deadlines? (BMB, BD), pp. 68–87.
AdaEurope-2001-Rivas #ada #embedded #kernel: Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.
AdaEurope-2001-ZamoranoRP #ada #implementation #kernel: Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels (JZ, JFR, JAdlP), pp. 317–327.
PLDI-2001-ChengB #garbage collection #parallel: A Parallel, Real-Time Garbage Collector (PC, GEB), pp. 125–136.
SAS-2001-WangY #optimisation #parametricity: Parametric Optimization of Open Real-Time Systems (FW, HCY), pp. 299–318.
SIGAda-2001-BrosgolD #ada #convergence: Real-time convergence of Ada and Java™ (BMB, BD), pp. 11–26.
ASE-2001-OgataF #distributed #modelling #verification: Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ (KO, KF), pp. 185–192.
ASE-2001-Romanovsky #concurrent #model checking: Model-Checking Real-Time Concurrent Systems (IR), p. 439.
ESEC-FSE-2001-LavazzaQV #modelling #uml: Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.
ICSE-2001-Gomaa01a #concurrent #design #distributed #uml: Designing Concurrent, Distributed, and Real-Time Applications with UML (HG), pp. 737–738.
DAC-2001-LuoJ #distributed #embedded #scheduling: Battery-Aware Static Scheduling for Distributed Real-Time Embedded Systems (JL, NKJ), pp. 444–449.
DAC-2001-QuanH #energy #performance #scheduling: Energy Efficient Fixed-Priority Scheduling for Real-Time Systems on Variable Voltage Processors (GQ, XH), pp. 828–833.
LCTES-OM-2001-KangCS #design #distributed #power management #synthesis: Power-Aware Design Synthesis Techniques for Distributed Real-Time Systems (DIK, SPC, JS), pp. 20–28.
LCTES-OM-2001-KimH #embedded #hybrid #power management #runtime #scalability: Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor (MK, SH), pp. 11–19.
LCTES-OM-2001-PyaraliSCS #concurrent #corba #optimisation #thread: Evaluating and Optimizing Thread Pool Strategies for Real-Time CORBA (IP, MS, RC, DCS), pp. 214–222.
PDP-2001-DimaGLS #fault tolerance #scheduling: Off-Line Real-Time Fault-Tolerant Scheduling (CD, AG, CL, YS), pp. 410–417.
PDP-2001-EnblomL #adaptation #flexibility #framework #industrial #multi #performance #platform: Adding Flexibility and Real-Time Performance by Adapting a Single Processor Industrial Application to a Multiprocessor Platform (LE, LL), pp. 487–490.
SOSP-2001-PillaiS #embedded #operating system #power management #scalability: Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems (PP, KGS), pp. 89–102.
FASE-J-1998-BradleyHKR01 #design: A formal design language for real-time systems with data (SB, WH, DK, AR), pp. 3–29.
FASE-2001-EshuisW #diagrams #execution #process #semantics #uml: A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.
FASE-2001-OlveczkyKMTZ #analysis #maude #network #protocol #specification: Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude (PCÖ, MK, JM, CLT, SZ), pp. 333–348.
CAV-2001-ClossePPSVWY #development #embedded #named #verification: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems (EC, MP, JP, JS, PV, DW, SY), pp. 391–395.
CSEET-2000-DampierW #education #re-engineering: Teaching Scientific Method for Real-Time Software Engineering (DAD, REW), p. 199.
CSEET-2000-Kornecki #education #re-engineering: Real-Time Computing in Software Engineering Education (AJK), pp. 197–198.
CSEET-2000-KorneckiZE #concept #learning #programming: Learning Real-Time Programming Concepts through VxWorks Lab Experiments (AJK, JZ, DE), p. 294–?.
IFM-2000-SmithH #specification: Structuring Real-Time Object-Z Specifications (GS, IJH), pp. 97–115.
CSCW-2000-KumD #collaboration #network: Supporting real-time collaboration over wide area networks (HCK, PD), p. 355.
CSCW-2000-VidotCFS #collaboration #convergence #distributed: Copies convergence in a distributed real-time collaborative environment (NV, MC, JF, MS), pp. 171–180.
ICEIS-2000-Belo #monitoring #process: Monitoring Production Plants Activities in Real Time as a Way to Gather Decision Support Information in Advance (OB), pp. 27–31.
ICEIS-2000-Cheng #e-commerce #modelling #requirements: E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System (AMKC), p. III-VIII.
ICML-2000-VijayakumarS #incremental #learning: Locally Weighted Projection Regression: Incremental Real Time Learning in High Dimensional Space (SV, SS), pp. 1079–1086.
ICPR-v1-2000-AleixosBMN #assessment #quality #using: Assessment of Citrus Fruit Quality Using a Real-Time Machine Vision System (NA, JB, EM, FN), pp. 1482–1485.
ICPR-v1-2000-KrugerHS #network #using: Affine Real-Time Face Tracking using Gabor Wavelet Networks (VK, AH, GS), pp. 1127–1130.
ICPR-v1-2000-KumarSR #detection #recognition #using: Real Time Detection and Recognition of Human Profiles Using Inexpensive Desktop Cameras (PK, KS, SR), pp. 5096–5099.
ICPR-v1-2000-WilsonB #adaptation #gesture #online #recognition: Realtime Online Adaptive Gesture Recognition (ADW, AFB), pp. 1270–1275.
ICPR-v3-2000-GashnikovGS: Compression Method for Real-Time Systems of Remote Sensing (MVG, NJG, VVS), pp. 3232–3235.
ICPR-v4-2000-AlbiolNM #people #tool support #using: Real-Time High Density People Counter Using Morphological Tools (AA, VN, IM), pp. 4652–4655.
ICPR-v4-2000-BergerABSP #3d #convergence #modelling: 3D Model Based Pose Determination in Real-Time: Strategies, Convergence, Accurac (MB, TA, GB, SS, AP), pp. 4567–4570.
ICPR-v4-2000-IwamotoTC #classification #named: REFLICS: Real-Time Flow Imaging and Classification System (SI, MMT, DMCJ), pp. 4689–4692.
ICPR-v4-2000-KagamiOII #3d #generative: Realtime 3D Depth Flow Generation and its Application to Track to Walking Human Being (SK, KO, MI, HI), pp. 4197–4200.
ICPR-v4-2000-MiyasakaKHA #3d #animation #image #metric #re-engineering: Reconstruction of Realistic 3D Surface Model and 3D Animation from Range Images Obtained by Real Time 3D Measurement System (TM, KK, MH, KA), pp. 4594–4598.
ICPR-v4-2000-OhbaOTRDTKK #artificial reality: Real-Time Micro Environmental Observation with Virtual Reality (KO, JCPO, KT, GR, RD, YT, TK, NK), pp. 4487–4490.
ICPR-v4-2000-OkumaSTY #artificial reality #estimation #image #parametricity: Real-Time Camera Parameter Estimation from Images for a Mixed Reality System (TO, KS, HT, NY), pp. 4482–4486.
ICPR-v4-2000-Olson #recognition: Real-Time Ordnance Recognition in Color Imagery (CFO), pp. 4685–4688.
ICPR-v4-2000-StofflerBF #using: Real-Time Obstacle Avoidance Using an MPEG-Processor-Based Optic Flow Sensor (NOS, TB, GF), pp. 4161–4166.
ICPR-v4-2000-SuzukiMSA #recognition: A New System for the Real-Time Recognition of Handwritten Mathematical Formulas (TS, KM, YS, SA), pp. 4515–4518.
ICPR-v4-2000-TakahashiSO #3d #estimation #image #using: Remarks on a Real-Time 3D Human Body Posture Estimation Method Using Trinocular Images (KT, TS, JO), pp. 4693–4697.
ICPR-v4-2000-YamaguchiTYY #generative #image #sequence #using: Real-Time Generation and Presentation of View-Dependent Binocular Stereo Images Using a Sequence of Omnidirectional Images (KY, HT, KY, NY), pp. 4589–4593.
SPLC-2000-Dager #architecture #embedded #experience #product line: Cummins’s experience in developing a software product line architecture for real-time embedded diesel engine controls (JCD), pp. 23–46.
OOPSLA-2000-BuhrHLC #concurrent #object-oriented: Object-oriented real-time concurrency (PAB, ASH, PEL, JC), pp. 29–46.
OOPSLA-2000-LeeKK #modelling #simulation: A real world object modeling method for creating simulation environment of real-time systems (JYL, HJK, KCK), pp. 93–104.
TOOLS-EUROPE-2000-PerssonH #development #interactive: An Interactive Environment for Real-Time Software Development (PP, GH), p. 57–?.
TOOLS-USA-2000-AlagarOZ #testing: Specification-Based Testing for Real-Time Reactive Systems (VSA, OO, MZ), pp. 25–36.
TOOLS-USA-2000-Brosgol #java #programming: Real-Time Programming in Java (BMB), pp. 487–488.
TOOLS-USA-2000-ColbertL #embedded #uml: Building Real-Time Embedded Systems with MetaH and UML [Abstract] (EC, BAL), pp. 445–446.
AdaEurope-2000-PuenteRZ #kernel: An Open Ravenscar Real-Time Kernel for GNAT (JAdlP, JFR, JZ), pp. 5–15.
FoSE-2000-Kopetz #re-engineering #roadmap: Software engineering for real-time: a roadmap (HK), pp. 201–211.
ICSE-2000-DangK #approximate #infinity #model checking: Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems (ZD, RAK), pp. 345–354.
ICSE-2000-Gomaa #design #distributed #uml: Designing real-time and distributed applications with the UML (HG), p. 829.
SAC-2000-Ionescu #memory management #multi: Application-Level Virtual Memory Management in Real-Time Multiprocessor Systems (FI), pp. 610–614.
SAC-2000-KangY #statistics: Statistical Admission Control for Real-Time VOD Servers (SK, HYY), pp. 579–584.
ASPLOS-2000-NandaMSSSS #design #hardware #multi #named #programmable: MemorIES: A Programmable, Real-Time Hardware Emulation Tool for Multiprocessor Server Design (AKN, KKM, KS, RKS, VS, TBS), pp. 37–48.
DAC-2000-LeeS #power management #runtime: Run-time voltage hopping for low-power real-time systems (SL, TS), pp. 806–809.
DAC-2000-ShinKC #analysis #embedded #multi #performance: Schedulability-driven performance analysis of multiple mode embedded real-time systems (YS, DK, KC), pp. 495–500.
DATE-2000-LogothetisS #abstraction: Abstraction from Counters: An Application on Real-Time Systems (GL, KS), pp. 486–493.
DATE-2000-NiemegeersJ #embedded #incremental #specification: An Incremental Specification Flow for Real Time Embedded Systems (AN, GGdJ), p. 761.
DATE-2000-RufK: Analyzing Real-Time Systems (JR, TK), pp. 243–248.
DATE-2000-RustSAT #embedded #implementation #parallel #specification: From High-Level Specifications Down to Software Implementations of Parallel Embedded Real-Time Systems (CR, FS, PA, JT), pp. 686–691.
LCTES-2000-AmnellDY #hybrid: A Real-Time Animator for Hybrid Systems (TA, AD, WY), pp. 134–145.
LCTES-2000-ChakravertyR #framework #probability: A Stochastic Framework for Co-synthesis of Real-Time Systems (SC, CPR), pp. 96–113.
LCTES-2000-JeongKL #concurrent #multi #using: Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version (BSJ, DK, SL), pp. 33–47.
FASE-2000-Dierks #algebra #process #source code: A Process Algebra for Real-Time Programs (HD), pp. 66–81.
FASE-2000-KolanoKM #parallel #refinement: Parallel Refinement Mechanisms for Real-Time Systems (PZK, RAK, DM), pp. 35–50.
STOC-2000-BermanD #scheduling: Improvements in throughout maximization for real-time scheduling (PB, BD), pp. 680–687.
TACAS-2000-Wang #data type #performance #verification: Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems (FW), pp. 157–171.
WRLA-2000-OlveczkyM #hybrid #maude #simulation: Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (PCÖ, JM), pp. 361–382.
ISSTA-2000-KolanoK #analysis #classification: Classification schemes to aid in the analysis of real-time systems (PZK, RAK), pp. 86–95.
ISSTA-2000-PetersP #monitoring: Requirements-based monitors for real-time systems (DKP, DLP), pp. 77–85.
TestCom-2000-KhoumsiADEG #approach #protocol #testing: An Approach for Testing Real Time Protocol Entities (AK, MA, RD, AEN, LG), pp. 281–300.
ICSM-1999-LiF #impact analysis: Impact Analysis in Real-Time Control Systems (JL, PHF), pp. 443–452.
FM-v1-1999-BarbutiFSV #abstraction #model checking: Formula Based Abstractions of Transition Systems for Real-Time Model Checking (RB, NDF, AS, GV), pp. 289–306.
FM-v1-1999-PaigeH #concurrent #object-oriented #specification: Bunches for Object-Oriented, Concurrent, and Real-Time Specification (RFP, ECRH), pp. 530–550.
FM-v2-1999-SmarandacheGG #calculus #constraints #validation: Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints (IMS, TG, PLG), pp. 1364–1383.
IFM-1999-SmithH #towards: Towards Real-Time Object-Z (GS, IJH), pp. 49–65.
HCI-CCAD-1999-OzawaAFSY #adaptation #case study #education #implementation #process: An experimental study on implementing real-time estimator of human cognitive process into eye-sensing head mounted display for realizing adaptive CAI for teaching plant diagnosis knowledge (TO, YA, SF, HS, HY), pp. 1197–1200.
ICEIS-1999-Cheng #analysis #verification: Analysis and Verification of Real-Time Systems (AMKC), p. X.
CIKM-1999-KaoLACL #database #maintenance: Updates and View Maintenance in Soft Real-Time Database Systems (BK, KyL, BA, RC, TSHL), pp. 300–307.
UML-1999-Herzberg #embedded #modelling #uml: UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain (DH), pp. 330–338.
UML-1999-KabousN #modelling #uml: Modeling Hard Real Time Systems with UML (LK, WN), pp. 339–355.
TOOLS-ASIA-1999-JunqingMY #corba #implementation #internet: An Implementation Model of Real Time CORBA for Internet Applications (XJ, CM, WY), pp. 326–330.
TOOLS-PACIFIC-1999-Caspersen #c++ #embedded #framework #implementation #modelling: A C++ Framework for Active Objects in Embedded Real-time Systems-Bridging the Gap Between Modeling and Implementation (MEC), pp. 52–65.
TOOLS-USA-1999-Broumas #corba #distributed #object-oriented: Real-Time Object-Oriented Distributed Systems: RT CORBA and RMA (AB), p. 447.
TOOLS-USA-1999-Farfarakis #named #uml: Octopus/UML: Combining Objects with Real-Time (RF), pp. 479–489.
AdaEurope-1999-GonzalezC #ada #development #source code #specification: Environment for the Development and Specification of Real-Time Ada Programs (AG, AC), pp. 124–135.
AdaEurope-1999-Locke #ada #architecture: An Architectual Perspective of Real-Time Ada Applications (CDL), pp. 1–11.
AdaEurope-1999-RealW #multi #protocol: The Ceiling Protocol in Multi-moded Real-Time Systems (JR, AJW), pp. 275–286.
AdaEurope-1999-VardanegaCP #case study #embedded #reuse #using: A Case Study in the Reuse of On-board Embedded Real-Time Software (TV, GC, JSP), pp. 425–436.
SIGAda-1999-BallbastreTVC #ada #case study #distributed #experience #using: Experiences using Ada in a real-time and distributed laboratory (PB, ST, JViC, AC), pp. 145–155.
SIGAda-1999-Colket #analysis #using: Code analysis of saftey-critical and real-time software using ASIS (WCC), pp. 67–76.
SIGAda-1999-LortzT #abstract syntax tree #ada #c++ #distributed: The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program (HAL, TAT), pp. 181–182.
SIGAda-1999-McCormick #ada #education #re-engineering: Ada, model railroading, and real-time software engineering education (JWM), pp. 111–112.
SIGAda-1999-Selic #design pattern: Architectural patterns for complex real-time systems (BS), p. 1.
ESEC-FSE-1999-BrabermanF #automation #design #scheduling #verification: Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification (VAB, MF), pp. 494–510.
ESEC-FSE-1999-Gafni #architecture #named: Robots: A Real-Time Systems Architectural Style (VG), pp. 57–74.
ICSE-1999-Braberman #automation #design #verification: Automatic Verification of Real-Time Designs (VAB), pp. 716–717.
ICSE-1999-ReidPHH #design #domain-specific language #empirical #prototype: Prototyping Real-Time Vision Systems: An Experiment in DSL Design (AR, JP, GDH, PH), pp. 484–493.
ICSE-1999-RoodynE #architecture #multi: An Architectural Style for Multiple Real-Time Data Feeds (NR, WE), pp. 564–572.
DAC-1999-ShinC #scheduling: Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems (YS, KC), pp. 134–139.
DAC-1999-StepnerRH #design #embedded #using: Embedded Application Design Using a Real-Time OS (DS, NR, DH), pp. 151–156.
DATE-1999-Dav #configuration management #distributed #embedded #hardware #named: CRUSADE: Hardware/Software Co-Synthesis of Dynamically Reconfigurable Heterogeneous Real-Time Distributed Embedded Systems (BPD), pp. 97–104.
DATE-1999-PasquierC #execution #simulation: An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems (OP, JPC), pp. 782–783.
DATE-1999-VercauterenSV #constraints #generative #hardware #interface #synthesis: Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints (SV, JvdS, DV), pp. 556–561.
DATE-1999-WeissSR #embedded #operating system #performance #using: Emulation of a Fast Reactive Embedded System using a Real Time Operating System (KW, TS, WR), pp. 764–765.
HPDC-1999-KangGGH #automation #design #distributed: Techniques for Automating Distributed Real-Time Applications Design (DIK, RG, LG, JKH), pp. 156–163.
LCTES-1999-KimCKS #embedded #garbage collection #scheduling: Scheduling Garbage Collector for Embedded Real-Time Systems (TK, NC, NK, HS), pp. 55–64.
LCTES-1999-LeeJS #database #protocol: A Secure Dynamic Copy Protocol in Real-Time Secure Database Systems (SL, BSJ, HS), pp. 73–79.
LCTES-1999-RyuPKSH #embedded #performance #re-engineering: Performance Re-engineering of Embedded Real-Time Systems (MR, JP, KK, YS, SH), pp. 80–86.
LCTES-1999-TomoyoshiK #embedded: Table-based QoS Control for Embedded Real-Time Systems (TS, KT), pp. 65–72.
PDP-1999-FraboulM #analysis #architecture #composition #modelling #performance: Modeling advanced modular avionics architectures for early real-time performance analysis (CF, FM), pp. 181–188.
SOSP-1999-ZuberiPS #kernel #named: EMERALDS: a small-memory real-time microkernel (KMZ, PP, KGS), pp. 277–299.
FASE-1999-AttanasioCI #performance #specification: Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance (CA, FC, PI), pp. 45–59.
STOC-1999-Bar-NoyGNS #approximate #multi #scheduling #throughput: Approximating the Throughput of Multiple Machines Under Real-Time Scheduling (ABN, SG, JN, BS), pp. 622–631.
TACAS-1999-GardnerL #probability: Analyzing Stochastic Fixed-Priority Real-Time Systems (MKG, JWSL), pp. 44–58.
TACAS-1999-RyuH #algorithm #design: A Period Assignment Algorithm for Real-Time System Design (MR, SH), pp. 34–43.
CAV-1999-BerardF #automation #consistency #parametricity #protocol #verification: Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol (BB, LF), pp. 96–107.
VLDB-1998-BaulierBKS #database: A Database System for Real-Time Event Aggregation in Telecommunication (JB, SB, HFK, AS), pp. 680–684.
VLDB-1998-GeorgeH #database: Secure Buffering in Firm Real-Time Database Systems (BG, JRH), pp. 464–475.
ICALP-1998-BaierKL #concurrent #metric #semantics: Metric Semantics for True Concurrent Real Time (CB, JPK, DL), pp. 568–579.
ICALP-1998-HenzingerRS: The Regular Real-Time Languages (TAH, JFR, PYS), pp. 580–591.
FM-1998-Yamane #design #simulation: A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems (SY), pp. 151–167.
CSCW-1998-SunE #algorithm #editing: Operational Transformation in Real-Time Group Editors: Issues, Algorithms, and Achievements (CS, CAE), pp. 59–68.
CAiSE-1998-TanziSG #information management #risk management: Real-Time Information System for Risk Management on Motorways (TT, SS, RG), pp. 325–338.
ICPR-1998-AhrnsN #similarity #using: Real-time monocular fixation control using the log-polar transformation and a confidence-based similarity measure (IA, HN), pp. 310–315.
ICPR-1998-ArakiMTY #image #multi #robust #sequence #statistics #using: Real-time tracking of multiple moving objects in moving camera image sequences using robust statistics (SA, TM, HT, NY), pp. 1433–1435.
ICPR-1998-DeutschlR #assurance #quality #tablet: Tablet quality assurance in real time (ED, AR), pp. 1731–1734.
ICPR-1998-IshiiMT #detection #image #using #video: Detection of foreign substances mixed in a plastic bottle of medicinal solution using real-time video image processing (AI, TM, ST), pp. 1646–1650.
ICPR-1998-OkumaKTY #artificial reality #using: An augmented reality system using a real-time vision based registration (TO, KK, HT, NY), pp. 1226–1229.
ICPR-1998-PetersS: A real-time variable sampling technique: DIEM (MWP, AS), pp. 316–321.
ICPR-1998-StofflerS #detection: An MPEG-processor-based robot vision system for real-time detection of moving objects by a moving observer (NOS, ZS), pp. 477–481.
ICPR-1998-WatanabeY #gesture #image #multi #recognition #sequence #using: Real time recognition of gesture and gesture degree information using multi input image sequences (TW, MY), pp. 1855–1858.
ICPR-1998-XuS #detection #using: Rits Eye: a software-based system for real-time face detection and tracking using pan-tilt-zoom controllable camera (GX, TS), pp. 1194–1197.
ICPR-1998-YouBH #image #parallel #recognition #virtual machine: Real-time object recognition: hierarchical image matching in a parallel virtual machine environment (JY, PB, SH), pp. 275–277.
UML-1998-LanusseGT #approach #modelling #uml: Real-Time Modeling with UML: The ACCORD Approach (AL, SG, FT), pp. 319–335.
UML-1998-SeemannG #diagrams #sequence chart #uml: Extension of UML Sequence Diagrams for Real-Time Systems (JS, JWvG), pp. 240–252.
TOOLS-ASIA-1998-Hsiung #framework #named #object-oriented: RTFrame: An Object-Oriented Application Framework for Real-Time Applications (PAH), pp. 138–147.
TOOLS-USA-1998-Mellor #development: Real-Time Development with the Shlaer-Mellor Method (SJM), p. 412.
AdaEurope-1998-BurnsDR #source code: The Ravenscar Tasking Profile for High Integrity Real-Time Programs (AB, BD, GR), pp. 263–275.
AdaEurope-1998-EspinosaJCTG #ada #component #programming: Programming Hard Real-Time Systems with Optional Components in Ada (AE, VJ, CC, AT, AGF), pp. 102–111.
AdaEurope-1998-FernandezAGPP #architecture #case study #evaluation: A Case Study in Quantitative Evaluation of Real-Time Software Architectures (JLF, BÁ, FJGI, ÁP, JAdlP), pp. 213–224.
AdaEurope-1998-HarbourRGG #ada #execution #implementation #using: Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications (MGH, MAR, JJGG, JCPG), pp. 90–101.
AdaEurope-1998-Moody #abstraction #object-oriented: Object Oriented Abstractions for Real-Time Distributes Systems (SAM), pp. 112–127.
SIGAda-1998-DobbingB #source code: The Ravenscar Tasking Profile for High Integrity Real-Time Programs (BD, AB), pp. 1–6.
SIGAda-1998-PinhoV #ada #architecture #fault tolerance #multi #named: Multi-μ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems (LMP, FV), pp. 52–60.
SAC-1998-ArapisKP #design #interactive: Design issues and alternatives for setting up real-time interactive Telelectures (CA, DK, TP), pp. 104–111.
SAC-1998-SchildW #scheduling: Off-line scheduling of a real-time system (KS, JW), pp. 29–38.
DAC-1998-DasdanRG #embedded: Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems (AD, DR, RKG), pp. 263–268.
DATE-1998-DaveJ #architecture #concurrent #embedded #named #specification: CASPER: Concurrent Hardware-Software Co-Synthesis of Hard Real-Time Aperiodic and Periodic Specifications of Embedded System Architectures (BPD, NKJ), pp. 118–124.
DATE-1998-LeijtenMTJ #communication #multi: Stream Communication between Real-Time Tasks in a High-Performance Multiprocessor (JAJL, JLvM, AHT, JAGJ), pp. 125–131.
ISMM-1998-LimPB #garbage collection: A Memory-Efficient Real-Time Non-Copying Garbage Collector (TFL, PP, BNB), pp. 118–129.
ISMM-1998-Siebert #garbage collection #incremental: Guaranteeing Non-Disruptiveness and Real-Time Deadlines in an Incremental Garbage Collector (FS), pp. 130–137.
LCTES-1998-AroraS #debugging #embedded: A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems (GA, DBS), pp. 83–97.
LCTES-1998-Balarin #embedded: Priority Assignment for Embedded Reactive Real-Time Systems (FB), pp. 146–155.
LCTES-1998-Choi #distributed #optimisation: End-to-End Optimization in Heterogeneous Distributed Real-Time Systems (SC), pp. 235–249.
LCTES-1998-FerdinandW #behaviour #on the #predict: On Predicting Data Cache Behavior for Real-Time Systems (CF, RW), pp. 16–30.
LCTES-1998-KollochF #case study #embedded #network #specification: Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network — A Case Study (TK, GF), pp. 156–165.
LCTES-1998-LeeLLMK #memory management #scheduling: Limited Preemptible Scheduling to Embrace Cache Memory in Real-Time Systems (SL, CGL, ML, SLM, CSK), pp. 51–64.
LCTES-1998-Selic #modelling #uml #using: Using UML for Modeling Complex Real-Time Systems (BS), pp. 250–260.
LCTES-1998-SeoPH #operating system #performance: Efficient User-Level I/O in the ARX Real-Time Operating System (YS, JP, SH), pp. 166–175.
LCTES-1998-TerrasaEG #component #flexibility: Extending RT-Linux to Support Flexible Hard Real-Time Systems with Optional Components (AT, AE, AGF), pp. 41–50.
PDP-1998-AlonsoGEGGM #analysis #embedded #parallel #performance #prototype #tool support #visualisation: A toolset for visualization and analysis of parallel real-time embedded systems based on fast prototyping techniques (FJSA, JG, JE, DFG, SG, PDM), pp. 186–194.
FASE-1998-Tapken #automaton #design #named: MOBY/PLC — A Design Tool for Hierarchical Real-Time Automata (JT), pp. 326–329.
TACAS-1998-DawsT #abstraction #model checking #reachability #using: Model Checking of Real-Time Reachability Properties Using Abstractions (CD, ST), pp. 313–329.
CAV-1998-BozgaDMOTY #model checking #named: Kronos: A Model-Checking Tool for Real-Time Systems (MB, CD, OM, AO, ST, SY), pp. 546–550.
CAV-1998-BrockmeyerW #design #verification: Real-Time Verification of Statemate Designs (UB, GW), pp. 537–541.
CAV-1998-Daws #model checking #named: Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems (CD), pp. 542–545.
CAV-1998-Wilding #policy #proving #scheduling: A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy (MW), pp. 369–378.
SIGMOD-1997-GeorgeH #database #transaction: Secure Transaction Processing in Firm Real-Time Database Systems (BG, JRH), pp. 462–473.
VLDB-1997-GinisHKMT #evolution: Data Manager for Evolvable Real-time Command and Control Systems (EH, RG, BMT, PCK, JAM), pp. 558–561.
FME-1997-BroyGK #message passing: Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.
FME-1997-FleischhackT #semantics: An M-Net Semantics for a Real-Time Extension of μSDL (HF, JT), pp. 162–181.
HCI-SEC-1997-JonesD #animation #interface #named: MARTI: Man-Machine Animation Real-Time Interface: The Illusion of Life (CMJ, SSD), pp. 841–844.
HCI-SEC-1997-NakajimaHNT #interface #using: A System for Real-time Groupware Using a Pen Interface for Creative Thought Support (KN, EH, MN, NT), pp. 443–446.
HCI-SEC-1997-OgiHWK #simulation: Real-Time Numerical Simulation in Haptic Environment (TO, MH, HW, NK), pp. 965–968.
HCI-SEC-1997-ShirabeB #3d #game studies #interface #question: Do Three Dimensional Realtime Interfaces Really Play Important Roles? (MS, YB), pp. 849–852.
CIKM-1997-DogduO #execution #transaction: Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, GÖ), pp. 301–308.
OOPSLA-1997-HarrisonLS #design #performance: The Design and Performance of a Hard Real-Time Object Event Service (THH, DLL, DCS), pp. 184–200.
TOOLS-USA-1997-Mellor #development: Real-Time Development with the Shlaer-Mellor Method (SJM), p. 372.
TOOLS-USA-1997-PeriyasamyA #specification: Extending Object-Z for Specifying Real-Time Systems (KP, VSA), pp. 163–175.
AdaEurope-1997-DobbingR #ada #named #tool support: T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.
AdaEurope-1997-PierceAWSCG #performance #requirements #verification: Capturing and Verifying Performance Requirements for Hard Real Time Systems (RHP, SA, RW, JS, HC, JG), pp. 137–148.
ICSE-1997-AlurJKO #model checking: Model-Checking of Real-Time Systems: A Telecommunications Application (RA, LJJ, JJK, JVO), pp. 514–524.
ICSE-1997-AvruninCD: Analyzing Partially-Implemented Real-Time Systems (GSA, JCC, LKD), pp. 228–238.
ICSE-1997-FaulkH #evolution #requirements: Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (SRF, CLH), pp. 637–638.
DAC-1997-BalarinS #embedded #validation: Schedule Validation for Embedded Reactive Real-Time Systems (FB, ALSV), pp. 52–57.
DAC-1997-FangWY #debugging #online: A Real-Time RTL Engineering-Change Method Supporting On-Line Debugging for Logic-Emulation Applications (WJF, ACHW, TYY), pp. 101–106.
DAC-1997-KirovskiP #power management #synthesis: System-Level Synthesis of Low-Power Hard Real-Time Systems (DK, MP), pp. 697–702.
DAC-1997-SambandamH #architecture #behaviour #design #embedded #predict: Predicting Timing Behavior in Architectural Design Exploration of Real-Time Embedded Systems (RSS, XH), pp. 157–160.
EDTC-1997-RowekampP #estimation #visual notation: A real-time smart sensor system for visual motion estimation (TR, LP), p. 613.
EDTC-1997-ThoenSJGM #embedded #graph #multi #synthesis #thread: Multi-thread graph: a system model for real-time embedded software synthesis (FT, JVDS, GGdJ, GG, HDM), pp. 476–481.
TACAS-1997-RaskinS #abstraction #logic: Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time (JFR, PYS), pp. 165–182.
TAPSOFT-1997-KristoffersenLLPY #composition #protocol #proving: A Compositional Proof of a Real-Time Mutual Exclusion Protocol (KJK, FL, KGL, PP, WY0), pp. 565–579.
CAV-1997-CamposCM #approach #verification: The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems (SVAC, EMC, MM), pp. 452–455.
WCRE-1996-LewisM #embedded #framework #parallel #platform #re-engineering: Reengineering Real-Time Embedded Software onto a Parallel Processing Platform (BL, DJM), p. 11–?.
FME-1996-FidgeUKH #refinement #scheduling: Integrating Real-Time Scheduling Theory and Program Refinement (CJF, MU, PK, IJH), pp. 327–346.
FME-1996-WangL #concurrent #verification: Procedure-Level Verification of Real-time Concurrent Systems (FW, CTDL), pp. 682–701.
ICPR-1996-AzarbayejaniP #3d #estimation #self #using: Real-time self-calibrating stereo person tracking using 3-D shape estimation from blob features (AA, AP), pp. 627–632.
ICPR-1996-BenoitF: Monocular optical flow for real-time vision systems (SB, FPF), pp. 864–868.
ICPR-1996-BernardoGP #3d #implementation: Monocular tracking of the human arm in 3D: real-time implementation and experiments (EDB, LG, PP), pp. 622–626.
ICPR-1996-CamusCHH #using: Real-time single-workstation obstacle avoidance using only wide-field flow divergence (TC, DC, MH, THH), pp. 323–330.
ICPR-1996-DePieroT #adaptation #image #kernel #segmentation #using: Real-time range image segmentation using adaptive kernels and Kalman filtering (FWD, MMT), pp. 573–577.
ICPR-1996-FaymanRM #fault tolerance: Real-time active vision with fault tolerance (JAF, ER, DM), pp. 279–283.
ICPR-1996-GrobelH #recognition #using: Video-based handshape recognition using a handshape structure model in real time (KG, HH), pp. 446–450.
ICPR-1996-HiuraYSI: Real-time object tracking by rotating range sensor (SH, AY, KS, SI), pp. 825–829.
ICPR-1996-NakanishiO #algorithm #evaluation #performance: A real-time CAM-based Hough transform algorithm and its performance evaluation (MN, TO), pp. 516–521.
ICPR-1996-SakoS #recognition: Real-time facial expression recognition based on features’ positions and dimensions (HS, AVWS), pp. 643–648.
ICPR-1996-SawasakiMU #analysis #design #implementation #performance #visual notation: Design and implementation of high-speed visual tracking system for real-time motion analysis (NS, TM, TU), pp. 478–483.
ICPR-1996-Segen #people: A camera-based system for tracking people in real time (JS), pp. 63–67.
ICPR-1996-Smith96a #3d #segmentation: Integrated real-time motion segmentation and 3D interpretation (SMS), pp. 49–55.
ICPR-1996-WatanabeLTY #gesture #interactive #recognition: A method of real-time gesture recognition for interactive systems (SW, CWL, AT, MY), pp. 473–477.
ICPR-1996-YamashitaFO #array #interface #memory management: An integrated memory array processor with a synchronous-DRAM interface for real-time vision applications (NY, YF, SO), pp. 575–580.
SEKE-1996-CleavelandLLS #formal method #process #testing: A Theory of Testing for Soft Real-Time Processes (RC, IL, PML, SAS), pp. 474–479.
SEKE-1996-DengDAE #architecture #distributed #modelling: A Formalism for Architectural Modeling of Distributed Real-Time Systems (YD, WD, PCA, ME), pp. 408–417.
SEKE-1996-FoxvogT: Variable Depth Resolution for Intelligent Real-Time Systems (DF, TT), pp. 400–407.
SEKE-1996-LongMRW #named: REINAS: A Real-time System for Managing Environmental Data (DDEL, PEM, ECR, CMW), pp. 293–300.
SEKE-1996-MillsG #approach #automation #concurrent #design #knowledge-based: A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems (KLM, HG), pp. 529–536.
AdaEurope-1996-BliebergerLB #ada: Augmenting Ada 95 with Additional Real-Time Features (JB, RL, BB), pp. 330–341.
AdaEurope-1996-FeithT #ada #scalability: Planning the Transition to Ada 95 for a Large Real-Time Project (RF, MT), pp. 500–511.
AdaEurope-1996-RealEC #ada #prototype #using: Using Ada 95 for Prototyping Real-Time Systems (JR, AE, AC), pp. 262–274.
TRI-Ada-1996-BeugnardCK #ada #corba #implementation #named: COREMO: A CORBA Real Time Extension Model and its Ada 95 Implementation (AB, ZC, YK), pp. 255–268.
TRI-Ada-1996-Pettit #ada #design #distributed #using: Using Ada 95 for the Design of Distributed Real-Time Systems (RGPI), pp. 49–55.
SAC-1996-ChenH #algorithm #multi: Threshold-based dynamic admission control algorithms for real-time multimedia servers (IRC, THH), pp. 224–229.
SAC-1996-HuangG #database #in memory #memory management: Crash recovery for real-time main memory database systems (JH, LG), pp. 145–149.
DAC-1996-VercauterenLM96a #architecture #embedded #kernel: A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures (SV, BL, HDM), pp. 678–683.
RWLW-1996-OlveczkyM #logic #specification: Specifying real-time systems in rewriting logic (PCÖ, JM), pp. 284–309.
TACAS-1996-KowalewskiP #composition #framework #modelling #verification: Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control (SK, JP), pp. 225–240.
TACAS-1996-MoserM #automaton #probability: Probabilistic Duration Automata for Analyzing Real-Time Systems (LEM, PMMS), pp. 369–390.
TACAS-1996-TripakisC: Extending Promela and Spin for Real Time (ST, CC), pp. 329–348.
CAV-1996-BjornerBCCKMSU #named #verification: STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (NB, AB, EYC, MC, AK, ZM, HS, TEU), pp. 415–418.
CAV-1996-ClarkeBLXS #analysis #bound #named #specification #tool support #visual notation: XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.
CAV-1996-MoserMRKD #logic #tool support #visual notation: The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
ISSTA-1996-Corbett #concurrent #modelling: Constructing Abstract Models of Concurrent Real-Time Software (JCC), pp. 250–260.
ISSTA-1996-KangL #analysis #generative #performance: An Efficient State Space Generation for Analysis of Real-Time Systems (IK, IL), pp. 4–13.
ICDAR-v1-1995-KimG #recognition #word: Handwritten word recognition for real-time applications (GK, VG), pp. 24–27.
SIGMOD-1995-AdelbergGK #database: Applying Update Streams in a Soft Real-Time Database System (BA, HGM, BK), pp. 245–256.
VLDB-1995-GoyalHSS #concurrent #database: Index Concurrency Control in Firm Real-Time Database Systems (BG, JRH, SS, VS), pp. 146–157.
VLDB-1995-HvasshovdTBH #database #throughput: The ClustRa Telecom Database: High Availability, High Throughput, and Real-Time Response (SOH, ØT, SEB, PH), pp. 469–477.
CSEE-1995-Hoover #development: The Role of the Software Enigneer in Real-Time Software Development: An Introductory Course (CLH), pp. 167–186.
DLT-1995-KutribR #automaton: Real-Time One-Way Pushdown Cellular Automata Languages (MK, JR), pp. 420–429.
ICALP-1995-AndersenKLN #automation #synthesis: Automatic Synthesis of Real Time Systems (JHA, KJK, KGL, JN), pp. 535–546.
CHI-1995-OlsonOM #design #question #video #what: What Mix of Video and Audio is Useful for Small Groups Doing Remote Real-Time Design Work? (JSO, GMO, DKM), pp. 362–368.
SEKE-1995-FigueiredoPC #distributed #fault: Antecipated Faults in Real-Time Distributed Systems (JCAdF, AP, BSKC), pp. 411–418.
SEKE-1995-PerkusichPS #database #design #object-oriented: Integrated Design of Object-Oriented Real-Time Control and Database Systems (MLBP, AP, US), pp. 150–152.
ECOOP-1995-SatohT #distributed #interactive: Time and Asynchrony in Interactions among Distributed Real-Time Objects (IS, MT), pp. 331–350.
AdaEurope-1995-BirusKKRT #ada: Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems (TB, PK, EK, JR, JLT), pp. 164–169.
AdaEurope-1995-Bossard #ada #assessment #design #modelling: Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada (FB), pp. 355–364.
AdaEurope-1995-CornwellW #object-oriented #specification #transaction: Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD (PC, AJW), pp. 365–378.
AdaEurope-1995-DavidPCC #ada #fault tolerance: Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems (PD, TP, AC, JFC), pp. 21–50.
ICSE-1995-ClarkeL #algebra #constraints #process #testing: Testing Real-Time Constraints in a Process Algebraic Setting (DC, IL), pp. 51–60.
ICSE-1995-KangK #named #specification #verification: PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method (KCK, KIK), pp. 169–176.
SAC-1995-Sateesh #concept #perspective: Conceptual model of real-time systems: a perspective (TKS), pp. 206–209.
HPDC-1995-BaldoniMR #multi #order #performance: Efficient Causally Ordered Communications for Multimedia Real-Time Applications (RB, AM, MR), pp. 140–147.
IWMM-1995-ArmstrongV #garbage collection: One Pass Real-Time Generational Mark-Sweep Garbage Collection (JLA, RV), pp. 313–322.
IWMM-1995-Nilsen #garbage collection: Progress in Hardware-Assisted Real-Time Garbage Collection (KDN), pp. 355–379.
IWMM-1995-Virding #concurrent #erlang #garbage collection: A Garbage Collector for the Concurrent Real-Time Language Erlang (RV), pp. 343–354.
LCT-RTS-1995-BakkersSP #automation #communication #generative #parallel #scheduling #source code: Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs (AB, JS, EP), pp. 134–145.
LCT-RTS-1995-CamposCMM #analysis #finite #named: Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems (SVAC, EMC, WRM, MM), pp. 70–78.
LCT-RTS-1995-ChungD: Language Constructs and Transformation for Hard Real-time Systems (TMC, HGD), pp. 41–49.
LCT-RTS-1995-JourdanM #analysis: Static Timing Analysis of Real-Time Systems (MJ, FM), pp. 79–87.
LCT-RTS-1995-KopetzN #clustering #compilation #design: The Cluster Compiler — A Tool for the Design of Time-Triggered Real-Time Systems (HK, RN), pp. 108–116.
LCT-RTS-1995-RenA #distributed #named #specification: RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems (SR, GA), pp. 50–59.
LCT-RTS-1995-SchneiderCSP #component #programming: The ControlShell Component-Based Real-Time Programming System, and its Application to the Marsokhod Martian Rover (SAS, VWC, JS, GPC), pp. 146–155.
LCT-RTS-1995-ThoenCGM #information management #synthesis: Software Synthesis for Real-Time Information Processing Systems (FT, MC, GG, HDM), pp. 60–69.
LCT-RTS-1995-Wilner #comprehension #embedded #named #visualisation: WindView: A Tool for Understanding Real-time Embedded Software Through System Visualization (DW), pp. 117–123.
PDP-1995-BisoneS #multi #process: A CAD multiprocessor system for advanced real-time process applications (LB, AS), pp. 494–501.
PDP-1995-TepedinoK #design #distributed #specification: Specification and design of distributed hard real-time systems (PRPT, TGK), pp. 280–287.
SOSP-1995-GopalakrishnanP #protocol: A Real-time Upcall Facility for Protocol Processing with QoS Guarantees (RG, GMP), p. 231.
TAPSOFT-1995-Guernic #design #named: Signal: A Formal Design Environment for Real-Time Systems (PLG), pp. 789–790.
CAV-1995-DillW #approximate #verification: Verification of Real-Time Systems by Successive Over and Under Approximation (DLD, HWT), pp. 409–422.
CAV-1995-FidgeKU #verification: Interactively Verifying a Simple Real-time Scheduler (CJF, PK, MU), pp. 395–408.
CAV-1995-SokolskyS #model checking: Local Model Checking for Real-Time Systems (OS, SAS), pp. 211–224.
ICLP-1995-NilssonTW #deduction #distributed #memory management #named #query: Amnesia — A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language (HN, TT, CW), p. 821.
ILPS-1995-BoerG #concurrent #constraints #modelling #programming: Modelling Real-Time in Concurrent Constraint Programming (FSdB, MG), pp. 528–542.
LICS-1995-Wang #analysis #behaviour: Timing Behavior Analysis for Real-Time Systems (FW), pp. 112–122.
SIGMOD-1994-PangCL #memory management #query: Managing Memory for Real-Time Queries (HP, MJC, ML), pp. 221–232.
CSEE-1994-Gomaa #concurrent #design: Software Design Methods for Concurrent and Real-Time Systems (HG), p. 341.
FME-1994-Fidge #development: Adding Real Time to Formal Program Development (CJF), pp. 618–638.
CHI-1994-WeberP94a #named #video: Marquee: a tool for real-time video logging (KW, AP), pp. 58–64.
CSCW-1994-GreenbergM #concurrent #distributed #interface: Real Time Groupware as a Distributed System: Concurrency Control and Its Effect on the Interface (SG, DM), pp. 207–217.
CIKM-1994-SoparkarLKS #adaptation #distributed #transaction: Adaptive Commitment for Distributed Real-Time Transactions (NS, EL, HFK, AS), pp. 187–194.
SEKE-1994-FigueiredoPC #analysis #fuzzy #petri net #using: Timing analysis of real-time software systems using fuzzy time Petri nets (JCAdF, AP, SKC), pp. 257–266.
ECOOP-1994-AksitBSB #inheritance #specification: Real-Time Specification Inheritance Anomalies and Real-Time Filters (MA, JB, WvdS, LB), pp. 386–407.
OOPSLA-1994-BuhrC #design #object-oriented #thread: Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems (RJAB, RSC), pp. 301–316.
TOOLS-EUROPE-1994-PereiraD #case study #comparison #experience #object-oriented #using: Using Object-Orientation in Real-Time Applications: An Experience Report or (1 Application + 5 Approaches = 1 Comparison) (CEP, PD), pp. 147–158.
AdaEurope-1994-AbadieB #development #execution #named: CEDEX — A Tool for the Selection of a Development and Execution Environment for Real Time On-Board Applications (JA, BB), pp. 465–482.
AdaEurope-1994-CiceriM: Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control (FC, LM), pp. 288–301.
AdaEurope-1994-FrancolaM #validation: Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter (SF, MM), pp. 270–281.
AdaEurope-1994-Heitz #composition #distributed #generative #object-oriented #programming #scalability: Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed Developments (MH), pp. 130–146.
AdaEurope-1994-Kettani #ada #how: How to Avoid and Control Proliferation of New Ada Real Time Extensions (NK), pp. 349–354.
AdaEurope-1994-ObermayerSSKKL #ada #analysis: Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis (PEO, JS, GS, AK, PK, RL), pp. 483–488.
AdaEurope-1994-PitetteCGS #ada #named: Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems (GMP, JYC, DG, JMS), pp. 406–420.
TRI-Ada-1994-Oliver #ada #concurrent #design #implementation #object-oriented: Object Oriented Design and Implementation of Concurrent and Real Time Systems in Ada (SRO), pp. 343–349.
TRI-Ada-1994-Sartore #ada #database #scalability: Large Database Ada Program for Real Time Laboratory Instrument Control and Data Acquisition (RGS), pp. 406–416.
ICSE-1994-Callison: A Periodic Object Model for Real-Time Systems (HRC), pp. 291–300.
ICSE-1994-Vardanega #ada #development #embedded #experience: Experience with the Development of Hard Real-Time Embedded Ada Software (TV), pp. 301–308.
SAC-1994-ChandH #using: A real-time contol application using asynchronous remote procedure calls (GC, DMH), pp. 515–517.
SAC-1994-ConradJ #people: A real-time people counter (GC, RJ), pp. 20–24.
SAC-1994-Negoita #fuzzy #injection #logic: Fuzzy logic real-time intelligent control of fuel injection engines (MGN), pp. 110–114.
SAC-1994-RunklerG #approximate #fuzzy #named #performance: DECADE — fast centroid approximation defuzzification for real time fuzzy control applications (TAR, MG), pp. 161–165.
ASPLOS-1994-SchmidtN #garbage collection #performance: Performance of a Hardware-Assisted Real-Time Garbage Collector (WJS, KDN), pp. 76–85.
CC-1994-FranzleM #code generation #programming language #towards: Towards Provably Correct Code Generation for a Hard Real-Time Programming Language (MF, MMO), pp. 294–308.
DAC-1994-ChouB #scheduling: Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems (PHC, GB), pp. 1–4.
EDAC-1994-RobertGMT #classification #design #geometry: Design of a Real Time Geometric Classifier (MR, PG, JM, ST), p. 656.
PDP-1994-BassCFW #distributed: Three Domain Voting In Real-time Distributed Control Systems (JMB, PRC, PJF, LJCW), pp. 317–324.
PDP-1994-CiccarellaLM #adaptation #implementation #multi: Real Time Implementation Of A Multivariable Adaptive Controller (GC, FL, PM), pp. 430–437.
PDP-1994-MecibahA #distributed #object-oriented #problem #scheduling: Some Issues For The Distributed Scheduling Problem In The M02 Distributed Real-time Object-oriented Model (BM, AA), pp. 301–308.
PDP-1994-SmitH #architecture #multi: A Switch Architecture For Real-time Multimedia Communications (GJMS, PJMH), pp. 438–444.
PDP-1994-ZergainohMYL #design #development #implementation #multi: A Real Time Multiprocessor Application Development Environment Design And Implementation (NEZ, TM, YS, CL), pp. 544–550.
STOC-1994-Kosaraju #pattern matching: Real-time pattern matching and quasi-real-time construction of suffix trees (SRK), pp. 310–316.
CAV-1994-GorrieriS #using #verification: Real-Time System Verification using P/T Nets (RG, GS), pp. 14–26.
ISSTA-1994-BuyS #analysis #petri net #source code: Analysis of Real-Time Programs with Simple Time Petri Nets (UAB, RHS), pp. 228–239.
LICS-1994-ChangMP #composition #verification: Compositional Verification of Real-Time Systems (EYC, ZM, AP), pp. 458–465.
ICDAR-1993-GazzoloB #identification #recognition: Real time signature recognition: A method for personal identification (GG, LB), pp. 707–709.
SIGMOD-1993-HongJC #approach #scheduling #transaction: Real-Time Transaction Scheduling: A Cost Conscious Approach (DH, TJ, SC), pp. 197–206.
CSM-1993-Stockenberg #architecture #integration: A Dynamic Integration Architecture for High Availability Real-Time Systems (JES), pp. 51–60.
FME-1993-ChenM #logic #specification: Applications of Modal Logic for the Specification of Real-Time Systems (LC, AM), pp. 235–249.
FME-1993-DurrD #development: Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System (ED, EMD), pp. 64–72.
FME-1993-Fidge #refinement: Real-Time Refinement (CJF), pp. 314–331.
FME-1993-WangME #distributed #model checking: Symbolic Model Checking for Distributed Real-Time Systems (FW, AKM, EAE), pp. 632–651.
FPCA-1993-ChuangG #functional #multi #programming: Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming (TRC, BG), pp. 289–298.
HCI-SHI-1993-DohiI #human-computer #interactive #synthesis #towards: Realtime Synthesis of a Realistic Anthropomorphous Agent Toward Advanced Human-Computer Interaction (HD, MI), pp. 152–157.
HCI-SHI-1993-IshibuchiTK #detection #human-computer #interactive #multi: Real-Time Multi-Hand Detection for Human-Computer Interaction (KI, HT, FK), pp. 1040–1045.
HCI-SHI-1993-KishinoOTT #3d #detection #image: Virtual Space Teleconferencing System — Real Time Detection and Reproduction of 3-D Human Images (FK, JO, HT, NT), pp. 669–674.
HCI-SHI-1993-MoriiKT #animation #detection #evaluation #eye tracking #using: Evaluation of a Gaze Using Real-Time CG Eye-Animation Combined with Eye Movement Detector (KM, FK, NT), pp. 1103–1108.
HCI-SHI-1993-Warren #approach #development #modelling #safety #tool support: The TOM Approach to System Development: Methods and Tools for Task Oriented Modelling of Real-Time Safety Critical Systems (CW), pp. 285–290.
CAiSE-1993-PuigjanerBA #constraints #design #embedded #estimation #performance #process: Estimation Process of Performance Constraints during the design of Real-Time & Embedded Systems (RP, AB, SA), pp. 629–648.
SEKE-1993-ChangPFYE #design #distributed #fault tolerance #information management #object-oriented: The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics (SKC, AP, JCAdF, BY, WDE), pp. 36–45.
SEKE-1993-CoyleTF #development #knowledge-based #programming #rule-based: Rule-Based Programming for Real-Time Knowledge-Based Systems Development (FPC, MMT, DJF), pp. 142–149.
TOOLS-EUROPE-1993-Mandrioli #object-oriented #specification: The Object-Oriented Specification of Real-Time Systems (DM), p. 347.
TOOLS-PACIFIC-1993-Coomber #object-oriented #simulation: An Object-Oriented Procedure for Simulating Real-Time Systems (CJC), pp. 269–278.
TOOLS-PACIFIC-1993-Dew #agile #concept #object-oriented #prototype #using: A Rapid Prototyping System for Real-time Systems Using Object-oriented Concepts (RAD), pp. 279–291.
TOOLS-USA-1993-Firesmith93a #development #named #object-oriented #scalability: ADM4: an Object-Oriented Development Method for Large, Complex Real Time Systems (DF), p. 558.
AdaEurope-1993-BrygierR #ada #certification #safety: Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.
AdaEurope-1993-BurnsWBF #case study #design #implementation: The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation (AB, AJW, CMB, EF), pp. 19–35.
AdaEurope-1993-KamradH #ada #case study: Applying Ada 9X to Two Real-Time Applications: A Case Study (JMKI, JH), pp. 79–94.
AdaEurope-1993-KettaniC #ada #standard #towards: Toward a Secondary Standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 (NK, VC), pp. 330–351.
PLDI-1993-HongG #compilation #source code: Compiling Real-Time Programs into Schedulable Code (SH, RG), pp. 166–176.
PLDI-1993-NettlesO #garbage collection #replication: Real-Time Replication Garbage Collection (SN, JO), pp. 217–226.
ICRE-1993-Beeck #analysis #execution #precise #specification: Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.
ESEC-1993-Beeck #analysis #concurrent #integration #specification: Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification (MvdB), pp. 313–328.
ESEC-1993-GhezziFB #overview #specification #verification: Real-Time Systems: A Survey of Approaches to Formal Specification and Verification (CG, MF, CB), pp. 11–36.
ESEC-1993-PerryS #case study #evolution #fault #scalability: Software Faults in Evolving a Large, Real-Time System: a Case Study (DEP, CSS), pp. 48–67.
ESEC-1993-TuyaSZC #approach #design #specification: A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification (JT, LS, RZ, JAC), pp. 301–312.
SAC-1993-Jeffay #paradigm #performance #predict: The Real-Time Producer/Consumer Paradigm: A Paradigm for the Construction of Efficient, Predictable Real-Time Systems (KJ), pp. 796–804.
SAC-1993-Jimenez-CedenoV #approach #communication #network #predict: Centralized Packet Radio Network: A Communication Approach Suited for Data Collection in a Real-Time Flash Flood Prediction System (MJC, RVE), pp. 709–713.
PDP-1993-BramsLDA #parallel #visual notation: G++: a graphical language to specify real-time parallel applications (HB, ML, GD, AA), pp. 185–193.
STOC-1993-AlurHV #parametricity #reasoning: Parametric real-time reasoning (RA, TAH, MYV), pp. 592–601.
CAV-1993-AlurCH: Computing Accumulated Delays in Real-time Systems (RA, CC, TAH), pp. 181–193.
CAV-1993-JourdanMO #source code #verification: Verifying Quantitative Real-Time Properties of Synchronous Programs (MJ, FM, AO), pp. 347–358.
CAV-1993-Shankar #using #verification: Verification of Real-Time Systems Using PVS (NS), pp. 280–291.
CAV-1993-YannakakisL #algorithm #performance: An Efficient Algorithm for Minimizing Real-time Transition Systems (MY, DL), pp. 210–224.
CAV-1993-YonedaSSC #parallel #performance #verification: Efficient Verification of Parallel Real-Time Systems (TY, AS, BHS, EMC), pp. 321–346.
ISSTA-1993-Coen-PorisiniK #specification: The Composability of ASTRAL Realtime Specifications (ACP, RAK), pp. 128–138.
ISSTA-1993-CorbettA #bound #concurrent: A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems (JCC, GSA), pp. 110–116.
PODS-1992-Chomicki #constraints: Real-Time Integrity Constraints (JC), pp. 274–282.
SIGMOD-1992-AgrawalAJ #database #protocol #using: Using Delayed Commitment in Locking Protocols for Real-Time Databases (DA, AEA, RJ), pp. 104–113.
VLDB-1992-Buchmann #data transformation: Data Management for Real-Time Systems (APB), p. 625.
CSCW-1992-RosemanG #named #tool support: GROUPKIT: A Groupware Toolkit for Building Real-Time Conferencing Applications (MR, SG), pp. 43–50.
SEKE-1992-AlcarazNHB #maintenance #monitoring: Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges (FA, MN, AH, JLB), pp. 364–369.
SEKE-1992-KaoH #graph #logic #proving: A Graph Proof Procedure for Real Time Logic (JHK, LJH), pp. 300–306.
OOPSLA-1992-SatohT #concurrent #object-oriented: A Formalism for Real-Time Concurrent Object-Oriented Computing (IS, MT), pp. 315–326.
OOPSLA-1992-TakashioT #distributed #named #object-oriented #programming language: DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems (KT, MT), pp. 276–294.
TOOLS-EUROPE-1992-Barry: Manufacturing Real-Time Software with OOPS (BMB), pp. 421–422.
TOOLS-USA-1992-Mandrioli #object-oriented #specification: The Object-Oriented Specification of Real-Time Systems (DM), p. 275.
TOOLS-USA-1992-Mandrioli92a #approach #logic #object-oriented #specification: Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach (DM), p. 277.
AdaEurope-1992-BurnsW #design: Designing Hard Real-Time Systems (AB, AJW), pp. 116–127.
AdaEurope-1992-LanderM #ada #detection #multi #problem: Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications (LCL, SM), pp. 165–181.
AdaEurope-1992-Maymir-Ducharme #ada #embedded #migration: Porting Embedded Real-Time Ada Software (FAMD), pp. 92–103.
AdaEurope-1992-PuenteZAF #ada #reuse: Reusable Executives for Hard Real-Time Systems in Ada (JAdlP, JZ, AA, JLF), pp. 104–115.
AdaEurope-1992-Raines #ada: Real Time Ada in the International Space Station Freedom (GR), pp. 9–19.
POPL-1992-NirkheP #imperative #partial evaluation #programming language: Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems (VN, WP), pp. 269–280.
TRI-Ada-C-1992-BarlinL #effectiveness #embedded #reuse: Effective Software Reuse in an Embedded Real-Time System (BB, JML), pp. 281–287.
TRI-Ada-C-1992-Goodenough #ada: Ada 9X and Real-Time Systems (JBG), pp. 43–47.
TRI-Ada-C-1992-KermarrecP #ada #communication #component #distributed: Ada Communication Components for Distributed and Real Time Applications (YK, LP), pp. 530–537.
TRI-Ada-C-1992-SeligPM #ada #data analysis: Data Analysis and Reporting for Real-Time Ada Systems (TS, DBP, BDM), pp. 469–476.
TRI-Ada-C-1992-Westley #communication #distributed #evaluation #performance: Evaluation and Improvement of Performance of the Communication Subsystem of a Real-Time, Distributed, C2 Simulator (TJW), pp. 553–562.
TRI-Ada-T1-1992-Rogers #ada #embedded #programming: Embedded/Real-Time Programming in Ada (PR), pp. 105–260.
ICSE-1992-FelderM #specification #validation: Validating Real-Time Systems by History-Checking TRIO Specifications (MF, AM), pp. 199–211.
ICSE-1992-Lister #design: Design of Dependable Real-Time Systems (AML), pp. 35–36.
ICSE-1992-WangME #distributed #specification: Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL (FW, AKM, EAE), pp. 188–198.
ESOP-1992-BenvenisteBG #hybrid: SIGNAL as a Model for Real-Time and Hybrid Systems (AB, MLB, PLG), pp. 20–38.
CAV-1992-CourcoubetisDCT #verification: Verification with Real-Time COSPAN (CC, DLD, MC, PT), pp. 274–287.
CAV-1992-De-LeonG #abstraction #composition #distributed #verification: Modular Abstractions for Verifying Real-Time Distributed Systems (HDL, OG), pp. 2–15.
CAV-1992-RicoBC #model checking: Model-Checking for Real-Time Systems Specified in Lotos (NR, GvB, OC), pp. 288–301.
LICS-1992-HenzingerNSY #model checking: Symbolic Model Checking for Real-time Systems (TAH, XN, JS, SY), pp. 394–406.
VLDB-1991-HuangSRT #concurrent #evaluation: Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes (JH, JAS, KR, DFT), pp. 35–46.
SEI-1991-Marchewka #design #education #re-engineering: Teaching Software Engineering for Real-Time Design (CGM), pp. 235–244.
ICALP-1991-AlurCD #model checking #probability: Model-Checking for Probabilistic Real-Time Systems (RA, CC, DLD), pp. 115–126.
ICALP-1991-Yi: CCS + Time = An Interleaving Model for Real Time Systems (WY0), pp. 217–228.
AdaEurope-1991-ColombiniTP #ada: Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques (CC, AdT, RP), pp. 384–393.
AdaEurope-1991-GilbertTB #ada #embedded #experience #process #using: Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes (BG, MT, GB), pp. 394–403.
AdaEurope-1991-LippensA #embedded #scalability #testing: Testing and Integrating a Large Embedded Real-Time System (JML, JA), pp. 404–411.
AdaEurope-1991-Maymir-Ducharme #ada #scheduling: Ada 9X Real-Time Scheduling Alternatives (FAMD), pp. 37–48.
AdaEurope-1991-WillainBSV #ada: Real-Time Electronic Funds Transfer and Ada (JW, PB, JS, SvV), pp. 199–209.
POPL-1991-HenzingerMP #proving: Temporal Proof Methodologies for Real-time Systems (TAH, ZM, AP), pp. 353–366.
ESEC-1991-GhezziK #named #specification: ASTRAL: An Assertion Language for Specifying Realtime Systems (CG, RAK), pp. 122–146.
ESEC-1991-HonidenUI #design #performance #process #prototype: An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems (SH, NU, KI), pp. 189–209.
ESEC-1991-KopetzZFKPS #approach #design: An Engineering Approach to Hard Real-Time System Design (HK, RZ, GF, HK, PPP, WS), pp. 166–188.
CAAP-1991-Breugel #comparative #integration #programming language #semantics: Comparative Semantics for a Real-Time Programming Language with Integration (FvB), pp. 397–411.
CCPSD-1991-Cardell-Oliver #higher-order #logic #modelling #protocol #using: Using Higher Order Logic for Modelling Real-Time Protocols (RCO), pp. 259–282.
CAV-1991-Courcoubetis #problem: Minimum and Maximum Delay Problems in Real-Time Systems (CC), pp. 399–409.
CAV-1991-GabrielianI #specification #verification: Verifying Properties of HMS Machine Specifications of Real-Time Systems (AG, RI), pp. 421–431.
CAV-1991-HolmerLY #process: Deciding Properties of Regular Real Time Processes (UH, KGL, WY), pp. 443–453.
LICS-1991-CleavelandZ #formal method #testing: A Theory of Testing for Real-Time (RC, AEZ), pp. 110–119.
PODS-1990-HaritsaCL #constraints #on the: On Being Optimistic about Real-Time Constraints (JRH, MJC, ML), pp. 331–343.
VLDB-1990-KorthSS #consistency #constraints #database: Triggered Real-Time Databases with Consistency Constraints (HFK, NS, AS), pp. 71–82.
ICALP-1990-AlurD #automaton #modelling: Automata For Modeling Real-Time Systems (RA, DLD), pp. 322–335.
ICALP-1990-DietzfelbingerH: A New Universal Class of Hash Functions and Dynamic Hashing in Real Time (MD, FMadH), pp. 6–19.
OOPSLA-ECOOP-1990-IshikawaTM #constraints #design #object-oriented: Object-Oriented Real-Time Language Design: Constructs for Timing Constraints (YI, HT, CWM), pp. 289–298.
ICSE-1990-GabrielianF #multi #specification #verification: Multi-Level Specification and Verification of Real-Time Software (AG, MKF), pp. 52–62.
PPoPP-1990-Factor #architecture #monitoring #process: The Process Trellis Architectur for Real-Time Monitors (MF), pp. 147–155.
PPoPP-1990-LiNP #concurrent #parallel #source code: Real-Time, Concurrent Checkpoint for Parallel Programs (KL, JFN, JSP), pp. 79–88.
LICS-1990-AlurCD #model checking: Model-Checking for Real-Time Systems (RA, CC, DLD), pp. 414–425.
LICS-1990-AlurH #complexity #logic: Real-time Logics: Complexity and Expressiveness (RA, TAH), pp. 390–401.
SIGMOD-1989-Ozsoyoglu #database #question: Real-Time Databases: Are they Real? (GÖ), p. 3.
VLDB-1989-AbbottG #scheduling #transaction: Scheduling Real-Time Transactions with Disk Resident Data (RKA, HGM), pp. 385–396.
SEI-1989-Schoeffler #programming: A Personal Computer Environment for Realtime Programming (JDS), pp. 156–168.
ML-1989-Fogarty #algorithm #incremental #learning #search-based: An Incremental Genetic Algorithm for Real-Time Learning (TCF), pp. 416–419.
SEKE-1989-MurataY #petri net #rule-based: Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.
OOPSLA-1989-Barry #embedded #prototype #smalltalk: Prototyping a Real-Time Embedded System in Smalltalk (BMB), pp. 255–265.
ESEC-1989-FastenbauerS #automation #design #generative #named: HCDM/GSDS — A Design Environment for Real-time Software with Automatic Program Generation (MF, HS), pp. 324–335.
ICSE-1989-Gomaa #design: Structuring Criteria for Real Time System Design (HG), pp. 290–301.
ICSE-1989-JaffeL #requirements #robust #safety #specification: Completeness, Robustness, and Safety in Real-Time Software Requirements Specification (MSJ, NGL), pp. 302–311.
ASPLOS-1989-Roos #ada: A Real-Time Support Processor for Ada Tasking (JR), pp. 162–171.
TAV-1989-RazoukG #logic #reasoning #source code: Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.
VLDB-1988-AbbottG #evaluation #performance #scheduling #transaction: Scheduling Real-time Transactions: a Performance Evaluation (RKA, HGM), pp. 1–12.
PLDI-1988-AppelEL #concurrent #multi: Real-Time Concurrent Collection on Stock Multiprocessors (AWA, JRE, KL), pp. 11–20.
Best-of-PLDI-1988-Appel #concurrent #multi: Real-time concurrent collection on stock multiprocessors (with retrospective) (AWA), pp. 205–216.
ICSE-1988-Hagemann #analysis #automation #requirements: Requirements Analysis for Real-Time Automation Projects (MH), pp. 122–129.
ICSE-1988-HuangZC #algorithm #clustering #distributed #heuristic: Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications (XH, HZ, XC), pp. 116–121.
ICSE-1988-OrrNTR #design #tool support: Tools for Real-Time System Design (RAO, MTN, RT, CDVR), pp. 130–140.
FPCA-1987-GautierG #declarative #named #programming: SIGNAL: A declarative language for synchronous programming of real-time systems (TG, PLG), pp. 257–277.
POPL-1987-HuizingGR #abstraction #semantics: Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language (CH, RG, WPdR), pp. 223–237.
ESEC-1987-Allen #approach #data transformation #distributed #named #re-engineering: SOFTBUS — An Approach to Software Engineering for Distributed Real-Time Long-Lifetime Spacecraft Data Management Systems (RCA), pp. 202–211.
ESEC-1987-GarzottoGMM #logic programming #on the #specification #using: On the Specification of Real-Time Systems Using Logic Programming (FG, CG, DM, AM), pp. 180–190.
ESEC-1987-HennellHR #automation #embedded #testing: Automated Testing Techniques for Real-Time Embedded Software (MAH, DH, IJR), pp. 244–253.
ICSE-1987-Hosier #programming: Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming (WAH), pp. 311–327.
ICSE-1987-Kelly #comparison #design: A Comparison of Four Design Methods for Real-Time Systems (JCK), pp. 238–252.
SIGMOD-1986-WedekindZ #database: Prefetching in Realtime Database Applications (HW, GZ), pp. 215–226.
OOPSLA-1986-Jacobson #scalability: Language Support for Changeable Large Real Time Systems (IJ), pp. 377–384.
SLP-1986-BekkersCRU86 #garbage collection #implementation #logic programming #memory management #named #programming language: MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages (YB, BC, OR, LU), pp. 258–264.
ICSE-1985-BarthGB #architecture #data flow: The Stream Machine: A Data Flow Architecture for Real-Time Applications (PB, SBG, DRB), pp. 103–110.
ICSE-1985-ShimizuS #automation #embedded #multi #source code: Automatic Tuning of Multi-Task Programs for Real-Time Embedded Systems (TS, KS), pp. 350–357.
STOC-1985-GacsR #3d #array #reliability: A Simple Three-Dimensional Real-Time Reliable Cellular Array (PG, JHR), pp. 388–395.
SLP-1985-PittomvilsBW85 #garbage collection #prolog #towards: Towards a Real-Time Garbage Collector for Prolog (EP, MB, YDW), pp. 185–198.
ICALP-1984-Vitanyi: The Simple Roots of Real-Time Computation Hierarchies (PMBV), pp. 486–489.
LFP-1984-Brooks #garbage collection #hardware: Trading Data Space for Reduced Time and Code Space in Real-Time Garbage Collection on Stock Hardware (RAB), pp. 256–262.
LFP-1984-Dannenberg #functional #named: Arctic: A Functional Language for Real-Time Control (RBD), pp. 96–103.
POPL-1983-NagleJ #automation #embedded #proving #verification: Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software (JN, SJ), pp. 48–58.
RE-1983-Kopetz #distributed: Real Time in Distributed Real Time Systems (HK), pp. 240–247.
DAC-1983-UmrigarP #design #hardware #verification: Formal verification of a real-time hardware design (ZDU, VP), pp. 221–227.
ICALP-1982-Cardelli: Real Time Agents (LC), pp. 94–106.
LFP-1982-Dawson #effectiveness #garbage collection #lisp: Improved Effectiveness from a Real Time Lisp Garbage Collector (JLD), pp. 159–167.
STOC-1982-Vitanyi #multi #simulation #turing machine: Real-Time Simulation of Multicounters by Oblivious One-Tape Turing Machines (PMBV), pp. 27–36.
SOSP-1981-BernsteinH #logic #proving #source code: Proving Real-Time Properties of Programs with Temporal Logic (AJB, PKHJ), pp. 1–11.
STOC-1981-ReifS #algorithm #communication #distributed: Distributed Algorithms for Synchronizing Interprocess Communication within Real Time (JHR, PGS), pp. 133–145.
ICALP-1980-Vitanyi #on the #power of #specification: On the Power of Real-Time Machines Under Varying Specifications (PMBV), pp. 658–671.
STOC-1980-Ukkonen #automaton #equivalence: A Decision Method for the Equivalence of some Non-Real-Time Deterministic Pushdown Automata (EU), pp. 29–38.
CADE-1980-Furtek #constraints #distributed #formal method #specification #using #verification: Specification and Verification of Real-Time, Distributed Systems Using the Theory of Constraints (FCF), pp. 110–125.
ICSE-1979-Lasker #evolution #product line: Module Structure in an Evolving Family of Real Time Systems (DML), pp. 22–28.
ICSE-1979-LauberBGS #automation #design #specification: EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems (RL, JB, PG, HS), pp. 245–250.
STOC-1979-Kosaraju79aa #simulation: Real-Time Simulation of Concatenable Double-Ended Queues by Double-Ended Queues (SRK), pp. 346–351.
DAC-1977-Hall #online: MIDAS an on-line real time material system (RSH), pp. 109–111.
SOSP-1977-CheritonMMS #operating system: Thoth, a Portable Real-Time Operating System (DRC, MAM, LSM, GRS), p. 171.
STOC-1977-LeongS #multi #simulation: New Real-Time Simulations of Multihead Tape Units (BLL, JIS), pp. 239–248.
DIPL-1976-DreisbachW #requirements: Requirements for real-time languages (TAD, LW), pp. 298–312.
ICSE-1976-Alford #requirements: A Requirements Engineering Methodology for Real-Time Processing Requirements (MWA), p. 69.
ICSE-1976-GauldingL #design #development #process: Process Design Engineering: A Methodology for Real-Time Software Development (SNG, JDL), pp. 80–85.
ICSE-1976-PhillipsB #design #verification: Design and Verification of Real-Time Systems (JVP, THB), pp. 124–131.
DAC-1976-Matelan #automation #design: Automating the design of microprocessor-based real time control systems (MNM), pp. 462–469.
DAC-1976-Zobniw #multi #using: Multi-defect real time diagnosis using a single pin probe (LMZ), pp. 179–185.
STOC-1976-Galil #algorithm #recognition #string: Real-Time Algorithms for String-Matching and Palindrome Recognition (ZG), pp. 161–173.
DAC-1975-Zobniw #using: Real time diagnosis using single pin probe (LMZ), pp. 268–285.
SOSP-1975-BayerL #multi #named #operating system: MERT — A Multi-Environment Real-Time Operating System (DLB, HL), pp. 33–42.
SOSP-1975-PruittC #architecture #operating system: Architecture of a Real-Time Operating System (JLP, WWC), pp. 51–59.
SOSP-1973-Sorenson #communication: Interprocess Communication in Real-Time Systems (PGS), pp. 1–7.
DAC-1970-Lord: Real-time simulated earthquake motion of high rise structures (JL), pp. 35–46.
DAC-1970-PatchZ #logic: Real time diagnosis of logic assemblies (FDP, LMZ), pp. 108–115.
STOC-1970-Burkhard #complexity #problem: Complexity Problems in Real Time Computation (WAB), pp. 62–69.
STOC-1969-BookG: Quasi-Realtime Languages (RVB, SAG), pp. 15–18.
STOC-1969-Cole #automaton: Pushdown Store Machines and Real-Time Computation (SNC), pp. 233–245.