BibSLEIGH — platform tag

platform

platform

Tag #platform

877 papers:

ASPLOS-2020-MaZLCLEQK: A Hypervisor for Shared-Memory FPGA Platforms (JM, GZ, KL, XC, YL, AME, ZQ, BK), pp. 827–844.
ICSA-2019-WeberLTDGS #architecture #framework #multitenancy: A Platform Architecture for Multi-Tenant Blockchain-Based Systems (IW, QL0, ABT, AD, MG, MS), pp. 101–110.
EDM-2019-GitinabardBHL #analysis #online #sequence #student #what: What will you do next? A sequence analysis on the student transitions between online platforms in blended courses (NG, TB, SH, CFL).
ICSME-2019-ViggiatoOFJK #how: How Do Code Changes Evolve in Different Platforms? A Mining-Based Investigation (MV, JO, EF, PJ, CK), pp. 218–222.
ICSME-2019-WagnerBSG #challenge #cobol #framework #pl-i: Challenges in re-Platforming Mixed Language PL/I and COBOL IS to an Open Systems Platform (TW, CB, SS, TG), p. 364.
CHI-PLAY-2019-LesselAB #framework #game studies #named: Crowdjump: Investigating a Player-Driven Platform Game (PL, MA, NB), pp. 149–159.
CoG-2019-PalenciaO #framework #named #web: PsyRTS: a Web Platform for Experiments in Human Decision-Making in RTS Environments (DOVP, MO), pp. 1–4.
CoG-2019-StephensonPSB #contest #framework: Ludii as a Competition Platform (MS, ÉP, DJNJS, CB), pp. 1–8.
CoG-2019-WarriarUWT #design #framework #game studies #named: PlayMapper: Illuminating Design Spaces of Platform Games (VRW, CU, JRW, LT), pp. 1–4.
VS-Games-2019-MammenMLBBSW #framework: VIA VR: A Technology Platform for Virtual Adventures for Healthcare and Well-Being (SvM, AM, MEL, MB, KB, CS, MW), pp. 1–2.
CIKM-2019-JinZ0LGQJTWWWY #multi #named #order: CoRide: Joint Order Dispatching and Fleet Management for Multi-Scale Ride-Hailing Platforms (JJ, MZ, WZ0, ML, ZG, ZQ, YJ, XT, CW, JW0, GW, JY), pp. 1983–1992.
CIKM-2019-LiWWLYLW #learning #multi: Partially Shared Adversarial Learning For Semi-supervised Multi-platform User Identity Linkage (CL, SW, HW, YL, PSY, ZL, WW), pp. 249–258.
CIKM-2019-QiuSR #crowdsourcing #rating: Rating Mechanisms for Sustainability of Crowdsourcing Platforms (CQ, ACS, SMR), pp. 2003–2012.
CIKM-2019-SrivastavaLF #adaptation #community #modelling #multimodal #visual notation: Adapting Visual Question Answering Models for Enhancing Multimodal Community Q&A Platforms (AS, HWL, SF), pp. 1421–1430.
CIKM-2019-ZhangSTZLAZW0Y #on-demand #recommendation: Recommendation-based Team Formation for On-demand Taxi-calling Platforms (LZ, TS, YT, ZZ, DL, WA, LZ, GW, YL0, JY), pp. 59–68.
KDD-2019-LiC0W0 #3d #crowdsourcing #problem: Three-Dimensional Stable Matching Problem for Spatial Crowdsourcing Platforms (BL, YC, YY0, GW, LC0), pp. 1643–1653.
KDD-2019-SuhrBZGC #case study #framework: Two-Sided Fairness for Repeated Matchings in Two-Sided Markets: A Case Study of a Ride-Hailing Platform (TS, AJB, MZ, KPG, AC), pp. 3082–3092.
KDD-2019-Xia #analysis #graph: Roll of Unified Graph Analysis Platforms (YX), p. 3179.
KDD-2019-Yang #framework #graph #named #network: AliGraph: A Comprehensive Graph Neural Network Platform (HY), pp. 3165–3166.
MoDELS-2019-Morin0 #independence #modelling: Model-Based, Platform-Independent Logging for Heterogeneous Targets (BM, NF0), pp. 172–182.
ASE-2019-GuoCXMHLLZL #deployment #development #empirical #framework #learning #towards: An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms (QG, SC, XX, LM0, QH, HL, YL0, JZ, XL), pp. 810–822.
ASE-2019-YuF0Z0 #automation #image #layout #mobile #named #recognition #testing: LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform (SY, CF, YF0, WZ, ZC0), pp. 1066–1069.
ESEC-FSE-2019-CotroneoSLNB #analysis #debugging #empirical #framework #how #in the cloud: How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform (DC, LDS, PL, RN, NB), pp. 200–211.
SLE-2019-Papoulias #framework: The lands platform: lan.guages and d.omain s.yntax (NP), pp. 66–70.
ASPLOS-2019-WillseySTVNPBNJ #framework #named: Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform (MW, APS, CT, PV, BHN, MP, CB, SN, SJ, KS, LC), pp. 183–197.
CASE-2019-TangJ #estimation #framework #simulation: A Simulation Platform for Sensing System Selection for Occupant Distribution Estimation in Smart Buildings (JXT, QSJ), pp. 985–990.
CAV-2019-KangLT #automation #framework #synthesis: Automated Synthesis of Secure Platform Mappings (EK, SL, ST), pp. 219–237.
ICTSS-2019-RiveraOMCVV #industrial #monitoring #security: Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms (DR, EMdO, WM, ARC, BV, MV), pp. 270–278.
ECSA-2018-BarbosaGMRM #distributed #framework #lightweight #named: Beethoven: An Event-Driven Lightweight Platform for Microservice Orchestration (DMB, RG, PHMM, LSR, NCM), pp. 191–199.
ECSA-2018-BuchgeherWH #architecture #automation #framework #scalability: A Platform for the Automated Provisioning of Architecture Information for Large-Scale Service-Oriented Software Systems (GB, RW, HH), pp. 203–218.
ECSA-2018-Plakidas0Z #architecture #case study #evolution #industrial #migration #multi: Software Migration and Architecture Evolution with Industrial Platforms: A Multi-case Study (KP, DS0, UZ), pp. 336–343.
ICSA-2018-GuptaUBDRF #framework #scalability: The Anatomy of a Large-Scale Experimentation Platform (SG, LU, SB, PAD, PR, AF), pp. 1–10.
ICSA-2018-KramerWSR #distributed #framework: A Blockchain-Based Micro Economy Platform for Distributed Infrastructure Initiatives (JK, JMEMvdW, JS, MR), pp. 11–20.
JCDL-2018-ColeASSCJ #design #framework #learning #research: Designing a Research Platform for Engaged Learning (NC, AAR, RS, CES, SC, RJ), pp. 315–316.
EDM-2018-LeeCN #framework #identification #online #video: Identifying User Engagement Patterns in an Online Video Discussion Platform (SYL, HSC, GN).
ICSME-2018-KwonACSKS #api #case study #evolution #experience #maintenance: An Experience Report of the API Evolution and Maintenance for Software Platforms (HK, JA, SC, JS, PK, PS), pp. 587–590.
ICSME-2018-Moran #automation #development #mobile: Automating Software Development for Mobile Computing Platforms (KM), pp. 749–754.
DiGRA-2018-GaoS #analysis #design #framework #game studies #matter: Does Platform Matter? A Game Design Analysis of Female Engagement in MOBA Games (GG, PCS).
ECIR-2018-AgrawalA #detection #learning #multi #social #social media: Deep Learning for Detecting Cyberbullying Across Multiple Social Media Platforms (SA, AA), pp. 141–153.
KDD-2018-MiloS #data analysis #interactive: Next-Step Suggestions for Modern Interactive Data Analysis Platforms (TM, AS), pp. 576–585.
KDD-2018-RaoTL #comprehension #framework #learning #multi #network #query: Multi-Task Learning with Neural Networks for Voice Query Understanding on an Entertainment Platform (JR, FT, JL), pp. 636–645.
KDD-2018-StaarDAB #corpus #documentation #framework #machine learning #scalability: Corpus Conversion Service: A Machine Learning Platform to Ingest Documents at Scale (PWJS, MD, CA, CB), pp. 774–782.
KDD-2018-XuLGZLNLBY #approach #learning #on-demand #order #scalability: Large-Scale Order Dispatch in On-Demand Ride-Hailing Platforms: A Learning and Planning Approach (ZX, ZL, QG, DZ, QL, JN, CL, WB, JY), pp. 905–913.
ICMT-2018-Hinkel #framework #modelling #multi #named: NMF: A Multi-platform Modeling Framework (GH), pp. 184–194.
ECOOP-2018-Gascon-SamsonJG #independence #javascript #migration #named: ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications (JGS, KJ, SG, ARA, KP), p. 33.
ECOOP-2018-QunaibitBNVF #dynamic typing #optimisation #using: Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization (MQ, SB, YN, SV, MF), p. 29.
ASE-2018-BorgesHZ #android #framework #generative #named #testing: DroidMate-2: a platform for Android test generation (NPBJ, JH, AZ), pp. 916–919.
ASE-2018-GaoYFJS #learning #named #semantics: VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary (JG, XY, YF, YJ0, JS), pp. 896–899.
ASE-2018-MonteiroGCF #bound #c++ #framework #model checking #source code: Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract) (FRM, MAPG, LCC, EBdLF), p. 954.
ICSE-2018-LinBH #empirical #framework #game studies: An empirical study of early access games on the steam platform (DL, CPB, AEH), p. 480.
SLE-2018-Stromback #framework #named: Storm: a language platform for interacting and extensible languages (FS), pp. 60–64.
CASE-2018-KronthalerW #framework #modelling #precise: Model based control of a high precision dual gantry platform with elastic cross coupling (PK, FW), pp. 491–498.
ICST-2018-SchwarzlH #framework #low cost #testing: Systematic Test Platform Selection: Reducing Costs for Testing Software-Based Automotive E/E Systems (CS, JH), pp. 374–383.
ECSA-2017-GiaimoBK #self: Considerations About Continuous Experimentation for Resource-Constrained Platforms in Self-driving Vehicles (FG, CB0, CK), pp. 84–91.
JCDL-2017-CastroCWPF #framework #semistructured data #using: Classifying Short Unstructured Data Using the Apache Spark Platform (EPSC, SC, EW, DAP, EAF), pp. 129–138.
EDM-2017-KuangCHN #analysis #framework #network #social #topic: A Topic Model and Social Network Analysis of a School Blogging Platform (XK, HSC, BH, GN).
MSR-2017-TiwariUNR #framework #mining #named #repository #tool support: Candoia: a platform for building and sharing mining software repositories tools as apps (NMT, GU, HAN, HR), pp. 53–63.
SANER-2017-AnMKA #framework #question #stack overflow: Stack Overflow: A code laundering platform? (LA, OM, FK, GA), pp. 283–293.
ICFP-2017-ChoiVSCA #composition #framework #hardware #named #parametricity #specification #verification: Kami: a platform for high-level parametric hardware specification and its modular verification (JC, MV, BS, AC, A), p. 30.
FDG-2017-KaoH #education #framework #named: MazeStar: a platform for studying virtual identity and computer science education (DK, DFH), p. 6.
FDG-2017-SummervilleMSOL #comprehension #design #evaluation #metric: Understanding mario: an evaluation of design metrics for platformers (AS, JRHM, SS, SO, LHSL), p. 10.
CIKM-2017-YuanLLZ #crowdsourcing: Sybil Defense in Crowdsourcing Platforms (DY, GL0, QL0, YZ), pp. 1529–1538.
ICML-2017-ShiKFHL #framework: World of Bits: An Open-Domain Platform for Web-Based Agents (TS, AK, LF, JH, PL), pp. 3135–3144.
KDD-2017-BaylorBCFFHHIJK #framework #machine learning #named: TFX: A TensorFlow-Based Production-Scale Machine Learning Platform (DB, EB, HTC, NF, CYF, ZH, SH, MI, VJ, LK0, CYK, LL, CM, ANM, NP, SR, SR0, SEW, MW, JW, XZ, MZ), pp. 1387–1395.
KDD-2017-LiJZXLZZWZWXB #analysis #framework #named: FLAP: An End-to-End Event Log Analysis Platform for System Management (TL0, YJ, CZ, BX0, ZL0, WZ, XZ, WW0, LZ, JW, LX, DB), pp. 1547–1556.
KDD-2017-TongCZCWYYL #approach #online #predict #scalability: The Simpler The Better: A Unified Approach to Predicting Original Taxi Demands based on Large-Scale Online Platforms (YT, YC, ZZ, LC0, JW0, QY0, JY, WL), pp. 1653–1662.
KDD-2017-ZhangL: A Quasi-experimental Estimate of the Impact of P2P Transportation Platforms on Urban Consumer Patterns (ZZ, BL), pp. 1683–1692.
ASE-2017-ErataGGSLTKM #documentation #framework #named: ModelWriter: text and model-synchronized document engineering platform (FE, CG, BG, AS, YL, BT, GK, AM), pp. 907–912.
ASE-2017-FazziniO #automation #consistency #detection #mobile #nondeterminism: Automated cross-platform inconsistency detection for mobile apps (MF, AO), pp. 308–318.
ESEC-FSE-2017-BagherzadehHD #debugging #development #independence #modelling #realtime: Model-level, platform-independent debugging in the context of the model-driven development of real-time systems (MB, NH, JD), pp. 419–430.
ESEC-FSE-2017-SahaGMM #framework #natural language #query: Natural language querying in SAP-ERP platform (DS, NG, SM, BM), pp. 878–883.
GPCE-2017-CaldwellC #embedded #object-oriented #programming: Reducing calling convention overhead in object-oriented programming on embedded ARM thumb-2 platforms (JC, SC), pp. 146–156.
CASE-2017-KongLYZH #e-commerce #framework #physics: Physical internet-enabled E-commerce logistics park platform (XTRK, ML0, YY, ZZ, GQH), pp. 406–411.
CASE-2017-ZengBLHZZ #design #energy #framework: Annual renewable energy planning platform: Methodology and design (FZ, ZB, XL, ZH, YZ, YZ), pp. 1392–1397.
ICST-2017-FazziniFCO #android #encoding #framework #independence #named #testing: Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests (MF, ENdAF, SRC, AO), pp. 149–160.
CBSE-2016-KjaergaardJSH #framework #named #reasoning: OccuRE: An Occupancy REasoning Platform for Occupancy-Driven Applications (MBK, AJ, FCS, EH), pp. 39–48.
WICSA-2016-Andrade #deployment: Investigating Software Deployment on Heterogeneous Platforms (HSdA), pp. 272–276.
JCDL-2016-Frick #framework #library #research #using: The State of Practice and Use of Digital Collections: The Digital Public Library of America as a platform for research (RF), p. 3.
EDM-2016-FeildLZRE #automation #feedback #framework #learning #scalability: A Scalable Learning Analytics Platform for Automated Writing Feedback (JLF, NL, NLZ, MR, AE), pp. 688–693.
EDM-2016-StanhopeR #education #framework: A Platform for Integrating and Analyzing Data to Evaluate the Impacts of Educational Technologies (DS, KR), pp. 642–643.
EDM-2016-YadavSKSD #framework #learning #named: TutorSpace: Content-centric Platform for Enabling Blended Learning in Developing Countries (KY, KS, RK, SS, OD), pp. 705–706.
MSR-2016-TrautschHMG #framework #mining #problem #repository: Adressing problems with external validity of repository mining studies through a smart data platform (FT, SH, PM, JG), pp. 97–108.
SANER-2016-ChristopheBMR #execution #framework #javascript #named: Linvail: A General-Purpose Platform for Shadow Execution of JavaScript (LC, EGB, WDM, CDR), pp. 260–270.
SEFM-2016-SchwarzD #automation #framework: Automatic Derivation of Platform Noninterference Properties (OS, MD), pp. 27–44.
AIIDE-2016-MarinoL #framework #game studies #generative #modelling #symmetry #visual notation: A Computational Model Based on Symmetry for Generating Visually Pleasing Maps of Platform Games (JRHM, LHSL), pp. 65–71.
CIG-2016-CamilleriYD #design: Platformer level design for player believability (EC, GNY, AD), pp. 1–8.
CIG-2016-KempkaWRTJ #framework #learning #named #research #visual notation: ViZDoom: A Doom-based AI research platform for visual reinforcement learning (MK, MW, GR, JT, WJ), pp. 1–8.
DiGRA-FDG-2016-SummervilleM #generative #string: Super Mario as a String: Platformer Level Generation Via LSTMs (AJS, MM).
CIKM-2016-CaoY #benchmark #dataset #metric #modelling #named #network #social: ASNets: A Benchmark Dataset of Aligned Social Networks for Cross-Platform User Modeling (XC, YY0), pp. 1881–1884.
CIKM-2016-LiZZWZWXHWZLCR #analysis #delivery #framework #named #performance: DI-DAP: An Efficient Disaster Information Delivery and Analysis Platform in Disaster Management (TL0, WZ, CZ, QW, QZ, DW0, JX0, YH, WW0, MZ, SL, SCC, NR), pp. 1593–1602.
KDD-2016-NikolaevGG #capacity #online #social #social media: Engagement Capacity and Engaging Team Formation for Reach Maximization of Online Social Media Platforms (AGN, SG, VG), pp. 225–234.
ICMT-2016-RoccoRPCLG #atl #collaboration #framework #modelling #using: Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform (JDR, DDR, AP, JSC, JdL, EG), pp. 70–78.
CGO-2016-NguyenL #graph #multi: Communication-aware mapping of stream graphs for multi-GPU platforms (DN0, JL), pp. 94–104.
FASE-2016-BadashianHS #crowdsourcing #debugging: Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment (ASB, AH, ES), pp. 231–248.
HT-2015-ChungL #framework #predict: A Long-Term Study of a Crowdfunding Platform: Predicting Project Success and Fundraising Amount (JC, KL), pp. 211–220.
HT-2015-GutierrezP #microblog #sentiment: Sentiment-based User Profiles in Microblogging Platforms (FJG, BP), pp. 23–32.
HT-2015-Jain #automation #social: Automated Methods for Identity Resolution across Heterogeneous Social Platforms (PJ), pp. 307–310.
SIGMOD-2015-ElgamalYAMH #analysis #big data #component #distributed #named #scalability: sPCA: Scalable Principal Component Analysis for Big Data on Distributed Platforms (TE, MY, AA, WM, MH), pp. 79–91.
SIGMOD-2015-MytilinisGKDTTG #distributed #framework #named #network #social: MoDisSENSE: A Distributed Spatio-Temporal and Textual Processing Platform for Social Networking Services (IM, IG, IK, KD, DT, MT, LG, NK), pp. 895–900.
TPDL-2015-DebruyneBGCD #framework #linked data #on the #open data: On a Linked Data Platform for Irish Historical Vital Records (CD, ODB, RG, SC, SD), pp. 99–110.
VLDB-2015-HuYYDCYGZ #big data #difference #framework #privacy: Differential Privacy in Telco Big Data Platform (XH, MY, JY, YD, LC, QY, HG, JZ), pp. 1692–1703.
EDM-2015-LewkowZRE #education #framework #learning #scalability #streaming #towards: Learning Analytics Platform. Towards an Open Scalable Streaming Solution for Education (NL, NLZ, MR, AE), pp. 460–463.
ITiCSE-2015-HaaranenL #education #framework #git #version control: Teaching Git on the Side: Version Control System as a Course Platform (LH, TL), pp. 87–92.
ITiCSE-2015-MartinezGB #comparison #concept #framework #learning #multi #programming: A Comparison of Preschool and Elementary School Children Learning Computer Science Concepts through a Multilanguage Robot Programming Platform (MCM, MJG, LB), pp. 159–164.
MSR-2015-BirdCG #code review #framework #lessons learnt #overview: Lessons Learned from Building and Deploying a Code Review Analytics Platform (CB, TC, MG), pp. 191–201.
CHI-PLAY-2015-CollinsELG #2d #artificial reality #game studies #using: Alaska Steve: Using Virtual Reality to Enhance a 2D Platforming Game (LC, SE, JL, TCNG), pp. 767–770.
CHI-PLAY-2015-HicksGKLD #framework #game studies #microblog #twitter: Exploring Twitter as a Game Platform; Strategies and Opportunities for Microblogging-based Games (KH, KMG, BK, CL, PD), pp. 151–161.
CHI-PLAY-2015-KljunPLE #framework #game studies #named: StreetGamez: A Moving Projector Platform for Projected Street Games (MK, KCP, ML, PE), pp. 589–594.
CHI-PLAY-2015-MoserPKT #framework #gamification #motivation: The Potentials of Gamification to Motivate Older Adults to Participate in a P2P Support Exchange Platform (CM, MP, TK, MT), pp. 655–660.
CHI-PLAY-2015-VellosoOSWG #deployment #evaluation #framework #game studies #multi: Arcade+: A Platform for Public Deployment and Evaluation of Multi-Modal Games (EV, CO, KS, MW, HG), pp. 271–275.
CIG-2015-FujikiIV #algorithm #comparison #framework #game studies #monte carlo: A platform for turn-based strategy games, with a comparison of Monte-Carlo algorithms (TF, KI, SV), pp. 407–414.
CIG-2015-ReisLG #framework #game studies #generative: Human computation for procedural content generation in platform games (WMPR, LHSL, Y(G), pp. 99–106.
DiGRA-2015-Baxter-Webb #game studies: The role of gaming platforms in young males' trajectories of technical expertise (JBW).
CHI-2015-EgelmanKC #crowdsourcing #privacy #ubiquitous: Is This Thing On?: Crowdsourcing Privacy Indicators for Ubiquitous Sensing Platforms (SE, RK, RC), pp. 1669–1678.
CHI-2015-GadirajuKDD #behaviour #comprehension #crowdsourcing #online: Understanding Malicious Behavior in Crowdsourcing Platforms: The Case of Online Surveys (UG, RK, SD, GD), pp. 1631–1640.
CHI-2015-KuznetsovDWMHP #biology #hybrid #open source #tool support: DIYbio Things: Open Source Biology Tools as Platforms for Hybrid Knowledge Production and Scientific Participation (SK, CD, NW, SM, SEH, EP), pp. 4065–4068.
CHI-2015-Reuter0KP #design #named #volunteer: XHELP: Design of a Cross-Platform Social-Media Application to Support Volunteer Moderators in Disasters (CR, TL, MAK, VP), pp. 4093–4102.
CHI-2015-SadauskasBA #design #framework #mining #social #social media: Mining Memories: Designing a Platform to Support Social Media Based Writing (JS, DB, RKA), pp. 3691–3700.
CHI-2015-TetterooVGMKVM #development #framework #lessons learnt #physics: Lessons Learnt from Deploying an End-User Development Platform for Physical Rehabilitation (DT, PV, IG, MM, EK, DV, PM), pp. 4133–4142.
CHI-2015-TinatiKSLSS #case study #data analysis #design #framework #multi: Designing for Citizen Data Analysis: A Cross-Sectional Case Study of a Multi-Domain Citizen Science Platform (RT, MVK, EPBS, MLR, RJS, NS), pp. 4069–4078.
CSCW-2015-GuyHC #crowdsourcing #enterprise #framework #game studies: Games for Crowds: A Crowdsourcing Game Platform for the Enterprise (IG, AH, YC), pp. 1860–1871.
CSCW-2015-WangWWSZZZ #collaboration: Crowds on Wall Street: Extracting Value from Collaborative Investing Platforms (GW, TW, BW, DS, ZZ, HZ, BYZ), pp. 17–30.
CSCW-2015-ZagalskyFSZW #collaboration #education #framework #git: The Emergence of GitHub as a Collaborative Platform for Education (AZ, JF, MADS, YZ, WW), pp. 1906–1917.
DHM-EH-2015-PerestreloTNS #framework #modelling #simulation: Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
DUXU-IXD-2015-Ovesleova #adaptation #concept #motivation #online #student #user interface: E-Learning Platforms and Lacking Motivation in Students: Concept of Adaptable UI for Online Courses (HO), pp. 218–227.
DUXU-IXD-2015-RaffaeleAJCPCS #analysis #game studies #legacy #multi #usability: Doctor Who: Legacy, an Analysis of Usability and Playability of a Multi-platform Game (RR, RA, IJ, BC, GP, BJAdC, MMS), pp. 283–291.
DUXU-IXD-2015-UgrasS #education #framework #online #usability: A Usability Study with Children on an Online Educational Platform (TU, OS), pp. 228–239.
DUXU-UI-2015-KangK #documentation #experience #framework #in the cloud #smarttech #user interface: Elements of Properties of User Experience in Cloud Computing Documentation Platform According to Smart Device Screen Size Changes: Focus on Google Docs and Naver Office (MKK, SWK), pp. 551–562.
DUXU-UI-2015-RodriguesEM #analysis #collaboration: Digital Collections: Analysis of Collaborative Platforms (CR, BE, MM), pp. 353–362.
HCI-IT-2015-GobenaAGE #design #user interface: Delegation Theory in the Design of Cross-Platform User Interfaces (DLG, GNPA, AJPG, DE), pp. 519–530.
HIMI-IKC-2015-HasegawaD #approach #framework #learning #ubiquitous: A Ubiquitous Lecture Archive Learning Platform with Note-Centered Approach (SH, JD), pp. 294–303.
HIMI-IKD-2015-FischerOFIW #framework #interface #multi #named #prototype #testing: URU: A Platform for Prototyping and Testing Compatibility of Multifunction Interfaces with User Knowledge Schemata (SF, BO, MF, MI, EW), pp. 151–160.
HIMI-IKD-2015-JungLB #multi #question: Voice Control System and Multiplatform Use: Specialist Vs. Generalist? (SJ, KML, FB), pp. 607–616.
LCT-2015-ArenasZDA #artificial reality #development #education #framework #game studies: A Platform for Supporting the Development of Mixed Reality Environments for Educational Games (LA, TZ, PD, IA), pp. 537–548.
LCT-2015-SarmentoRZAT #development #framework #smarttech: Supporting the Development of Computational Thinking: A Robotic Platform Controlled by Smartphone (HRS, CASR, VZ, LDAA, CAT), pp. 124–135.
SCSM-2015-MillsF #effectiveness #framework #how #why: A Computational Study of How and Why reddit.com was an Effective Platform in the Campaign Against SOPA (RM, AF), pp. 229–241.
SCSM-2015-NguyenJP #design #framework #mobile #perspective #self #social: Designing a Social Mobile Platform for Diabetes Self-management: A Theory-Driven Perspective (HDN, XJ, DCCP), pp. 67–77.
ICEIS-v1-2015-XiMY #database #manycore #named: PM-DB: Partition-based Multi-instance Database System for Multicore Platforms (FX, TM, HY), pp. 128–138.
KDD-2015-XingHDKWLZXKY #big data #distributed #framework #machine learning #named: Petuum: A New Platform for Distributed Machine Learning on Big Data (EPX, QH, WD, JKK, JW, SL, XZ, PX, AK, YY), pp. 1335–1344.
SEKE-2015-HeinrichGHRRSPJ #empirical #evolution #framework #information management #research: A Platform for Empirical Research on Information System Evolution (RH, SG, TMH, TR, RHR, KS, BP, JJ), pp. 415–420.
SEKE-2015-MagalhaesAM #approach #framework #independence #model transformation #on the #specification: On the Specification of Model Transformations through a Platform Independent Approach (APM, AMSA, RSPM), pp. 558–561.
SIGIR-2015-Bagdouri: Cross-Platform Question Routing for Better Question Answering (MB), p. 1053.
ICMT-2015-BergmannDHHRUV #framework #model transformation: Viatra 3: A Reactive Model Transformation Platform (GB, ID, ÁH, ÁH, IR, ZU, DV), pp. 101–110.
MoDELS-2015-IftikharIKM #approach #automation #framework #game studies #modelling #testing: An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
AdaEurope-2015-FernandezPGH #framework: AFDX Emulator for an ARINC-Based Training Platform (JF, HP, JJG, MGH), pp. 212–227.
ASE-2015-Boushehrinejadmoradi #development #framework #mobile #testing: Testing Cross-Platform Mobile App Development Frameworks (T) (NB, VG, SN, LI), pp. 441–451.
ASE-2015-FloresA #collaboration #comprehension #framework #named: DRIVER — A Platform for Collaborative Framework Understanding (NF, AA), pp. 783–788.
ASE-2015-YouRHKKS #implementation #modelling #testing: Executing Model-Based Tests on Platform-Specific Implementations (T) (DY, SR, MPEH, JK, BK, OS), pp. 418–428.
ESEC-FSE-2015-JensenSSC #debugging #independence #javascript #memory management #named: MemInsight: platform-independent memory debugging for JavaScript (SHJ, MS, KS, SC), pp. 345–356.
ESEC-FSE-2015-ParameshwaranBS15a #framework #named #robust #testing: DexterJS: robust testing platform for DOM-based XSS vulnerabilities (IP, EB, SS, HD, AS, PS), pp. 946–949.
ESEC-FSE-2015-RuscioKKMV #automation #framework #metric #named #open source: OSSMETER: a software measurement platform for automatically analysing open source software projects (DDR, DSK, IK, NDM, JJV), pp. 970–973.
ICSE-v2-2015-PathakIH #framework #named: AppCivist — A Service-Oriented Software Platform for Socially Sustainable Activism (AP, VI, JH), pp. 515–518.
ICSE-v2-2015-YusufTSAMDORBS #data transformation #framework #in the cloud #named #reliability: Chiminey: Reliable Computing and Data Management Platform in the Cloud (IIY, IET, MS, SGA, GRM, DWD, GO, SPR, AMB, HWS), pp. 677–680.
ICSE-v2-2015-ZhouLZLLQ #big data #empirical #framework #quality: An Empirical Study on Quality Issues of Production Big Data Platform (HZ, JGL, HZ, HL, HL, TQ), pp. 17–26.
SAC-2015-AmaralTMH #as a service #framework #internet #middleware: Cooperative middleware platform as a service for internet of things applications (LAA, RTT, EdM, FH), pp. 488–493.
SAC-2015-BergentiCG #framework #game studies #mobile #scalability #social: A scalable platform for mobile social gaming (FB, GC, DG), pp. 2239–2244.
SAC-2015-ColantonioPPS #detection #overview #visual notation: Visual detection of singularities in review platforms (AC, RDP, MP, AS), pp. 1294–1295.
SAC-2015-CostaRRTS #multi #named: MpOS: a multiplatform offloading system (PBC, PALR, LSR, FAMT, JNdS), pp. 577–584.
SAC-2015-DuanZHX #analysis #delivery #framework #network #performance: Performance analysis for a service delivery platform in software defined network (QD, MZ, JH, CCX), pp. 2257–2262.
SAC-2015-LoffRM #predict #social #social media: Predicting well-being with geo-referenced data collected from social media platforms (JL, MR, BM), pp. 1167–1173.
SAC-2015-MukherjeeKCDCM #as a service #design #framework #performance #scalability: Performance characterization and scalable design of sensing-as-a-service platform (TM, AK, DC, KD, AC, AM), pp. 592–595.
SAC-2015-SantosPFGMMC #framework #named: MyHealth: a cross-domain platform for healthcare (MYS, CGP, BF, LG, GM, AJCM, JAC), pp. 40–46.
SAC-2015-VianaTVAGA #architecture #as a service: A service-oriented architecture for billing resources in IaaS cloud platforms (NPV, FT, RV, RMCA, VCG, REA), pp. 1719–1721.
GPCE-2015-ByalikCT #automation #named #programming #synthesis: Native-2-native: automated cross-platform code synthesis from web-based programming resources (AB, SC, ET), pp. 99–108.
CASE-2015-FleischerAT #automation #composition #evaluation: A cross-platform modular software solution for automated data evaluation applied in elemental and structural mass spectrometry (HF, MA, KT), pp. 758–763.
DAC-2015-DuraisamyKCLPMM #energy #manycore #performance #pipes and filters: Energy efficient MapReduce with VFI-enabled multicore platforms (KD, RGK, WC, GL, PPP, RM, DM), p. 6.
DAC-2015-Engblom #integration #using: Virtual to the (near) end: using virtual platforms for continuous integration (JE), p. 6.
DAC-2015-GrafRGTP #architecture #component #design #robust: Robust design of E/E architecture component platforms (SG, SR, MG, JT, DP), p. 6.
DAC-2015-JungC #embedded #multi #named #performance #simulation: ΣVP: host-GPU multiplexing for efficient simulation of multiple embedded GPUs on virtual platforms (YJ, LPC), p. 6.
DAC-2015-KadjoAKG #approach #cpu #energy #gpu #mobile #performance: A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms (DK, RA, MK, PVG), p. 6.
DAC-2015-LukasiewyczSS #design #embedded #performance: Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DATE-2015-Bogdan #approach #challenge #cyber-physical #manycore #personalisation: A cyber-physical systems approach to personalized medicine: challenges and opportunities for noc-based multicore platforms (PB), pp. 253–258.
DATE-2015-GomezPBRBFG #design #energy: Reducing energy consumption in microcontroller-based platforms with low design margin co-processors (AG, CP, AB, DR, LB, HF, JPdG), pp. 269–272.
DATE-2015-HanFNQ #energy #fault tolerance #multi #scheduling: Energy minimization for fault tolerant scheduling of periodic fixed-priority applications on multiprocessor platforms (QH, MF, LN, GQ), pp. 830–835.
DATE-2015-KimFPSL #framework #implementation #modelling #verification: Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DATE-2015-NguyenASS #gpu #simulation: Accelerating complex brain-model simulations on GPU platforms (HADN, ZAA, GS, CS), pp. 974–979.
DATE-2015-PaoneRPZSS #constraints #framework #performance: Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints (EP, FR, GP, VZ, IS, CS), pp. 736–741.
DATE-2015-ParkTNII #performance: Platform-aware dynamic configuration support for efficient text processing on heterogeneous system (MSP, OT, VN, MJI, RI), pp. 1503–1508.
DATE-2015-SinglaKUO #mobile #power management #predict: Predictive dynamic thermal and power management for heterogeneous mobile platforms (GS, GK, AKU, ÜYO), pp. 960–965.
DATE-2015-WartelKGBSTQLMB #analysis #case study #hardware: Timing analysis of an avionics case study on complex hardware/software platforms (FW, LK, AG, AB, ZRS, BT, EQ, CL, EM, IB, JA, LCG, TV, FJC), pp. 397–402.
DATE-2015-YanF #design #energy #mobile #optimisation: Energy-efficient cache design in emerging mobile platforms: the implications and optimizations (KY, XF), pp. 375–380.
DATE-2015-YangRMDV #embedded #framework #generative #on the fly #random #testing: Embedded HW/SW platform for on-the-fly testing of true random number generators (BY, VR, NM, WD, IV), pp. 345–350.
HPDC-2015-LuuWGRCHPBY #behaviour #multi: A Multiplatform Study of I/O Behavior on Petascale Supercomputers (HL, MW, WG, RBR, PHC, KH, P, SB, YY), pp. 33–44.
LCTES-2015-ManilovFMA: Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions (SM, BF, AM, CA), p. 10.
PDP-2015-Eisserer #embedded #framework #image #parallel #performance #realtime: Portable Framework for Real-Time Parallel Image Processing on High Performance Embedded Platforms (CE), pp. 721–724.
PDP-2015-LingCYCWL #communication #framework #manycore #named #parallel: MACRON: The NoC-Based Many-Core Parallel Processing Platform and Its Applications in 4G Communication Systems (XL, YC, ZY, SC, XW, GL), pp. 396–403.
PDP-2015-LundKETLHF #data flow #execution #network #process: Execution of Dataflow Process Networks on OpenCL Platforms (WL, SK, JE, LT, JL, JH, UF), pp. 618–625.
PDP-2015-RybinaDSM #adaptation #energy: Mutual Influence of Application- and Platform-Level Adaptations on Energy-Efficient Computing (KR, WD, RS, SM), pp. 446–450.
PPoPP-2015-HaidarDLTD #hardware #linear #towards: Towards batched linear solvers on accelerated hardware platforms (AH, TD, PL, ST, JJD), pp. 261–262.
TACAS-2015-ArmandoBCCMMM #framework #mobile #named #security #static analysis #verification: SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform (AA, GB, GC, GC, GDM, RM, AM), pp. 225–230.
ICST-2015-HerboldFGHHKMMN #framework #testing: The MIDAS Cloud Platform for Testing SOA Applications (SH, ADF, JG, PH, LMH, FK, APM, LM, CDN, FDR, MAS, NT, MFW, PHW), pp. 1–8.
ECSA-2014-XiongFPM #architecture #as a service #cost analysis #performance #scalability: Scalable Architectures for Platform-as-a-Service Clouds: Performance and Cost Analysis (HX, FF, CP, NM), pp. 226–233.
WICSA-2014-BiancoMKR #bound #case study #ecosystem #framework: The Role of Platform Boundary Resources in Software Ecosystems: A Case Study (VdB, VM, MK, MR), pp. 11–20.
DocEng-2014-CabralLMFASR #framework #independence #summary: A platform for language independent summarization (LdSC, RDL, RFM, FF, BTÁ, SJS, MR), pp. 203–206.
HT-2014-Graells-GarridoL #microblog: Balancing diversity to counter-measure geographical centralization in microblogging platforms (EGG, ML), pp. 231–236.
JCDL-2014-WuWKWCHTCOMG #big data #challenge #framework #towards: Towards building a scholarly big data platform: Challenges, lessons and opportunities (ZW, JW, MK, KW, HHC, WH, ST, SRC, AO, PM, CLG), pp. 117–126.
SIGMOD-2014-CaiGLPVJ #algorithm #comparison #implementation #machine learning #scalability: A comparison of platforms for implementing and running very large scale machine learning algorithms (ZC, ZJG, SL, LLP, ZV, CMJ), pp. 1371–1382.
SIGMOD-2014-KaranasosBKOEXJ #optimisation #query #scalability: Dynamically optimizing queries over large scale data platforms (KK, AB, MK, FÖ, VE, CX, JJ), pp. 943–954.
SIGMOD-2014-Thirumuruganathan0HD #estimation #framework #microblog: Aggregate estimation over a microblog platform (ST, NZ, VH, GD), pp. 1519–1530.
VLDB-2014-ChenFZLXCCCTZ #crowdsourcing #framework #named: gMission: A General Spatial Crowdsourcing Platform (ZC, RF, ZZ, ZL, LX, LC, PC, CCC, YT, CJZ), pp. 1629–1632.
VLDB-2014-ZouJLGWX #framework #learning #named: Mariana: Tencent Deep Learning Platform and its Applications (YZ, XJ, YL, ZG, EW, BX), pp. 1772–1777.
EDM-2014-NetoBGCWC #challenge #framework #learning #multi #online #student: Challenges on adopting BKT to model student knowledge in multi-context online learning platform (WLDMN, EB, FG, LC, NLW, PC), pp. 339–340.
ITiCSE-2014-PolitzKF #framework #named #overview #programming: CaptainTeach: a platform for in-flow peer review of programming assignments (JGP, SK, KF), p. 332.
ITiCSE-2014-Urquiza-FuentesCHMH #framework #learning #social #student #video: A social platform supporting learning through video creation by students (JUF, JC, IH, EM, PAH), p. 330.
SIGITE-2014-Halper #android #education #framework #programming #using: Using android as a platform for programming in the IT curriculum (MH), pp. 127–132.
FM-2014-BaiHWLLM #formal method #model checking #named #towards: TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.
ILC-2014-Castro-Castilla #development #mobile #multi: Multiplatform and Mobile App Development in Scheme with Gambit/SchemeSpheres (ÁCC), p. 4.
FDG-2014-HarrellKLLSMO #authoring #framework #game studies: Authoring conversational narratives in games with the Chimeria platform (DFH, DK, CUL, JL, AS, JM, DO).
CHI-2014-AhmedJAFRRAM #framework #named: Protibadi: a platform for fighting sexual harassment in urban bangladesh (SIA, SJJ, NA, HSF, MRR, ASMR, SA, RSM), pp. 2695–2704.
CHI-2014-ChengLLSB #framework #people: Haptic turk: a motion platform based on people (LPC, PL, PL, CS, PB), pp. 3463–3472.
CHI-2014-HongMD #behaviour #framework: A smartphone-based sensing platform to model aggressive driving behaviors (JHH, BM, AKD), pp. 4047–4056.
CHI-2014-SampathRI #crowdsourcing #design #performance: Cognitively inspired task design to improve user performance on crowdsourcing platforms (HAS, RR, BI), pp. 3665–3674.
CSCW-2014-HansenKJBV: Civic action brokering platforms: facilitating local engagement with ACTion Alexandria (DLH, JAK, PTJ, JCB, TV), pp. 1308–1322.
DHM-2014-LiuTZSLSF #assessment #behaviour #framework #modelling #named #performance: COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform (YL, ZT, YZ, QS, JL, JS, FF), pp. 630–636.
DUXU-DI-2014-ViverosRC #equivalence #mobile #navigation: Equivalence of Navigation Widgets for Mobile Platforms (AMV, EHR, DEVC), pp. 269–278.
DUXU-DP-2014-Darvishy #mobile: Accessibility of Mobile Platforms (AD), pp. 133–140.
DUXU-DP-2014-ZhangZLH #experience #research #scalability #usability #user interface: Cross-Platform Product Usability and Large Screen User Experience: A Teleconference System U&E Research (YZ, CZ, GL, TH), pp. 469–479.
DUXU-ELAS-2014-PetkovB #design: Hardwired Critical Action Panels for Emergency Preparedness: — Design Principles and CAP Design for Offshore Petroleum Platforms (BP, AOB), pp. 326–337.
HCI-AS-2014-JiaNBBT #corpus #framework #named #online #research: CORPUS: Next-Generation Online Platform for Research Collaborations in Humanities (YJ, XN, RB, DB, ADT), pp. 3–12.
HCI-TMT-2014-MauesB: Reflections on the Cross-Platform Semiotic Inspection Method (RdAM, SDJB), pp. 533–544.
HCI-TMT-2014-NguyenTD #development #multi #user interface: Picture-Driven User Interface Development for Applications on Multi-platforms (VTN, MTT, ADD), pp. 350–360.
HIMI-DE-2014-LiGF #agile #collaboration #framework #research: Collaborative Innovation Research on Co-working Platform Based on Lean Startup Model (YL, QG, ZF), pp. 491–502.
HIMI-DE-2014-ValdezSZH #clustering #network #research #scalability #social #visualisation: Enhancing Interdisciplinary Cooperation by Social Platforms — Assessing the Usefulness of Bibliometric Social Network Visualization in Large-Scale Research Clusters (ACV, AKS, MZ, AH), pp. 298–309.
LCT-NLE-2014-ImranK #framework #interactive #multi #named: HIP — A Technology-Rich and Interactive Multimedia Pedagogical Platform (ASI, SJK), pp. 151–160.
SCSM-2014-FardounA #approach #community #feedback #framework: Feedback Platform for Community Colleges: An Approach to Knowledge Excellence (HMF, AAMAG), pp. 306–313.
ICEIS-v1-2014-OliveiraB #independence #process #specification #towards: ETL Patterns on YAWL — Towards to the Specification of Platform-independent Data Warehousing Populating Processes (BCdSO, OB), pp. 299–307.
ICEIS-v2-2014-PanfilenkoEML #impact analysis #independence #model transformation #recommendation #requirements: Recommendations for Impact Analysis of Model Transformations — From the Requirements Model to the Platform-independent Model (DVP, AE, CM, PL), pp. 428–434.
ICEIS-v2-2014-ZhengLLZX #e-commerce #framework #game studies: e-Commerce Game Model — Balancing Platform Service Charges with Vendor Profitability (JZ, DLL, WL, ZKZ, HX), pp. 613–619.
CIKM-2014-ZhangXTW0 #clustering #framework #generative #named #wiki: WiiCluster: a Platform for Wikipedia Infobox Generation (KZ, YX, HT, HW, WW), pp. 2033–2035.
ICPR-2014-HobsonLPVW #anti #benchmark #framework #image #metric: Classifying Anti-nuclear Antibodies HEp-2 Images: A Benchmarking Platform (PH, BCL, GP, MV, AW), pp. 3233–3238.
ICPR-2014-MoriKO #analysis #collaboration #framework #online #search-based: Search-Based Content Analysis System on Online Collaborative Platform for Film Production (MM, HK, MO), pp. 1091–1096.
KEOD-2014-TawfikGB #framework #interactive #multi: An Interactive Platform for Multilingual Linguistic Resource Enrichment (AT, FG, FB), pp. 195–206.
KMIS-2014-PascalT #clustering #experience #framework #information management #memory management: Transactive Memory System in Clusters — The Knowledge Management Platform Experience (AP, CT), pp. 5–14.
RecSys-2014-KellerR #e-commerce #framework #named #recommendation: Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems (TK, MR), pp. 367–368.
ECMFA-2014-Goldschmidt #domain-specific language #framework #multi #towards: Towards an Infrastructure for Domain-Specific Languages in a Multi-domain Cloud Platform (TG), pp. 242–253.
AdaEurope-2014-SaezRC #ada #multi #realtime #reliability #scheduling: Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012 (SS, JR, AC), pp. 74–90.
FSE-2014-KashyapDKWGSWH #framework #javascript #named #static analysis: JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.
SAC-2014-CimanGG #animation #case study #development #mobile: Cross-platform mobile development: a study on apps with animations (MC, OG, NG), pp. 757–759.
SAC-2014-GomesACHS #agile #development #framework #game studies #using: Rapid development of first person serious games using the APEX platform: the asthma game (TG, TA, JCC, MDH, JLS), pp. 169–174.
SAC-2014-HamerW #scalability: Large scale processing of landsat data on various software platforms (GH, JW), pp. 1547–1549.
SAC-2014-KatebFNMAT #framework #modelling #multi #optimisation #runtime: Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.
SAC-2014-KinaiBWMWS #framework: Traffic 411: a traffic congestion routing and awareness platform for Nairobi (AK, REB, AWB, EM, KW, OS), pp. 1475–1476.
SAC-2014-ParkKC #framework #kernel #memory management #online #using: Cooperative kernel: online memory test platform using inter-kernel context switch and memory isolation (HP, DK, JC), pp. 1517–1522.
SAC-2014-Sechting #framework #independence: A platform independent scheduler framework (CRS), pp. 1552–1553.
SAC-2014-XavierOPR #clustering #database #in the cloud #towards: Towards better manageability of database clusters on cloud computing platforms (MGX, ICDO, RDDP, CAFDR), pp. 366–367.
DAC-2014-KoKYKH #cpu #gpu #simulation: Hardware-in-the-loop Simulation for CPU/GPU Heterogeneous Platforms (YK, TK, YY, MK, SH), p. 6.
DAC-2014-KongKPSW #embedded #framework #named #novel: PUFatt: Embedded Platform Attestation Based on Novel Processor-Based PUFs (JK, FK, PKP, ARS, CW), p. 6.
DAC-2014-XueQBYT #analysis #framework #manycore #scalability: Disease Diagnosis-on-a-Chip: Large Scale Networks-on-Chip based Multicore Platform for Protein Folding Analysis (YX, ZQ, PB, FY, CYT), p. 6.
HPDC-2014-BeaumontM #analysis #matrix #multi #scheduling: Analysis of dynamic scheduling strategies for matrix multiplication on heterogeneous platforms (OB, LM), pp. 141–152.
LCTES-2014-BebelisFG #data flow #framework #manycore #parametricity: A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
PDP-2014-BazNJR #deployment #distributed: HPC Applications Deployment on Distributed Heterogeneous Computing Platforms via OMF, OML and P2PDC (DEB, TTN, GJ, TR), pp. 617–623.
PDP-2014-BrilluPLMLBF #case study #design #towards: Towards a Design Space Exploration Tool for MPSoC Platforms Designs: A Case Study (RB, SP, FL, PM, EL, MB, FF), pp. 466–473.
PDP-2014-ONeillMMK #named #scheduling #using: SHEPARD: Scheduling on Heterogeneous Platforms Using Application Resource Demands (EO, JM, PM, PK), pp. 213–217.
ICST-2014-MiicBT #analysis #automation #multi #test coverage #testing: Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application (MM, IB, MT), pp. 95–98.
ISSTA-2014-ChoudharyPO #web: Cross-platform feature matching for web applications (SRC, MRP, AO), pp. 82–92.
ISSTA-2014-HendersonPYHWZY #analysis #framework #performance: Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform (AH, AP, LKY, XH, XW, RZ, HY), pp. 248–258.
CBSE-2013-GortonLLED #case study #component #delivery #experience #using: Build less code deliver more science: an experience report on composing scientific environments using component-based and commodity software platforms (IG, YL, CL, TE, KKvD), pp. 159–168.
ECSA-2013-EklundOL #architecture #perspective: Characterising Software Platforms from an Architectural Perspective (UE, CMO, ML), pp. 344–347.
SIGMOD-2013-GuilleFHZ #analysis #framework #mining #named #open source #social: SONDY: an open source platform for social dynamics mining and analysis (AG, CF, HH, DAZ), pp. 1005–1008.
SIGMOD-2013-QiaoSDQSGCSZABBGGIJLPRSSSSTTWZ #distributed #framework #on the: On brewing fresh espresso: LinkedIn’s distributed data serving platform (LQ, KS, SD, TQ, BS, BG, AC, OS, ZZ, AA, CB, GB, MG, KG, WI, SJ, SL, AP, AR, AS, RS, SS, YS, ST, CT, JW, DZ), pp. 1135–1146.
SIGMOD-2013-SimitsisW0 #data flow #framework #named: xPAD: a platform for analytic data flows (AS, KW, PJ), pp. 1109–1112.
VLDB-2013-BediniEV #big data #case study #framework #scalability: The Trento Big Data Platform for Public Administration and Large Companies: Use cases and Opportunities (IB, BE, YV), pp. 1166–1167.
VLDB-2013-BellareCMMRS #framework #knowledge base #multitenancy #named #scalability #synthesis: WOO: A Scalable and Multi-tenant Platform for Continuous Knowledge Base Synthesis (KB, CC, AM, PM, MR, AS), pp. 1114–1125.
VLDB-2013-ElmeleegyL0WWKDC #data transformation #framework #overview: Overview of Turn Data Management Platform for Digital Advertising (HE, YL, YQ, PW, MW, SK, AD, SC), pp. 1138–1149.
VLDB-2013-LiWC #automation #framework #monitoring #social #topic #towards #twitter: Towards Social Data Platform: Automatic Topic-focused Monitor for Twitter Stream (RL, SW, KCCC), pp. 1966–1977.
VLDB-2013-RamazzinaBS #framework: A New Service for Customer Care Based on the TrentoRise BigData Platform (SR, CLB, DS), pp. 1162–1163.
VLDB-2013-SatheO0A #framework #named #query: EnviroMeter: A Platform for Querying Community-Sensed Data (SS, AO, DC, KA), pp. 1294–1297.
VLDB-2013-SikkaFGL #enterprise #evolution #framework #in memory: SAP HANA: The Evolution from a Modern Main-Memory Data Platform to an Enterprise Application Platform (VS, FF, AKG, WL), pp. 1184–1185.
ITiCSE-2013-MellodgeR #arduino #case study #experience #framework #learning #student #using: Using the arduino platform to enhance student learning experiences (PM, IR), p. 338.
SIGITE-2013-HillC #development #education #framework #hardware #low cost #open source #programming #student #using: Using a low-cost open source hardware development platform in teaching young students programming skills (LWH, SC), pp. 63–68.
ICSM-2013-MinelliL #framework #mobile #named #visual notation: SAMOA — A Visual Software Analytics Platform for Mobile Applications (RM, ML), pp. 476–479.
ICSM-2013-RosePFP #framework #probability #scalability #search-based #testing #towards: Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing (LMR, SMP, RF, RFP), pp. 480–483.
ICSM-2013-SiebraMSS #framework: The Adventure of Developing a Software Application on a Pre-release Platform: Features and Learned Lessons (CdS, AM, FQBdS, ALMS), pp. 556–559.
WCRE-2013-MontandonBFV #api #framework #lessons learnt: Documenting APIs with examples: Lessons learned with the APIMiner platform (JEM, HB, DF, MTV), pp. 401–408.
AIIDE-2013-SchenkLCGDMDZSCS #framework #independence #using: ScriptEase II: Platform Independent Story Creation Using High-Level Patterns (KS, AL, MC, EG0, JD, RM, ND, RZ, DS, MC, JS).
DiGRA-2013-Friedhoff13a #framework: Untangling Twine: A Platform Study (JF).
FDG-2013-KsuzSHPS #framework #game studies #named: Valory: Simultaneous control of avatar and environment in a platform game (RK, MS, GH, TP, FS), pp. 429–430.
CSCW-2013-HailpernDHSLK #communication #framework #named #research: ACES: a cross-discipline platform and method for communication and language research (JMH, MD, AH, SS, RL, KK), pp. 515–526.
DUXU-NTE-2013-ArningZM #design #exclamation #framework #guidelines #interface #requirements: Join the Ride! User Requirements and Interface Design Guidelines for a Commuter Carpooling Platform (KA, MZ, HM), pp. 10–19.
DUXU-WM-2013-LiuVMM #big data #design #experience #framework #interactive #mining #visualisation: Designing Discovery Experience for Big Data Interaction: A Case of Web-Based Knowledge Mining and Interactive Visualization Platform (QL, MV, KPCM, AFM), pp. 543–552.
DUXU-WM-2013-Tussyadiah #approach #case study #experience #mobile: Meta-design Approach for Mobile Platforms Supporting Creative Tourism Experiences (IPT), pp. 733–739.
HCI-AMTE-2013-HermannCW #human-computer #industrial #interactive #manycore #parallel: Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi-/Many-Core Platforms (SH, AC, L(W), pp. 350–360.
HCI-AMTE-2013-HumayounEE #case study #framework #mobile #using: Developing Mobile Apps Using Cross-Platform Frameworks: A Case Study (SRH, SE, AE), pp. 371–380.
HCI-AS-2013-FrajhofACLLM #collaboration #framework #learning #network #social #student #usability: Usability of a Social Network as a Collaborative Learning Platform Tool for Medical Students (LF, ACCA, ATdSC, CJPdL, CAPdL, CRM), pp. 370–375.
HIMI-HSM-2013-FernandoRVLF #collaboration #framework #named #ubiquitous: Mo-Buzz: Socially-Mediated Collaborative Platform for Ubiquitous Location Based Service (ONNF, VSR, SV, MOL, SF), pp. 373–382.
HIMI-LCCB-2013-HadhrawiNAS #collaboration #framework #interface #named: CoPI: A Web-Based Collaborative Planning Interface Platform (MKH, MN, AA, AS), pp. 287–296.
OCSC-2013-LambropoulosTKM #community #framework #network #semantics: Composites Ideas in COMPOOL Immersion: A Semantics Engineering Innovation Network Community Platform (NL, PT, IK, IM), pp. 385–394.
EDOC-2013-Herzberg0W #framework #process: An Event Processing Platform for Business Process Management (NH, AM, MW), pp. 107–116.
ICEIS-v2-2013-VitolsSB #development #mobile: Cross-platform Solution for Development of Mobile Applications (GV, IS, OB), pp. 273–277.
KDD-2013-BouadjenekHB #framework #named #open source #personalisation #social #web: LAICOS: an open source platform for personalized social web search (MRB, HH, MB), pp. 1446–1449.
KEOD-2013-JoironFKJBML #collaboration #design #framework #interactive #multi #ontology: An Ontology for Designing a Collaborative Platform Involving a Multi-touch and Multi-user Interactive Table (CJ, FF, GK, AJ, JPAB, CM, DL), pp. 156–163.
SIGIR-2013-Ruiz-RicoTGR #multi: A multilingual and multiplatform application for medicinal plants prescription from medical symptoms (FRR, DT, JLVG, MCRS), pp. 1121–1122.
MoDELS-2013-ArkinTI #algorithm #approach #modelling #parallel: Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms (EA, BT, KMI), pp. 757–773.
PLEASE-2013-KleinM #framework: System-of-systems platform scoping (JK, JDM), pp. 1–4.
RE-2013-BaresiRP #named #requirements: IRET: Requirements for service platforms (LB, GR, LP), pp. 336–337.
ASE-2013-KwonZX #execution #framework #independence #named: PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.
ICSE-2013-Rimba #assurance #security #using: Building high assurance secure applications using security patterns for capability-based platforms (PR), pp. 1401–1404.
SAC-2013-AgrawalP: Hospitality of cloud platforms (AA, TVP), pp. 389–396.
SAC-2013-AktasG #assessment #authentication #control flow #runtime: Run-time control flow authentication: an assessment on contemporary x86 platforms (EA, KG), pp. 1859–1866.
SAC-2013-HeitkotterMK #development #mobile #modelling: Cross-platform model-driven development of mobile applications with md² (HH, TAM, HK), pp. 526–533.
SAC-2013-LoTNCLC #development #framework #multimodal: i*Chameleon: a platform for developing multimodal application with comprehensive development cycle (KWKL, WWWT, GN, ATSC, HVL, SCFC), pp. 1103–1108.
SAC-2013-MartinsLSN #fault tolerance #framework #middleware #realtime: Stheno, a real-time fault-tolerant P₂P middleware platform for light-train systems (RM, LMBL, FMAS, PN), pp. 431–438.
SAC-2013-RezguiMY: High-resolution spatial interpolation on cloud platforms (AR, ZM, CY), pp. 377–382.
GPCE-2013-MarekKZBBTASS #framework #java #named #program analysis #robust: ShadowVM: robust and comprehensive dynamic program analysis for the java platform (LM, SK, YZ, LB, WB, PT, DA, AS, AS), pp. 105–114.
SLE-2013-PearceG #framework #named #research #verification: Whiley: A Platform for Research in Software Verification (DJP, LG), pp. 238–248.
ASPLOS-2013-MittalBBS #architecture #embedded #performance: Efficient virtualization on embedded power architecture® platforms (AM, DB, SB, VS), pp. 445–458.
CGO-2013-RuanLWS #framework #on the: On the platform specificity of STM instrumentation mechanisms (WR, YL, CW, MFS), p. 10.
DAC-2013-AgrawalRHSPC #architecture #clustering #framework #multi: Early exploration for platform architecture instantiation with multi-mode application partitioning (PA, PR, MH, NS, LVdP, FC), p. 8.
DAC-2013-AnagnostopoulosTBS #distributed #manycore #resource management #runtime: Distributed run-time resource management for malleable applications on many-core platforms (IA, VT, AB, DS), p. 6.
DAC-2013-JungPPC #distributed #embedded #framework #named #scalability: netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems (YJ, JP, MP, LPC), p. 10.
DAC-2013-RellermeyerLK #embedded #operating system: Cloud platforms and embedded computing: the operating systems of the future (JSR, SWL, MK), p. 6.
DATE-2013-CarvajalF #framework #realtime: An open platform for mixed-criticality real-time ethernet (GC, SF), pp. 153–156.
DATE-2013-DoganBCABA #analysis #embedded #execution #multi #power management: Synchronizing code execution on ultra-low-power embedded multi-channel signal analysis platforms (AYD, RB, JC, GA, AB, DA), pp. 396–399.
DATE-2013-ElbayoumiHE #concurrent #diagrams #manycore #novel: A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms (ME, MSH, MYE), pp. 1427–1430.
DATE-2013-GangadharanCZ #scheduling: Quality-aware media scheduling on MPSoC platforms (DG, SC, RZ), pp. 976–981.
DATE-2013-Mueller-GritschnederLWGS #case study #framework #prototype #realtime: A virtual prototyping platform for real-time systems with a case study for a two-wheeled robot (DMG, KL, EW, MG, US), pp. 1331–1334.
DATE-2013-MushtaqAB #approach #fault tolerance #manycore #performance: Efficient software-based fault tolerance approach on multicore platforms (HM, ZAA, KB), pp. 921–926.
DATE-2013-NavasSO #array #configuration management #flexibility #framework #reuse: The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks (BN, IS, JÖ), pp. 833–838.
DATE-2013-PaoneVZSMHL #embedded #manycore #modelling #simulation: Improving simulation speed and accuracy for many-core embedded platforms with ensemble models (EP, NV, VZ, CS, DM, GH, TL), pp. 671–676.
DATE-2013-RutzigBC #configuration management #energy #framework #multi: A transparent and energy aware reconfigurable multiprocessor platform for simultaneous ILP and TLP exploitation (MBR, ACSB, LC), pp. 1559–1564.
DATE-2013-StanisicVCDMLM #analysis #embedded #performance #power management: Performance analysis of HPC applications on low-power embedded platforms (LS, BV, JC, AD, VMM, AL, JFM), pp. 475–480.
HPDC-2013-GillLHNGL #composition #declarative #framework #manycore #named #scalability: Scalanytics: a declarative multi-core platform for scalable composable traffic analytics (HG, DL, XH, CN, TG, BTL), pp. 61–72.
PLOS-2013-FernandezKKA #component #framework #towards: Towards a verified component platform (MF, IK, GK, JA), p. 7.
ICST-2013-ErikssonLO #empirical #framework #independence #testing: Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.
ICST-2013-ShuSHP #analysis #dependence #framework #named: JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.
QoSA-2012-EklundB #architecture #ecosystem #framework #multi #using: Using architecture for multiple levels of access to an ecosystem platform (UE, JB), pp. 143–148.
WICSA-ECSA-2012-HerzigAS #enterprise #framework #gamification: A Generic Platform for Enterprise Gamification (PH, MA, AS), pp. 219–223.
WICSA-ECSA-2012-LytraSZ #architecture #framework #integration #multi: Architectural Decision Making for Service-Based Platform Integration: A Qualitative Multi-Method Study (IL, SS, UZ), pp. 111–120.
DocEng-2012-WidlocherM #corpus #framework #mining: The Glozz platform: a corpus annotation and mining tool (AW, YM), pp. 171–180.
SIGMOD-2012-KonstantinouATBKS #framework #named: TIRAMOLA: elastic nosql provisioning through a cloud management platform (IK, EA, DT, CB, NK, SS), pp. 725–728.
SIGMOD-2012-PeltS #crowdsourcing #design #framework #scalability: Designing a scalable crowdsourcing platform (CVP, AS), pp. 765–766.
VLDB-2012-GawadeK #analysis #execution #framework #interactive #named #query #visual notation: Stethoscope: A platform for interactive visual analysis of query execution plans (MG, MLK), pp. 1926–1929.
VLDB-2012-LiuRLMB #constraints #declarative #distributed #framework #named #optimisation: Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
VLDB-2012-MorishimaSMAF #crowdsourcing #declarative #framework #named: CyLog/Crowd4U: A Declarative Platform for Complex Data-centric Crowdsourcing (AM, NS, TM, HA, SF), pp. 1918–1921.
ITiCSE-2012-SanchezCGTCL #interactive #multi #named #open source: OpenIRS-UCM: an open-source multi-platform for interactive response systems (CGS, FC, JIG, CT, DC, JALO), pp. 232–237.
ITiCSE-2012-XuHT #framework #named #network: V-lab: a cloud-based virtual laboratory platform for hands-on networking courses (LX, DH, WTT), pp. 256–261.
CSMR-2012-BeszedesSG #clustering #development #framework #quality: Development of a Unified Software Quality Platform in the Szeged InfoPólus Cluster (ÁB, LS, TG), pp. 495–498.
ICSM-2012-KhomhYZ #adaptation #android #empirical #linux #mobile: Adapting Linux for mobile platforms: An empirical study of Android (FK, HY, YZ), pp. 629–632.
MSR-2012-KeivanlooFHENPR #framework #linked data #mining #open data #repository: A Linked Data platform for mining software repositories (IK, CF, AH, ME, CN, GP, JR), pp. 32–35.
MSR-2012-ShihabKB #android #challenge #framework #mining: Mining challenge 2012: The Android platform (ES, YK, PB), pp. 112–115.
AIIDE-2012-CookCP #automation #design: Aesthetic Considerations for Automated Platformer Design (MC0, SC, AP).
FDG-2012-ShaffnerS #framework #game studies #social: Building social games: from platform to product (RS, ZS), p. 4.
VS-Games-2012-VardaxoglouB #framework #game studies: Developing a Platform for Serious Gaming: Open Innovation through Closed Innovation (GV, EB), pp. 111–121.
CSCW-2012-HsuJSC #framework #named #realtime #video: SynTag: a web-based platform for labeling real-time video (YCH, TJ, YTS, PCC), pp. 715–718.
CSCW-2012-WangDLXG #case study #empirical #experience #framework #game studies #online: Infrastructural experiences: an empirical study of an online arcade game platform in China (QW, XD, TL, HX, NG), pp. 583–592.
CAiSE-2012-AtzeniBR #database #framework: Uniform Access to Non-relational Database Systems: The SOS Platform (PA, FB, LR), pp. 160–174.
CAiSE-2012-Kurowski #challenge: Challenges for Future Platforms, Services and Networked Applications (KK), pp. 19–30.
EDOC-2012-ParaisoHRMS #framework #middleware: A Middleware Platform to Federate Complex Event Processing (FP, GH, RR, PM, LS), pp. 113–122.
ICPR-2012-SilvaL #automation #education #framework #recognition: Automatic content recognition of teaching boards in the Tableau platform (GdFPeS, RDL), pp. 645–648.
KMIS-2012-KeumKB #collaboration #communication #design #framework: Architeture Design of a Network-centric Platform for Unified Communication and Collaboration Applications (CK, SK, HB), pp. 294–297.
KMIS-2012-MarsanCE #analysis #behaviour #enterprise #framework #information management #scalability #tool support #using: Factors Influencing the Behavioral Intention of using Enterprise 2.0 Tools as a Knowledge Management Platform — An Analysis of the UTAUT Model in an Large Real Estate Company (BM, LC, EE), pp. 281–284.
SIGIR-2012-MinLLSJ #image #multi #using: Multi-platform image search using tag enrichment (JM, CL, JL, DS, GJFJ), p. 1018.
SPLC-2012-SavolainenMK #multi #product line: Developing platforms for multiple software product lines (JS, MM, JK), pp. 220–228.
OOPSLA-2012-BarowyCBM #framework #named: AutoMan: a platform for integrating human-based and digital computation (DWB, CC, EDB, AM), pp. 639–654.
OOPSLA-2012-DattaSS #collaboration #developer #framework: Talk versus work: characteristics of developer collaboration on the jazz platform (SD, RS, BS), pp. 655–668.
ASE-2012-BiallasBK #framework #logic #programmable #verification: Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.
SAC-2012-AmericoRD #framework #java #realtime: Managing the dynamism of the OSGi Service Platform in real-time Java applications (JCA, WR, DD), pp. 1115–1122.
SAC-2012-BhattiBA #approach #manycore #realtime #scheduling: A semi-partitioned real-time scheduling approach for periodic task systems on multicore platforms (MKB, CB, MA), pp. 1594–1601.
SAC-2012-LiLXZR #named: TL-Tree: flash-optimized storage for time-series sensing data on sensor platforms (HL, DL, LX, GZ, KR), pp. 1565–1572.
GPCE-2012-BagheriS #architecture #framework #named #synthesis: Pol: specification-driven synthesis of architectural code frameworks for platform-based applications (HB, KJS), pp. 93–102.
SLE-2012-AnjorinSRS #bidirectional #framework: A Framework for Bidirectional Model-to-Platform Transformations (AA, KS, SR, AS), pp. 124–143.
CASE-2012-KimKHHL #framework #using: A robot platform for unmanned weeding in a paddy field using sensor fusion (GHK, SCK, YKH, KSH, SGL), pp. 904–907.
DAC-2012-ChatterjeeKMZB #architecture: Checking architectural outputs instruction-by-instruction on acceleration platforms (DC, AK, RM, AZ, VB), pp. 955–961.
DAC-2012-MelpignanoBFJLHCD #embedded #evaluation #framework #manycore #performance #visual notation: Platform 2012, a many-core computing accelerator for embedded SoCs: performance evaluation of visual analytics applications (DM, LB, EF, BJ, TL, GH, FC, DD), pp. 1137–1142.
DATE-2012-Al-HashimiM #framework #hardware #question #verification: Accelerators and emulators: Can they become the platform of choice for hardware verification? (BMAH, RM), p. 430.
DATE-2012-AnagnostopoulosBKS #distributed #divide and conquer #manycore #runtime: A divide and conquer based distributed run-time mapping methodology for many-core platforms (IA, AB, GK, DS), pp. 111–116.
DATE-2012-CupaiuoloI #flexibility #framework #implementation #performance: A flexible and fast software implementation of the FFT on the BPE platform (TC, DLI), pp. 1467–1470.
DATE-2012-FanQ #framework #manycore #realtime #scheduling: Harmonic semi-partitioned scheduling for fixed-priority real-time tasks on multi-core platform (MF, GQ), pp. 503–508.
DATE-2012-LeupersMPHSKV: Virtual platforms: Breaking new grounds (RL, GM, RP, AH, FS, TK, MV), pp. 685–690.
DATE-2012-LiuFQ #framework #manycore: Neighbor-aware dynamic thermal management for multi-core platform (GL, MF, GQ), pp. 187–192.
DATE-2012-VyagrheswaruduDR #framework #interactive #named #optimisation: PowerAdviser: An RTL power platform for interactive sequential optimizations (NV, SD, AR), pp. 550–553.
HPDC-2012-Budiu #artificial reality #big data #framework: Putting a “big-data” platform to good use: training kinect (MB), pp. 1–2.
HPDC-2012-GamellRPM #framework #power management: Exploring cross-layer power management for PGAS applications on the SCC platform (MG, IR, MP, RM), pp. 235–246.
HPDC-2012-GuptaKMFKMGSL #in the cloud #performance: Exploring the performance and mapping of HPC applications to platforms in the cloud (AG, LVK, DSM, PF, RK, VM, FG, CHS, BSL), pp. 121–122.
LCTES-2012-SbirleaZBCS #data flow #programming: Mapping a data-flow programming model onto heterogeneous platforms (ASS, YZ, ZB, JC, VS), pp. 61–70.
PDP-2012-CuencaGG #algebra #linear #parallel: Improving Linear Algebra Computation on NUMA Platforms through Auto-tuned Nested Parallelism (JC, LPG, DG), pp. 66–73.
PDP-2012-HadjidoukasLD #independence #library #parallel #runtime: A Runtime Library for Platform-Independent Task Parallelism (PEH, EL, VVD), pp. 229–236.
PPoPP-2012-LeisersonSS #generative #parallel #thread: Deterministic parallel random-number generation for dynamic-multithreading platforms (CEL, TBS, JS), pp. 193–204.
TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #security #trust #validation: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.
TACAS-2012-JegourelLS #framework #model checking #performance #statistics: A Platform for High Performance Statistical Model Checking — PLASMA (CJ, AL, SS), pp. 498–503.
CBSE-2011-ParraPKGS #component #development #framework #multi #named: MICOBS: multi-platform multi-model component based software development framework (PP, ORP, MK, IG, SS), pp. 1–10.
WICSA-2011-SodhiP #development: Assessing Suitability of Cloud Oriented Platforms for Application Development (BS, TVP), pp. 328–335.
ICDAR-2011-LazzaraLGJMC #analysis #documentation #framework #image: The SCRIBO Module of the Olena Platform: A Free Software Framework for Document Image Analysis (GL, RL, TG, YJ, JM, ACL), pp. 252–258.
SIGMOD-2011-CastellanosDHGDLZS #analysis #framework #named #social: LCI: a social channel analysis platform for live customer intelligence (MC, UD, MH, RG, MD, YL, LZ, MS), pp. 1049–1058.
SIGMOD-2011-ElmoreDAA #database #migration #named: Zephyr: live migration in shared nothing databases for elastic cloud platforms (AJE, SD, DA, AEA), pp. 301–312.
SIGMOD-2011-LiMDMS #framework #pipes and filters #scalability #using: A platform for scalable one-pass analytics using MapReduce (BL, EM, YD, AM, PJS), pp. 985–996.
SIGMOD-2011-ZhouFSTHILS #declarative #distributed #framework #maintenance #named #query: NetTrails: a declarative platform for maintaining and querying provenance in distributed systems (WZ, QF, SS, TT, AH, ZGI, BTL, MS), pp. 1323–1326.
TPDL-2011-AgelliCRGMS #framework #multi #web: NotreDAM, a Multi-user, Web Based Digital Asset Management Platform (MA, MLC, MDR, DG, OM, FS), pp. 453–456.
TPDL-2011-BudikovaBZ #evaluation #framework #image #retrieval: Evaluation Platform for Content-Based Image Retrieval Systems (PB, MB, PZ), pp. 130–142.
VLDB-2011-DoanFKK #crowdsourcing #data transformation #perspective: Crowdsourcing Applications and Platforms: A Data Management Perspective (AD, MJF, DK, TK), pp. 1508–1509.
ITiCSE-2011-AnjorinGR #collaboration #framework #learning #named #web: CROKODIL: a platform supporting the collaborative management of web resources for learning purposes (MA, RDG, CR), p. 361.
ITiCSE-2011-JourjonKY #framework: Impact of an e-learning platform on CSE lectures (GJ, SSK, JY), pp. 83–87.
SCAM-2011-SyerAZH #android #case study #development: Exploring the Development of Micro-apps: A Case Study on the BlackBerry and Android Platforms (MDS, BA, YZ, AEH), pp. 55–64.
CIG-2011-MunozYMHGS #framework #game studies #towards: Towards gaze-controlled platform games (JM, GNY, FM, DWH, GG, AS), pp. 47–54.
CIG-2011-NygrenDSA #automation #framework #game studies #generative: User-preference-based automated level generation for platform games (NN, JD, BS, JA), pp. 55–62.
DHM-2011-HodgesUBHSK #framework: Second Life as a Platform for Creating Intelligent Virtual Agents (LFH, ACU, TB, ALH, JMS, BK), pp. 292–301.
HCI-DDA-2011-WuSYSQ #interactive #multi #named: uPlatform: A Customizable Multi-user Windowing System for Interactive Tabletop (CW, YS, CY, YS, YQ), pp. 507–516.
HCI-MIIE-2011-Abril-JimenezVWAG #framework #user interface: User Interface Framework for Ambient Intelligence Platforms (PAJ, CVM, MTAW, HA, JRBG), pp. 129–136.
HCI-MIIE-2011-AhmadTSSK #framework #interactive: Guess Who? An Interactive and Entertaining Game-Like Platform for Investigating Human Emotions (MIA, HT, MS, SS, EK), pp. 543–551.
HCI-UA-2011-LuhC #framework #geometry #sketching: CAI Platform for Fundamental Geometric Training on Perspective Sketching (DBL, SNC), pp. 86–92.
HIMI-v1-2011-KlimaS #android: Vector Keyboard for Android Platform-Based Devices (MK, PS), pp. 435–442.
HIMI-v2-2011-YuCW #communication #framework #interactive #named #problem #product line: SAM: A Spatial Interactive Platform for Studying Family Communication Problem (GJY, TWC, YCW), pp. 207–216.
IDGD-2011-MurakamiNNY #community #design #education #framework: Design and Construction of SNS Platform and “Working Room” for Making Community for Fostering Japanese Teachers (MM, NN, KN, KY), pp. 543–549.
OCSC-2011-KochFB #crowdsourcing #design #how #online: Online Crowdsourcing in the Public Sector: How to Design Open Government Platforms (GK, JF, SB), pp. 203–212.
ICEIS-v1-2011-DiEM #framework #research: Research and Application of Carrier-grade Mashup Platform on OneAPI (JD, HE, LM), pp. 504–509.
ICEIS-v1-2011-Kong #design #e-commerce #formal method #framework: The Design of the Framework of the Siye Integrated e-Commerce Platform based on the Theory of the Integrated e-Commerce (SK), pp. 277–280.
ICEIS-v1-2011-LiuEK #convergence #framework #web: A Cloud Telecom Open Platform for Converging IMS and Web 2.0 (LL, HE, XK), pp. 545–549.
ICEIS-v1-2011-LiuEM #design #framework #implementation #integration: Design and Implementation of an Open Platform for Services Integration based on Mashup (YL, HE, LM), pp. 554–559.
ICEIS-v1-2011-MaEL #capacity #convergence #delivery #design #framework #implementation: The Design and Implementation of Convergent Service Delivery Platform based on Capacity Open System (LM, HE, LL), pp. 564–570.
ICEIS-v2-2011-TianC #framework #information management: Study of Information Sharing Platform in Eco-supply Chain (QT, XC), pp. 432–437.
CIKM-2011-KonstantinouABTK #database #on the: On the elasticity of NoSQL databases over cloud management platforms (IK, EA, CB, DT, NK), pp. 2385–2388.
KDD-2011-MukerjeePG #algorithm #framework #linear #mining #semantics #sql: Linear scale semantic mining algorithms in microsoft SQL server’s semantic platform (KM, TP, SG), pp. 213–221.
KMIS-2011-BuresPCO #framework #interactive #towards: Interactive Digital TV as the e-Learning Platform — Towards Supportive Environments for Elderly (VB, DP, PC, TO), pp. 107–113.
ECMFA-2011-DouxABCFL #approach #eclipse #framework #problem: An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform (GD, PA, GB, JC, MDDF, SUJL), pp. 160–171.
Onward-2011-CorralSSGR #development #evolution #mobile #multi #paradigm: Evolution of Mobile Software Development from Platform-Specific to Web-Based Multiplatform Paradigm (LC, AS, GS, AG, PR), pp. 181–183.
AdaEurope-2011-EsquinasZPMRC #ada #clustering #framework: ORK+/XtratuM: An Open Partitioning Platform for Ada (ÁE, JZ, JAdlP, MM, IR, AC), pp. 160–173.
AdaEurope-2011-SaezTC #ada #framework #multi #realtime #using: A Real-Time Framework for Multiprocessor Platforms Using Ada 2012 (SS, ST, AC), pp. 46–60.
ICSE-2011-Bagheri #approach #architecture #formal method #synthesis: A formal approach to software synthesis for architectural platforms (HB), pp. 1143–1145.
ICSE-2011-SchmerlGDBC #analysis #case study #design #framework #named: SORASCS: a case study in soa-based platform design for socio-cultural analysis (BRS, DG, VD, MWB, KMC), pp. 643–652.
SAC-2011-AnttonenSMT #framework #roadmap #web: Transforming the web into a real application platform: new technologies, emerging trends and missing pieces (MA, AS, TM, AT), pp. 800–807.
SAC-2011-LiuLTL #framework #game studies #interactive #learning: A cognition-based interactive game platform for learning Chinese characters (CLL, CYL, JLT, CLL), pp. 1181–1186.
SAC-2011-UlbrichKHSS #adaptation #composition #framework #named: I4Copter: an adaptable and modular quadrotor platform (PU, RK, CH, RS, WSP), pp. 380–386.
SAC-2011-VerasBBSC #education #framework #personalisation #web: A solution for personalized t-learning applications integrated with a web educational platform (DV, IIB, HB, MS, EdBC), pp. 1187–1193.
SAC-2011-YukselBK #algorithm #estimation #framework #parametricity #search-based: A software platform for genetic algorithms based parameter estimation on digital sound synthesizers (KAY, BB, HK), pp. 1088–1089.
SAC-2011-ZhouZJY #approach #evolution #framework #in the cloud: An approach of creative application evolution on cloud computing platform (JZ, SZ, DJ, HY), pp. 54–58.
SAC-2011-ZhuYXLYGQLCG #monitoring #named #security: VASP: virtualization assisted security monitor for cross-platform protection (MZ, MY, MX, BL, PY, SG, ZQ, LL, YC, HG), pp. 554–559.
ASPLOS-2011-ChipounovKC #analysis #framework #multi #named: S2E: a platform for in-vivo multi-path analysis of software systems (VC, VK, GC), pp. 265–278.
CASE-2011-CabasinoCGSS #framework #integration #tool support: A software platform for the integration of discrete event systems tools (MPC, LC, AG, CS, AS), pp. 45–51.
CASE-2011-ChoiYSMKCC #automation #development #framework #mobile: Development of robotic laboratory automation platform with intelligent mobile agents for clinical chemistry (BC, WSY, SHS, HM, JK, WC, HC), pp. 708–713.
CASE-2011-GhirardiPS #case study #multimodal #throughput: Maximizing the throughput of multimodal logistic platforms by simulation-optimization: The Duferco case study (MG, GP, DS), pp. 52–57.
CASE-2011-SernaCBRC #case study #design #framework: Control software design for a cutting glass machine tool based on the COSME platform. Case study (FS, CC, AB, JMR, JMC), pp. 501–506.
DAC-2011-FajardoFIGLZ #architecture #effectiveness #embedded #named: Buffer-integrated-Cache: a cost-effective SRAM architecture for handheld and embedded platforms (CFF, ZF, RI, GFG, SEL, LZ), pp. 966–971.
DAC-2011-KarakonstantisBATGR: Significance driven computation on next-generation unreliable platforms (GK, NB, CDA, GT, VG, KR), pp. 290–291.
DAC-2011-SchmitzLEPA #evaluation #framework #named #performance: TPM-SIM: a framework for performance evaluation of trusted platform modules (JS, JL, JE, DP, NBAG), pp. 236–241.
DAC-2011-ShoaibJV #algorithm #data-driven #energy #framework #monitoring: A low-energy computation platform for data-driven biomedical monitoring algorithms (MS, NKJ, NV), pp. 591–596.
DAC-2011-ZhaoF #3d #gpu #parallel #performance: Fast multipole method on GPU: tackling 3-D capacitance extraction on massively parallel SIMD platforms (XZ, ZF), pp. 558–563.
DAC-2011-ZhengSXHBC #array #framework #programmable: Programmable analog device array (PANDA): a platform for transistor-level analog reconfigurability (RZ, JS, CX, NH, BB, YC), pp. 322–327.
DATE-2011-BeltrameN #algorithm #design #multi: A multi-objective decision-theoretic exploration algorithm for platform-based design (GB, GN), pp. 1192–1195.
DATE-2011-ChouM #multi #named #resource management: FARM: Fault-aware resource management in NoC-based multiprocessor platforms (CLC, RM), pp. 673–678.
DATE-2011-HuangDEB #collaboration #communication #framework: A circuit technology platform for medical data acquisition and communication: Outline of a collaboration project within the Swiss Nano-Tera.ch Initiative (QH, CD, CE, TB), pp. 1472–1473.
DATE-2011-LafiLJ #3d #configuration management #framework: A 3D reconfigurable platform for 4G telecom applications (WL, DL, AAJ), pp. 555–558.
DATE-2011-LeupersEMSTC #manycore #towards: Virtual Manycore platforms: Moving towards 100+ processor cores (RL, LE, GM, FS, NPT, XC), pp. 715–720.
DATE-2011-MicheliGBVC #framework: An integrated platform for advanced diagnostics (GDM, SSG, CB, FV, SC), pp. 1454–1459.
DATE-2011-PandeCPMBMG #energy #performance #question: Sustainability through massively integrated computing: Are we ready to break the energy efficiency wall for single-chip platforms? (PPP, FC, DP, IM, PB, RM, AG), pp. 1656–1661.
DATE-2011-PaternaACPDB #algorithm #energy #manycore #online #performance: An efficient on-line task allocation algorithm for QoS and energy efficiency in multicore multimedia platforms (FP, AA, AC, FP, GD, LB), pp. 100–105.
DATE-2011-YehHWL #framework #simulation: Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method (YFY, CYH, CAW, HCL), pp. 353–358.
PDP-2011-AlmeidaPBCMS #framework #named #web #web service: PETransWS: Web Service Computing Platform for Logistics and Transportation (FA, VBP, JB, AC, JAM, AS), pp. 301–307.
PDP-2011-EzzattiQR #framework #manycore #matrix #performance: High Performance Matrix Inversion on a Multi-core Platform with Several GPUs (PE, ESQO, AR), pp. 87–93.
PDP-2011-GrossBS #distributed #framework #named #recommendation: GroupRecoPF: Innovative Group Recommendations in a Distributed Platform (TG, CB, MS), pp. 293–300.
PDP-2011-WangHB #design #manycore: A Wireless Network-on-Chip Design for Multicore Platforms (CW, WHH, NB), pp. 409–416.
PDP-2011-YangCBL #framework #multi: Load Balancing for Data-Parallel Applications on Network-on-Chip Enabled Multi-processor Platform (JY, CC, NB, SEL), pp. 439–446.
TACAS-2011-ChengKLB #algorithm #framework #game studies #research: GAVS+: An Open Platform for the Research of Algorithmic Game Solving (CHC, AK, ML, CB), pp. 258–261.
CAV-2011-BrumleyJAS #analysis #framework #named: BAP: A Binary Analysis Platform (DB, IJ, TA, EJS), pp. 463–469.
ECSA-2010-EsfahaniM #adaptation #architecture #middleware #on the: On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms (NE, SM), pp. 433–440.
ECSA-2010-SavolainenKMN #architecture #case study #development #experience #framework: Experiences in Making Architectural Decisions during the Development of a New Base Station Platform (JS, JK, TM, AN), pp. 425–432.
ECDL-2010-PortierC #documentation #framework #multi: DINAH, A Philological Platform for the Construction of Multi-structured Documents (PEP, SC), pp. 364–375.
HT-2010-HansenG #framework #mobile #named: UrbanWeb: a platform for mobile context-awaresocial computing (FAH, KG), pp. 195–200.
SIGMOD-2010-BorkarCKKMSTW #framework #visual notation #xquery: Graphical XQuery in the aqualogic data services platform (VRB, MJC, SK, AK, KM, JS, ST, TW), pp. 1069–1080.
SIGMOD-2010-CastellanosWDG #framework #information management #named #streaming: SIE-OBI: a streaming information extraction platform for operational business intelligence (MC, SW, UD, CG), pp. 1105–1110.
VLDB-2010-Nori #distributed: Distributed Caching Platforms (AN), pp. 1645–1646.
ITiCSE-2010-ShoufanLR #framework #synthesis #visualisation: A platform for visualizing digital circuit synthesis with VHDL (AS, ZL, GR), pp. 294–298.
SIGITE-2010-WaldmannL #collaboration #eclipse #framework #realtime: Integrating the google wave platform with eclipse for collaborative, real-time code creation (BAW, DJL), pp. 69–72.
SCAM-2010-KatsV #aspect-oriented #case study #encapsulation #framework #logic #programming #using: Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability (LCLK, EV), pp. 147–156.
AIIDE-2010-BarveHKR #authoring #framework #game studies #mobile #named: WeQuest: A Mobile Alternate Reality Gaming Platform and Intelligent End-User Authoring Tool (CB, SH, DK, MOR).
AIIDE-2010-ShakerYT #automation #framework #game studies #generative #personalisation #towards: Towards Automatic Personalized Content Generation for Platform Games (NS, GNY, JT).
AIIDE-2010-SmithWM #2d #design #named: Tanagra: An Intelligent Level Design Assistant for 2D Platformers (GS, JW, MM).
ICGT-2010-Modica #analysis #communication #formal method #modelling #petri net: Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.
ICEIS-DISI-2010-LibourelLMPD #framework: A Platform Dedicated to Share and Mutualize Environmental Applications (TL, YL, IM, CP, JCD), pp. 50–57.
ICEIS-DISI-2010-NikitinTL #framework #industrial #named #towards: SOFIA: Agent Scenario for Forest Industry — Tailoring UBIWARE Platform Towards Industrial Agent-driven Solutions (SN, VYT, ML), pp. 15–22.
CIKM-2010-WimalasuriyaD #component #information management #ontology: Components for information extraction: ontology-based information extractors and generic platforms (DCW, DD), pp. 9–18.
ICPR-2010-HaberdarS #detection #framework #mobile #refinement #using #video: Disparity Map Refinement for Video Based Scene Change Detection Using a Mobile Stereo Camera Platform (HH, SKS), pp. 3890–3893.
ICPR-2010-LinW #detection #framework #using: Detecting Moving Objects Using a Camera on a Moving Platform (CCL, MW), pp. 460–463.
ICPR-2010-NymanHA #constraints #framework #multi #using: Multi-camera Platform Calibration Using Multi-linear Constraints (PN, AH, KÅ), pp. 53–56.
KDIR-2010-Quinteiro-GonzalezMHLMP #delivery #framework #recommendation: Recommendation System in an Audiovisual Delivery Platform (JMQG, EMJ, PHM, ALR, LMM, ASdP), pp. 379–382.
KEOD-2010-AngelucciBMT #evolution #framework #ontology #social: The Social Ontology Building and Evolution (SOBE) Platform (DA, AB, TDM, FT), pp. 416–419.
KEOD-2010-YunSNYKK #framework #semantics #using #web #workflow: Improving the Workflow of Semantic Web Portals using M/R in Cloud Platform (SY, MS, HN, SKY, HK, HGK), pp. 485–488.
KMIS-2010-DaniyalAAWA #framework #research: A Knowledge-centric e-Research Platform for Marine Life and Oceanographic Research (AD, SRA, AA, MKW, SSRA), pp. 363–366.
RecSys-2010-Schirru #enterprise #recommendation #social #social media #topic: Topic-based recommendations in enterprise social media sharing platforms (RS), pp. 369–372.
ECMFA-2010-CregutCPFP #animation #framework #generative: Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.
ECMFA-2010-KleinerFA #automation #constraints #formal method #theorem proving: Model Search: Formalizing and Automating Constraint Solving in MDE Platforms (MK, MDDF, PA), pp. 173–188.
ECOOP-2010-OstrowskiSB #manycore #self: Self-Replicating Objects for Multicore Platforms (KO, CS, KB), pp. 452–477.
AdaEurope-2010-BurnsW #ada #multi #representation: Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada (AB, AJW), pp. 41–53.
ICSE-2010-KornstaedtR #development #eclipse #float #framework: Staying afloat in an expanding sea of choices: emerging best practices for eclipse rich client platform development (AK, ER), pp. 59–67.
SAC-2010-BozzonBFP #framework #integration: Integration of a human face annotation technology in an audio-visual search engine platform (AB, MB, PF, PP), pp. 839–843.
SAC-2010-ChartonLLB #framework #named #open source: Mistral: open source biometric platform (EC, AL, CL, JFB), pp. 1503–1504.
SAC-2010-ChenT #energy #multi #scheduling: Energy-efficient scheduling on homogeneous multiprocessor platforms (JJC, LT), pp. 542–549.
SAC-2010-KimKPT #framework #hybrid #realtime #scheduling: Integrating real-time hybrid task scheduling into a sensor node platform (TK, BK, EKP, ST), pp. 737–741.
SAC-2010-MeertensIN #architecture #design #framework #modelling: Goal and model driven design of an architecture for a care service platform (LOM, MEI, LJMN), pp. 158–164.
SLE-2010-GonzalezCMCLG #framework #mobile #named #programming: Subjective-C — Bringing Context to Mobile Platform Programming (SG, NC, KM, AC, JCL, JG), pp. 246–265.
CASE-2010-CesettiSBALCL #development #flexibility #framework #mobile #testing: Development of a flexible test platform for household appliance testing based on mobile agents (AC, CPS, GDB, GA, LL, CC, SL), pp. 855–860.
CASE-2010-ChoiYSMKCC #automation #flexibility #framework #mobile #testing: Robotic laboratory automation platform based on mobile agents for flexible clinical tests (BC, WSY, SHS, HM, JK, WC, HRC), pp. 186–191.
CASE-2010-EderK #design #framework: Design of an experimental platform for an X-by-wire car with four-wheel steering (ME, AK), pp. 656–661.
CASE-2010-RakotondrabeCRN #automation #estimation #framework: Presentation, force estimation and control of an instrumented platform dedicated to automated micromanipulation tasks (MR, CC, KR, KN), pp. 722–727.
CGO-2010-JungMO #compilation #framework #hybrid #java #optimisation: Hybrid Java compilation and optimization for digital TV software platform (DHJ, SMM, HSO), pp. 73–81.
DAC-2010-IosifidisMMGBSC #automation #framework #memory management #optimisation #parallel: A framework for automatic parallelization, static and dynamic memory optimization in MPSoC platforms (YI, AM, SM, EdG, AB, DS, FC), pp. 549–554.
DAC-2010-YuP #clustering #manycore #memory management: Off-chip memory bandwidth minimization through cache partitioning for multi-core platforms (CY, PP), pp. 132–137.
HPCA-2010-JiangMZUIMNSB #adaptation #named: CHOP: Adaptive filter-based DRAM caching for CMP server platforms (XJ, NM, LZ, MU, RI, SM, DN, YS, RB), pp. 1–12.
HPDC-2010-RajannaSJLG #clustering #coordination #in the cloud #named #network: XCo: explicit coordination to prevent network fabric congestion in cloud computing cluster platforms (VSR, SS, AJ, CL, KG), pp. 252–263.
HPDC-2010-SimmhanR #comparison #framework #workflow: Comparison of resource platform selection approaches for scientific workflows (YLS, LR), pp. 445–450.
ISMM-2010-BarabashP #garbage collection #parallel: Tracing garbage collection on highly parallel platforms (KB, EP), pp. 1–10.
LCTES-2010-PykaKMM #approach #embedded #framework: Versatile system-level memory-aware platform description approach for embedded MPSoCs (RP, FK, PM, SM), pp. 9–16.
LCTES-2010-ViskicLG #automation #design #framework #generative #network #process: Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications (IV, LY, DG), pp. 77–84.
OSDI-2010-KoponenCGSPZRIIHS #distributed #framework #named #network #scalability: Onix: A Distributed Control Platform for Large-scale Production Networks (TK, MC, NG, JS, LP, MZ, RR, YI, HI, TH, SS), pp. 351–364.
PDP-2010-AmentKWS #framework #parallel #problem: A Parallel Preconditioned Conjugate Gradient Solver for the Poisson Problem on a Multi-GPU Platform (MA, GK, DW, WS), pp. 583–592.
PDP-2010-BeaumontERT #multi #scalability: Allocation of Clients to Multiple Servers on Large Scale Heterogeneous Platforms (OB, LED, HR, CT), pp. 3–10.
CAV-2010-BallBLKL #framework #research #verification: The Static Driver Verifier Research Platform (TB, EB, VL, RK, JL), pp. 119–122.
CBSE-2009-GamaD #component #framework #towards: Towards Dynamic Component Isolation in a Service Oriented Platform (KG, DD), pp. 104–120.
DocEng-2009-HeinrichBK #automation #documentation #framework #ontology #repository: A platform to automatically generate and incorporate documents into an ontology-based content repository (MH, ABP, MK), pp. 43–46.
HT-2009-RafelsbergerS #game studies #network #social: Games with a purpose for social networking platforms (WR, AS), pp. 193–198.
SIGMOD-2009-BorkarCELRSTW #data access #framework: Access control in the aqualogic data services platform (VRB, MJC, DE, DL, PR, JS, ST, TW), pp. 939–946.
SIGMOD-2009-McSherry #data analysis #framework #privacy #query: Privacy integrated queries: an extensible platform for privacy-preserving data analysis (FM), pp. 19–30.
SIGMOD-2009-WeissmanB #design #development #framework #internet #multitenancy: The design of the force.com multitenant internet application development platform (CDW, SB), pp. 889–896.
CSEET-2009-TaranMSS #authoring #case study #framework #industrial #multi #scalability #using: Using Rich Multimedia Case Studies: Developing a Scalable Authoring Platform for Academia and Industry (GT, RM, RS, AS), pp. 61–68.
CSEET-2009-TaranVG #authoring #case study #education #framework #multi #re-engineering: Multimedia Case Studies in Software Engineering: A Look at MDM CAP: A Case Authoring Platform for Education and Training (GT, VV, KG), pp. 296–297.
ITiCSE-2009-TsengHH #collaboration #education #framework #learning #ubiquitous: A collaborative ubiquitous learning platform for computer science education (JCRT, SYYH, GJH), p. 368.
MSR-2009-GousiosS #framework #re-engineering #research: A platform for software engineering research (GG, DS), pp. 31–40.
AIIDE-2009-PedersenTY #experience #framework #game studies #optimisation: Optimization of Platform Game Levels for Player Experience (CP, JT, GNY).
DiGRA-2009-ReynoC #game studies #independence #specification: A Platform-Independent Model for Videogame Gameplay Specification (EMR, JÁCC).
FDG-2009-SmithTWM #2d #generative: Rhythm-based level generation for 2D platformers (GS, MT, JW, MM), pp. 175–182.
CHI-2009-NgaiCCL #framework #smarttech: The TeeBoard: an education-friendly construction platform for e-textiles and wearable computing (GN, SCFC, JCYC, WWYL), pp. 249–258.
HCI-NIMT-2009-GrafPH #framework: Robotic Home Assistant Care-O-bot® 3 Product Vision and Innovation Platform (BG, CP, MH), pp. 312–320.
HCI-VAD-2009-UenoHY #education #framework #named: WebELS: A Content-Centered E-Learning Platform for Postgraduate Education in Engineering (HU, ZH, JY), pp. 246–255.
ICEIS-ISAS-2009-ZhangR #petri net #process: A Petri Net Model of Process Platform-based Production Configuration (LLZ, BR), pp. 5–12.
ICEIS-J-2009-Fugini #framework #integration: A Service Integration Platform for the Labor Market (MF), pp. 445–455.
ICEIS-J-2009-GhezziRB #classification #delivery #mobile: A Technology Classification Model for Mobile Content and Service Delivery Platforms (AG, FR, RB), pp. 600–614.
ICEIS-SAIC-2009-PetersA #analysis #on the #trust: On the Helpfulness of Product Reviews — An Analysis of Customer-to-Customer Trust on eShop-Platforms (GP, VA), pp. 41–46.
KEOD-2009-SzulmanCANST #framework #named #ontology: DAFOE: An Ontology Building Platform — From Texts or Thesauri (SS, JC, NAG, AN, ÉS, HVT), pp. 372–375.
KMIS-2009-Garrot-Lavoue #community #framework #information management #web: Interconnection of Communities of Practice — A Web Platform for Knowledge Management (ÉGL), pp. 13–20.
SEKE-2009-LemkeR #framework #using: Using Knowledge Objects to Exchange Knowledge in a MAS Platform (APL, MBR), pp. 206–211.
SIGIR-2009-BozzonBFNDMNPAPLZBWC #framework #named: Pharos: an audiovisual search platform (AB, MB, PF, FSN, SD, EM, WN, MP, PA, OP, CL, SZ, GB, DW, VC), p. 841.
ECMDA-FA-2009-Trew #embedded #question: Creating Embedded Platforms with MDA: Where’s the Sweet Spot? (TT), p. 1.
OOPSLA-2009-ZhaoSZWLS #java #manycore: Allocation wall: a limiting factor of Java applications on emerging multi-core platforms (YZ, JS, KZ, HW, HL, LS), pp. 361–376.
PLDI-2009-SahaZCGYRFZRM #framework #programming: Programming model for a heterogeneous x86 platform (BS, XZ, HC, YG, SY, MR, JF, PZ, RR, AM), pp. 431–440.
RE-2009-SongHR #case study #experience #framework: Experiences in Developing Quantifiable NFRs for the Service-Oriented Software Platform (XS, BH, JR), pp. 337–342.
ICSE-2009-GousiosS #framework #monitoring #quality: Alitheia Core: An extensible software quality monitoring platform (GG, DS), pp. 579–582.
ICSE-2009-ShengPYWNM #agile #development #flexibility #framework #named #web #web service: ContextServ: A platform for rapid and flexible development of context-aware Web services (QZS, SP, JY, HSW, AHHN, ZM), pp. 619–622.
SAC-2009-EstevesRFO #concept #framework #implementation #simulation: Conceptualization and implementation of a microscopic pedestrian simulation platform (EFE, RJFR, PAFF, ECO), pp. 2105–2106.
SAC-2009-MikkonenT #case study #experience #framework #kernel #mobile #web: Creating a mobile web application platform: the lively kernel experiences (TM, AT), pp. 177–184.
SAC-2009-QiuLS #embedded #framework #hardware #optimisation #realtime: Heterogeneous real-time embedded software optimization considering hardware platform (MQ, HL, EHMS), pp. 1637–1641.
SAC-2009-Zheng #framework #mobile: Scene map on wireless mobile platform (JYZ), pp. 217–218.
SLE-2009-HemelV #domain-specific language #framework #independence #named: PIL: A Platform Independent Language for Retargetable DSLs (ZH, EV), pp. 224–243.
DAC-2009-Leiserson #concurrent #framework: The Cilk++ concurrency platform (CEL), pp. 522–527.
DAC-2009-WangHHW #framework #named: SysCOLA: a framework for co-development of automotive software and system platform (ZW, AH, WH, MW), pp. 37–42.
PPoPP-2009-Quintana-OrtiIQG #hardware #linear #multi: Solving dense linear systems on platforms with multiple hardware accelerators (GQO, FDI, ESQO, RAvdG), pp. 121–130.
SOSP-2009-LiuGVQWM #distributed #framework #named: Fabric: a platform for secure distributed computation and storage (JL, MDG, KV, XQ, LW, ACM), pp. 321–334.
ICST-2009-MathewS #as a service #automation #framework #testing: Test Automation on a SaaS Platform (RM, RS), pp. 317–325.
CBSE-2008-GamaD #approach #framework: A Practical Approach for Finding Stale References in a Dynamic Service Platform (KG, DD), pp. 246–261.
CBSE-2008-ParrendF #classification #component #java #programming: Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms (PP, SF), pp. 80–96.
QoSA-2008-CortellessaPSV #analysis #architecture #framework #modelling #named #performance #uml: MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis (VC, PP, RS, AV), pp. 86–102.
WICSA-2008-GortonWAC #data type #framework #integration #performance #streaming: The MeDICi Integration Framework: A Platform for High Performance Data Streaming Applications (IG, AW, JA, JC), pp. 95–104.
VLDB-2008-CooperRSSBJPWY #exclamation #framework #named: PNUTS: Yahoo!’s hosted data serving platform (BFC, RR, US, AS, PB, HAJ, NP, DW, RY), pp. 1277–1288.
VLDB-2008-JurczykX #distributed #named: DObjects: enabling distributed data services for metacomputing platforms (PJ, LX), pp. 1432–1435.
ITiCSE-2008-Connolly #design #development #education #multi #using: Complecto mutatio: teaching software design best practices using multi-platform development (RWC), p. 345.
FM-2008-Lecomte #framework #reliability: Safe and Reliable Metro Platform Screen Doors Control/Command Systems (TL), pp. 430–434.
AIIDE-2008-KarpovSM #education #framework #game studies #named #research: OpenNERO: A Game Platform for AI Research and Education (IK, JS, RM).
CIG-2008-PourGAGC #development #distributed #framework #game studies #generative #human-computer #interface #video: Brain-computer interface: Next generation thought controlled distributed video game development platform (PAP, TG, OA, GDG, RAC), pp. 251–257.
CHI-2008-JacobssonBH #framework: The see-Puck: a platform for exploring human-robot relationships (MJ, JB, LEH), pp. 141–144.
ICEIS-HCI-2008-AlexandrakiKG #collaboration #framework #interactive #named: DIAMOUSES — An Experimental Platform for Network-based Collaborative Musical Interactions (CA, PK, PG, DA, GM, GV, DK), pp. 30–37.
RecSys-2008-Domingues #adaptation #analysis #framework #independence #monitoring #web: An independent platform for the monitoring, analysis and adaptation of web sites (MAD), pp. 299–302.
ECMDA-FA-2008-KuhnG #configuration management #modelling #simulation #testing: Model-Driven Platform-Specific Testing through Configurable Simulations (TK, RG), pp. 278–293.
MoDELS-2008-DentonJSOB #framework #multi #named: NAOMI — An Experimental Platform for Multi-modeling (TD, EJ, SS, KO, RWB), pp. 143–157.
MoDELS-2008-DentonJSOB #framework #multi #named: NAOMI — An Experimental Platform for Multi-modeling (TD, EJ, SS, KO, RWB), pp. 143–157.
PLDI-2008-KudlurM #execution #manycore #source code: Orchestrating the execution of stream programs on multicore platforms (MK, SAM), pp. 114–124.
POPL-2008-NitaGC #bytecode #formal method #low level: A theory of platform-dependent low-level software (MN, DG, CC), pp. 209–220.
QAPL-2008-LambertP #bytecode #framework #independence #java #virtual machine: Platform Independent Timing of Java Virtual Machine Bytecode Instructions (JML, JFP), pp. 97–113.
ASE-2008-GeW #feature model #framework #generative #modelling #named: Rhizome: A Feature Modeling and Generation Platform (GG, EJWJ), pp. 375–378.
SAC-2008-CattelanP #framework #mobile #multi #peer-to-peer: Supporting multimedia capture in mobile computing environments through a peer-to-peer platform (RGC, MdGCP), pp. 1649–1650.
SAC-2008-KimKL #framework #middleware #named #network: COSMOS: a middleware platform for sensor networks and a u-healthcare service (YBK, MK, YJL), pp. 512–513.
SAC-2008-LuizVS #framework #specification: Formal specification of DSP gateway for data transmission between processor cores of OMAP platform (SODL, GdMV, LDdS), pp. 1545–1549.
SAC-2008-MattosLFM #clustering #documentation #framework #named: BigBatch: a document processing platform for clusters and grids (GdOM, RDL, AdAF, FMJM), pp. 434–441.
SAC-2008-PerngCK #configuration management #embedded #hardware: The minimization of hardware size in reconfigurable embedded platforms (NCP, JJC, TWK), pp. 1517–1522.
CASE-2008-ChoiJSKRKKSACC #automation #development #flexibility #framework #mobile #using: Development of flexible laboratory automation platform using Mobile Agents in the clinical laboratory (BC, SMJ, SHS, JK, SR, MCK, JK, WHS, KTA, WC, HRC), pp. 918–923.
CASE-2008-Holzmuller-LaueRNKAGTS #automation #flexibility #framework #integration #mobile #process: Flexible R&D integration platform of process informatics for automated medical applications and mobile data acquisition (SHL, KR, SN, SK, DA, BG, KT, RS), pp. 621–626.
CASE-2008-MatinfarIFWK #framework #research: Calibration of the treatment beam of the Small Animal Radiation Research Platform (MM, II, EF, JW, PK), pp. 609–614.
DAC-2008-HsiehH #debugging #embedded #framework #interface: An embedded infrastructure of debug and trace interface for the DSP platform (MCH, CTH), pp. 866–871.
DAC-2008-KimKKLY #framework #mobile #recognition: Vision platform for mobile intelligent robot based on 81.6 GOPS object recognition processor (DK, KK, JYK, SL, HJY), pp. 96–101.
DATE-2008-GlasKSMB #architecture #configuration management: A System Architecture for Reconfigurable Trusted Platforms (BG, AK, OS, KDMG, JB), pp. 541–544.
DATE-2008-MuraliMAGBBM #manycore #optimisation #using: Temperature Control of High-Performance Multi-core Platforms Using Convex Optimization (SM, AM, DA, RG, SPB, LB, GDM), pp. 110–115.
DATE-2008-RinconPRZSAPM #energy #estimation #framework #network: OS-Based Sensor Node Platform and Energy Estimation Model for Health-Care Wireless Sensor Networks (FJR, MP, JR, QZ, MSE, DA, JP, GDM), pp. 1027–1032.
PDP-2008-AlbrechtRKPM #analysis #configuration management #framework #performance #runtime: Performance Analysis of Bus-Based Interconnects for a Run-Time Reconfigurable Co-Processor Platform (CA, PR, RK, TP, EM), pp. 200–205.
PDP-2008-DiakiteNP #comparison #multi #scheduling: Comparison of Batch Scheduling for Identical Multi-Tasks Jobs on Heterogeneous Platforms (SD, JMN, LP), pp. 374–378.
PPoPP-2008-ChengCHT #classification #manycore #scalability #using: Scalable packet classification using interpreting: a cross-platform multi-core solution (HC, ZC, BH, XT), pp. 33–42.
PPoPP-2008-DongarraPRV #matrix: Matrix product on heterogeneous master-worker platforms (JD, JFP, YR, FV), pp. 53–62.
CAV-2008-KinderV #framework #named #static analysis: Jakstab: A Static Analysis Platform for Binaries (JK, HV), pp. 423–427.
ICLP-2008-BeniniBM #constraints #multi #policy #programming #resource management #using: Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming (LB, DB, MM), pp. 470–484.
ECSA-2007-SanzACM #architecture #framework #independence #modelling #uml: UML Profile for the Platform Independent Modelling of Service-Oriented Architectures (MLS, CJA, CEC, EM), pp. 304–307.
JCDL-2007-PromRSF #framework: A unified platform for archival description and access (CJP, CAR, SWS, KJF), pp. 157–166.
SIGMOD-2007-CampbellN #framework: The microsoft data platform (DC, AN), pp. 1053–1060.
SIGMOD-2007-MullerRDAK #flexibility #framework #network: A dynamic and flexible sensor network platform (RM, JSR, MD, GA, DK), pp. 1085–1087.
VLDB-2007-OnoseBC #framework: Inverse Functions in the AquaLogic Data Services Platform (NO, VRB, MJC), pp. 1231–1242.
VLDB-2007-Vogels #data access #framework: Data Access Patterns in The Amazon.com Technology Platform (WV), p. 1.
VLDB-2007-WangRKMLKWPCBH #adaptation #collaboration #framework #integration #named #research: SciPort: An Adaptable Scientific Data Integration Platform for Collaborative Scientific Research (FW, PEB, GH, MW, DK, PL, CR, PK, GM, JP, JC), pp. 1310–1313.
CSMR-2007-HeymansBW #interactive #migration #scalability #testing: Testing Techniques for the Cross-platform Migration of Very Large Interactive Applications (LH, TVdB, BW), pp. 323–324.
CSMR-2007-Leitao #approach #framework #java #lisp #migration #source code: Migration of Common Lisp Programs to the Java Platform — The Linj Approach (AML), pp. 243–251.
CSMR-2007-Suijs #experience #framework #legacy: An Experience in Introducing a New Control Platform on a Legacy System (ES), pp. 319–320.
WCRE-2007-Zhu #framework #research: An Experimental Platform for Root Cause Diagnosis Research (QZ), pp. 293–296.
ILC-2007-AkashiTFHS #framework #lisp #network: Lisp-based agent platform and applications for inter-domain network management (OA, AT, KF, TH, TS), p. 14.
ILC-2007-Mallery #deployment #development #named #open source #web: CL-HTTP: an open-source cross-platform environment for web application development and deployment (JCM), p. 3.
AGTIVE-2007-KniemeyerK #framework #modelling #programming language: The Modelling Platform GroIMP and the Programming Language XL (OK, WK), pp. 570–572.
DHM-2007-LiuLC #framework #named #simulation: AIPlayer: A Platform of Intelligent Simulation of Virtual Human in Virtual Environment (JL, YL, JC), pp. 434–442.
HCI-AS-2007-PoitschkeARR #evaluation #framework #multi #user interface: A Multifunctional VR-Simulator Platform for the Evaluation of Automotive User Interfaces (TP, MA, SR, GR), pp. 1120–1129.
HCI-AS-2007-SchremmerKVE #design #distributed #framework #research: Design Discussion of the [braccetto] Research Platform: Supporting Distributed Intensely Collaborating Creative Teams of Teams (CS, AKH, RV, JE), pp. 722–734.
HCI-IPT-2007-SchwaigerTU #framework #implementation #named: Cyberwalk: Implementation of a Ball Bearing Platform for Humans (MCS, TT, HU), pp. 926–935.
HCI-IPT-2007-ZimmermannV #framework #user interface: The Universal Control Hub: An Open Platform for Remote User Interfaces in the Digital Home (GZ, GCV), pp. 1040–1049.
ICEIS-AIDSS-2007-RenoufCR #development #framework #image #information management: A Platform Dedicated to Knowledge Engineering for the Development of Image Processing Applications (AR, RC, MR), pp. 271–276.
ICEIS-HCI-2007-FariaBVR #framework #using: Platform to Drive an Intelligent Wheelchair Using Facial Expressions (PMF, RAMB, EV, LPR), pp. 164–169.
SEKE-2007-HofmeisterW #architecture #design #independence #using: Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture (HH, GW), pp. 227–231.
SEKE-2007-LarssonIS #development #distributed #framework #user interface: A Development Platform for Distributed User Interfaces (AL, MI, BS), p. 704–?.
ASE-2007-CharlesFS #eclipse #framework #ide #named: IMP: a meta-tooling platform for creating language-specific ides in eclipse (PC, RMF, SMSJ), pp. 485–488.
SAC-2007-KyungPKJKP #design #framework #manycore #monitoring #performance: Performance monitor unit design for an AXI-based multi-core SoC platform (HmK, GHP, JWK, WJ, TJK, SBP), pp. 1565–1572.
SAC-2007-MengC #adaptation #configuration management #database #sequence: An adaptive data prefetching scheme for biosequence database search on reconfigurable platforms (XM, VC), pp. 140–141.
SAC-2007-QuZGC #framework #named: Unichos: a full system simulator for thin client platform (NQ, YZ, XG, XC), pp. 1552–1556.
SAC-2007-YangHK #framework #on the #parallel: On construction of a BioGrid platform for parallel bioinformatics applications (CTY, TFH, HCK), pp. 144–145.
CASE-2007-GodeHRCS #approach #automation #flexibility #framework #information management #integration: Laboratory Information Management Systems — An Approach as an Integration Platform within Flexible Laboratory Automation for Application in Life Sciences (BG, SHL, KR, MYC, NS), pp. 841–845.
CASE-2007-JiangLCHHS #automation #development #framework: Development of Whole Human Genome Micro-array Automated Hybridization Platform (JYJ, KHL, CCC, JLH, CHH, HJS), pp. 640–645.
CASE-2007-LamLY #automation #framework #sketching #using: Robot Drawing Techniques for Contoured Surface Using an Automated Sketching Platform (JHML, KWL, YY), pp. 735–740.
CASE-2007-LiuWL #algorithm #design #effectiveness #multi #product line #search-based #towards #using: Towards Effective Multi-platforming Design of Product Family using Genetic Algorithm (ZL, YSW, KSL), pp. 300–305.
CASE-2007-MurrayNL #framework: Intelligent Kite Aerial Platform for Site Photography (JCM, MJN, FL), pp. 553–558.
CASE-2007-VermaakK #component #framework #maintenance #multi: Multi-Agent Systems based Intelligent Maintenance Management for a Component-Handling Platform (HV, JK), pp. 1057–1062.
CGO-2007-Fang #parallel #programming: Parallel Programming Environment: A Key to Translating Tera-Scale Platforms into a Big Success (JF), p. 18.
DAC-2007-BauerSKH #framework #named #set: RISPP: Rotating Instruction Set Processing Platform (LB, MS, SK, JH), pp. 791–796.
DAC-2007-Natale #analysis #challenge: Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions (MDN), pp. 551–555.
DATE-2007-AarajRRJ #analysis #energy #execution #framework: Energy and execution time analysis of a software-based trusted platform module (NA, AR, SR, NKJ), pp. 1128–1133.
DATE-2007-BriereGBNMGO #assessment #framework: System level assessment of an optical NoC in an MPSoC platform (MB, BG, YB, GN, FM, FG, IO), pp. 1084–1089.
DATE-2007-CampiDPCRMLVV #adaptation #configuration management: A dynamically adaptive DSP for heterogeneous reconfigurable platforms (FC, AD, MP, LC, PLR, CM, AL, AV, LV), pp. 9–14.
DATE-2007-DerbekSWWPP #framework #simulation: Simulation platform for UHF RFID (VD, CS, RW, DW, JPP, MP), pp. 918–923.
DATE-2007-GailliardNSV #modelling #transaction: Transaction level modelling of SCA compliant software defined radio waveforms and platforms PIM/PSM (GG, EN, MS, FV), pp. 966–971.
DATE-2007-MedardoniRBBSP #communication #in memory #industrial #interactive #memory management: Interactive presentation: Capturing the interaction of the communication, memory and I/O subsystems in memory-centric industrial MPSoC platforms (SM, MR, DB, LB, GS, CP), pp. 660–665.
DATE-2007-SauerGD #composition #framework #interactive: Interactive presentation: Hard- and software modularity of the NOVA MPSoC platform (CS, MG, SD), pp. 1102–1107.
DATE-2007-TangX #debugging #framework #manycore: A multi-core debug platform for NoC-based systems (ST, QX), pp. 870–875.
HPDC-2007-BudatiSCW #grid #named #performance #reliability: Ridge: combining reliability and performance in open grid platforms (KB, JDS, AC, JBW), pp. 55–64.
LCTES-2007-ViskicAG #automation #communication #embedded #generative: Automatic generation of embedded communication SW for heterogeneous MPSoC platforms (IV, SA, DDG), pp. 143–145.
PDP-2007-MarchalRRV #scheduling: Scheduling and Data Redistribution Strategies on Star Platforms (LM, VR, YR, FV), pp. 288–298.
PPoPP-2007-Fang #parallel #programming: Parallel programming environment: a key to translating tera-scale platforms into a big success (JZF), p. 1.
SOSP-2007-KicimanL #behaviour #framework #monitoring #named #web: AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications (EK, VBL), pp. 17–30.
CAV-2007-FilliatreM #deduction #framework #verification #why: The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (JCF, CM), pp. 173–177.
CBSE-2006-GoeminneJTDG #framework #policy: Service Policy Enhancements for the OSGi Service Platform (NG, GDJ, FDT, BD, FG), pp. 238–253.
ECDL-2006-MazurekPW #distributed #framework #library #network: Distributed Digital Libraries Platform in the PIONIER Network (CM, TP, MW), pp. 488–491.
SIGMOD-2006-BorkarCLW #framework: The BEA AquaLogic data services platform (Demo) (VRB, MJC, DL, TW), pp. 742–744.
SIGMOD-2006-Carey #delivery #framework: Data delivery in a service-oriented world: the BEA aquaLogic data services platform (MJC), pp. 695–705.
VLDB-2006-AfanasievFMZ #benchmark #framework #metric #named #xquery: XCheck: A Platform for Benchmarking XQuery Engines (LA, MF, MM, EZ), pp. 1247–1250.
VLDB-2006-BorkarCLWEO #framework #query: Query Processing in the AquaLogic Data Services Platform (VRB, MJC, DL, TW, DE, NO), pp. 1037–1048.
VLDB-2006-Sikka #data transformation #enterprise #generative: Next Generation Data Management in Enterprise Application Platforms (VS), p. 5.
ITiCSE-2006-AssuncaoO #dot-net #education #framework #using #web #web service: Teaching web services using .NET platform (LA, ALO), p. 339.
AIIDE-2006-ComptonM #design #framework #game studies: Procedural Level Design for Platform Games (KC, MM), pp. 109–111.
CHI-2006-BioccaTOX #3d #artificial reality #mobile: Attention funnel: omnidirectional 3D cursor for mobile augmented reality platforms (FB, AT, CBO, FX), pp. 1115–1122.
EDOC-2006-GorpAJ #2d #consistency #contract #framework #nondeterminism #towards #traceability #visual notation: Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies (PVG, FA, DJ), pp. 185–198.
EDOC-2006-KuropkaBW #enterprise #framework #motivation #semantics: Semantic Enterprise Services Platform: Motivation, Potential, Functionality and Application Scenarios (DK, AB, MW), pp. 253–264.
ICEIS-ISAS-2006-MunozP #framework #pervasive: Applying Software Factories to Pervasive Systems: A Platform Specific Framework (JM, VP), pp. 337–342.
ICEIS-SAIC-2006-LazanasKP #framework #recommendation #transaction: Providing Recommendations in an Agent-Based Transportation Transactions Management Platform (AL, NIK, YP), pp. 87–92.
ICPR-v2-2006-Goto #distributed #framework: OCRGrid : A Platform for Distributed and Cooperative OCR Systems (HG), pp. 982–985.
SIGIR-2006-HuangWAH #framework #information management #information retrieval: A platform for Okapi-based contextual information retrieval (XH, MW, AA, YRH), p. 728.
SIGIR-2006-MacdonaldO06a #framework #using: Searching for expertise using the terrier platform (CM, IO), p. 732.
ICSE-2006-Bishop #challenge #multi #re-engineering #user interface: Multi-platform user interface construction: a challenge for software engineering-in-the-small (JB), pp. 751–760.
ICSE-2006-Sakamura #case study #challenge #development #embedded #framework #ubiquitous: Challenges in the age of ubiquitous computing: a case study of T-Engine, an open development platform for embedded systems (KS), pp. 713–720.
SAC-2006-GacMD #2d #3d #framework #hardware: Hardware/software 2D-3D backprojection on a SoPC platform (NG, SM, MD), pp. 222–228.
CASE-2006-KwokLWY #framework #replication #using: Evolutionary Replication of Calligraphic Characters By A Robot Drawing Platform Using Experimentally Acquired Brush Footprint (KWK, KWL, SMW, YY), pp. 466–471.
CASE-2006-XuLF #design #framework #process: Internet-based Platform for an Integrated Design of Product and Manufacturing Process for SMEs (LX, AL, BFB), pp. 314–318.
CGO-2006-NuzmanH #multi: Multi-platform Auto-vectorization (DN, RH), pp. 281–294.
DAC-2006-CohnKMTT #challenge #design #game studies #multi: Design challenges for next-generation multimedia, game and entertainment platforms (JMC, JTK, CM, RT, BT), p. 459.
DAC-2006-WangLLYHWH #design #framework #network #security: A network security processor design based on an integrated SOC design and test platform (CHW, CYL, MSL, JCY, CTH, CWW, SYH), pp. 490–495.
DATE-2006-ArpinenKSHH #configuration management #distributed #execution #framework #multi #uml: Configurable multiprocessor platform with RTOS for distributed execution of UML 2.0 designed applications (TA, PK, ES, MH, TDH), pp. 1324–1329.
DATE-2006-Beutel #framework #prototype #using: Fast-prototyping using the BTnode platform (JB), pp. 977–982.
DATE-2006-BoniventoCS #design #industrial #network: Platform-based design of wireless sensor networks for industrial applications (AB, LPC, ALSV), pp. 1103–1107.
DATE-2006-KogelB #embedded #multi #prototype: Virtual prototyping of embedded platforms for wireless and multimedia (TK, MB), pp. 488–490.
DATE-2006-KulkarniB #concurrent #framework #memory management #thread: Memory centric thread synchronization on platform FPGAs (CK, GJB), pp. 959–964.
DATE-2006-LucasHRERWGFHES #configuration management #framework #realtime: 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 #realtime #scalability #trade-off: Scalable performance-energy trade-off exploration of embedded real-time systems on multiprocessor platforms (ZM, FC), pp. 1073–1078.
DATE-2006-SekarLRD #adaptation #configuration management: Integrated data relocation and bus reconfiguration for adaptive system-on-chip platforms (KS, KL, AR, SD), pp. 728–733.
DATE-2006-SrinivasanTC #automation #low cost #multi #online: Online RF checkers for diagnosing multi-gigahertz automatic test boards on low cost ATE platforms (GS, FT, AC), pp. 658–663.
DATE-2006-UmKHKCKEK #design #modelling: A systematic IP and bus subsystem modeling for platform-based system design (JU, WCK, SH, YTK, KMC, JTK, SKE, TK), pp. 560–564.
DATE-DF-2006-AkselrodAA #architecture #debugging #framework #independence #multi #security: Platform independent debug port controller architecture with security protection for multi-processor system-on-chip ICs (DA, AA, YA), pp. 30–35.
DATE-DF-2006-DumitrascuBPBJ #flexibility #framework #performance: Flexible MPSoC platform with fast interconnect exploration for optimal system performance for a specific application (FD, IB, LP, MB, AAJ), pp. 166–171.
DATE-DF-2006-SerafiniCRZ #configuration management #framework #multi: Multi-sensor configurable platform for automotive applications (LS, FC, TR, VZ), pp. 219–220.
HPCA-2006-Yavatkar #challenge #design #framework #industrial: Industrial Perspectives: Platform Design Challenges with Many cores (RY), p. 201.
PDP-2006-PineauRV #online #scheduling: Off-Line and On-Line Scheduling on Heterogeneous Master-Slave Platforms (JFP, YR, FV), pp. 439–446.
CAV-2006-PaulaH #flexibility #framework #named #simulation: EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation (FMdP, AJH), pp. 282–285.
WICSA-2005-JooliaBCG #component #configuration management #framework #performance #runtime #specification: Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform (AJ, TVB, GC, ATAG), pp. 131–140.
HT-2005-SchraefelSORHW #evolution #framework #semantics #web: The evolving mSpace platform: leveraging the semantic web on the trail of the memex (MMCS, DAS, AO, AR, CH, MW), pp. 174–183.
ITiCSE-2005-OechsleG #algorithm #distributed #framework #implementation #simulation: DisASTer (distributed algorithms simulation terrain): a platform for the implementation of distributed algorithms (RO, TG), pp. 44–48.
ITiCSE-2005-SilvestrePCCCC #framework #generative: A platform for the generation of virtual environments inhabited by intelligent virtual humans (MS, MPA, MBC, APC, JDC, HC), p. 402.
SIGITE-2005-AthaudaKWSREGS #dot-net #education #industrial #java #tool support: Integrating industrial technologies, tools and practices to the IT curriculum: an innovative course with .NET and java platforms (RIA, NK, JW, PS, LR, AE, AG, DDS), pp. 125–132.
SIGITE-2005-HartpenceH #education #framework #research: Wireless carts: an inexpensive education and research platform (BH, LWH), pp. 79–82.
IWPC-2005-AndersonZ #comprehension #framework: The CodeSurfer Software Understanding Platform (PA, MZ), pp. 147–148.
FM-2005-BuchholtzGHM #analysis #framework #performance #security: End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform (MB, SG, VH, CM), pp. 286–301.
SEFM-2005-ColinPPRMM #development #framework #open source #xml: BRILLANT : An Open Source and XML-based platform for Rigourous Software Development (SC, DP, VP, JR, RM, GM), pp. 373–382.
SEFM-2005-SadaniSC #framework #petri net #verification: From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.
AIIDE-2005-BrownFBHC #framework #game studies #named: Quagents: A Game Platform for Intelligent Agents (CB, GF, PB, BH, DC), pp. 9–14.
DiGRA-2005-Magnussen #framework #game studies #learning: Learning Games as a Platform for Simulated Science Practice (RM).
CAiSE-2005-LopesHBJ #framework #generative #specification #web #web service: Generating Transformation Definition from Mapping Specification: Application to Web Service Platform (DL, SH, JB, FJ), pp. 309–325.
ICEIS-v5-2005-BourguinL #framework: Managing Inter-Activities in CSCW: Supporting Users Emerging Needs in the COOLDA Platform (GB, AL), pp. 134–139.
ECIR-2005-OunisAPHMJ #framework #information retrieval: Terrier Information Retrieval Platform (IO, GA, VP, BH, CM, DJ), pp. 517–519.
SIGIR-2005-SherfeseeO #framework #mining #research #web: A web mining research platform (DS, NO), p. 682.
ECMDA-FA-2005-BurmesterGS #architecture #framework #independence #modelling #realtime: Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code (SB, HG, WS), pp. 25–40.
MoDELS-2005-WagelaarJ #framework #modelling: Explicit Platform Models for MDA (DW, VJ), pp. 367–381.
MoDELS-2005-WagelaarJ #framework #modelling: Explicit Platform Models for MDA (DW, VJ), pp. 367–381.
RE-2005-Nesland #framework #implementation #lessons learnt #process #requirements: Initial Lessons Learned from the Definition and Implementation of a Platform Requirements Engineering Process at Intel Corporation (SN), pp. 429–433.
SAC-2005-ReeveH #overview #semantics: Survey of semantic annotation platforms (LHR, HH), pp. 1634–1638.
GPCE-2005-JunJ #framework #generative #maintenance: Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform (YJ, SJ), pp. 237–255.
CC-2005-BalakrishnanGRT #bytecode #framework #named: CodeSurfer/x86 — A Platform for Analyzing x86 Executables (GB, RG, TWR, TT), pp. 250–254.
DAC-2005-BacchiniRCLLRW: Wireless platforms: GOPS for cents and MilliWatts (FB, JMR, AC, FL, RL, UR, DW), pp. 351–352.
DAC-2005-BernardinisNV #design: Mixed signal design space exploration through analog platforms (FDB, PN, ALSV), pp. 875–880.
DAC-2005-RoyannezMDWSBBCSDSPRK #design #framework #reduction: A design platform for 90-nm leakage reduction techniques (PR, HM, FD, MW, MS, LB, JB, HC, GS, JD, DS, BP, CR, UK), pp. 549–550.
DAC-2005-SauerGS #composition #embedded #framework #implementation: Modular domain-specific implementation and exploration framework for embedded software platforms (CS, MG, SS), pp. 254–259.
DAC-2005-WilsonGHMLBTC #framework #question: Structured/platform ASIC apprentices: which platform will survive your board room? (RW, JG, CH, KM, SL, IB, RT, RC), pp. 887–888.
DATE-2005-AlexandreCCSME #framework #named #research: TSUNAMI: An Integrated Timing-Driven Place And Route Research Platform (CA, HC, JPC, MS, CM, RE), pp. 920–921.
DATE-2005-FanucciGIMR #design #framework: Platform Based Design for Automotive Sensor Conditioning (LF, AG, FI, CM, AR), pp. 186–191.
DATE-2005-KempfDLAMKV #composition #framework #multi #simulation: A Modular Simulation Framework for Spatial and Temporal Task Mapping onto Multi-Processor SoC Platforms (TK, MD, RL, GA, HM, TK, BV), pp. 876–881.
DATE-2005-KhanV #algorithm #scheduling: An Iterative Algorithm for Battery-Aware Task Scheduling on Portable Computing Platforms (JK, RV), pp. 622–627.
DATE-2005-StittV #approach #clustering #decompiler: A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms (GS, FV), pp. 396–397.
PDP-2005-BeaumontLMR #independence #memory management #scheduling: Independent and Divisible Tasks Scheduling on Heterogeneous Star-shaped Platforms with Limited Memory (OB, AL, LM, YR), pp. 179–186.
WRLA-2004-MasonT05 #framework #interactive #maude #named: IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude (IAM, CLT), pp. 315–333.
TACAS-2005-GanaiGA #framework #model checking #named #satisfiability #scalability #verification: DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems (MKG, AG, PA), pp. 575–580.
CAV-2005-IvancicYGGSA #framework #named #verification: F-Soft: Software Verification Platform (FI, ZY, MKG, AG, IS, PA), pp. 301–306.
TestCom-2005-BatoriA #framework #independence #modelling #testing #using: Using TTCN-3 for Testing Platform Independent Models (GB, DA), pp. 304–317.
SIGMOD-2004-Carey #framework #xml #xquery: XML in the Middle: XQuery in the WebLogic Platform (MJC), pp. 901–902.
SIGITE-2004-RomneyS #education #multi #network #security: An isolated, multi-platform network sandbox for teaching IT security system engineers (GWR, BRS), pp. 19–23.
IWPC-2004-FossW #framework #legacy #migration #on the: On Migrating a Legacy Application to the Palm Platform (AF, KW), pp. 231–235.
SCAM-2004-MaruyamaY #automation #framework #java #representation #source code #using #xml: A CASE Tool Platform Using an XML Representation of Java Source Code (KM, SY), pp. 158–167.
CHI-2004-GozaADS #framework: Telepresence control of the NASA/DARPA robonaut on a mobility platform (SMG, ROA, MAD, IMS), pp. 623–629.
EDOC-2004-AlmeidaDSP #development #framework #on the: On the Notion of Abstract Platform in MDA Development (JPAA, RMD, MvS, LFP), pp. 253–263.
EDOC-2004-BezivinHLJ #approach #framework #web #web service: Applying MDA Approach for Web Service Platform (JB, SH, DL, FJ), pp. 58–70.
ICPR-v4-2004-ShaoZZ #framework #robust: Robust Appearance-Based Tracking of Moving Object from Moving Platform (JS, SKZ, QZ), pp. 215–218.
KR-2004-FriedlandAWMSMASICPBC #analysis #independence #towards: Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems (NSF, PGA, MJW, GM, NS, PM, JA, SS, DJI, VKC, BWP, KB, PC), pp. 507–515.
AdaEurope-2004-AlvarezPOSN #ada #education #framework #realtime #using: Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada (BÁ, JAP, FJO, PS, PJNL), pp. 213–224.
RE-2004-PatricioFCN #elicitation #experience #interactive #multi #requirements: Customer Experience Requirements for Multi-platform Service Interaction: Bringing Services Marketing to the Elicitation of User Requirements (LP, RPF, JFeC, NJN), pp. 26–35.
SAC-2004-AtasuBM #implementation #performance: Efficient AES implementations for ARM based platforms (KA, LB, MM), pp. 841–845.
SAC-2004-BoninoCFF #framework #multi #semantics: Multilingual semantic elaboration in the DOSE platform (DB, FC, LF, AF), pp. 1642–1646.
SAC-2004-JuhaszC #clustering #multi #performance: Exploiting fast ethernet performance in multiplatform cluster environment (SJ, HC), pp. 1407–1411.
ASPLOS-2004-WangCWKGCYSMS #framework #multi #thread: Helper threads via virtual multithreading on an experimental itanium® 2 processor-based platform (PHW, JDC, HW, DK, BG, KMC, ABY, TS, SFM, JPS), pp. 144–155.
DAC-2004-Baron #configuration management #roadmap #using: Trends in the use of re-configurable platforms (MB), p. 415.
DAC-2004-Hopkins #approach #framework #mobile #multi: Nomadic platform approach for wireless mobile multimedia (MH), p. 408.
DAC-2004-KulkarniBS #domain-specific language #framework: Mapping a domain specific language to a platform FPGA (CK, GJB, GS), pp. 924–927.
DAC-2004-Sangiovanni-VincentelliCBS #challenge #design: Benefits and challenges for platform-based design (ALSV, LPC, FDB, MS), pp. 409–414.
DAC-2004-Smith #challenge #design #framework #question: Platform based design: does it answer the entire SoC challenge? (GS), p. 407.
DATE-DF-2004-GoelCMNO #design #framework: Test Infrastructure Design for the Nexperia? Home Platform PNX8550 System Chip (SKG, KC, EJM, TN, SO), pp. 108–113.
DATE-DF-2004-PaulinPBLL #framework #multi #performance: Application of a Multi-Processor SoC Platform to High-Speed Packet Forwarding (PGP, CP, EB, ML, DL), pp. 58–63.
DATE-DF-2004-Tissafi-DrissiOG #automation #design #framework #multi #named #performance: RUNE: Platform for Automated Design of Integrated Multi-Domain Systems. Application to High-Speed CMOS Photoreceiver Front-Ends (FTD, IO, FG), pp. 16–21.
DATE-v1-2004-ChenKS #process #scheduling: Configuration-Sensitive Process Scheduling for FPGA-Based Computing Platforms (GC, MTK, US), pp. 486–493.
DATE-v1-2004-DensmoreRS #architecture #development #framework #refinement: Microarchitecture Development via Metropolis Successive Platform Refinement (DD, SR, ALSV), pp. 346–351.
DATE-v1-2004-QuinnLBA #configuration management #framework #network: A System Level Exploration Platform and Methodology for Network Applications Based on Configurable Processors (DQ, BL, GB, EMA), pp. 364–371.
DATE-v1-2004-VianaBRAA #design #memory management #modelling #simulation: Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology (PV, EB, SR, RA, GA), pp. 734–735.
DATE-v2-2004-BoladoPCHSSFB #framework #industrial #open source: Platform Based on Open-Source Cores for Industrial Applications (MB, HP, JC, PH, PS, CS, HF, FB), pp. 1014–1019.
DATE-v2-2004-RosaPGL #configuration management #framework #implementation: Implementation of a UMTS Turbo-Decoder on a Dynamically Reconfigurable Platform (ALR, CP, FG, LL), pp. 1218–1223.
DATE-v2-2004-WieferinkKLAMBN #communication #framework #multi: A System Level Processor/Communication Co-Exploration Methodology for Multi-Processor System-on-Chip Platform (AW, TK, RL, GA, HM, GB, AN), pp. 1256–1263.
DATE-v2-2004-ZhuM #architecture #communication #framework #multi #prototype #specification #using: Using a Communication Architecture Specification in an Application-Driven Retargetable Prototyping Platform for Multiprocessing (XZ, SM), pp. 1244–1249.
PDP-2004-CardenasSPG #design #framework #multi #web: The Multikey Web Cache Simulator: A Platform for Designing Proxy Cache Management Techniques (LGC, JS, AP, JAG), pp. 390–397.
PDP-2004-GierschRV #scheduling: Scheduling Tasks Sharing Files on Heterogeneous Master-Slave Platforms (AG, YR, FV), p. 364–?.
DATE-2005-GalanisMTSG04 #clustering #configuration management #hybrid: A Partitioning Methodology for Accelerating Applications in Hybrid Reconfigurable Platforms (MDG, AM, GT, DS, CEG), pp. 247–252.
CAV-2004-Tan #framework #game studies #named: PlayGame: A Platform for Diagnostic Games (LT), pp. 492–495.
IJCAR-2004-MaricJ #framework #named: argo-lib: A Generic Platform for Decision Procedures (FM, PJ), pp. 213–217.
TestCom-2004-CavalliMZCMCML #multi #validation: A Multi-service and Multi-protocol Validation Platform-Experimentation Results (ARC, AM, FZ, PC, WM, RC, MM, PL), pp. 17–32.
SIGMOD-2003-MelnikRB #framework #model management #named #programming: Rondo: A Programming Platform for Generic Model Management (SM, ER, PAB), pp. 193–204.
VLDB-2003-NicklasGS #distributed #framework #named: NexusScout: An Advanced Location-Based Application on a Distributed, Open Mediation Platform (DN, MG, TS), pp. 1089–1092.
VLDB-2003-SrinivasaK #analysis #framework #multi: A Platform Based on the Multi-dimensional Data Model for Analysis of Bio-Molecular Structures (SS, SK), pp. 975–986.
CSMR-2003-BailesP #design #framework #re-engineering: Design Derivation of an Open, Java-Based Reengineering Platform (PAB, IP), pp. 239–248.
RTA-2003-BartheS #framework #induction #validation: Validation of the JavaCard Platform with Implicit Induction Techniques (GB, SS), pp. 337–351.
DiGRA-2003-Ericsson #case study #experience: Enchanting reality: a vision of big experiences on small platforms (ME).
EDOC-2003-AlmeidaSPQ #approach #concept #design #independence: A Systematic Approach to Platform-Independent Design Based on the Service Concept (JPAA, MvS, LFP, DACQ), pp. 112–123.
EDOC-2003-BelaundeBP #component #framework #implementation: Implementing EDOC business components on top of a CCM platform (MB, JB, THP), pp. 208–221.
ECIR-2003-BertoldiBCFGLS #framework: The ITC-irst News on Demand Platform (NB, FB, MC, MF, DG, EL, VS), pp. 520–527.
SEKE-2003-ChakiFGJKV #framework #mobile: Integrating Publish/Subscribe into a Mobile Teamwork Support Platform (SC, PF, HCG, SJ, EK, HV), pp. 510–517.
UML-2003-MullerSB #framework #independence #modelling #web: Platform Independent Web Application Modeling (PAM, PS, JB), pp. 220–233.
OOPSLA-2003-IshizakiTKSGIKOKYOOKN #compilation #effectiveness #java #optimisation: Effectiveness of cross-platform optimizations for a java just-in-time compiler (KI, MT, KK, TS, OG, TI, AK, KO, MK, TY, TO, TO, HK, TN), pp. 187–204.
AdaEurope-2003-HolstiL #framework #strict: Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software (NH, TL), pp. 92–101.
PADL-2003-PontelliBB #reasoning: Non-monotonic Reasoning on Beowulf Platforms (EP, MB, FB), pp. 37–57.
ICSE-2003-CasagniL #comparison #component #framework #multi: Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform (MC, ML), pp. 341–351.
DAC-2003-LekatsasHCJS #agile #framework #hardware #named #prototype: CoCo: a hardware/software platform for rapid prototyping of code compression technologies (HL, JH, STC, VJ, MS), pp. 306–311.
DATE-2003-BesanaB #automation #case study #code generation #design #framework #hardware: Application Mapping to a Hardware Platform through Automated Code Generation Targeting a RTOS: A Design Case Study (MB, MB), pp. 20041–20044.
DATE-2003-BriniBC #architecture #communication #flexibility #framework: A Flexible Virtual Platform for Computational and Communication Architecture Exploration of DMT VDSL Modems (SB, DB, FC), pp. 20164–20169.
DATE-2003-ChakrabortyKT #design #embedded #framework: A General Framework for Analysing System Properties in Platform-Based Embedded System Designs (SC, SK, LT), pp. 10190–10195.
DATE-2003-GrundmannGK #challenge #design #framework: Circuit and Platform Design Challenges in Technologies beyond 90nm (BG, RG, SK), pp. 10044–10049.
DATE-2003-HenftlingZBEZ #generative: Platform-Based Testbench Generation (RH, AZ, MB, WE, MZ), pp. 11038–11045.
DATE-2003-LangeK #configuration management #design #embedded #framework #hardware: Virtual Hardware Byte Code as a Design Platform for Reconfigurable Embedded Systems (SL, UK), pp. 10302–10309.
DATE-2003-MarchalGPBBCC #energy #memory management #multi: SDRAM-Energy-Aware Memory Allocation for Dynamic Multi-Media Applications on Multi-Processor Platforms (PM, JIG, LP, DB, LB, FC, HC), pp. 10516–10523.
DATE-2003-PaulinPB #challenge #framework #network: Network Processing Challenges and an Experimental NPU Platform (PGP, CP, EB), pp. 20064–20069.
DATE-2003-VanzagoBCL #configuration management #design #framework #protocol: Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform (LV, BB, JC, LL), pp. 10662–10667.
HPCA-2003-Bhandarkar #enterprise: Billion Transistor Chips in Mainstream Enterprise Platforms of the Future (DB), p. 3.
HPDC-2003-JiangX #architecture #named #on-demand: SODA: A Service-On-Demand Architecture for Application Service Hosting Utility Platforms (XJ, DX), pp. 174–183.
HPDC-2003-SpenceH #distributed #framework #named #resource management: XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform (DS, TH), pp. 216–225.
PDP-2003-CalafateM #development #interface #multi #programming #protocol: A multi-platform programming interface for protocol development (CMTC, PM), pp. 243–249.
PPoPP-2003-SaundersR #adaptation #communication #framework #independence #library #named: ARMI: an adaptive, platform independent communication library (SS, LR), pp. 230–241.
SOSP-2003-GarfinkelPCRB #framework #named #virtual machine: Terra: a virtual machine-based platform for trusted computing (TG, BP, JC, MR, DB), pp. 193–206.
SIGMOD-2002-FlorescuGKR #framework #named #web #web service: XL: a platform for web services (DF, AG, DK, SR), p. 625.
ITiCSE-2002-Pardo #automation #framework #multi: A multi-agent platform for automatic assignment management (AP), pp. 60–64.
ICSM-2002-ZouK #approach #migration #object-oriented: Migration to Object Oriented Platforms: A State Transformation Approach (YZ, KK), pp. 530–539.
WCRE-2002-BouillonV #web: Retargeting of Web Pages to Other Computing Platforms with VAQUITA (LB, JV), p. 339–?.
WCRE-2002-WillsTJW #framework #parallel: Estimating Potential Parallelism for Platform Retargeting (LMW, TMT, LBBJ, DSW), pp. 55–64.
EDOC-2002-BurtBROA #framework #independence #modelling #quality: Quality of Service Issues Related to Transforming Platform Independent Models to Platform Specific Models (CCB, BRB, RRR, AMO, MA), p. 212–?.
EDOC-2002-OserGGG #framework #incremental: The LEAF Platform: Incremental Enhancements for the J2EE (PO, CG, DG, RG), pp. 238–248.
SPLC-2002-Linden #architecture #overview #perspective #process #product line: Engineering Software Architectures, Processes and Platforms for System Families — ESAPS Overview (FvdL), pp. 383–398.
SPLC-2002-Wijnstra #approach #product line: Critical Factors for a Successful Platform-Based Product Family Approach (JGW), pp. 68–89.
SIGAda-2002-Brooke #development #distributed: Development of a distributed, cross-platform simulator (TCB), pp. 12–21.
SAC-2002-MagninPDBT: Our guest agents are welcome to your agent platforms (LM, VTP, AD, NB, AT), pp. 107–114.
DAC-2002-RaviRPS #design #framework #security: System design methodologies for a wireless security processing platform (SR, AR, NRP, MS), pp. 777–782.
DAC-2002-RichterZJE #analysis #composition #design #framework #scheduling: Model composition for scheduling analysis in platform design (KR, DZ, MJ, RE), pp. 287–292.
DATE-2002-GerousisLPPRS #framework #question: Who Owns the Platform? (VG, OL, PGP, MP, CR, GS), p. 238.
DATE-2002-GuccioneVB #configuration management #design: Design Technology for Networked Reconfigurable FPGA Platforms (SG, DV, IB), pp. 994–997.
DATE-2002-LeeWH #design #implementation #multi #runtime: Dynamic Runtime Re-Scheduling Allowing Multiple Implementations of a Task for Platform-Based Designs (TML, WW, JH), pp. 296–301.
OSDI-2002-UrgaonkarSR #profiling: Resource Overbooking and Application Profiling in Shared Hosting Platforms (BU, PJS, TR), pp. 239–254.
DocEng-2001-PhelpsW #framework #multi: The multivalent browser: a platform for new ideas (TAP, RW), pp. 58–67.
ECDL-2001-BainbridgeBMJMW #distributed #framework #library #named: Greenstone: A Platform for Distributed Digital Library Applications (DB, GB, JRM, SJ, AM, IHW), pp. 137–148.
VLDB-2001-CareyKRLABFLOPQRSSUVWY #distributed #framework: The Propel Distributed Services Platform (MJC, SK, MR, BVdL, NA, MB, DF, DL, IO, RP, RQ, DR, JCS, BS, TU, BV, DW, KY), pp. 671–674.
ICSM-2001-DeruelleBMB #co-evolution #framework #multi: A Change Propagation Model and Platform for Multi-Database Applications (LD, MB, NM, HB), pp. 42–51.
IFL-2001-ScaifeMH #comparative #compilation #performance: Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler (NS, GM, SH), pp. 138–154.
CHI-2001-PattenIHP #framework #named #user interface: Sensetable: a wireless object tracking platform for tangible user interfaces (JP, HI, JH, GP), pp. 253–260.
CHI-2001-RekimotoUO #composition #framework #interactive #named #physics #visual notation: DataTiles: a modular platform for mixed physical and graphical interactions (JR, BU, HO), pp. 269–276.
EDOC-2001-TojiWHS #framework #multi #smarttech: A Network-Based Platform for Multi-Application Smart Cards (RT, YW, SH, KS), p. 34–?.
CIKM-2001-PapakonstantinouV #framework #integration #lessons learnt: The Enosys Markets Data Integration Platform: Lessons from the Trenches (YP, VV), pp. 538–540.
KDD-2001-Netz #data mining #database #developer #framework #mining: Data mining platform for database developers (AN), p. 14.
SIGIR-2001-RollekeLK #framework #retrieval: The HySpirit Retrieval Platform (TR, RL, GK), p. 454.
TOOLS-USA-2001-Pour #enterprise #framework #java: Java 2 Platform Enterprise Edition (J2EE) for Building Web-Based Enterprise Applications (GP), p. 336.
GCSE-2001-Wijnstra #architecture #component #framework #interface #modelling: Components, Interfaces and Information Models within a Platform Architecture (JGW), pp. 25–35.
SAC-2001-Jeng #framework #towards: Towards a universal service-computing platform via virtual service machine (JJJ), pp. 663–667.
DATE-2001-DemmelerG #communication #framework #integration: A universal communication model for an automotive system integration platform (TD, PG), pp. 47–54.
DATE-2001-LockCM #framework #programmable #question: The programmable platform: does one size fit all? (AL, RC, HM), pp. 226–227.
PDP-2001-EnblomL #adaptation #flexibility #framework #industrial #multi #performance #realtime: Adding Flexibility and Real-Time Performance by Adapting a Single Processor Industrial Application to a Multiprocessor Platform (LE, LL), pp. 487–490.
ESOP-2001-BartheDJSS #execution #framework #semantics: A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.
CAV-2001-LeuckerN #concurrent #framework #named #parallel #verification: Truth/SLC — A Parallel Verification Platform for Concurrent Systems (ML, TN), pp. 255–259.
VLDB-2000-Banerjee #database #framework: A Database Platform for Bioinformatics (SB), pp. 705–710.
EDOC-2000-QuEM #framework #implementation #protocol: Implementation of an Enterprise-Level Groupware System Based on J2EE Platform and WebDAV Protocol (CQ, TE, CM), pp. 160–169.
EDOC-2000-ShrivastavaBFHPW #framework #workflow: A Workflow and Agent Based Platform for Service Provisioning (SKS, LB, DF, MH, NDP, SMW), pp. 38–47.
ICPR-v4-2000-DavisPD #framework: Tracking Humans from a Moving Platform (LSD, VP, RD), pp. 4171–4178.
SPLC-2000-AmericaOOL #architecture #component #framework #named #product line: CoPAM: A component-oriented platform architecting method family for product family engineering (PA, JHO, RCvO, FvdL), pp. 167–180.
SPLC-2000-Pronk #approach #framework #interface: An Interface-based platform approach (BJP), pp. 331–352.
ICSE-2000-Liu #automation #independence #testing: Platform-independent and tool-neutral test descriptions for automated software testing (CL), pp. 713–715.
DATE-2000-HaugKR #design #framework #hardware: A Hardware Platform for VLIW Based Emulation of Digital Designs (GH, UK, WR), p. 747.
CADE-2000-GiunchigliaT #development #framework: System Description: *SAT: A Platform for the Development of Modal Decision Procedures (EG, AT), pp. 291–296.
IFL-1999-WieringAP #framework #game studies #using: Using Clean for Platform Games (MW, PA, MJP), pp. 1–17.
HCI-CCAD-1999-HandlH #framework #named: MALL2000 — A document-based platform for negotiations in electronic commerce (DH, HJH), pp. 1142–1146.
HCI-CCAD-1999-VuongN #framework #network: Network centric computing platform — the contribution of telcos to networking companies (TAV, JN), pp. 472–476.
EDOC-1999-StiemerlingHC #component #evolution #framework: The Evolve tailoring platform: supporting the evolution of component-based groupware (OS, RH, ABC), pp. 106–115.
ICEIS-1999-Falsarella #corba #execution #framework #implementation #multi #using: Multi Language and Multi Platform Suport for Agent Execution Using CORBA Platform-An Implementation (OMF), p. 772.
ICEIS-1999-Pinto #distributed #framework #network #overview: Distributed Networking Computer Model: SUNs JINI as an Advance in the Technology-An Overview of Javas Distributed Platform (HJPBPP), p. 790.
KDD-1999-CortesP #agile #deployment #framework #mining: Information Mining Platforms: An Infrastructure for KDD Rapid Deployment (CC, DP), pp. 327–331.
SIGAda-1999-BuhlerF #ada #corba #framework #independence #information management #java: Applying Ada, Java and CORBA for making a command and control information system platform independent (GB, HF), pp. 83–88.
SAC-1999-CallahanT #finite #implementation #parallel: Parallel Implementation of a Frontal Finite Element Solver on Multiple Platforms (JDC, JMT), pp. 491–495.
DATE-1999-OchiaiINEO #embedded #framework #performance #video: High-speed Software-based Platform for Embedded Software of a Single-chip MPEG-2 Video Encoder LSI with HDTV Scalabilit (KO, HI, JN, ME, TO), pp. 303–308.
PDP-1999-RosatoPC #framework #parallel #simulation #using: Simulation of X-ray diffraction patterns using a massively parallel SIMD platform (VR, NP, FC), pp. 315–320.
SIGMOD-1998-BlakeleyP #data access #framework: Microsoft Universal Data Access Platform (JAB, MP), pp. 502–503.
SIGMOD-1998-WhiteCF #data access #enterprise #framework #java: Enterprise Java Platform Data Access (SJW, RGGC, SJF), pp. 504–505.
IWPC-1998-CanforaCLL #legacy #migration #source code #towards: Decomposing Legacy Programs: A First Step Towards Migrating to Client-Server Platforms (GC, AC, ADL, GADL), pp. 136–144.
EDOC-1998-Keller #corba #enterprise #towards: Towards CORBA-based enterprise management: managing CORBA-based systems with SNMP platforms (AK), pp. 330–341.
KDD-1998-DomshlakGGLMRS #flexibility #framework #named #research: FlexiMine — A Flexible Platform for KDD Research and Application Construction (CD, DG, EG, NL, AM, TR, SES), pp. 184–188.
TOOLS-USA-1998-SoulieMCC #framework #object-oriented #simulation: GEAMAS V2.0: An Object Oriented Platform for Complex Systems Simulations (JCS, PM, SC, RC), p. 230–?.
PDP-1998-CrookesBSMRM #framework #image #parallel #performance: An efficient, portable software platform for parallel image processing (DC, JB, ITAS, PJM, DKR, GM), pp. 237–242.
PDP-1998-MesserS #concept #framework: Work platforms: basic infrastructure for groupware-a conceptual framework (BM, KS), pp. 309–317.
CADE-1998-MazureSG #framework #satisfiability: System Description: CRIL Platform for SAT (BM, LS, ÉG), pp. 124–128.
ICSM-1997-LuccaFGP #legacy #migration #object-oriented #towards: Migrating Legacy Systems towards Object-Oriented Platforms (GADL, ARF, PG, SP), pp. 122–129.
ICSM-2000-PearseO #case study #experience #maintenance #multi: Experiences Developing and Maintaining Software in a Multi-Platform Environment (TTP, PWO), pp. 270–277.
ICALP-1997-MehlhornNU #combinator #framework #geometry: The LEDA Platform of Combinatorial and Geometric Computing (KM, SN, CU), pp. 7–16.
HCI-CC-1997-Angehrn #analysis #framework: An Agent-Centered Framework for the Analysis and Diagnosis of Organizational Groupware Platforms (AAA), pp. 289–292.
HCI-SEC-1997-KeysonS #design #framework #interface #multimodal: TacTool v2.0: An Object-Based Multimodal Interface Design Platform (DVK, LvS), pp. 311–314.
HCI-SEC-1997-MonclarJK #adaptation #framework #interactive #named: ELICO: A Platform for Dynamic Adaptation of User-System Interaction (FRM, IJ, JPK), pp. 11–14.
TOOLS-ASIA-1997-XiaogangLH #corba #distributed #framework #named: YHCS2: A CORBA-Compliant Distributed C/S Computing Platform (HX, XL, HW), pp. 374–378.
SAC-1997-OHara #framework: Microsoft Windows CE: a new handheld computing platform (RO), pp. 295–296.
SAC-1997-RobertRB #development #integration: A cooperative mission development environment for crossplatform integration (MAR, CR, CB), pp. 180–181.
ITiCSE-1996-BatlleMP #education #framework: A built-in educational platform for integrating computer engineering technologies (JB, JM, LP), p. 229.
WCRE-1996-LewisM #embedded #framework #parallel #re-engineering #realtime: Reengineering Real-Time Embedded Software onto a Parallel Processing Platform (BL, DJM), p. 11–?.
CAiSE-1996-HanneghanMC #concurrent #framework #interactive #web: The World-Wide Web as Platform for Supporting Interactive Concurrent Engineering (MH, MM, GC), pp. 301–318.
CIKM-1996-OzcanNKED #distributed #framework #optimisation #query: Dynamic Query Optimization on a Distributed Object Management Platform (FÖ, SN, PK, CE, AD), pp. 117–124.
TRI-Ada-1996-Westley #ada #development #independence #named #tool support #user interface #visual notation: TASH: A Free Platform-Independent Graphical User Interface Development Toolkit for Ada (TJW), pp. 165–178.
ICSE-1996-BifflGO #case study #distributed #experience: Engineering an “Open” Client/Server-Platform for a Distributed Austrian Alpine Road-Pricing System in 240 Days: Case Study and Experience Report (SB, TG, SO), pp. 115–124.
CAV-1996-PnueliS #algorithm #deduction #framework #verification: A Platform for Combining Deductive with Algorithmic Verification (AP, ES), pp. 184–195.
VLDB-1995-Spintzik #parallel #scalability: Informix-Online XPS: A Dynamically Scalable RDBMS for Open Parallel Platforms (HS), p. 706.
CHI-1995-NigayC #challenge #framework #multimodal: A Generic Platform for Addressing the Multimodal Challenge (LN, JC), pp. 98–105.
ECOOP-1995-SchmidtS #communication #design pattern #experience #using: Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms (DCS, PS), pp. 399–423.
HPDC-1995-BaratlooDK #distributed #fault tolerance #named #novel #parallel: CALYPSO: A Novel Software System for Fault-Tolerant Parallel Processing on Distributed Platforms (AB, PD, ZMK), pp. 122–129.
SIGMOD-1994-Fernandez: Red Brick Warehouse: A Read-Mostly RDBMS for Open SMP Platforms (PMF), p. 492.
SAC-1994-HuangL #framework #multi: A platform for multimedia information exchange (CMH, CML), pp. 551–555.
HCI-SHI-1993-WojtkowskiW #authoring #development #multi #tool support: Multimedia Development Platforms and Authoring Tools: Practical and Theoretical Frontiers (WW, WGW), pp. 537–542.
TRI-Ada-1993-FergusonW #ada #framework #independence #syntax: Platform Independent Translations for a Compilable Ada Abstract Syntax (WDF, JKW), pp. 312–322.
TRI-Ada-1993-FilareyRRSD #ada #framework: Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades (ARF, WER, RR, PS, LDM), pp. 90–101.
PPoPP-1993-MorrisettT #framework #ml #multi #standard: Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.
CSCW-1992-Resnick #framework #named: HyperVoice: A Phone-Based CSCW Platform (PR), pp. 218–225.
AdaEurope-1992-Do #ada #challenge #compilation #integration #reuse: Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms (TND), pp. 230–241.
ICSE-1979-DAgapayeff #framework #on the: On Microprocessors: A Platform for True Program Portability with Examples from Microcobal (AD), pp. 332–339.