BibSLEIGH — comput stem

Used together with:

system (486)
base (348)
use (323)
scienc (321)
design (293)

Stem comput$ (all stems)

4319 papers:

QoSA-2015-LehrigEB #bibliography #in the cloud #metric #performance #scalability: Scalability, Elasticity, and Efficiency in Cloud Computing: a Systematic Literature Review of Definitions and Metrics (SL, HE, SB), pp. 83–92.
WICSA-2015-ZimmermannWKG #architecture #in the cloud #modelling #problem: Architectural Decision Guidance Across Projects — Problem Space Modeling, Decision Backlog Management and Cloud Computing Knowledge (OZ, LW, HK, TG), pp. 85–94.
CASE-2015-FeiAR #bound #clustering #resource management #symbolic computation #using: Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, KÅ, SAR), pp. 799–806.
CASE-2015-HuZW: Direct computation of minimal rotation for support slimming (KH, XZ, CCLW), pp. 936–941.
CASE-2015-LiS #parallel: A parallel computing model for container terminal logistics (BL, WS), pp. 267–273.
DAC-2015-HanF #analysis #approach #cpu #gpu #graph #scalability: Transient-simulation guided graph sparsification approach to scalable harmonic balance (HB) analysis of post-layout RF circuits leveraging heterogeneous CPU-GPU computing systems (LH, ZF), p. 6.
DAC-2015-Hayes #challenge #probability: Introduction to stochastic computing and its challenges (JPH), p. 3.
DAC-2015-LiLSH #approximate #optimisation #precise #synthesis: Joint precision optimization and high level synthesis for approximate computing (CL, WL, SSS, JH), p. 6.
DAC-2015-LiuKDK #data access #network #reduction: Network footprint reduction through data access and computation placement in NoC-based manycores (JL, JK, WD, MTK), p. 6.
DAC-2015-LiuMLLCLWJBWY #configuration management #design #named: RENO: a high-efficient reconfigurable neuromorphic computing accelerator design (XL, MM, BL, HL, YC, BL, YW, HJ, MB, QW, JY), p. 6.
DAC-2015-LiuZ #configuration management #performance: A reconfigurable analog substrate for highly efficient maximum flow computation (GL, ZZ), p. 6.
DAC-2015-LiXGWY #interface: Merging the interface: power, area and accuracy co-optimization for RRAM crossbar-based mixed-signal computing system (BL, LX, PG, YW, HY), p. 6.
DAC-2015-PalerD #fault tolerance #quantum: An introduction into fault-tolerant quantum computing (AP, SJD), p. 6.
DAC-2015-VenkataramaniCR #approximate #performance: Approximate computing and the quest for computing efficiency (SV, STC, KR, AR), p. 6.
DAC-2015-WangH0LL #logic #memory management #named: ProPRAM: exploiting the transparent logic resources in non-volatile memory for near data computing (YW, YH, LZ, HL, XL), p. 6.
DAC-2015-WangJSX #adaptation #architecture #human-computer #interface: Adaptive compressed sensing architecture in wireless brain-computer interface (AW, ZJ, CS, WX), p. 6.
DAC-2015-WangR #design #tool support: Design tools for oscillator-based computing systems (TW, JR), p. 6.
DAC-2015-WenWHLHLC #framework #hybrid #scalability: An EDA framework for large scale hybrid neuromorphic computing systems (WW, CRW, XH, BL, TYH, XL, YC), p. 6.
DATE-2015-AhsanK #architecture #optimisation #quantum #using: Optimization of quantum computer architecture using a resource-performance simulator (MA, JK), pp. 1108–1113.
DATE-2015-AndradeMVAPL #analysis #data flow #modelling: Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATE-2015-ArumugamSAPUBPY #algorithm #co-evolution #design #energy #memory management #novel #performance: Novel inexact memory aware algorithm co-design for energy efficient computation: algorithmic principles (GPA, PS, JA, KVP, EU, AB, P, SY), pp. 752–757.
DATE-2015-CalayirDWP #multi #programmable: Analog neuromorphic computing enabled by multi-gate programmable resistive devices (VC, MD, JAW, LP), pp. 928–931.
DATE-2015-ChenLH #approximate #reliability: An approximate voting scheme for reliable computing (KC, FL, JH), pp. 293–296.
DATE-2015-DamschenRVP: Transparent offloading of computational hotspots from binary code to Xeon Phi (MD, HR, GV, CP), pp. 1078–1083.
DATE-2015-DubenSPYAEPP #big data #case study #energy #performance: Opportunities for energy efficient computing: a study of inexact general purpose processors for high-performance and big-data applications (PDD, JS, P, SY, JA, CCE, KVP, TNP), pp. 764–769.
DATE-2015-HamdiouiXNTBCJC #architecture #data-driven #in memory: Memristor based computation-in-memory architecture for data-intensive applications (SH, LX, HADN, MT, KB, HC, HJ, FC, DW, LE, JvL), pp. 1718–1725.
DATE-2015-HanyuSOMNM #architecture #in memory #paradigm #power management #reliability #towards: Spintronics-based nonvolatile logic-in-memory architecture towards an ultra-low-power and highly reliable VLSI computing paradigm (TH, DS, NO, SM, MN, AM), pp. 1006–1011.
DATE-2015-MajumderPK #architecture #biology #manycore: On-chip network-enabled many-core architectures for computational biology applications (TM, PPP, AK), pp. 259–264.
DATE-2015-PaganiCSH #modelling #named #performance: MatEx: efficient transient and peak temperature computation for compact thermal models (SP, JJC, MS, JH), pp. 1515–1520.
DATE-2015-RahaVRR #approximate #configuration management #energy #performance #quality: Quality configurable reduce-and-rank for energy efficient approximate computing (AR, SV, VR, AR), pp. 665–670.
DATE-2015-VenkataramaniBH #named: SAPPHIRE: an always-on context-aware computer vision system for portable devices (SV, VB, XSH, JL, JL, MP, BP, MS), pp. 1491–1496.
DATE-2015-VenkataramaniCR #approximate: Computing approximately, and efficiently (SV, STC, KR, AR), pp. 748–751.
DATE-2015-VenkatesanVFRR #energy #logic #named: Spintastic: spin-based stochastic logic for energy-efficient computing (RV, SV, XF, KR, AR), pp. 1575–1578.
DATE-2015-ZhangWTYX #approximate #framework #named #network: ApproxANN: an approximate computing framework for artificial neural network (QZ, TW, YT, FY, QX), pp. 701–706.
DocEng-2015-MeiKYRIMM #performance #word: Efficient Computation of Co-occurrence Based Word Relatedness (JM, XK, ZY, ARC, AI, AM, EEM), pp. 43–46.
PODS-2015-GottlobPS #dependence: Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.
PODS-2015-Jordan #big data: Computational Thinking, Inferential Thinking and “Big Data” (MIJ), p. 1.
SIGMOD-2015-ChangLQYZ #algorithm #component: Index-based Optimal Algorithms for Computing Steiner Components with Maximum Connectivity (LC, XL, LQ, JXY, WZ), pp. 459–474.
SIGMOD-2015-YuSC #dependence #distributed #matrix #performance: Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.
VLDB-2015-BoghCA #gpu #parallel: Work-Efficient Parallel Skyline Computation for the GPU (KSB, SC, IA), pp. 962–973.
VLDB-2015-ZhouLLZ #graph #named #optimisation #performance: GraphTwist: Fast Iterative Graph Computation with Two-tier Optimizations (YZ, LL, KL, QZ), pp. 1262–1273.
ITiCSE-2015-AdsheadBLS: Changing Culture: Educating the Next Computer Scientists (DA, CB, DL, PS), pp. 33–38.
ITiCSE-2015-AlshammariAH #adaptation #education #learning #security: The Impact of Learning Style Adaptivity in Teaching Computer Security (MA, RA, RJH), pp. 135–140.
ITiCSE-2015-Aycock #education #experience #topic: Applied Computer History: Experience Teaching Systems Topics through Retrogames (JA), pp. 105–110.
ITiCSE-2015-BarbaC: Tangible Media Approaches to Introductory Computer Science (EB, SC), pp. 207–212.
ITiCSE-2015-CaetanoO #performance: Computational Thinking and Child Performance in a Preschool (GC, OO), pp. 57–62.
ITiCSE-2015-Cukierman #learning #predict #process #student: Predicting Success in University First Year Computing Science Courses: The Role of Student Participation in Reflective Learning Activities and in I-clicker Activities (DC), pp. 248–253.
ITiCSE-2015-DiethelmG #education: Questions on Spoken Language and Terminology for Teaching Computer Science (ID, JG), pp. 21–26.
ITiCSE-2015-FalknerSMST #gender: Gender Gap in Academia: Perceptions of Female Computer Science Academics (KEF, CS, DM, AS, ST), pp. 111–116.
ITiCSE-2015-Hamilton #education #learning: Learning and Teaching Computing Sustainability (MH), p. 338.
ITiCSE-2015-Harms15a #java #using: Using Personal Robots and Myro/Java in the First Computer Science Course (DEH), p. 332.
ITiCSE-2015-KafuraBC #design: Design and Preliminary Results From a Computational Thinking Course (DGK, ACB, BC), pp. 63–68.
ITiCSE-2015-LarreaDEI #evolution: Capstone Projects Evolution over a Decade in a Computer Science Engineering Degree (JJOL, CD, AJE, FJGI), p. 336.
ITiCSE-2015-LewisKMS: The Exploring Computer Science Course, Attendance and Math Achievement (DWL, LK, TM, MS), pp. 147–152.
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.
ITiCSE-2015-McDermottDC #metric #student: Perseverance Measures and Attainment in First Year Computing Science Students (RM, MD, ÅC), pp. 302–307.
ITiCSE-2015-Meerbaum-Salant #industrial: “Computer Science, Academia and Industry” as pedagogical model to enhance Computational thinking (OMS, BH, SP), p. 341.
ITiCSE-2015-SettleLS #community #learning: A Computer Science Linked-courses Learning Community (AS, JL, TS), pp. 123–128.
ITiCSE-2015-Silvis-Cividjian #approach #education #multi #pervasive: Teaching Pervasive Computing to CS Freshmen: A Multidisciplinary Approach (NSC), pp. 195–200.
ITiCSE-2015-SimonS #education: Academic Integrity and Professional Integrity in Computing Education (S, JS), pp. 237–241.
ITiCSE-2015-SinclairBMK #metric #student: Measures of Student Engagement in Computer Science (JS, MB, MM, SK), pp. 242–247.
ITiCSE-2015-Soyslo #algorithm #student: From Algorithmic to Computational Thinking: On the Way for Computing for all Students (MMS), p. 1.
ITiCSE-2015-TarmazdiVSFF #learning #using #visualisation: Using Learning Analytics to Visualise Computer Science Teamwork (HT, RV, CS, KEF, NJGF), pp. 165–170.
ITiCSE-2015-Thomas #algorithm #women: Supporting Computational Algorithmic Thinking (SCAT): Exploring the difficulties African-American middle school girls face while enacting computational algorithmic thinking (JOT), pp. 69–74.
ITiCSE-2015-WangHRI #difference #gender: Gender Differences in Factors Influencing Pursuit of Computer Science and Related Fields (JW, HH, JR, MI), pp. 117–122.
ESOP-2015-CicekGA #complexity #incremental #refinement: Refinement Types for Incremental Computational Complexity (EÇ, DG, UAA), pp. 406–431.
FoSSaCS-2015-GenestPS #memory management: Knowledge = Observation + Memory + Computation (BG, DP, SS), pp. 215–229.
FoSSaCS-2015-LeivantR: The Computational Contents of Ramified Corecurrence (DL, RR), pp. 422–435.
MSR-2015-BurletH #community #empirical #music: An Empirical Study of End-User Programmers in the Computer Music Community (GB, AH), pp. 292–302.
SANER-2015-AlawnehHH #analysis #metamodelling #performance #towards: Towards a common metamodel for traces of high performance computing systems to enable software analysis tasks (LA, AHL, JH), pp. 111–120.
STOC-2015-AaronsonA #named #problem #quantum: Forrelation: A Problem that Optimally Separates Quantum from Classical Computing (SA, AA), pp. 307–316.
STOC-2015-BackursI #distance #edit distance: Edit Distance Cannot Be Computed in Strongly Subquadratic Time (unless SETH is false) (AB, PI), pp. 51–58.
STOC-2015-GroheS: Computing with Tangles (MG, PS), pp. 683–692.
DLT-2015-OttoK #automaton #order: Deterministic Ordered Restarting Automata that Compute Functions (FO, KK), pp. 401–412.
DLT-2015-Yamakami #bound #complexity #quantum: Complexity Bounds of Constant-Space Quantum Computation — (Extended Abstract) (TY), pp. 426–438.
ICALP-v1-2015-AmanatidisMNS #algorithm #approximate: Approximation Algorithms for Computing Maximin Share Allocations (GA, EM, AN, AS), pp. 39–51.
ICALP-v1-2015-NayyeriS #distance: Computing the Fréchet Distance Between Polygons with Holes (AN, AS), pp. 997–1009.
ICALP-v2-2015-MazzaT: Parsimonious Types and Non-uniform Computation (DM, KT), pp. 350–361.
ICALP-v2-2015-Zetzsche #approach: An Approach to Computing Downward Closures (GZ), pp. 440–451.
LATA-2015-BachmeierLS #automaton #complexity #finite: Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity (GB, ML, MS), pp. 473–485.
LATA-2015-FiciLLP #online: Online Computation of Abelian Runs (GF, TL, AL, ÉPG), pp. 391–401.
LATA-2015-LiH #algebra #automaton #network #on the: On Observability of Automata Networks via Computational Algebra (RL, YH), pp. 249–262.
FM-2015-AlTurkiA #distributed #framework #towards #using #verification #𝕂: Towards Formal Verification of Orchestration Computations Using the 𝕂 Framework (MAA, OA), pp. 40–56.
SFM-2015-ArbabJ #coordination #manycore: Coordinating Multicore Computing (FA, SSTQJ), pp. 57–96.
CHI-2015-AhmedMJ: Residual Mobilities: Infrastructural Displacement and Post-Colonial Computing in Bangladesh (SIA, NJM, SJJ), pp. 437–446.
CHI-2015-AmirGGSS #coordination: From Care Plans to Care Coordination: Opportunities for Computer Support of Teamwork in Complex Healthcare (OA, BJG, KZG, SMS, LMS), pp. 1419–1428.
CHI-2015-AmmaKBS #interface: Advancing Muscle-Computer Interfaces with High-Density Electromyography (CA, TK, JB, TS), pp. 929–938.
CHI-2015-EngelWACTNKKM #collaboration: Collective Intelligence in Computer-Mediated Collaboration Emerges in Different Contexts and Cultures (DE, AWW, IA, CFC, MT, KN, CK, YJK, TWM), pp. 3769–3778.
CHI-2015-FaircloughKG #classification #interactive #realtime: Classification Accuracy from the Perspective of the User: Real-Time Interaction with Physiological Computing (SHF, AJK, KMG), pp. 3029–3038.
CHI-2015-GrevetG #prototype #scalability #social #using: Piggyback Prototyping: Using Existing, Large-Scale Social Computing Systems to Prototype New Ones (CG, EG), pp. 4047–4056.
CHI-2015-MiniukovichA #interface: Computation of Interface Aesthetics (AM, ADA), pp. 1163–1172.
CHI-2015-MunteanuMMROV #human-computer #interactive #requirements: Situational Ethics: Re-thinking Approaches to Formal Ethics Requirements for Human-Computer Interaction (CM, HM, WM, MR, SO, JV), pp. 105–114.
CHI-2015-PerrierDDAKUJ #communication #human-computer #hybrid #women: Engaging Pregnant Women in Kenya with a Hybrid Computer-Human SMS Communication System (TP, ND, BD, RJA, JK, JU, GJS), pp. 1429–1438.
CHI-2015-Walther-FranksS #design #game studies #learning: Robots, Pancakes, and Computer Games: Designing Serious Games for Robot Imitation Learning (BWF, JS, PS, AH, MB, RM), pp. 3623–3632.
CHI-2015-WeigelLBOMS #flexibility #mobile #named #visual notation: iSkin: Flexible, Stretchable and Visually Customizable On-Body Touch Sensors for Mobile Computing (MW, TL, GB, AO, CM, JS), pp. 2991–3000.
CHI-2015-YerousisARRRW #bound: Computer-Enabled Project Spaces: Connecting with Palestinian Refugees across Camp Boundaries (GPY, KA, TvR, DWR, MR, VW), pp. 3749–3758.
CSCW-2015-CheatleJ #collaboration: Digital Entanglements: Craft, Computation and Collaboration in Fine Art Furniture Production (AC, SJJ), pp. 958–968.
CSCW-2015-HeymanA: Computer Support for Financial Advisors and Their Clients: Co-creating an Investment Plan (SH, HA), pp. 1313–1323.
DHM-HM-2015-WangHM #case study: A Study on Characteristic of Calligraphy Characters Part 1 Analytical Method with Computer Technology (ZW, IH, ZM), pp. 419–428.
DUXU-DD-2015-BarrosSRTBS #approach #human-computer #interface #usability: A Usability Study of a Brain-Computer Interface Apparatus: An Ergonomic Approach (RQB, GS, CR, RT, MQB, MMS), pp. 224–236.
DUXU-DD-2015-Frankjaer #network #smarttech #social: Soft Computation in the Public Sphere: Enhancing Social Dynamics with Wearable Networks (TRF), pp. 447–457.
DUXU-DD-2015-Liffick #social #years after: Twenty Years on: A Second Look at 10 Important Social Impact Characteristics of Computer Technology (BWL), pp. 328–338.
DUXU-IXD-2015-DesouzartF #human-computer #interactive: Human-Computer Interaction in Bed (GD, EF), pp. 596–605.
DUXU-IXD-2015-LapasO #evaluation #experience #game studies #interactive #user interface: Evaluation of User Experience in Interaction with Computer Games (TL, TO), pp. 271–282.
DUXU-UI-2015-AmaralBBM #concept #human-computer #women: Introducing Computer Science to Brazilian Girls in Elementary School Through HCI Concepts (MAA, SAB, CB, CM), pp. 141–152.
DUXU-UI-2015-ChngC #3d #case study #interactive #multi: User Study on 3D Multitouch Interaction (3DMi) and Gaze on Surface Computing (EC, NC), pp. 425–433.
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-MedolaLBSFP #case study #experience #problem: Experiences, Problems and Solutions in Computer Usage by Subjects with Tetraplegia (FOM, JL, CGB, AS, AEF, LCP), pp. 131–137.
HCI-DE-2015-Kelly #experience #interactive: Interactions in Affective Computing: Sharing a Haptic Experience Increases Calmness and Closeness (NK), pp. 477–488.
HCI-DE-2015-SamaniSJ #interactive: Biologically Inspired Artificial Endocrine System for Human Computer Interaction (HAS, ES, B(J), pp. 71–81.
HCI-DE-2015-ZhangBL #design #human-computer #interactive: Emotional Engagement for Human-Computer Interaction in Exhibition Design (MZ, CdB, WL), pp. 542–549.
HCI-IT-2015-GohPL #game studies: An Investigation of Reward Systems in Human Computation Games (DHLG, EPPPT, CSL), pp. 596–607.
HCI-IT-2015-ScavarelliA #interactive: An Exploration of Shape in Crowd Computer Interactions (AS, AA), pp. 775–786.
HCI-UC-2015-DantecWCM #ecosystem: Cycle Atlanta and OneBusAway: Driving Innovation Through the Data Ecosystems of Civic Computing (CALD, KEW, RJC, EDM), pp. 327–338.
HCI-UC-2015-GandyBLLMCS #concept: Midtown Buzz: Bridging the Gap Between Concepts and Impact in a Civic Computing Initiative (MG, LDB, LML, AJL, EDM, RJC, MS), pp. 303–313.
HCI-UC-2015-HossainS #case study #in the cloud #multitenancy: Cloud Computing: A Multi-tenant Case Study (AH, FS), pp. 178–189.
HIMI-IKC-2015-FilhoHTJM #smarttech #using: Using Wearable and Contextual Computing to Optimize Field Engineering Work Practices (RSSF, CLH, AT, JJ, PM), pp. 522–533.
HIMI-IKD-2015-MatsunoAIMM #using: Computer Input System Using Eye Glances (SM, KA, NI, TM, KM), pp. 425–432.
HIMI-IKD-2015-ProssHTH #concept #interactive #visualisation: A Concept for Visualizing Psychophysiological Data in Human Computer Interaction: The FeaturePlotter (FP, DH, HCT, HH), pp. 97–106.
LCT-2015-Alvarez-Montero #bibliography #concept #feedback #perspective #tool support: Feedback in Computer-Based Concept Mapping Tools: A Short Review (FJÁM, HJG, ERR), pp. 187–198.
LCT-2015-FatahiMZ #performance: A Computational Model to Determine Desirability of Events Based on Personality for Performance Motivational Orientation Learners (SF, HM, ANZ), pp. 227–237.
LCT-2015-KimCD #artificial reality #learning #simulation: The Learning Effect of Augmented Reality Training in a Computer-Based Simulation Environment (JHK, TC, WD), pp. 406–414.
LCT-2015-LambropoulosMFK #design #experience #learning #ontology: Ontological Design to Support Cognitive Plasticity for Creative Immersive Experience in Computer Aided Learning (NL, IM, HMF, IAK), pp. 261–270.
LCT-2015-OnoOIY #case study #communication: Voice-Based Computer Mediated Communication for Individual Practice to Increase Speaking Proficiency: Construction and Pilot Study (YO, AO, MI, MY), pp. 115–123.
LCT-2015-RiveiroDKJB: Supporting Golf Coaching and Swing Instruction with Computer-Based Training Systems (MR, AD, RK, UJ, PB), pp. 279–290.
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.
AdaEurope-2015-BalazsBBHKPRSSS: The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission (AB, AB, HB, IH, OK, ZP, JR, WS, PS, JS, SS, LV), pp. 18–30.
ICEIS-v1-2015-YakhyaevaY #algorithm: An Algorithm to Compare Computer-security Knowledge from Different Sources (GY, OY), pp. 565–572.
ICEIS-v2-2015-BarbarI #named: BlueKey — A Bluetooth Secure Solution for Accessing Personal Computers (AB, AI), pp. 509–515.
ICML-2015-HanMS #probability #scalability: Large-scale log-determinant computation through stochastic Chebyshev expansions (IH, DM, JS), pp. 908–917.
ICML-2015-LeeY #category theory #predict #strict: Boosted Categorical Restricted Boltzmann Machine for Computational Prediction of Splice Junctions (TL, SY), pp. 2483–2492.
KDD-2015-CheKLBL: Deep Computational Phenotyping (ZC, DCK, WL, MTB, YL), pp. 507–516.
KDD-2015-LucierOS #distributed #network #scalability: Influence at Scale: Distributed Computation of Complex Contagion in Networks (BL, JO, YS), pp. 735–744.
SEKE-2015-ChavezM #information retrieval #ontology #query #using: An Information Retrieval Model using Query Expansion based on Ontologies in the Computer Science Domain (BGCC, AM), pp. 652–655.
SEKE-2015-GoncalvesW #bibliography #education #how #perspective #project management #tool support: How to Teach the Usage of Project Management Tools in Computer Courses: A Systematic Literature Review (RQG, CGvW), pp. 36–41.
SEKE-2015-PeiYF #data access #in the cloud #performance #policy: Achieving Efficient Access Control via XACML Policy in Cloud Computing (XP, HY, GF), pp. 110–115.
SIGIR-2015-BarzegarSFHD #multi #named #semantics: DINFRA: A One Stop Shop for Computing Multilingual Semantic Relatedness (SB, JES, AF, SH, BD), pp. 1027–1028.
SIGIR-2015-CanutoGSRM #approach #classification #documentation #parallel #performance #scalability: An Efficient and Scalable MetaFeature-based Document Classification Approach based on Massively Parallel Computing (SDC, MAG, WS, TR, WM), pp. 333–342.
BX-2015-Abou-SalehMG #algebra #aspect-oriented #bidirectional: Coalgebraic Aspects of Bidirectional Computation (FAS, JM, JG), pp. 16–30.
Onward-2015-HolderTG #assessment #complexity #music #named: Musiplectics: computational assessment of the complexity of music scores (EH, ET, AG), pp. 107–120.
OOPSLA-2015-AchourR #approximate #detection: Approximate computation with outlier detection in Topaz (SA, MCR), pp. 711–730.
OOPSLA-2015-HammerDHLFHH #incremental: Incremental computation with names (MAH, JD, KH, NL, JSF, MWH, DVH), pp. 748–766.
PPDP-2015-Brock-Nannestad #logic: Computation in focused intuitionistic logic (TBN, NG, DG), pp. 43–54.
POPL-2015-Tobisawa #λ-calculus: A Meta λ Calculus with Cross-Level Computation (KT), pp. 383–393.
SAC-2015-GonzalezRP #classification #image: Computationally-efficient classification of HEp-2 cell patterns in IIF images (LFPG, DDAR, MSP), pp. 825–830.
SAC-2015-GotoT #communication #detection #network #visual notation: Anomalous network communication detection system by visual pattern on a client computer (HG, TT), pp. 1263–1269.
SAC-2015-JoselliJC #animation #data type #gpu #named #proximity: NGrid: a proximity data structure for fluids animation with GPU computing (MJ, JRdSJ, EC), pp. 1303–1308.
SAC-2015-ShahzadJKKKH #execution #in the cloud #mobile: Application-level task execution issues in mobile cloud computing (AS, HJ, PK, HK, BKK, JH), pp. 2285–2287.
SAC-2015-SharmaMDH #trust: Bi-directional trust index computation in resource marketplace (AS, TM, PD, VGH), pp. 2305–2311.
SAC-2015-SilvaMS #analysis #quality: Authorship contribution dynamics on publication venues in computer science: an aggregated quality analysis (THPS, MMM, APCdS), pp. 1142–1147.
SAC-2015-TsengHT #distributed #framework #javascript #migration #mobile #web: Migratom.js: a JavaScript migration framework for distributed web computing and mobile devices (TLT, SHH, CHT), pp. 798–801.
SAC-2015-Usener #assessment #automation #data type #education #named: EASy-DSBuilder: automated assessment of tree data structures in computer science teaching (CAU), pp. 220–226.
ESEC-FSE-2015-BangAB #automation #complexity #source code: Automatically computing path complexity of programs (LB, AA, TB), pp. 61–72.
ESEC-FSE-2015-HeuleSC #modelling #named: Mimic: computing models for opaque code (SH, MS, SC), pp. 710–720.
ICSE-v1-2015-PanW0G #analysis #javascript: Gray Computing: An Analysis of Computing with Background JavaScript Tasks (YP, JW, YS, JG), pp. 167–177.
ICSE-v1-2015-WhalenPRSG #approach #flexibility #metric: A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics (MWW, SP, NR, MS, DG), pp. 506–516.
ICSE-v2-2015-BarakiGVHKMZ #design pattern: Interdisciplinary Design Patterns for Socially Aware Computing (HB, KG, CV, AH, RK, BEM, JZ), pp. 477–486.
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.
ASPLOS-2015-Banavar: Watson and the Era of Cognitive Computing (GB), p. 413.
ASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel #thread: iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
ASPLOS-2015-HauswaldLZLRKDM #named: Sirius: An Open End-to-End Voice and Vision Personal Assistant and Its Implications for Future Warehouse Scale Computers (JH, MAL, YZ, CL, AR, AK, RGD, TNM, VP, LT, JM), pp. 223–238.
ASPLOS-2015-HeckeyPJHKBFCM #communication #compilation #parallel #quantum: Compiler Management of Communication and Parallelism for Quantum Computation (JH, SP, AJ, AH, DK, KRB, DF, FTC, MM), pp. 445–456.
ASPLOS-2015-LiuHMHTS #memory management #named: GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.
ASPLOS-2015-MaSSLYHXYCWZB #architecture #on-demand #programmable: Supporting Differentiated Services in Computers via Programmable Architecture for Resourcing-on-Demand (PARD) (JM, XS, NS, YL, ZY, BH, TX, ZY, YC, HW, LZ, YB), pp. 131–143.
ASPLOS-2015-TanQCAP #named #network #using: DIABLO: A Warehouse-Scale Computer Network Simulator using FPGAs (ZT, ZQ, XC, KA, DAP), pp. 207–221.
HPCA-2015-BeckmannTS #distributed #scalability: Scaling distributed cache hierarchies through computation and data co-scheduling (NB, PAT, DS), pp. 538–550.
HPCA-2015-GrigorianFR #approximate #named #reliability: BRAINIAC: Bringing reliable accuracy into neurally-implemented approximate computing (BG, NF, GR), pp. 615–626.
HPCA-2015-KimSE #flexibility #memory management #reliability: Bamboo ECC: Strong, safe, and flexible codes for reliable computer memory (JK, MS, ME), pp. 101–112.
HPCA-2015-MoreauWNSECO #approximate #named #programmable: SNNAP: Approximate computing on programmable SoCs via neural acceleration (TM, MW, JN, AS, HE, LC, MO), pp. 603–614.
HPCA-2015-PetrucciLDZMMT #multi #named: Octopus-Man: QoS-driven task management for heterogeneous multicores in warehouse-scale computers (VP, MAL, JD, YZ, DM, JM, LT), pp. 246–258.
HPDC-2015-BestaH #hardware #memory management #transaction: Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages (MB, TH), pp. 161–172.
HPDC-2015-Deelman: High Impact Computing: Computing for Science and the Science of Computing (ED), p. 119.
HPDC-2015-PatkiLSMRSS #performance #resource management: Practical Resource Management in Power-Constrained, High Performance Computing (TP, DKL, AS, MM, BR, MS, BRdS), pp. 121–132.
HPDC-2015-YangC #behaviour #benchmark #comprehension #graph #metric #robust: Understanding Graph Computation Behavior to Enable Robust Benchmarking (FY, AAC), pp. 173–178.
HPDC-2015-ZhouLLPZ #abstraction #graph #parallel #performance: Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions (YZ, LL, KL, CP, QZ), pp. 179–190.
PPoPP-2015-RavishankarDEPRRS #code generation #distributed #memory management: Distributed memory code generation for mixed Irregular/Regular computations (MR, RD, VE, LNP, JR, AR, PS), pp. 65–75.
PPoPP-2015-ThebaultPD #3d #assembly #case study #implementation #matrix #performance #scalability: Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly (LT, EP, QD), pp. 120–129.
PPoPP-2015-VassiliadisPCALBVN #energy #programming #runtime: A programming model and runtime system for significance-aware energy-efficient computing (VV, KP, CC, CDA, SL, NB, HV, DSN), pp. 275–276.
PPoPP-2015-XieCGZC #distributed: SYNC or ASYNC: time to fuse for distributed graph-parallel computation (CX, RC, HG, BZ, HC), pp. 194–204.
CADE-2015-ZulkoskiGC #algebra #named #satisfiability: MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (EZ, VG, KC), pp. 607–622.
CAV-2015-BacchusK #satisfiability #set #using: Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets (FB, GK), pp. 70–86.
ICLP-2015-DovierFPV #execution #parallel: Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV).
ICLP-J-2015-AlvianoP #fuzzy #modulo theories #satisfiability #set: Fuzzy answer set computation via satisfiability modulo theories (MA, RP), pp. 588–603.
ICST-2015-MahajanH #detection #html #locality #using: Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques (SM, WGJH), pp. 1–10.
LICS-2015-AckermanFL #feedback: Feedback Turing Computability, and Turing Computability as Feedback (NLA, CEF, RSL), pp. 523–534.
LICS-2015-Pitts #symmetry #tutorial: Names and Symmetry in Computer Science (Invited Tutorial) (AMP), pp. 21–22.
SAT-2015-KullmannM #query: Computing Maximal Autarkies with Few and Simple Oracle Queries (OK, JMS), pp. 138–155.
SAT-2015-LonsingE #api #incremental #satisfiability: Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API (FL, UE), pp. 191–198.
VMCAI-2015-BraitlingFHWBH #automaton #markov #metric: Abstraction-Based Computation of Reward Measures for Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 172–189.
CBSE-2014-Dustdar: Principles and methods for elastic computing (SD), pp. 1–2.
ECSA-2014-MachadoSBLN #architecture #named #ubiquitous: RA-Ubi: A Reference Architecture for Ubiquitous Computing (CAM, ES, TVB, JCL, EYN), pp. 98–105.
QoSA-2014-ChavarriagaNCJ #architecture #in the cloud: Architectural tactics support in cloud computing providers: the jelastic case (JC, CN, RC, VJ), pp. 13–22.
QoSA-2014-OlssonTWE #architecture #consistency #evaluation #game studies: Evaluation of a static architectural conformance checking method in a line of computer games (TO, DT, AW, ME), pp. 113–118.
CASE-2014-LeeMXW #architecture #in the cloud #virtual machine: Open architecture of virtual machine tool for cloud computing (RSL, KJM, PX, CMW), pp. 905–909.
CASE-2014-YenLLKWH #in the cloud #industrial #network: Advanced manufacturing solution to industry 4.0 trend through sensing network and Cloud Computing technologies (CTY, YCL, CCL, CCK, WBW, YRH), pp. 1150–1152.
DAC-2014-AlbalawiLL #algorithm #classification #design #fixpoint #implementation #machine learning #power management: Computer-Aided Design of Machine Learning Algorithm: Training Fixed-Point Classifier for On-Chip Low-Power Implementation (HA, YL, XL), p. 6.
DAC-2014-CongLXZ #architecture #clustering #reuse: An Optimal Microarchitecture for Stencil Computation Acceleration Based on Non-Uniform Partitioning of Data Reuse Buffers (JC, PL, BX, PZ), p. 6.
DAC-2014-DattaSCPR: Neuro Inspired Computing with Coupled Relaxation Oscillators (SD, NS, MC, AP, AR), p. 6.
DAC-2014-JavaidYSBP #component #framework #metric #named: FALCON: A Framework for HierarchicAL Computation of Metrics for CompONent-Based Parameterized SoCs (HJ, YY, SMMS, HB, SP), p. 6.
DAC-2014-KabirS #hybrid: Computing with Hybrid CMOS/STO Circuits (MK, MRS), p. 6.
DAC-2014-LiuCTKD #component #realtime #using: Computation Offloading by Using Timing Unreliable Components in Real-Time Systems (WL, JJC, AT, TWK, QD), p. 6.
DAC-2014-LiuF: A Time-Unrolling Method to Compute Sensitivity of Dynamic Systems (FL, PF), p. 6.
DAC-2014-RahimiGLCBG #architecture #collaboration #compilation #energy: Energy-Efficient GPGPU Architectures via Collaborative Compilation and Memristive Memory-Based Computing (AR, AG, MALM, KTC, LB, RKG), p. 6.
DAC-2014-SchaffnerGSKB #approximate #complexity #linear #realtime #video: An Approximate Computing Technique for Reducing the Complexity of a Direct-Solver for Sparse Linear Systems in Real-Time Video Processing (MS, FKG, AS, HK, LB), p. 6.
DAC-2014-SunBMCCBLLJ #health #monitoring #named #smarttech: eButton: A Wearable Computer for Health Monitoring and Personal Assistance (MS, LEB, ZHM, YC, HCC, YB, YL, CL, WJ), p. 6.
DAC-2014-ZhangPL #hardware #power management: Low Power GPGPU Computation with Imprecise Hardware (HZ, MP, JL), p. 6.
DAC-2014-ZhangYYX #approximate #framework #named: ApproxIt: An Approximate Computing Framework for Iterative Methods (QZ, FY, RY, QX), p. 6.
DATE-2014-AlaghiH #performance #probability #using: Fast and accurate computation using stochastic circuits (AA, JPH), pp. 1–4.
DATE-2014-Bautista-GomezCCDFGPRR #how #named #reliability: GPGPUs: How to combine high computational power with high reliability (LABG, FC, LC, ND, BF, SG, KP, PR, MSR), pp. 1–9.
DATE-2014-BhuniaRHRYMF #logic #towards: Toward ultralow-power computing at exteme with silicon carbide (SiC) nanoelectromechanical logic (SB, VR, TH, SR, RY, MM, PXLF), pp. 1–6.
DATE-2014-DhruvaKGT #cyber-physical: Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
DATE-2014-DinechinAPL #parallel: Time-critical computing on a single-chip massively parallel processor (BDdD, DvA, MP, GL), pp. 1–6.
DATE-2014-GaoGWP #energy #fault #fault tolerance #framework #in the cloud #scheduling: An energy-aware fault tolerant scheduling framework for soft error resilient cloud computing systems (YG, SKG, YW, MP), pp. 1–6.
DATE-2014-GemmekeSSRCA #memory management: Resolving the memory bottleneck for single supply near-threshold computing (TG, MMS, JS, PR, FC, DA), pp. 1–6.
DATE-2014-HeYH0 #design #named #power management: SuperRange: Wide operational range power delivery design for both STV and NTV computing (XH, GY, YH, XL), pp. 1–6.
DATE-2014-LiWCLY #named: ICE: Inline calibration for memristor crossbar-based computing engine (BL, YW, YC, HHL, HY), pp. 1–4.
DATE-2014-NepalLBR #approximate #automation #behaviour #named #synthesis: ABACUS: A technique for automated behavioral synthesis of approximate computing circuits (KN, YL, RIB, SR), pp. 1–6.
DATE-2014-NoursPB #architecture #evaluation #manycore #performance: A dynamic computation method for fast and accurate performance evaluation of multi-core architectures (SLN, AP, NWB), pp. 1–6.
DATE-2014-ParkYLL #graph #memory management #representation: Accelerating graph computation with racetrack memory and pointer-assisted graph representation (EP, SY, SL, HL), pp. 1–4.
DATE-2014-PaulKBP #energy #hardware #memory management: Energy-efficient hardware acceleration through computing in the memory (SP, RK, SB, RP), pp. 1–6.
DATE-2014-RoySFY: Brain-inspired computing with spin torque devices (KR, MS, DF, KY), pp. 1–6.
DATE-2014-ShenCQ #mobile #probability: Battery aware stochastic QoS boosting in mobile computing devices (HS, QC, QQ), pp. 1–4.
DATE-2014-Stenstrom #effectiveness #performance #resource management #towards: Effective resource management towards efficient computing (PS), p. 1.
DATE-2014-Torrellas #architecture #energy #performance: Extreme-scale computer architecture: Energy efficiency from the ground up‡ (JT), pp. 1–5.
DATE-2014-TsoutsosM #named: HEROIC: Homomorphically EncRypted One Instruction Computer (NGT, MM), pp. 1–6.
DATE-2014-YinOLW #configuration management: Extending lifetime of battery-powered coarse-grained reconfigurable computing platforms (SY, PO, LL, SW), pp. 1–6.
DATE-2014-ZhangZKKQZRC #power management: Spintronics for low-power computing (YZ, WZ, JOK, WK, DQ, YZ, DR, CC), pp. 1–6.
SIGMOD-2014-WuWLSSALYY #named #statistics: iCheck: computationally combating “lies, d-ned lies, and statistics” (YW, BW, PL, AS, ES, PKA, CL, JY, CY), pp. 1063–1066.
SIGMOD-2014-ZhangMP: Global immutable region computation (JZ, KM, HP), pp. 1151–1162.
VLDB-2014-BoykinROL #framework #named #online #pipes and filters: Summingbird: A Framework for Integrating Batch and Online MapReduce Computations (POB, SR, IO, JL), pp. 1441–1451.
VLDB-2014-BrunoKW #distributed #scalability: Advanced Join Strategies for Large-Scale Distributed Computation (NB, YK, MCW), pp. 1484–1495.
VLDB-2014-ChesterTVW #set: Computing k-Regret Minimizing Sets (SC, AT, SV, SW), pp. 389–400.
VLDB-2014-GaoP #algorithm #exclamation: Finish Them!: Pricing Algorithms for Human Computation (YG, AGP), pp. 1965–1976.
VLDB-2014-LiLWB #in the cloud #performance #privacy #query: Fast Range Query Processing with Strong Privacy Protection for Cloud Computing (RL, AXL, ALW, BB), pp. 1953–1964.
VLDB-2014-MaeharaAIK #graph #personalisation #rank: Computing Personalized PageRank Quickly by Exploiting Graph Structures (TM, TA, YI, KiK), pp. 1023–1034.
VLDB-2014-ShangY #approximate #graph: Auto-Approximation of Graph Computing (ZS, JXY), pp. 1833–1844.
VLDB-2014-SuSGOS #big data #java: Changing Engines in Midstream: A Java Stream Computational Model for Big Data Processing (XS, GS, BG, BO, PS), pp. 1343–1354.
VLDB-2014-VenkataramanA #database #research: Datacenters as Computers: Google Engineering & Database Research Perspectives (SV, DA), pp. 1720–1721.
VLDB-2014-WuAL0Y #towards: Toward Computational Fact-Checking (YW, PKA, CL, JY, CY), pp. 589–600.
VLDB-2014-YanCLN #distributed #framework #graph #named: Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs (DY, JC, YL, WN), pp. 1981–1992.
VLDB-2015-LuCYW14 #distributed #evaluation #graph #scalability: Large-Scale Distributed Graph Computing Systems: An Experimental Evaluation (YL, JC, DY, HW), pp. 281–292.
VLDB-2015-ZhouGSY14 #distributed #graph #named #online #scalability #using: MOCgraph: Scalable Distributed Graph Processing Using Message Online Computing (CZ, JG, BS, JXY), pp. 377–388.
CSEET-2014-BreivoldC #education #in the cloud: Cloud Computing education strategies (HPB, IC), pp. 29–38.
CSEET-2014-ReddyN #education: Teaching software product engineering in undergraduate computing curriculum (YRR, KVN), pp. 175–178.
ITiCSE-2014-EckerdalKTNSM #education #learning: Teaching and learning with MOOCs: computing academics’ perspectives and engagement (AE, PK, NT, AN, JS, LM), pp. 9–14.
ITiCSE-2014-FalknerVF #identification #learning #self: Identifying computer science self-regulated learning strategies (KF, RV, NJGF), pp. 291–296.
ITiCSE-2014-FeasterAZH #concept #education: Serious toys: three years of teaching computer science concepts in K-12 classrooms (YF, FA, JZ, JOH), pp. 69–74.
ITiCSE-2014-GroverCP #learning: Assessing computational learning in K-12 (SG, SC, RP), pp. 57–62.
ITiCSE-2014-Katai14a #education: Intercultural computer science education (ZK), pp. 183–188.
ITiCSE-2014-KohNBR #analysis #validation: Early validation of computational thinking pattern analysis (KHK, HN, ARB, AR), pp. 213–218.
ITiCSE-2014-Kurkovsky #mobile: Interdisciplinary connections in a mobile computing and robotics course (SK), pp. 309–314.
ITiCSE-2014-LarreaDIJ: Capstone projects in computer science: evaluated by stakeholders (JJOL, CD, FJGI, AJE), p. 345.
ITiCSE-2014-Marcos-Abed #case study #effectiveness #learning #programming: Learning computer programming: a study of the effectiveness of a COAC# (JMA), p. 333.
ITiCSE-2014-MedinaSGG #learning #student #using: Learning outcomes using objectives with computer science students (JAM, JJS, EGL, AGC), p. 339.
ITiCSE-2014-PatitsasCE #social: A historical examination of the social factors affecting female participation in computing (EP, MC, SME), pp. 111–116.
ITiCSE-2014-PirkerRG #education #learning #student: Motivational active learning: engaging university students in computer science education (JP, MRS, CG), pp. 297–302.
ITiCSE-2014-RodgerBHMMOOW #weaving: Weaving computing into all middle school disciplines (SHR, DB, MH, DM, MM, EO, BO, EW), pp. 207–212.
ITiCSE-2014-SirajGTH #security #topic: Empowering faculty to embed security topics into computer science courses (AS, SG, JT, AH), pp. 99–104.
ITiCSE-2014-SouzaSLS #research: Cultural appropriation of computational thinking acquisition research: seeding fields of diversity (CSdS, LCdCS, CFL, MMS), pp. 117–122.
ITiCSE-2014-TaubBA #learning #physics: The effect of computer science on the learning of computational physics (RT, MBA, MA), p. 352.
ITiCSE-2014-TedreBMC #classification #concept #education #identification #towards: Towards identification and classification of core and threshold concepts in methodology education in computing (MT, DB, SMB, JCC), pp. 237–242.
ITiCSE-2014-Verwaal #learning: Team based learning in theoretical computer science (NV), p. 331.
ITiCSE-2014-WartVP #design #learning #problem #social: Apps for social justice: motivating computer science learning with design and real-world problem solving (SVW, SV, TSP), pp. 123–128.
ITiCSE-WGR-2014-BrusilovskyEKMB #education #learning: Increasing Adoption of Smart Learning Content for Computer Science Education (PB, SHE, ANK, LM, LB, DB, PI, RP, TS, SAS, JUF, AV, MW), pp. 31–57.
ITiCSE-WGR-2014-MannilaDDGMRS #education: Computational Thinking in K-9 Education (LM, VD, BD, NG, CM, LR, AS), pp. 1–29.
TFPIE-2014-MorazanA #automaton #formal method #functional #student: Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.
ESOP-2014-LaunchburyADM #multi: Application-Scale Secure Multiparty Computation (JL, DA, TD, EM), pp. 8–26.
TACAS-2014-AdzkiyaSA #reachability: Forward Reachability Computation for Autonomous Max-Plus-Linear Systems (DA, BDS, AA), pp. 248–262.
TACAS-2014-BaierKKM #markov #modelling: Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
ICPC-2014-Cutrell #constraints #design: Innovating in india: designing for constraint, computing for inclusion (keynote) (EC), p. 1.
SCAM-2014-AbadiF #algorithm #interprocedural #on-demand #parallel: A Parallel On-Demand Algorithm for Computing Interprocedural Dominators (AA, YAF), pp. 235–244.
SCAM-2014-KallenHH #object-oriented #refactoring #using: Impact of Code Refactoring Using Object-Oriented Methodology on a Scientific Computing Application (MK, SH, EÞH), pp. 125–134.
PLDI-2014-HammerKHF #adaptation #composition #incremental #named: Adapton: composable, demand-driven incremental computation (MAH, YPK, MH, JSF), p. 18.
PLDI-2014-Palem #question #what: What exactly is inexact computation good for? (KVP), p. 1.
STOC-2014-BuhrmanCKLS #memory management: Computing with a full memory: catalytic space (HB, RC, MK, BL, FS), pp. 857–866.
STOC-2014-EisentragerHK0 #algorithm #quantum: A quantum algorithm for computing the unit group of an arbitrary degree number field (KE, SH, AK, FS), pp. 293–302.
STOC-2014-FournierLMS #bound #matrix #multi: Lower bounds for depth 4 formulas computing iterated matrix multiplication (HF, NL, GM, SS), pp. 128–135.
STOC-2014-GargMV #algorithm #equilibrium: Dichotomies in equilibrium computation, and complementary pivot algorithms for a new class of non-separable utility functions (JG, RM, VVV), pp. 525–534.
STOC-2014-GenkinIPST: Circuits resilient to additive attacks with applications to secure computation (DG, YI, MP, AS, ET), pp. 495–504.
STOC-2014-KalaiRR #how #power of #proving: How to delegate computations: the power of no-signaling proofs (YTK, RR, RDR), pp. 485–494.
STOC-2014-MendesTH #distributed: Distributed computability in Byzantine asynchronous systems (HM, CT, MH), pp. 704–713.
CIAA-2014-KurkaV #finite #transducer: Analytic Functions Computable by Finite State Transducers (PK, TV), pp. 252–263.
ICALP-v1-2014-PrabhakaranSW #using: Secure Computation Using Leaky Tokens (MP, AS, AW), pp. 907–918.
ICALP-v2-2014-AvinBLP #axiom #design #distributed #network: Distributed Computing on Core-Periphery Networks: Axiom-Based Design (CA, MB, ZL, DP), pp. 399–410.
ICALP-v2-2014-EmekSW #network: Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs (YE, JS, RW), pp. 183–195.
ICALP-v2-2014-Mazza #λ-calculus: Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus (DM), pp. 305–317.
LATA-2014-AbdullaAS #automaton #reachability: Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata (PAA, MFA, JS), pp. 62–75.
LATA-2014-ArroyoCMP #network: Networks of Polarized Evolutionary Processors Are Computationally Complete (FA, SGC, VM, SP), pp. 101–112.
LATA-2014-BellaouarCZ #kernel #performance #sequence #string: Efficient List-Based Computation of the String Subsequence Kernel (SB, HC, DZ), pp. 138–148.
LATA-2014-Blanchet-SadriLSW: Computing Depths of Patterns (FBS, AL, SS, BW), pp. 173–185.
LATA-2014-GalleT #incremental #on the: On Context-Diverse Repeats and Their Incremental Computation (MG, MT), pp. 384–395.
LATA-2014-Kalocinski #on the: On Computability and Learnability of the Pumping Lemma Function (DK), pp. 433–440.
LATA-2014-Tarau #product line: Computing with Catalan Families (PT), pp. 565–575.
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.
FM-2014-PonzioRAF #bound #performance: Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
FM-2014-RouxG #comparison #invariant #polynomial: Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison (PR, PLG), pp. 563–578.
ICFP-2014-ChenAT #functional #programming #scalability #self: Functional programming for dynamic and large data with self-adjusting computation (YC, UAA, KT), pp. 227–240.
ICFP-2014-PetricekOM #calculus #named: Coeffects: a calculus of context-dependent computation (TP, DAO, AM), pp. 123–135.
ILC-2014-SmithP #finite #lisp #performance #permutation: Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp (RS, BP), p. 60.
CHI-2014-HernandezPRC: Under pressure: sensing stress of computer users (JH, PP, AR, MC), pp. 51–60.
CHI-2014-HornbaekSBS #human-computer #interactive: Is once enough?: on the extent and content of replications in human-computer interaction (KH, SSS, JABA, JGS), pp. 3523–3532.
CHI-2014-HuangSKSMS #physics #smarttech: A technology probe of wearable in-home computer-assisted physical therapy (KH, PJS, SBK, AS, JM, DPS), pp. 2541–2550.
CHI-2014-MarananASPSB #design #modelling #using: Designing for movement: evaluating computational models using LMA effort qualities (DSM, SFA, TS, PP, PS, LB), pp. 991–1000.
CHI-2014-WangL #communication #gesture #similarity #using: Kinect-taped communication: using motion sensing to study gesture use and similarity in face-to-face and computer-mediated brainstorming (HCW, CTL), pp. 3205–3214.
CHI-2014-WeigelMS #comprehension #how #mobile #people: More than touch: understanding how people use skin as an input surface for mobile computing (MW, VM, JS), pp. 179–188.
CSCW-2014-JacksonGP #design #policy #social: The policy knot: re-integrating policy, practice and design in cscw studies of social computing (SJJ, TG, SP), pp. 588–602.
CSCW-2014-Meier #generative: Next generation humanitarian computing (PM), p. 1573.
CSCW-2014-QuinnB #named #performance #spreadsheet: AskSheet: efficient human computation for decision making with spreadsheets (AJQ, BBB), pp. 1456–1466.
CSCW-2014-ShiltonKF #how #social: How to see values in social computing: methods for studying values dimensions (KS, JAK, KRF), pp. 426–435.
DUXU-DI-2014-NovickVSG #analysis #empirical #game studies #usability: Empirical Analysis of Playability vs. Usability in a Computer Game (DGN, JV, BS, IG), pp. 720–731.
DUXU-DI-2014-Riha #game studies #information management: Cutscenes in Computer Games as an Information System (DR), pp. 661–668.
DUXU-ELAS-2014-IbrahimSHAAA #in the cloud #information management: Enhanced Hospital Information System by Cloud Computing: SHEFA’A (LFI, SS, SH, LAS, AIMA, AHAS), pp. 56–62.
DUXU-TMT-2014-Bergamo #experience #prototype #user interface: User Experience Technique in Computer Digital Arts Production: Paper Prototyping Used as Material to Define Intentionality (MLB), pp. 613–621.
DUXU-TMT-2014-Danylak #interactive: Interactive Film: The Computer as Medium (RD), pp. 527–536.
DUXU-TMT-2014-ZhuF #game studies #heuristic #online: Developing Playability Heuristics for Computer Games from Online Reviews (MZ, XF), pp. 496–505.
HCI-AIMT-2014-HettipathiranaW #interactive #named: iPanel: A Computer-Vision Based Solution for Interactive Keyboard and Mouse (HCDH, PW), pp. 36–47.
HCI-AIMT-2014-MeyerBDS #concept #development #human-computer #information management #interactive: Development of Interaction Concepts for Touchless Human-Computer Interaction with Geographic Information Systems (RM, JB, JD, CMS), pp. 589–599.
HCI-AIMT-2014-RederMFK #arduino #concept #human-computer #interactive #interface #proving: Neural Interface Emotiv EPOC and Arduino: Brain-Computer Interaction in a Proof of Concept (EER, ARdQM, VRTF, FK), pp. 612–623.
HCI-AIMT-2014-SiegertHPW #human-computer #interactive: Discourse Particles and User Characteristics in Naturalistic Human-Computer Interaction (IS, MH, DP, AW), pp. 492–501.
HCI-AIMT-2014-VaidyanathanR #case study #comparative #gesture #interactive #using: “Will Use It, Because I Want to Look Cool” A Comparative Study of Simple Computer Interactions Using Touchscreen and In-Air Hand Gestures (VV, DR), pp. 170–181.
HCI-AIMT-2014-WuttkeM #adaptation #behaviour #communication: Natural Forms of Communication and Adaptive Behaviour in Human-Computer-Interaction (MW, KUM), pp. 641–647.
HCI-AS-2014-MaguireT #comparison #mobile: Comparison Test of Website Use with Mobile Phone and Laptop Computer (MM, MT), pp. 146–154.
HCI-AS-2014-NerisRL #aspect-oriented #bibliography #human-computer #interactive: A Systematic Review of Sustainability and Aspects of Human-Computer Interaction (VPdAN, KRdHR, RFL), pp. 742–753.
HCI-AS-2014-ZhaoSR #difference #in the cloud: The Impact of Culture Differences on Cloud Computing Adoption (FZ, HJS, MvR), pp. 776–785.
HCI-TMT-2014-AraujoJ #human-computer #interactive #modelling: Psychological Personas for Universal User Modeling in Human-Computer Interaction (CFdA, PTAJ), pp. 3–13.
HCI-TMT-2014-CafezeiroGCM #behaviour #collaboration #interactive #roadmap: A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior and New Trends in System Interactions (IC, CG, VC, IdCM), pp. 58–68.
HCI-TMT-2014-Gross #education #human-computer #interactive: Human-Computer Interaction Education and Diversity (TG), pp. 187–198.
HCI-TMT-2014-LuzSN #generative #human-computer #ontology #workflow: Generating Human-Computer Micro-task Workflows from Domain Ontologies (NL, NS, PN), pp. 98–109.
HCI-TMT-2014-SilvaCP #education #human-computer #interactive #learning: Studio-Based Learning as a Natural Fit to Teaching Human-Computer Interaction (PAS, MEC, BJP), pp. 251–258.
HIMI-AS-2014-TehraniS #enterprise #in the cloud: Factors Influencing the Adoption of Cloud Computing by Small and Medium Size Enterprises (SMEs) (SRT, FS), pp. 631–642.
HIMI-DE-2014-FukuzumiYTYYK: A New Computational Method for Single-Trial-EEG-Based BCI — Proposal of the Number of Electrodes (SF, HY, KT, TY, TY, KK), pp. 148–156.
LCT-NLE-2014-Piki #collaboration #learning #process #question: Learner Engagement in Computer-Supported Collaborative Learning Activities: Natural or Nurtured? (AP), pp. 107–118.
LCT-NLE-2014-SousaLD #human-computer #towards #trust: A Model for Human-Computer Trust — Contributions Towards Leveraging User Engagement (SCS, DRL, PD), pp. 128–137.
LCT-NLE-2014-UlbrichtBFQ #component #interface #learning #testing #usability: The Emotion Component on Usability Testing Human Computer Interface of an Inclusive Learning Management System (VRU, CHB, LF, SRPdQ), pp. 334–345.
LCT-TRE-2014-AlmazovaK #approach #student: Computer Assisted Individual Approach to Acquiring Foreign Vocabulary of Students Major (NA, MK), pp. 248–257.
LCT-TRE-2014-BosseP #towards: Towards Aggression De-escalation Training with Virtual Agents: A Computational Model (TB, SP), pp. 375–387.
SCSM-2014-BeckmannG #social: Social Computing — Bridging the Gap between the Social and the Technical (CB, TG), pp. 25–36.
SCSM-2014-HardjonoDC #design #framework #on the #self: On the Design of Trustworthy Compute Frameworks for Self-organizing Digital Institutions (TH, PD, JHC), pp. 342–353.
SCSM-2014-WaltherT #communication #how #relational #self: Inventing Partners in Computer-Mediated Communication: How CMC Sustains Self-fulfilling Prophecies and Relational Attributions (JBW, STT), pp. 517–527.
CAiSE-2014-RiveniTD #on the #social: On the Elasticity of Social Compute Units (MR, HLT, SD), pp. 364–378.
EDOC-2014-Aalst #enterprise #mining #process: Process Mining as the Superglue Between Data Science and Enterprise Computing (WMPvdA), p. 1.
ICEIS-v1-2014-BiniSL #evaluation #in the cloud: Cloud Computing — An Evaluation of Rules of Thumb for Tuning RDBMSs (TAB, MSS, AL), pp. 187–192.
ICEIS-v1-2014-FaheemK #algorithm #architecture #case study #framework #multi #problem: A Multiagent-based Framework for Solving Computationally Intensive Problems on Heterogeneous Architectures — Bioinformatics Algorithms as a Case Study (HMF, BKR), pp. 526–533.
ICEIS-v1-2014-PintoNH #multi #optimisation: Multi-objective Optimization of Investment Strategies — Based on Evolutionary Computation Techniques, in Volatile Environments (JMP, RFN, NH), pp. 480–488.
ICEIS-v2-2014-Gateau #in the cloud #monitoring #multi: A Multi-agent System to Monitor SLA for Cloud Computing (BG), pp. 647–652.
CIKM-2014-CohenDPW #scalability #sketching: Sketch-based Influence Maximization and Computation: Scaling up with Guarantees (EC, DD, TP, RFW), pp. 629–638.
CIKM-2014-QianSS #database #multi #scalability #statistics: Computing Multi-Relational Sufficient Statistics for Large Databases (ZQ, OS, YLS), pp. 1249–1258.
ICML-c1-2014-SoufianiPX #modelling #parametricity #ranking: Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.
ICML-c2-2014-AnarakiH #memory management #performance #random: Memory and Computation Efficient PCA via Very Sparse Random Projections (FPA, SMH), pp. 1341–1349.
ICML-c2-2014-ChenX #modelling #statistics: Statistical-Computational Phase Transitions in Planted Models: The High-Dimensional Setting (YC, JX), pp. 244–252.
ICML-c2-2014-CuturiD #performance: Fast Computation of Wasserstein Barycenters (MC, AD), pp. 685–693.
ICPR-2014-AhmadKM #analysis: Computer Assisted Analysis System of Electroencephalogram for Diagnosing Epilepsy (MAA, NAK, WM), pp. 3386–3391.
ICPR-2014-ChevallierCA #estimation #image #metric #orthogonal #using: Computing Histogram of Tensor Images Using Orthogonal Series Density Estimation and Riemannian Metrics (EC, AC, JA), pp. 900–905.
ICPR-2014-HafnerDW: Simultaneous HDR and Optic Flow Computation (DH, OD, JW), pp. 2065–2070.
ICPR-2014-MekonnenLHB #detection #optimisation #people: People Detection with Heterogeneous Features and Explicit Optimization on Computation Time (AAM, FL, AH, CB), pp. 4322–4327.
ICPR-2014-TuXN #analysis #detection #process: Computational Auditory Scene Analysis Based Voice Activity Detection (MT, XX, XN), pp. 797–802.
ICPR-2014-WerghiBB: Computing Local Binary Patterns on Discrete Manifolds (NW, SB, ADB), pp. 2430–2435.
ICPR-2014-WilliamsCD #automation #human-computer #on the #recognition: On Human Perception and Automatic Target Recognition: Strategies for Human-Computer Cooperation (DPW, MC, SD), pp. 4690–4695.
ICPR-2014-ZhangWGZZ #analysis #using #verification: Low Computation Face Verification Using Class Center Analysis (XZ, JW, YG, SZ, SZ), pp. 4543–4547.
KDD-2014-MaeharaKK #performance: Efficient SimRank computation via linearizationPublication of this article pending inquiry (TM, MK, KiK), pp. 1426–1435.
KDD-2014-MaratheV: Computational epidemiology (MVM, AKSV), p. 1969.
KDD-2014-SrikantA #machine learning #programming #using: A system to grade computer programming skills using machine learning (SS, VA), pp. 1887–1896.
KDIR-2014-HubwieserM #education #mining #scalability #set: Competency Mining in Large Data Sets — Preparing Large Scale Investigations in Computer Science Education (PH, AM), pp. 315–322.
KDIR-2014-MojahedI #approach #distance #semistructured data: A Fusion Approach to Computing Distance for Heterogeneous Data (AM, BdlI), pp. 269–276.
KEOD-2014-KoitO #modelling: Modelling Debates on the Computer (MK, HÕ), pp. 361–368.
KMIS-2014-FrancoisMA #communication #design #email #problem #traceability #using: Discovering Problem-Solving Knowledge in Business Emails — Traceability in Software Design Using Computer Mediated Communication (RF, NM, HA), pp. 186–193.
KR-2014-BhattST #analysis #architecture #design #experience #industrial #user interface: Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design (MB, CPLS, MT).
KR-2014-CeruttiGVZ #recursion: An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (FC, MG, MV, MZ).
KR-2014-StrassW #approximate #complexity #fixpoint #framework: Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).
SEKE-2014-MaranAO #database #ontology #question #ubiquitous: Are The Integrations Between Ontologies and Databases Really Opening the Closed World in Ubiquitous Computing ? (VM, IA, JPMdO), pp. 453–458.
SIGIR-2014-LuLMWXW #interactive #microblog #recommendation #topic: Computing and applying topic-level user interactions in microblog recommendation (XL, PL, HM, SW, AX, BW), pp. 843–846.
Onward-2014-WalkingshawKEAB #data type #trade-off #variability: Variational Data Structures: Exploring Tradeoffs in Computing with Variability (EW, CK, ME, SA, EB), pp. 213–226.
OOPSLA-2014-MisailovicCAQR #approximate #kernel #named #optimisation: Chisel: reliability- and accuracy-aware optimization of approximate computational kernels (SM, MC, SA, ZQ, MCR), pp. 309–328.
QAPL-2014-LatellaLMS #communication: Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
PADL-2014-PetricekS #f#: The F# Computation Expression Zoo (TP, DS), pp. 33–48.
PADL-2014-SaptawijayaP #logic programming #modelling #towards: Towards Modeling Morality Computationally with Logic Programming (AS, LMP), pp. 104–119.
POPL-2014-PaganiSV #higher-order #quantum #semantics: Applying quantitative semantics to higher-order quantum computing (MP, PS, BV), pp. 647–658.
SAC-PL-J-2013-MaierST14 #design #reliability #scalability #symbolic computation: Reliable scalable symbolic computation: The design of SymGridPar2 (PM, RJS, PWT), pp. 19–35.
SAC-2014-AlexandreMP #algorithm #multi #on the: On the support of task-parallel algorithmic skeletons for multi-GPU computing (FA, RM, HP), pp. 880–885.
SAC-2014-BeckersCG #in the cloud #requirements #security: A catalog of security requirements patterns for the domain of cloud computing systems (KB, IC, LG), pp. 337–342.
SAC-2014-FanC #approximate #framework #network #scalability #social: An approximate framework for scaling social influence computation in large networks (YCF, HC), pp. 610–615.
SAC-2014-Fernandez-MarquezSSYDZ #approach #mobile #self: Self-managing and self-organising mobile computing applications: a separation of concerns approach (JLFM, GDMS, GS, JY, SD, FZ), pp. 458–465.
SAC-2014-FoucaultPFB #metric: Computing contextual metric thresholds (MF, MP, JRF, XB), pp. 1120–1125.
SAC-2014-KuoT #in the cloud #incremental #virtual machine: Delay-based incrementally mapping of virtual machines in cloud computing systems (CFK, HWT), pp. 1498–1503.
SAC-2014-MoraCGZJEBAH #named: MUSES: a corporate user-centric system which applies computational intelligence methods (AMM, PdlC, JJMG, SZ, MJ, AIEA, MB, HA, ZH), pp. 1719–1723.
SAC-2014-NogueiraMV #case study #execution: An experimental study on execution time variation in computer experiments (PEN, RMJ, EV), pp. 1529–1534.
SAC-2014-QuilleTR #analysis: Spectral analysis and text processing over the computer science literature: patterns and discoveries (RVEQ, CTJ, JFRJ), pp. 653–657.
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.
SAC-2014-ZhanLS #analysis #in the cloud #mobile: A green analysis of mobile cloud computing applications (KZ, CHL, PS), pp. 357–362.
FSE-2014-Joseph #framework #interactive #machine learning: Software programmer management: a machine learning and human computer interaction framework for optimal task assignment (HRJ), pp. 826–828.
ICSE-2014-DouCW #ambiguity #detection #smell #spreadsheet: Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation (WD, SCC, JW), pp. 848–858.
ASPLOS-2014-Gehlhaar #architecture #future of #scalability: Neuromorphic processing: a new frontier in scaling computer architecture (JG), pp. 317–318.
ASPLOS-2014-MenychtasSS #performance #scheduling: Disengaged scheduling for fair, protected access to fast computational accelerators (KM, KS, MLS), pp. 301–316.
ASPLOS-2014-WaterlandAAAS #automation #named #scalability: ASC: automatically scalable computation (AW, EA, RPA, JA, MIS), pp. 575–590.
ASPLOS-2014-ZhaoWS #finite #state machine: Challenging the “embarrassingly sequential”: parallelizing finite state machine-based computations through principled speculation (ZZ, BW, XS), pp. 543–558.
CC-2014-FranzHKSV #c #compilation #named: CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
HPCA-2014-KarpuzcuAK #named #towards: Accordion: Toward soft Near-Threshold Voltage Computing (URK, IA, NSK), pp. 72–83.
HPDC-2014-ChenDWCZG #communication #distributed #graph #performance #perspective: Computation and communication efficient graph processing with distributed immutable view (RC, XD, PW, HC, BZ, HG), pp. 215–226.
HPDC-2014-DaiCKRZ #framework #incremental #named: Domino: an incremental computing framework in cloud with eventual synchronization (DD, YC, DK, RBR, XZ), pp. 291–294.
HPDC-2014-KriederWAWKGFR #design #evaluation #framework: Design and evaluation of the gemtc framework for GPU-enabled many-task computing (SJK, JMW, TGA, MW, DSK, BG, ITF, IR), pp. 153–164.
HPDC-2014-LeeV #compilation #named #performance #research: OpenARC: open accelerator research compiler for directive-based, efficient heterogeneous computing (SL, JSV), pp. 115–120.
HPDC-2014-MittalVL #embedded #energy #performance: Improving energy efficiency of embedded DRAM caches for high-end computing systems (SM, JSV, DL), pp. 99–110.
HPDC-2014-RazaviIK #as a service #image #named #virtual machine: Squirrel: scatter hoarding VM image contents on IaaS compute nodes (KR, AI, TK), pp. 265–278.
HPDC-2014-WangZCLR #generative: Next generation job management systems for extreme-scale ensemble computing (KW, XZ, HC, ML, IR), pp. 111–114.
LCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #semantics #worst-case: How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
LCTES-2014-RoyRWW #analysis #approximate #automation #named: ASAC: automatic sensitivity analysis for approximate computing (PR, RR, CW, WFW), pp. 95–104.
OSDI-2014-BoutinELSZQWZ #coordination #named #scalability #scheduling: Apollo: Scalable and Coordinated Scheduling for Cloud-Scale Computing (EB, JE, WL, BS, JZ, ZQ, MW, LZ), pp. 285–300.
PPoPP-2014-Hill #architecture: 21st century computer architecture (MDH), pp. 1–2.
PPoPP-2014-LeungBEFPRS: Task mapping stencil computations for non-contiguous allocations (VJL, DPB, JE, SPF, NWP, ZDR, MS), pp. 377–378.
PPoPP-2014-RodriguesJDH #algorithm #clustering #interface #named #programming: Triolet: a programming system that unifies algorithmic skeleton interfaces for high-performance cluster computing (CIR, TBJ, AD, WmWH), pp. 247–258.
PPoPP-2014-Rubin #compilation #question #research #what: Heterogeneous computing: what does it mean for compiler research? (NR), pp. 315–316.
PPoPP-2014-SongH #3d #design #parallel: Designing and auto-tuning parallel 3-D FFT for computation-communication overlap (SS, JKH), pp. 181–192.
ICLP-J-2014-AlvianoDR #programming #set: Anytime Computation of Cautious Consequences in Answer Set Programming (MA, CD, FR), pp. 755–770.
ICLP-J-2014-TachmazidisAF #big data #performance #semantics: Efficient Computation of the Well-Founded Semantics over Big Data (IT, GA, WF), pp. 445–459.
IJCAR-2014-BerdineB #refinement #smt: Computing All Implied Equalities via SMT-Based Partition Refinement (JB, NB), pp. 168–183.
ISSTA-2014-BaudryAM #program transformation #source code: Tailored source code transformations to synthesize computationally diverse program variants (BB, SA, MM), pp. 149–159.
LICS-CSL-2014-Mahboubi #order #proving #theorem: Computer-checked mathematics: a formal proof of the odd order theorem (AM), p. 1.
LICS-CSL-2014-Mamino #on the #power of: On the computing power of +, -, and × (MM), p. 10.
SAT-2014-Marques-SilvaP #on the: On Computing Preferred MUSes and MCSes (JMS, AP), pp. 58–74.
TAP-2014-AminLR #smt: Computing with an SMT Solver (NA, KRML, TR), pp. 20–35.
CBSE-2013-EnardSBCDFR #development: Design-driven development methodology for resilient computing (QE, MS, EB, CC, LD, JCF, MR), pp. 59–64.
CBSE-2013-PlateniusDBSE #bibliography #fuzzy #on the fly: A survey of fuzzy service matching approaches in the context of on-the-fly computing (MCP, MvD, SB, WS, GE), pp. 143–152.
CASE-2013-GargPSCHAPG #3d #algorithm: An algorithm for computing customized 3D printed implants with curvature constrained channels for enhancing intracavitary brachytherapy radiation delivery (AG, SP, TS, JAMC, ICH, PA, JP, KG), pp. 466–473.
CASE-2013-GiulianiCP #analysis #optimisation: A computational analysis of nondifferentiable optimization: Applications to production maximization in gas-lifted oil fields (CMG, EC, AP), pp. 286–291.
CASE-2013-NaikMRHB: An example of computing the failure-tolerant workspace area for a planar kinematically redundant robot (PSN, AAM, RGR, RCH, KMBG), pp. 306–311.
CASE-2013-PanHJ #concurrent #flexibility #petri net #policy #using: One computationally improved deadlock prevention policy for flexible manufacturing systems using Petri nets (YLP, HH, MJ), pp. 924–929.
CASE-2013-ZhangH #algorithm #analysis #convergence #coordination #implementation #optimisation #parallel: Convergence analysis and parallel computing implementation for the multiagent coordination optimization algorithm with applications (HZ, QH), pp. 825–830.
DAC-2013-ChippaCRR #analysis #approximate: Analysis and characterization of inherent application resilience for approximate computing (VKC, STC, KR, AR), p. 9.
DAC-2013-KuruvillaSPVC #analysis #optimisation #set #statistics: Speeding up computation of the max/min of a set of gaussians for statistical timing analysis and optimization (VK, DS, JP, CV, NC), p. 7.
DAC-2013-LiuHLMCHZ: Digital-assisted noise-eliminating training for memristor crossbar-based analog neuromorphic computing engine (BL, MH, HL, ZHM, YC, TH, WZ), p. 6.
DAC-2013-RellermeyerLK #embedded #operating system: Cloud platforms and embedded computing: the operating systems of the future (JSR, SWL, MK), p. 6.
DAC-2013-SharadFR #memory management #power management: Ultra low power associative computing with spin neurons and resistive crossbar memory (MS, DF, KR), p. 6.
DATE-2013-AyadAMSL #energy #integration #variability: HW-SW integration for energy-efficient/variability-aware computing (GA, AA, EM, BS, RL), pp. 607–611.
DATE-2013-BakshiH #reduction #smt #using: LFSR seed computation and reduction using SMT-based fault-chaining (DB, MSH), pp. 1071–1076.
DATE-2013-BertaccoCBFVKP #on the: On the use of GP-GPUs for accelerating compute-intensive EDA applications (VB, DC, NB, FF, SV, AMK, HDP), pp. 1357–1366.
DATE-2013-DutoitGP #3d #integration #power management: 3D integration for power-efficient computing (DD, EG, IMP), pp. 779–784.
DATE-2013-HanxledenMADFMMO #concurrent: Sequentially constructive concurrency: a conservative extension of the synchronous model of computation (RvH, MM, JA, BD, IF, CM, SM, OO), pp. 581–586.
DATE-2013-Kozyrakis #performance: Resource efficient computing for warehouse-scale datacenters (CK), pp. 1351–1356.
DATE-2013-LeeJS #architecture #hybrid #memory management #performance: Fast shared on-chip memory architecture for efficient hybrid computing with CGRAs (JL, YJ, SS), pp. 1575–1578.
DATE-2013-Lehner #database #energy #in memory: Energy-efficient in-memory database computing (WL), pp. 470–474.
DATE-2013-LoiaconoPPPQRVB #estimation #multi #performance #problem: Fast cone-of-influence computation and estimation in problems with multiple properties (CL, MP, PP, DP, SQ, SR, DV, JB), pp. 803–806.
DATE-2013-LotfianJ #architecture #hardware #power management #smarttech #using: An ultra-low power hardware accelerator architecture for wearable computers using dynamic time warping (RL, RJ), pp. 913–916.
DATE-2013-YetimMM #streaming: Extracting useful computation from error-prone processors for streaming applications (YY, MM, SM), pp. 202–207.
HT-2013-WangQS #analysis #realtime #social #twitter: Reading tweeting minds: real-time analysis of short text for computational social science (ZW, DQ, DÓS), pp. 169–173.
SIGMOD-2013-ChangYQLLL #component #composition #graph: Efficiently computing k-edge connected components via graph decomposition (LC, JXY, LQ, XL, CL, WL), pp. 205–216.
SIGMOD-2013-ZhangYQCL #graph #performance: I/O efficient: computing SCCs in massive graphs (ZZ, JXY, LQ, LC, XL), pp. 181–192.
VLDB-2013-AfratiSSU #bound #cost analysis: Upper and Lower Bounds on the Cost of a Map-Reduce Computation (FNA, ADS, SS, JDU), pp. 277–288.
VLDB-2013-Chang #roadmap: Context-Aware Computing: Opportunities and Open Issues (EYC), pp. 1172–1173.
VLDB-2013-ParkMS #parallel #pipes and filters #query #using: Parallel Computation of Skyline and Reverse Skyline Queries Using MapReduce (YP, JKM, KS), pp. 2002–2013.
VLDB-2013-XieWBDG #graph #performance: Fast Iterative Graph Computation with Block Updates (WX, GW, DB, AJD, JG), pp. 2014–2025.
CSEET-2013-StejskalS #learning #testing: Test-driven learning in high school computer science (RS, HPS), pp. 289–293.
ITiCSE-2013-Alabdulqader #using #visualisation: Visualizing computer ethics using infographics (EA), p. 355.
ITiCSE-2013-BackBCMMM #education #student: Making computing interesting to school students: teachers’ perspectives (JB, JB, PC, CM, PWM, LRM), pp. 255–260.
ITiCSE-2013-Baumgartner #approach #case study #design #education #information management #using: Using case studies to design and deliver technology-centered computing education courses: an innovative approach from an undergraduate information systems program in singapore (IB), pp. 189–194.
ITiCSE-2013-BeltranGP #architecture #concept #in the cloud #using: Using CloudSim to learn cloud computing architecture/system concepts in a graduate course (MB, AG, MP), pp. 82–87.
ITiCSE-2013-BergesHMBBMNSSO #education: Developing a competency model for teaching computer science in schools (MB, PH, JM, EB, KB, MMK, JN, NS, SES, LO), p. 327.
ITiCSE-2013-BuckD #authentication #education #modelling #using: Authentic object modeling in the early computer science curriculum using objektgraph (DB, ID), p. 363.
ITiCSE-2013-BurgRK #education #music: Hot fusion: music, art, and computer science education (JB, SR, WK), pp. 313–314.
ITiCSE-2013-German #learning: Jump-starting team-based learning in the computer science classroom (DAG), p. 323.
ITiCSE-2013-GouwsBW #education #evaluation #game studies #process: Computational thinking in educational activities: an evaluation of the educational game light-bot (LAG, KLB, PW), pp. 10–15.
ITiCSE-2013-Joel #education #research: Undergraduate research in computer science education (WJJ), p. 361.
ITiCSE-2013-Joel13a #education #paradigm: A story paradigm for computer science education (WJJ), p. 362.
ITiCSE-2013-Jones: The computing at school working group (SLPJ), p. 1.
ITiCSE-2013-Kurkovsky #mobile #question #why: Mobile computing and robotics in one course: why not? (SK), pp. 64–69.
ITiCSE-2013-LapidotR #education: Supporting high school computer science teachers in writing academic papers (TL, NR), p. 325.
ITiCSE-2013-McDermottPCDL #student: Investigation into the personal epistemology of computer science students (RM, IP, ÅC, MD, CL), pp. 231–236.
ITiCSE-2013-MedinaPGR #data mining #education #learning #mining #programming #using: Assistance in computer programming learning using educational data mining and learning analytics (CFM, JRPP, VMÁG, MdPPR), pp. 237–242.
ITiCSE-2013-PorterGGMT: Peer instruction in computer science at small liberal arts colleges (LP, SG, JG, AM, CT), pp. 129–134.
ITiCSE-2013-PorterGTZ #architecture #comprehension #concept #student: Evaluating student understanding of core concepts in computer architecture (LP, SG, HWT, DZ), pp. 279–284.
ITiCSE-2013-QianYGBT #authentication #learning #mobile #network #security: Mobile device based authentic learning for computer network and security (KQ, MY, MG, PB, LT), p. 335.
ITiCSE-2013-QureshiEP #bound #student: Students organizing against pollution: computational thinking across boundaries (SQ, FE, SMP), p. 356.
ITiCSE-2013-Renaud #student: Introducing computing students to scientific experimentation (KR), pp. 76–81.
ITiCSE-2013-RidgewayWP #education #online: Diversifying computing teaching: building an online hub to promote inclusivity (JR, RW, RP), p. 332.
ITiCSE-2013-RodgerGML: Increasing the experimentation of theoretical computer science with new features in JFLAP (SHR, JG, IM, PL), p. 351.
ITiCSE-2013-RowanD #bibliography #learning #mobile #using: A systematic literature review on using mobile computing as a learning intervention (MR, JD), p. 339.
ITiCSE-2013-SabitzerS #concept #education #programming: Brain-based programming: a new concept for computer science education (BS, SS), p. 345.
ITiCSE-2013-Scott: The royal society of Edinburgh/British computer society computer science exemplification project (JS), p. 315.
ITiCSE-2013-SettleGB: Beyond computer science: computational thinking across disciplines (AS, DSG, VB), pp. 311–312.
ITiCSE-2013-SpaccoFSR #programming #towards: Towards improving programming habits to create better computer science course outcomes (JS, DF, JS, KR), pp. 243–248.
ITiCSE-2013-StephensonGHK: Transforming computer science in schools (CS, JGE, SH, JK), pp. 309–310.
ITiCSE-2013-Trakhtenbrot #algorithm #analysis #complexity #concept #problem #student: Students misconceptions in analysis of algorithmic and computational complexity of problems (MT), pp. 353–354.
ITiCSE-2013-WaldenDGH: An informatics perspective on computational thinking (JW, MD, RG, ZH), pp. 4–9.
ITiCSE-WGR-2013-KorhonenNBCKMMM #design #interactive #open source #requirements: Requirements and design strategies for open source interactive computer science eBooks (AK, TLN, CB, PC, VK, LM, BM, BM, SHR, RR, CAS), pp. 53–72.
ESOP-2013-JeanninKS: Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
FoSSaCS-2013-ChurchillM #bisimulation #composition: Modular Bisimulation Theory for Computations and Values (MC, PDM), pp. 97–112.
FoSSaCS-2013-UmmelsB #markov #modelling: Computing Quantiles in Markov Reward Models (MU, CB), pp. 353–368.
TACAS-2013-BacciBLM #on the fly #similarity: On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
CSMR-2013-ScannielloECG #gpu #using: Using the GPU to Green an Intensive and Massive Computation System (GS, UE, GC, CG), pp. 384–387.
ICSM-2013-Lopez-HerrejonCFEA #multi #product line #testing: Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing (RELH, JFC, JF, AE, EA), pp. 404–407.
PLDI-2013-DeVitoHAHV #multi #named: Terra: a multi-stage language for high-performance computing (ZD, JH, AA, PH, JV), pp. 105–116.
STOC-2013-HardtR #analysis #worst-case: Beyond worst-case analysis in private singular vector computation (MH, AR), pp. 331–340.
STOC-2013-HsuRU #difference #equilibrium #privacy: Differential privacy for the analyst via private equilibrium computation (JH, AR, JU), pp. 341–350.
STOC-2013-LeeRS #approach #using: A new approach to computing maximum flows using electrical flows (YTL, SR, NS), pp. 755–764.
STOC-2013-RothblumVW #interactive #proving #proximity #sublinear: Interactive proofs of proximity: delegating computation in sublinear time (GNR, SPV, AW), pp. 793–802.
STOC-2013-SinclairS #complexity #theorem: Lee-Yang theorems and the complexity of computing averages (AS, PS), pp. 625–634.
CIAA-2013-AbbadL: Computing Weights (HA, ÉL), pp. 24–35.
CIAA-2013-Crespi-ReghizziP #parallel: Deterministic Counter Machines and Parallel Matching Computations (SCR, PSP), pp. 280–291.
ICALP-v1-2013-DeDS #algorithm #analysis #difference #fourier #geometry #robust: A Robust Khintchine Inequality, and Algorithms for Computing Optimal Constants in Fourier Analysis and High-Dimensional Geometry (AD, ID, RAS), pp. 376–387.
ICALP-v2-2013-BecchettiBDKM #bound #complexity #convergence #proving: Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds (LB, VB, MD, AK, KM), pp. 472–483.
ICALP-v2-2013-HarrisMPRS #performance: Efficient Computation of Balanced Structures (DGH, EM, GP, PR, AS), pp. 581–593.
ICALP-v2-2013-LeivantM #complexity #evolution: Evolving Graph-Structures and Their Implicit Computational Complexity (DL, JYM), pp. 349–360.
SFM-2013-Pachos #quantum: Topological Quantum Computation (JKP), pp. 150–179.
CEFP-2013-0001FS #composition: Zipper-Based Modular and Deforested Computations (PM, JPF, JS), pp. 407–427.
ICFP-2013-Jones: Computer science as a school subject (SLPJ), pp. 159–160.
CHI-2013-AdarTT #interactive: Benevolent deception in human computer interaction (EA, DST, JT), pp. 1863–1872.
CHI-2013-GuHHKL #named #using: LongPad: a touchpad using the entire area below the keyboard of a laptop computer (JG, SH, JH, SK, GL), pp. 1421–1430.
CHI-2013-JacksonB #framework: Infrastructure and vocation: field, calling and computation in ecology (SJJ, SB), pp. 2873–2882.
CHI-2013-JacobsB #design: Codeable objects: computational design and digital fabrication for novice programmers (JJ, LB), pp. 1589–1598.
CHI-2013-LomasKPCLKF #design #game studies #power of: The power of play: design lessons for increasing the lifespan of outdated computers (DL, AK, KP, DC, ML, MK, JF), pp. 2735–2744.
CHI-2013-TaylorPIFCCBB #biology #interface: At the interface of biology and computation (AST, NP, SI, JF, BC, CC, SB, DB), pp. 493–502.
CSCW-2013-HuangF #consistency #evaluation #reliability #using: Enhancing reliability using peer consistency evaluation in human computation (SWH, WTF), pp. 639–648.
CSCW-2013-IntroneD: Analyzing the flow of knowledge in computer mediated teams (JI, MD), pp. 341–356.
DHM-HB-2013-BurfordBCKME #performance: The Effect of Dynamic Workstations on the Performance of Various Computer and Office-Based Tasks (EMB, JB, DC, RK, SHvM, RPE), pp. 205–212.
DHM-HB-2013-KaoH: Hand and Arm Support for Computer Workstation (GHK, TKPH), pp. 232–238.
DHM-SET-2013-AlmAGEVD #interactive #people: Supporting Conversation for People with Dementia by Introducing a Computer-Based Third Element to the Interaction (NA, AA, GG, ME, PV, RD), pp. 143–149.
DHM-SET-2013-MoriK #3d #evaluation #simulation: Ergonomics Study of Direct and Indirect Visibility Evaluation at Uncontrolled Intersections Based on Three-Dimensional Computer Simulation (MM, NK), pp. 70–77.
DUXU-CXC-2013-ClarkeSMBKK #health #interactive: Addressing Human Computer Interaction Issues of Electronic Health Record in Clinical Encounters (MAC, LMS, JLM, JLB, RJK, MSK), pp. 381–390.
DUXU-NTE-2013-Danylak #analysis #gesture #human-computer #interactive: Semiotic Analysis for Gestural and Emotional Human-Computer Interaction (RD), pp. 465–474.
DUXU-NTE-2013-VegaFF #case study #named #prototype #smarttech #visual notation: Blinklifier: A Case Study for Prototyping Wearable Computers in Technology and Visual Arts (KFCV, PJF, HF), pp. 439–445.
DUXU-PMT-2013-KulpaTS #interface #usability: A Color Model in the Usability of Computer Interface Applied to Users with Low Vision (CCK, FGT, RPdS), pp. 330–339.
DUXU-WM-2013-LeNDP #interactive #process: Scaffolding Computer Supported Argumentation Processes through Mini Map Based Interaction Techniques (NTL, SN, DD, NP), pp. 533–542.
DUXU-WM-2013-LoLC #design #effectiveness #interface #named #process: dJOE: design Jigsaw On sitE — A Computational Interface of Displacing Ideas in the Design Productive Process (CHNL, ICL, TWC), pp. 402–407.
DUXU-WM-2013-MeloSCC #evaluation #human-computer #interface #people #visual notation #web: Ergonomic Evaluation of Websites Focusing on the Human-Computer Interface so as to Improve Access to the Web Especially by People with Visual Disabilities (ARM, MMS, FC, WC), pp. 257–264.
HCI-AMTE-2013-FerreiraS #case study #communication #modelling: Communicating Ideas in Computer-Supported Modeling Tasks: A Case Study with BPMN (JJF, CSdS), pp. 320–329.
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-AS-2013-HuseyinovT #algebra #evaluation #fuzzy #using: Evaluation of Computer Algebra Systems Using Fuzzy AHP at the Universities of Cyprus (IH, FST), pp. 391–397.
HCI-III-2013-LinWWJ #for free #human-computer #interface #mobile: A Mobile Brain-Computer Interface for Freely Moving Humans (YPL, YW, CSW, TPJ), pp. 448–453.
HCI-IMT-2013-GreeneTM #challenge #gesture #mobile #modelling #multi: Computational Cognitive Modeling of Touch and Gesture on Mobile Multitouch Devices: Applications and Challenges for Existing Theory (KKG, FPT, RJM), pp. 449–455.
HCI-IMT-2013-MaWHZ #gesture #interactive: A Method for Single Hand Fist Gesture Input to Enhance Human Computer Interaction (TM, WGW, CYH, XZ), pp. 291–300.
HCI-IMT-2013-RabeW #interactive #memory management: Enhancing Human Computer Interaction with Episodic Memory in a Virtual Guide (FR, IW), pp. 117–125.
HCI-UC-2013-KellenCF #diagrams #performance #probability #problem: Improving User Performance in Conditional Probability Problems with Computer-Generated Diagrams (VK, SSC, XF), pp. 183–192.
HCI-UC-2013-LinCTH: An Application of the Ballistic Movement Method for Evaluating Computer Mice (RFL, CWC, YCT, CYH), pp. 199–208.
HCI-UC-2013-NothdurftHM #human-computer #trust: The Impact of Explanation Dialogues on Human-Computer Trust (FN, TH, WM), pp. 59–67.
HIMI-D-2013-HungCLC #human-computer #interface #novel #web: A Novel Human-Computer Interface for Browsing Web Data by Leaping Up Web Pages (CLH, CC, CCL, HCC), pp. 197–202.
HIMI-D-2013-TakemoriYST #interactive #learning #modelling #process: Modeling a Human’s Learning Processes to Support Continuous Learning on Human Computer Interaction (KT, TY, KS, KT), pp. 555–564.
HIMI-D-2013-WuCLB #evaluation #usability: Usability Evaluation of the Universal Computer Workstation under Supine, Sitting and Standing Postures (HCW, MCC, CLL, MYB), pp. 151–156.
HIMI-HSM-2013-OhneiserG #interactive #migration: Migration Tolerant Human Computer Interaction for Air Traffic Controllers (OO, HG), pp. 143–152.
HIMI-HSM-2013-QinLZH #in the cloud #internet: Cloud Computing and the Internet of Things: Technology Innovation in Automobile Service (EQ, YL, CZ, LH), pp. 173–180.
HIMI-LCCB-2013-KanamoriTA #development #learning #programming: Development of a Computer Programming Learning Support System Based on Reading Computer Program (HK, TT, TA), pp. 63–69.
HIMI-LCCB-2013-NahTRV #education #game studies #gamification #using: Gamification of Education Using Computer Games (FFHN, VRT, SR, PRV), pp. 99–107.
HIMI-LCCB-2013-Takahashi13a: Role of Assigned Persona for Computer Supported Cooperative Work in Remote Control Environment (YT), pp. 372–380.
OCSC-2013-JamiesonGHW #game studies #metaheuristic: Metaheuristic Entry Points for Harnessing Human Computation in Mainstream Games (PJ, LG, JH, AW), pp. 156–163.
OCSC-2013-ValdespinoZW #education #in the cloud #modelling: A High-School Homeschooling Education Model Based on Cloud Computing (JV, WZ, JW), pp. 216–221.
CAiSE-2013-CardosoBBKL #automation #in the cloud: Cloud Computing Automation: Integrating USDL and TOSCA (JC, TB, UB, OK, FL), pp. 1–16.
EDOC-2013-Buyya #challenge #in the cloud: Market-oriented cloud computing: Opportunities and challenges (RB), p. 3.
ICEIS-v1-2013-Santibanez-GonzalezM #network #novel: A Novel Mathematical Formulation for the Strategic Planning of a Reverse Supply Chain Network — Theoretical and Computational Results (EDRSG, NM), pp. 570–577.
ICEIS-v2-2013-HollingsworthP #student: Seeding the Cloud with Students from Every Computer Science Undergraduate Program (JKH, DJP), pp. 513–518.
ICEIS-v2-2013-IzurietaG #capacity #in the cloud: Impressionism in Cloud Computing — A Position Paper on Capacity Planning in Cloud Computing Environments (ICI, CFRG), pp. 333–338.
ICEIS-v2-2013-SierraCVCV #education #re-engineering #recommendation: Microworld-type Ethnoeducational Computer Materials to Support the Teaching of Nasa-Yuwe — Recommendations from a Software Engineering Disciplines Viewpoint for Constructing Microworld-type Ethnoeducational Materials Aimed at Supporting Nasa Yuwe Language Teaching (LMS, EASC, JAV, TRC, EMV), pp. 526–531.
ICEIS-v3-2013-FerreiraFSCRPO #analysis #interactive #search-based: Log Analysis of Human Computer Interactions Regarding Break The Glass Accesses to Genetic Reports (AMF, PF, CSP, RJCC, PPR, AdCP, VO), pp. 46–53.
ICEIS-v3-2013-RomaniB #design #process #social: Exploring Human Computation and Social Computing to Inform the Design Process (RR, MCCB), pp. 67–74.
CIKM-2013-LiWZWW #probability #scalability #similarity: Computing term similarity by large probabilistic isA knowledge (PPL, HW, KQZ, ZW, XW), pp. 1401–1410.
CIKM-2013-ShaoYCM #graph #named: PAGE: a partition aware graph computation engine (YS, JY, BC, LM), pp. 823–828.
ICML-c3-2013-LeSS #named: Fastfood — Computing Hilbert Space Expansions in loglinear time (QVL, TS, AJS), pp. 244–252.
ICML-c3-2013-OgawaST: Safe Screening of Non-Support Vectors in Pathwise SVM Computation (KO, YS, IT), pp. 1382–1390.
ICML-c3-2013-ShenderL #trade-off: Computation-Risk Tradeoffs for Covariance-Thresholded Regression (DS, JDL), pp. 756–764.
ICML-c3-2013-VladymyrovC #performance: Entropic Affinities: Properties and Efficient Numerical Computation (MV, MÁCP), pp. 477–485.
KDD-2013-SenatorGMYRPHRBCEJBCGKZBMMWDFWDEILKFCFGJ #database #detection #process: Detecting insider threats in a real corporate database of computer usage activity (TES, HGG, AM, WTY, BR, RP, DH, MR, DAB, EC, IAE, JJ, VB, DHC, OG, OK, AZ, EB, RLMI, RM, LW, TGD, AF, WKW, SD, AE, JI, JYL, DK, CF, DDC, LF, AG, DJ), pp. 1393–1401.
KEOD-2013-LepperT #named: tScore: Makes Computers and Humans Talk About Time (ML, BTyW), pp. 176–183.
RecSys-2013-TaghaviBS #recommendation: Agent-based computational investing recommender system (MT, KB, ES), pp. 455–458.
SEKE-2013-AlmeidaCBCLDP #adaptation #in the cloud: Dynamic Adaptation of Cloud Computing Applications (AA, EC, TB, NC, FL, FCD, PFP), pp. 67–72.
SEKE-2013-JulianoTSM #assessment #automation #case study #complexity #similarity: Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (S) (RCJ, BANT, MSS, MdAM), pp. 494–499.
SEKE-2013-YuFCL #in the cloud #modelling: Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing (HY, GF, LC, DL), pp. 77–82.
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.
MoDELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using: Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.
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.
MoDELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using: Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.
Onward-2013-McCorkle #physics: Building connections between theories of computing and physical systems (ELM), pp. 153–172.
OOPSLA-2013-TetaliLMM #named #static analysis: MrCrypt: static analysis for secure cloud computations (SDT, ML, RM, TDM), pp. 271–286.
PPDP-2013-PinoBV #concurrent #confluence #constraints #equivalence #performance #programming: Efficient computation of program equivalence for confluent concurrent constraint programming (LFP, FB, FDV), pp. 263–274.
POPL-2013-Myers #distributed #how: How languages can save distributed computing (ACM), pp. 315–316.
ER-BR-2013-SerranoS #mobile #non-functional #pervasive #ubiquitous: Ubiquitous, Pervasive and Mobile Computing: A Reusable-Models-based Non-Functional Catalogue (MS, MS).
SAC-PL-J-2012-HaraburdaT13 #framework: Binary trees as a computational framework (DH, PT), pp. 163–181.
SAC-2013-AbidiDCJ #grid #interactive: A publication-subscription interaction schema for desktop grid computing (LA, JCD, CC, MJ), pp. 771–778.
SAC-2013-AnielloQB #data transformation: Input data organization for batch processing in time window based computations (LA, LQ, RB), pp. 363–370.
SAC-2013-AzarianCWB #approach #manycore #pipes and filters: An FPGA-based multi-core approach for pipelining computing stages (AA, JMPC, SW, JB), pp. 1533–1540.
SAC-2013-ChanHN #layout #semantics #using #wiki #word: Computing semantic relatedness using word frequency and layout information of Wikipedia (PC, YH, SN), pp. 282–287.
SAC-2013-CicekD #smarttech: Demand response computation for future smart grids incorporating wind power (NÇ, HD), pp. 680–685.
SAC-2013-MaierST #design #reliability #scalability #symbolic computation: Reliable scalable symbolic computation: the design of SymGridPar2 (PM, RJS, PWT), pp. 1674–1681.
SAC-2013-SteinbauerKK #community #on-demand: Building an on-demand virtual computing market in non-commercial communities (MS, IK, GK), pp. 351–356.
SAC-2013-TeodoroCF #energy #performance #scheduling: Energy efficiency management in computational grids through energy-aware scheduling (ST, ABdC, LGF), pp. 1163–1168.
SAC-2013-TomaC #realtime: Computation offloading for real-time systems (AT, JJC), pp. 1650–1651.
SAC-2013-WyssBPF #design #latency #multi: End-to-end latency computation in a multi-periodic design (RW, FB, CP, JF), pp. 1682–1687.
SAC-2013-ZarembaBVH #as a service #in the cloud #linked data #open data: Matchmaking of IaaS cloud computing offers leveraging linked data (MZ, SB, TV, MH), pp. 383–388.
ESEC-FSE-2013-GambiFD #refinement #testing: Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.
ESEC-FSE-2013-Platenius #fuzzy #on the fly: Fuzzy service matching in on-the-fly computing (MCP), pp. 715–718.
ICSE-2013-AlrajehRLMMN: Computational alignment of goals and scenarios for complex systems (DA, AR, JL, NAMM, AM, MN), pp. 1249–1252.
ICSE-2013-GivensCSY #grammar inference #user interface: Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference (PG, AC, SS, TY), pp. 1165–1168.
SLE-2013-DialloCL #approach #formal method #modelling #using: A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation (PID, JC, LL), pp. 218–237.
ASPLOS-2013-GrossmanKBTDILSTYS #fine-grained #hardware: Hardware support for fine-grained event-driven computation in Anton 2 (JPG, JK, JAB, MT, ROD, DJI, RHL, UBS, BT, CY, DES), pp. 549–560.
ASPLOS-2013-Paulos #evolution: The rise of the expert amateur: DIY culture and the evolution of computer science (EP), pp. 153–154.
ASPLOS-2013-RaghavanESPPWM #hardware #testing: Computational sprinting on a hardware/software testbed (AR, LE, LS, MCP, KPP, TFW, MMKM), pp. 155–166.
ASPLOS-2013-TangMWDS #compilation #named: ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.
CGO-2013-AnantpurG #dependence #execution #runtime: Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.
HPCA-2013-CarterABCDDFGGKLMMPTTVVX #architecture #named #ubiquitous: Runnemede: An architecture for Ubiquitous High-Performance Computing (NPC, AA, SB, RC, HD, DD, JBF, IG, RAG, RCK, RL, BM, AKM, WRP, JT, JT, NV, GV, JX), pp. 198–209.
HPCA-2013-GilaniKS #power management: Power-efficient computing for compute-intensive GPGPU applications (SZG, NSK, MJS), pp. 330–341.
HPCA-2013-KarpuzcuSKT #energy #named #towards: EnergySmart: Toward energy-efficient manycores for Near-Threshold Computing (URK, AAS, NSK, JT), pp. 542–553.
HPCA-2013-TangMZHHT #experience #optimisation: Optimizing Google’s warehouse scale computers: The NUMA experience (LT, JM, XZ, RH, RH, ET), pp. 188–197.
HPDC-2013-MaratheHLSRSY #case study #comparative: A comparative study of high-performance computing on the cloud (AM, RH, DKL, BRdS, BR, MS, XY), pp. 239–250.
HPDC-2013-ZhangKWWF #parallel #scalability: MTC envelope: defining the capability of large scale computers in the context of parallel scripting applications (ZZ, DSK, MW, JMW, ITF), pp. 37–48.
PLOS-2013-DzikPRTV #in the cloud #monad #named: MBrace: cloud computing with monads (JD, NP, KR, ET, NV), p. 6.
PPoPP-2013-LuM #migration #parallel: Multi-level parallel computing of reverse time migration for seismic imaging on blue Gene/Q (LL, KAM), pp. 291–292.
SOSP-2013-BraunFRSBW #verification: Verifying computations with state (BB, AJF, ZR, STVS, AJB, MW), pp. 341–357.
SOSP-2013-ZahariaDLHSS #fault tolerance #scalability #streaming: Discretized streams: fault-tolerant streaming computation at scale (MZ, TD, HL, TH, SS, IS), pp. 423–438.
CADE-2013-AzmyW #normalisation: Computing Tiny Clause Normal Forms (NA, CW), pp. 109–125.
CADE-2013-MouraP: Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals (LMdM, GOP), pp. 178–192.
CAV-2013-Brenguier #concurrent #game studies #named #nash: PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games (RB), pp. 890–895.
CAV-2013-UhlerD #automation #named #query #smt #symbolic computation: Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries (RU, ND), pp. 678–683.
CSL-2013-Dershowitz: Res Publica: The Universal Model of Computation (Invited Talk) (ND), pp. 5–10.
CSL-2013-Leivant #induction #semantics #type system: Global semantic typing for inductive and coinductive computing (DL), pp. 469–483.
ICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #execution #specification: A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.
ISSTA-2013-ChocklerEY #concurrent #fault: Finding rare numerical stability errors in concurrent computations (HC, KE, EY), pp. 12–22.
LICS-2013-Comon-Lundh #logic #modelling #named #problem #security: LICS: Logic in Computer Security — Some Attacker’s Models and Related Decision Problems (HCL), p. 1.
LICS-2013-LiangM #logic: Unifying Classical and Intuitionistic Logics for Computational Control (CL, DM), pp. 283–292.
LICS-2013-Panangaden #logic: Duality in Logic and Computation (PP), pp. 4–11.
LICS-2013-Staton #algebra #perspective: Instances of Computational Effects: An Algebraic Perspective (SS), p. 519.
SAT-2013-Clarke #why: Turing’s Computable Real Numbers and Why They Are Still Important Today (EMC), p. 18.
VMCAI-2013-SeladjiB #abstract domain #analysis #fixpoint #tool support #using: Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (YS, OB), pp. 149–168.
ASE-2012-RederE #consistency #design #modelling #nondeterminism: Computing repair trees for resolving inconsistencies in design models (AR, AE), pp. 220–229.
CASE-2012-BrunoMSVZ #approach #modelling #recognition: Human motion modelling and recognition: A computational approach (BB, FM, AS, TV, RZ), pp. 156–161.
CASE-2012-DinhamF #detection #using: Weld seam detection using computer vision for robotic Arc Welding (MD, GF), pp. 771–776.
CASE-2012-HungLHYC #development #industrial #monitoring: Development of a cloud-computing-based equipment monitoring system for machine tool industry (MHH, YCL, TQH, HCY, FTC), pp. 962–967.
DAC-2012-AuerbachBBCFRS #compilation #runtime: A compiler and runtime for heterogeneous computing (JSA, DFB, IB, PC, SJF, RMR, SS), pp. 271–276.
DAC-2012-ChangH #power management: Near-threshold operation for power-efficient computing?: it depends.. (LC, WH), pp. 1159–1163.
DAC-2012-HoffmannHKLMMNSSACD #self: Self-aware computing in the Angstrom processor (HH, JH, GK, EL, MM, JEM, SMN, MES, YS, AA, APC, SD), pp. 259–264.
DAC-2012-LiuARVG #component #multi #performance #synthesis: Efficient multi-objective synthesis for microwave components based on computational intelligence techniques (BL, HA, SR, GAEV, GGEG), pp. 542–548.
DAC-2012-MeirR #analysis #biology #named #network #performance #using: BLAST: efficient computation of nonlinear delay sensitivities in electronic and biological networks using barycentric Lagrange enabled transient adjoint analysis (AM, JSR), pp. 301–310.
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.
DAC-2012-PinckneySDFMSB #performance: Assessing the performance limits of parallelized near-threshold computing (NRP, KS, RGD, DF, TNM, DS, DB), pp. 1147–1152.
DAC-2012-PinoLCHL #case study #modelling #statistics: Statistical memristor modeling and case study in neuromorphic computing (REP, HHL, YC, MH, BL), pp. 585–590.
DAC-2012-RajendiranAPTG #reliability #set: Reliable computing with ultra-reduced instruction set co-processors (AR, SA, HDP, MVT, SG), pp. 697–702.
DAC-2012-SeversonYD #performance #question #reduction: Not so fast my friend: is near-threshold computing the answer for power reduction of wireless devices? (MS, KY, YD), pp. 1164–1166.
DAC-2012-SharadAPR #network: Cognitive computing with spin-based neural networks (MS, CA, GP, KR), pp. 1262–1263.
DAC-2012-SironiBCCHSS #adaptation #named #operating system #performance #self: Metronome: operating system level performance management via self-adaptive computing (FS, DBB, SC, FC, HH, DS, MDS), pp. 856–865.
DAC-2012-ZuluagaMP #generative #network #sorting #streaming: Computer generation of streaming sorting networks (MZ, PAM, MP), pp. 1245–1253.
DATE-2012-BartoliniSFCB #energy #performance #scalability: Quantifying the impact of frequency scaling on the energy efficiency of the single-chip cloud computer (AB, MS, JNF, AKC, LB), pp. 181–186.
DATE-2012-BeniniFFM #composition #ecosystem #embedded #named #scalability: P2012: Building an ecosystem for a scalable, modular and high-efficiency embedded computing accelerator (LB, EF, DF, DM), pp. 983–987.
DATE-2012-FaruqueC #automation #collaboration #embedded: Intelligent and collaborative embedded computing in automation engineering (MAAF, AC), pp. 344–345.
DATE-2012-HankendiC #energy #parallel #performance: Reducing the energy cost of computing through efficient co-scheduling of parallel workloads (CH, AKC), pp. 994–999.
DATE-2012-KirschPSCHHLLRSTV #cyber-physical #in the cloud #migration #problem: Cyber-physical cloud computing: The binding and migration problem (CMK, EP, RS, HC, RH, JH, FL, ML, AR, RS, RT, DV), pp. 1425–1428.
DATE-2012-PatilJCLYPLCC #logic: Weighted area technique for electromechanically enabled logic computation with cantilever-based NEMS switches (SP, MWJ, CLC, DL, ZY, WEP, DJL, SAC, TC), pp. 727–732.
DATE-2012-Pyl #perspective #research: Research and innovation on Advanced Computing — an EU perspective (TVdP), p. 591.
DATE-2012-WernerOGHB #configuration management #distributed #manycore: Virtualized on-chip distributed computing for heterogeneous reconfigurable multi-core systems (SW, OO, DG, MH, JB), pp. 280–283.
HT-2012-Francisco-RevillaF #adaptation #hypermedia: Adaptive spatial hypermedia in computational journalism (LFR, ÁF), pp. 313–314.
PODS-2012-Mahoney #approximate #data analysis #scalability: Approximate computation and implicit regularization for very large-scale data analysis (MWM), pp. 143–154.
SIGMOD-2012-FreireBS #challenge #database #research #state of the art: Computational reproducibility: state-of-the-art, challenges, and database research opportunities (JF, PB, DS), pp. 593–596.
SIGMOD-2012-IoriSPWH #clustering #monitoring #named: CloudAlloc: a monitoring and reservation system for compute clusters (EI, AS, TP, KW, SH), pp. 721–724.
SIGMOD-2012-JinRDY #graph #named #reachability #scalability: SCARAB: scaling reachability computation on large graphs (RJ, NR, SD, JXY), pp. 169–180.
SIGMOD-2012-ZhouBL #clustering #distributed: Advanced partitioning techniques for massively distributed computation (JZ, NB, WL), pp. 13–24.
SIGMOD-2012-ZhuLZZY #named #similarity: TreeSpan: efficiently computing similarity all-matching (GZ, XL, KZ, WZ, JXY), pp. 529–540.
VLDB-2012-CandanRSW #constraints #named #using: sDTW: Computing DTW Distances using Locally Relevant Constraints based on Salient Feature Alignments (KSC, RR, MLS, XW), pp. 1519–1530.
VLDB-2012-MihaylovIG #named #recursion: REX: Recursive, Delta-Based Data-Centric Computation (SRM, ZGI, SG), pp. 1280–1291.
VLDB-2012-MouratidisY #information management: Shortest Path Computation with No Information Leakage (KM, MLY), pp. 692–703.
VLDB-2013-MouratidisP12 #query: Computing Immutable Regions for Subspace Top-k Queries (KM, HP), pp. 73–84.
CSEET-2012-DingLLS #collaboration #in the cloud #re-engineering #research: Research on Remote Collaborative Engineering Practices for Master of Software Engineering Based on Cloud Computing Environment (QD, XL, YL, ZS), pp. 110–114.
CSEET-2012-LeBlancB #education #guidelines: Exploring the Computer Science 2013 Curriculum Guidelines (RL, MB), pp. 75–76.
CSEET-2012-TillmannHXB #education #game studies #learning #named #social: Pex4Fun: Teaching and Learning Computer Science via Social Gaming (NT, JdH, TX, JB), pp. 90–91.
CSEET-2012-TillmannMHFX #education #mobile #student #using: Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop (NT, MM, JdH, MF, TX), pp. 87–89.
ITiCSE-2012-Bargury #education: A new curriculum for junior-high in computer science (IZB), pp. 204–208.
ITiCSE-2012-Blum: Alan turing and the other theory of computation (LB), p. 2.
ITiCSE-2012-ChorH #topic: CS1001.py: a topic-based introduction to computer science (BC, RH), pp. 215–220.
ITiCSE-2012-FaginS #education #named: MyTuringTable: a teaching tool to accompany Turing’s original paper on computability (BF, DS), pp. 333–338.
ITiCSE-2012-FidotenS #bibliography #what: What do computer scientists do?: a survey of CS and non-CS liberal arts faculty (HF, JS), pp. 279–284.
ITiCSE-2012-GoldbergGLFH #education: Engaging computer science in traditional education: the ECSITE project (DG, DG, CHL, JAF, SH), pp. 351–356.
ITiCSE-2012-HeinesGR #music: Techniques at the intersection of computing and music (JMH, GRG, SAR), p. 372.
ITiCSE-2012-JarusekP #problem: A web-based problem solving tool for introductory computer science (PJ, RP), p. 371.
ITiCSE-2012-Kumar #case study: A study of stereotype threat in computer science (ANK), pp. 273–278.
ITiCSE-2012-Larraza-MendiluzeGMMRALS: Nintendo® DS projects to learn computer input-output (ELM, NGV, JIM, JM, TRV, ISA, JFL, KS), p. 373.
ITiCSE-2012-LeidigGO #component #education #social: Assessing the benefits of integrating social issues components in the computing curriculum (PML, MG, BBO), pp. 367–368.
ITiCSE-2012-Moreno #comparison #evaluation #framework #source code: A qualitative framework for comparison and evaluation of computer science doctoral programs (MdCCM), p. 398.
ITiCSE-2012-MyketiakCBMM #flexibility #named: cs4fn: a flexible model for computer science outreach (CM, PC, JB, PWM, LRM), pp. 297–302.
ITiCSE-2012-Oliveira #correlation #performance #statistics #student: Statistical evidence of the correlation between mental ability to compute and student performance in undergraduate courses (OLO), pp. 111–115.
ITiCSE-2012-Rabin #student: Never too early to begin: computer science for high-school students (MOR), p. 1.
ITiCSE-2012-Radenski #clustering #data-driven #in the cloud #multi: Integrating data-intensive cloud computing with multicores and clusters in an HPC course (AR), pp. 69–74.
ITiCSE-2012-Ragonis #algorithm #education #source code: Integrating the teaching of algorithmic patterns into computer science teacher preparation programs (NR), pp. 339–344.
ITiCSE-2012-SettleFHSJRW #education: Infusing computational thinking into the middle- and high-school curriculum (AS, BF, RH, FS, CJ, CRM, BW), pp. 22–27.
ITiCSE-2012-StephensonCOG #standard: The new CSTA K-12 computer science standards (CS, SC, BBO, JGE), pp. 363–364.
ITiCSE-2012-ZaritskyB #community #process: Computer science as a community involvement activity (AZ, OB), pp. 365–366.
TFPIE-2012-ODonnell #education #functional #hardware #using: Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (JTO), pp. 20–39.
TFPIE-2012-PageG #how: How Computers Work: Computational Thinking for Everyone (RP, RG), pp. 1–19.
ESOP-2012-Ley-WildAB #self: Non-monotonic Self-Adjusting Computation (RLW, UAA, GEB), pp. 476–496.
ESOP-2012-Rhiger #staged: Staged Computation with Staged Lexical Scope (MR), pp. 559–578.
FASE-2012-AbadiEF #slicing #theory and practice: Fine Slicing — Theory and Applications for Computation Extraction (AA, RE, YAF), pp. 471–485.
FoSSaCS-2012-ChenBW #complexity #on the #probability #similarity: On the Complexity of Computing Probabilistic Bisimilarity (DC, FvB, JW), pp. 437–451.
CSMR-2012-TollO #game studies #question #why: Why is Unit-testing in Computer Games Difficult? (DT, TO), pp. 373–378.
ICPC-2012-AlawnehH #communication #identification: Identifying computational phases from inter-process communication traces of HPC applications (LA, AHL), pp. 133–142.
PEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal: Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.
SAS-2012-BartheGB #encryption #proving: Computer-Aided Cryptographic Proofs (GB, BG, SZB), pp. 1–2.
STOC-2012-Ajtai #nondeterminism #testing: Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.
STOC-2012-AroraGKM #matrix: Computing a nonnegative matrix factorization — provably (SA, RG, RK, AM), pp. 145–162.
STOC-2012-BoyleGJK #memory management #multi: Multiparty computation secure against continual memory leakage (EB, SG, AJ, YTK), pp. 1235–1254.
STOC-2012-Censor-HillelHKM #dependence #performance: Global computation in a poorly connected world: fast rumor spreading with no dependence on conductance (KCH, BH, JAK, PM), pp. 961–970.
STOC-2012-DobzinskiV #complexity #query: From query complexity to computational complexity (SD, JV), pp. 1107–1116.
STOC-2012-GalHKPV #bound: Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates (AG, KAH, MK, PP, EV), pp. 479–494.
STOC-2012-Lopez-AltTV #encryption #multi #on the fly: On-the-fly multiparty computation on the cloud via multikey fully homomorphic encryption (ALA, ET, VV), pp. 1219–1234.
FLOPS-2012-Lobachev #parallel #termination: Parallel Computation Skeletons with Premature Termination Property (OL), pp. 197–212.
FLOPS-2012-TorontoM: Computing in Cantor’s Paradise with λ ZFC (NT, JM), pp. 290–306.
CIAA-2012-JiraskovaM #complexity #on the: On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs (GJ, TM), pp. 229–239.
CIAA-2012-KlimannMP #automaton #implementation: Implementing Computations in Automaton (Semi)groups (IK, JM, MP), pp. 240–252.
DLT-2012-HanKS #context-free grammar #regular expression: Computing the Edit-Distance between a Regular Language and a Context-Free Language (YSH, SKK, KS), pp. 85–96.
ICALP-v1-2012-ChenW: Computing the Visibility Polygon of an Island in a Polygonal Domain (DZC, HW), pp. 218–229.
ICALP-v1-2012-GoldbergJ #approximate #complexity #polynomial: The Complexity of Computing the Sign of the Tutte Polynomial (and Consequent #P-hardness of Approximation) (LAG, MJ), pp. 399–410.
ICALP-v1-2012-MansourRVX #algorithm #online: Converting Online Algorithms to Local Computation Algorithms (YM, AR, SV, NX), pp. 653–664.
ICALP-v2-2012-ChiesaBEP #complexity: Computational Complexity of Traffic Hijacking under BGP and S-BGP (MC, GDB, TE, MP), pp. 476–487.
ICALP-v2-2012-Fu #game studies #markov #metric #process: Computing Game Metrics on Markov Decision Processes (HF), pp. 227–238.
ICALP-v2-2012-Honda #distributed: Session Types and Distributed Computing (KH), p. 23.
LATA-2012-ArvindV #morphism #testing: Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits (VA, YV), pp. 83–94.
LATA-2012-DennunzioFP #automaton #complexity: Computational Complexity of Rule Distributions of Non-uniform Cellular Automata (AD, EF, JP), pp. 204–215.
LATA-2012-KrassovitskiyL: Computing by Observing Insertion (AK, PL), pp. 377–388.
LATA-2012-Lutz: The Computer Science of DNA Nanotechnology (JHL), p. 57.
ICFP-2012-DanielsGR #biology #case study #experience #haskell: Experience report: Haskell in computational biology (NMD, AG, NR), pp. 227–234.
ICFP-2012-LaunchburyDDA #multi #performance #protocol: Efficient lookup-table protocol in secure multiparty computation (JL, ISD, TD, AAM), pp. 189–200.
IFL-2012-IonescuJ #modelling #programming: Dependently-Typed Programming in Scientific Computing — Examples from Economic Modelling (CI, PJ), pp. 140–156.
GRAPHITE-2012-Cormie-Bowins #comparison #gpu #implementation #reachability: A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities (ECB), pp. 20–34.
ICGT-2012-BergmannRSTV #incremental #pattern matching #performance #transitive: Incremental Pattern Matching for the Efficient Computation of Transitive Closure (GB, IR, TS, PT, DV), pp. 386–400.
CHI-2012-BardramGHN #collaboration #distributed #named: ReticularSpaces: activity-based computing support for physically distributed and collaborative smart spaces (JB, SG, SH, SN), pp. 2845–2854.
CHI-2012-BoujarwahAA #problem #social: Socially computed scripts to support social problem solving skills (FAB, GDA, RIA), pp. 1987–1996.
CHI-2012-EvansW #behaviour #metric: Taming wild behavior: the input observer for text entry and mouse pointing measures from everyday computer use (AE, JOW), pp. 1947–1956.
CHI-2012-HartswoodPTBARS #problem #reuse: Problems of data mobility and reuse in the provision of computer-based training for screening mammography (MH, RP, PT, LB, SA, MR, RS), pp. 909–918.
CHI-2012-KanoR #experience: Interchangeability of computer and paper based questionnaires in gathering computer experience data from young children (AK, JCR), pp. 2397–2400.
CHI-2012-KirkIHBTS #question: At home with surface computing? (DSK, SI, OH, RB, ST, AS), pp. 159–168.
CHI-2012-Reeves #ubiquitous: Envisioning ubiquitous computing (SR), pp. 1573–1582.
CHI-2012-VoidaHA #coordination #social #volunteer: Bridging between organizations and the public: volunteer coordinators’ uneasy relationship with social computing (AV, EH, BAA), pp. 1967–1976.
CHI-2012-ZhangLMGPH #constraints: Human computation tasks with global constraints (HZ, EL, RM, KG, DCP, EH), pp. 217–226.
CSCW-2012-HarboeMIH #collaboration #data analysis #diagrams: Computer support for collaborative data analysis: augmenting paper affinity diagrams (GH, JM, II, EMH), pp. 1179–1182.
CSCW-2012-Poole #framework #research: Interacting with infrastructure: a case for breaching experiments in home computing research (ESP), pp. 759–768.
CSCW-2012-RooksbyK #community #in the cloud: Diagnostic work in cloud computing: discussion forums, community and troubleshooting (JR, AKH), pp. 335–338.
CSCW-2012-WycheG #case study #communication #how #product line #quote: “This is how we do it in my country”: a study of computer-mediated family communication among Kenyan migrants in the United States (SW, REG), pp. 87–96.
ICEIS-J-2012-PrenzelR12a #interactive #modelling #scheduling: Models for Human Computer Interaction in Scheduling Applications (AP, GR), pp. 155–171.
ICEIS-v1-2012-LambeckSAG #concept #enterprise #realtime: Changing Concepts in Human-Computer-Interaction in Real-time Enterprise Systems — Introducing a Concept for Intuitive Decision Support in SCM Scenarios (CL, DS, RA, RG), pp. 139–144.
ICEIS-v1-2012-PrenzelR #design #human-computer #interface #scheduling: Design of Human-computer Interfaces in Scheduling Applications (AP, GR), pp. 219–228.
ICEIS-v3-2012-BrixiKN #human-computer #interface #research #usability: Computer-Brain Interface Device Experimental Research — Study of Ergonomy and Usability in Business Environment (RB, JK, PN), pp. 86–90.
CIKM-2012-OrdonezMGTM #performance: Fast PCA computation in a DBMS with aggregate UDFs and LAPACK (CO, NM, CGA, PTT, EM), pp. 2219–2223.
ICML-2012-KimuraK #kernel #performance: Fast Computation of Subpath Kernel for Trees (DK, HK), p. 81.
ICPR-2012-BianZSL #realtime: Parallelized Annealed Particle Filter for real-time marker-less motion tracking via heterogeneous computing (YB, XZ, JS, YL), pp. 2444–2447.
ICPR-2012-ChandraJ #kernel #sequence #video: Partial Least Squares kernel for computing similarities between video sequences (SC, CVJ), pp. 513–516.
ICPR-2012-GhoshC #analysis #automation #classification: Feature analysis for automatic classification of HEp-2 florescence patterns : Computer-Aided Diagnosis of Auto-immune diseases (SG, VC), pp. 174–177.
ICPR-2012-HirokiPS #animation #development #interface: A puppet interface for the development of an intuitive computer animation system (NH, NP, MS), pp. 3136–3139.
ICPR-2012-HoangT #orthogonal #performance: Fast computation of orthogonal polar harmonic transforms (TVH, ST), pp. 3160–3163.
ICPR-2012-RayAZ #programming #segmentation: Seeing through clutter: Snake computation with dynamic programming for particle segmentation (NR, STA, HZ), pp. 801–804.
ICPR-2012-RebagliatiSPS #distance #edit distance #graph #set #using: Computing the graph edit distance using dominant sets (NR, ASR, MP, FS), pp. 1080–1083.
ICPR-2012-TagawaMY: 8-D reflectance field for computational photography (ST, YM, YY), pp. 2181–2185.
ICPR-2012-UlmB #clustering #online #robust: Robust online trajectory clustering without computing trajectory distances (MU, NB), pp. 2270–2273.
ICPR-2012-WilkinsonO #analysis #documentation: Mask-edge connectivity: Theory, computation, and application to historical document analysis (MHFW, JO), pp. 1334–1337.
KDD-2012-Kearns #social: Experiments in social computation: (and the data they generate) (MK), p. 5.
KDD-2012-Li12a #interactive #internet: Interaction and collective intelligence in internet computing (DL), p. 222.
KDD-2012-YuZSWWQZ #analysis #data mining #in the cloud #mining #named #network #social: BC-PDM: data mining, social network analysis and text mining system based on cloud computing (LY, JZ, WCS, BW, BW, LQ, BRZ), pp. 1496–1499.
KDIR-2012-FormosoFCC #performance #recommendation #using: Using Neighborhood Pre-computation to Increase Recommendation Efficiency (VF, DF, FC, VC), pp. 333–335.
KDIR-2012-QuirogaMH #sequence: Frequent and Significant Episodes in Sequences of Events — Computation of a New Frequency Measure based on Individual Occurrences of the Events (OQ, JM, SH), pp. 324–328.
KEOD-2012-BachaZ12a #design #education: Designing a Model of Arabic Derivation, for Use in Computer Assisted Teaching (KB, MZ), pp. 352–356.
KEOD-2012-SongJ #experience: A Context Sensitive Experience Feeder for Computer Aided Engineering (BS, ZJ), pp. 343–346.
KR-2012-LeoneMTV #source code: Efficiently Computable Datalog∃ Programs (NL, MM, GT, PV).
KR-2012-WilsonM #axiom #diagrams #framework #order: An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities (NW, RM).
MLDM-2012-Kovacs #distance #reduction: Reduction of Distance Computations in Selection of Pivot Elements for Balanced GHT Structure (LK), pp. 50–62.
MLDM-2012-PiatkowskaM #recognition: Computer Recognition of Facial Expressions of Emotion (EP, JM), pp. 405–414.
SEKE-2012-GayedLB #forensics #semantics #towards #web: Computer Forensics: Toward the Construction of Electronic Chain of Custody on the Semantic Web (TFG, HL, MB), pp. 406–411.
SEKE-2012-LiuCL #concurrent #in the cloud: Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing (GL, DYC, YNL), pp. 359–362.
SEKE-2012-LuZZBA #decidability #invariant #petri net: Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets (FL, QZ, HZ, YB, JA), pp. 340–345.
SIGIR-2012-Broder #information retrieval #paradigm: IR paradigms in computational advertising (AZB), p. 1019.
MoDELS-2012-ShaverL: The Coroutine Model of Computation (CS, EAL), pp. 319–334.
MoDELS-2012-ShaverL: The Coroutine Model of Computation (CS, EAL), pp. 319–334.
OOPSLA-2012-BarowyCBM #framework #named: AutoMan: a platform for integrating human-based and digital computation (DWB, CC, EDB, AM), pp. 639–654.
OOPSLA-2012-Zhang0LZMY #android #java #on-demand #refactoring: Refactoring android Java code for on-demand computation offloading (YZ, GH, XL, WZ, HM, SY), pp. 233–248.
LOPSTR-2012-NishidaV #term rewriting: Computing More Specific Versions of Conditional Rewriting Systems (NN, GV), pp. 137–154.
QAPL-2012-Giro #model checking #performance: Efficient computation of exact solutions for quantitative model checking (SG), pp. 17–32.
PADL-2012-GuzmanCCH #approach: A Segment-Swapping Approach for Executing Trapped Computations (PCdG, AC, MC, MVH), pp. 138–152.
PADL-2012-Tarau #declarative #specification: A Declarative Specification of Tree-Based Symbolic Arithmetic Computations (PT), pp. 273–288.
POPL-2012-BojanczykBKL #towards: Towards nominal computation (MB, LB, BK, SL), pp. 401–412.
POPL-2012-ZhuMKR #approximate #performance #program transformation #random: Randomized accuracy-aware program transformations for efficient approximate computations (ZAZ, SM, JAK, MCR), pp. 441–454.
SAC-2012-AkessonHRM #pervasive: Instance-aware assemblies of services in pervasive computing (LÅ, GH, SGR, BM), pp. 1554–1556.
SAC-2012-BalduzziZBKL #analysis #security: A security analysis of amazon’s elastic compute cloud service (MB, JZ, DB, EK, SL), pp. 1427–1434.
SAC-2012-CrassK #coordination #data access: A coordination-based access control model for space-based computing (SC, EK), pp. 1560–1562.
SAC-2012-DivakarmurthyM: Area diversity in computer science collaborations (PD, RM), pp. 2041–2042.
SAC-2012-JiXWLTY #gpu #sequence: High-throughput antibody sequence alignment based on GPU computing (GJ, ZX, XW, SL, MT, JY), pp. 1417–1418.
SAC-2012-NagarAB #functional #graph #similarity #using: Computing gene functional similarity using combined graphs (AN, HAM, SB), pp. 1381–1386.
SAC-2012-RahmanA #authentication #named #network #protocol #robust: DRAP: a Robust Authentication protocol to ensure survivability of computational RFID networks (FR, SIA), pp. 498–503.
SAC-2012-ShinWC #distributed #framework #in the cloud: A policy-based decentralized authorization management framework for cloud computing (DS, YW, WC), pp. 465–470.
SAC-2012-SousaC #framework #modelling #named #open source #symbolic computation: SageRobotics: open source framework for symbolic computation of robot models (CDS, RC), pp. 262–267.
SAC-2012-TarauH #on the: On computing with types (PT, DH), pp. 1889–1896.
SAC-2012-TownsendHS #modelling: Relationship of reproduction and evolutionary computation to analytical modeling of the ecological genetics of inducible defenses (GCT, WNH, BS), pp. 1375–1380.
ICSE-2012-Sheth: Societal Computing (SS), pp. 1567–1570.
SLE-2012-CombemaleHJBB #execution #metamodelling #modelling: Bridging the Chasm between Executable Metamodeling and Models of Computation (BC, CH, CJ, FB, BB), pp. 184–203.
CGO-2012-TangMS #compilation: Compiling for niceness: mitigating contention for QoS in warehouse scale computers (LT, JM, MLS), pp. 1–12.
HPCA-2012-ChenCGTWH #performance #statistics: Statistical performance comparisons of computers (TC, YC, QG, OT, YW, WH), pp. 399–410.
HPCA-2012-RaghavanLCPPWM: Computational sprinting (AR, YL, AC, MCP, KPP, TFW, MMKM), pp. 249–260.
HPDC-2012-DelamareFKL #distributed #named #using: SpeQuloS: a QoS service for BoT applications using best effort distributed computing infrastructures (SD, GF, DK, OL), pp. 173–186.
HPDC-2012-DinuN #comprehension: Understanding the effects and implications of compute node related failures in hadoop (FD, TSEN), pp. 187–198.
HPDC-2012-XiaCLTDB #named #network #performance: VNET/P: bridging the cloud and high performance computing through fast overlay networking (LX, ZC, JRL, YT, PAD, PGB), pp. 259–270.
OSDI-2012-GonzalezLGBG #distributed #graph #named: PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs (JEG, YL, HG, DB, CG), pp. 17–30.
OSDI-2012-KyrolaBG #graph #named #scalability: GraphChi: Large-Scale Graph Computation on Just a PC (AK, GEB, CG), pp. 31–46.
PPoPP-2012-BuhlerALC #concurrent #performance #streaming: Efficient deadlock avoidance for streaming computation with filtering (JDB, KA, PL, RDC), pp. 235–246.
PPoPP-2012-JiangPOJ #manycore #parallel: OpenMP-style parallelism in data-centered multicore computing with R (LJ, PBP, GO, FJ), pp. 335–336.
PPoPP-2012-NobariCKB #parallel #scalability: Scalable parallel minimum spanning forest computation (SN, TTC, PK, SB), pp. 205–214.
PPoPP-2012-NugterenC #adaptation #parallel #performance #predict: The boat hull model: adapting the roofline model to enable performance prediction for parallel computing (CN, HC), pp. 291–292.
PPoPP-2012-TaoBB #development #gpu #kernel #scalability #using: Using GPU’s to accelerate stencil-based computation kernels for the development of large scale scientific applications on heterogeneous systems (JT, MB, SRB), pp. 287–288.
CAV-2012-ThakurR #symbolic computation: A Method for Symbolic Computation of Abstract Operations (AVT, TWR), pp. 174–192.
CSL-2012-Hida #axiom: A Computational Interpretation of the Axiom of Determinacy in Arithmetic (TH), pp. 335–349.
ICLP-2012-Hanus #analysis #lazy evaluation #nondeterminism: Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.
ICLP-2012-SatoM #infinity #probability: Tabling for infinite probability computation (TS, PM), pp. 348–358.
ICST-2012-DelamareK #algorithm #aspect-oriented #integration #order #search-based: A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems (RD, NAK), pp. 804–813.
IJCAR-2012-KonevLW #difference #logic: Logical Difference Computation with CEX2.5 (BK, ML, FW), pp. 371–377.
LICS-2012-BernardyM #parametricity: A Computational Interpretation of Parametricity (JPB, GM), pp. 135–144.
LICS-2012-Constable #on the: On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (RLC), pp. 2–8.
RTA-2012-Anai #algebra #geometry: Computational Real Algebraic Geometry in Practice (Invited Talk) (HA), p. 1.
RTA-2012-Kirchner #calculus #logic: Rho-Calculi for Computation and Logic (Invited Talk) (CK), pp. 2–4.
SAT-2012-BelovIMM #on the #performance: On Efficient Computation of Variable MUSes (AB, AI, AM, JMS), pp. 298–311.
SAT-2012-JarvisaloKKK #performance: Finding Efficient Circuits for Ensemble Computation (MJ, PK, MK, JHK), pp. 369–382.
SAT-2012-Knuth #programming #satisfiability: Satisfiability and The Art of Computer Programming (DEK), p. 15.
SAT-2012-SlivovskyS #dependence #linear: Computing Resolution-Path Dependencies in Linear Time , (FS, SS), pp. 58–71.
ECSA-2011-GamezFA #architecture #feature model #modelling: Autonomic Computing Driven by Feature Models and Architecture in FamiWare (NG, LF, MAA), pp. 164–179.
WICSA-2011-LiuC #architecture #in the cloud: Architecting Cloud Computing Applications and Systems (AL, RC), pp. 310–311.
ASE-2011-StehleLSRM #geometry #using: Diagnosis of software failures using computational geometry (ES, KL, MS, CR, SM), pp. 496–499.
ASE-2011-TellB #development #paradigm #process: Supporting activity based computing paradigm in global software development (PT, MAB), pp. 508–511.
CASE-2011-StyliosG #fuzzy #modelling #using: Modeling complex logistics systems using soft computing methodology of Fuzzy Cognitive Maps (CDS, GKG), pp. 72–77.
DAC-2011-ClemonsJPSA #embedded #feature model #named: EFFEX: an embedded processor for computer vision based feature extraction (JC, AJ, RP, SS, TMA), pp. 1020–1025.
DAC-2011-JiangRP: Synchronous sequential computation with molecular reactions (HJ, MDR, KKP), pp. 836–841.
DAC-2011-KarakonstantisBATGR: Significance driven computation on next-generation unreliable platforms (GK, NB, CDA, GT, VG, KR), pp. 290–291.
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.
DATE-2011-BaiDDC #network #program transformation #programming #runtime: Simplified programming of faulty sensor networks via code transformation and run-time interval computation (LSB, RPD, PAD, PHC), pp. 88–93.
DATE-2011-BarceloGBS #estimation #performance #scalability: An efficient and scalable STA tool with direct path estimation and exhaustive sensitization vector exploration for optimal delay computation (SB, XG, SAB, JS), pp. 1602–1607.
DATE-2011-ChenGSS #analysis #performance: Data-oriented performance analysis of SHA-3 candidates on FPGA accelerated computers (ZC, XG, AS, PS), pp. 1650–1655.
DATE-2011-ChenKZBSNS: A confidence-driven model for error-resilient computing (CHC, YK, ZZ, DB, DS, HN, SS), pp. 1608–1613.
DATE-2011-Furber #architecture: Biologically-inspired massively-parallel architectures — Computing beyond a million processors (SBF), p. 1.
DATE-2011-LangeWK #configuration management #memory management #multi: MARC II: A parametrized speculative multi-ported memory subsystem for reconfigurable computers (HL, TW, AK), pp. 1352–1357.
DATE-2011-MohapatraCRR #approximate #design: Design of voltage-scalable meta-functions for approximate computing (DM, VKC, AR, KR), pp. 950–955.
DATE-2011-MuWLLZCXD #embedded #performance: Evaluating the potential of graphics processors for high performance embedded computing (SM, CW, ML, DL, MZ, XC, XX, YD), pp. 709–714.
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-PavlenkoWSKDSG #algebra #named #problem #reasoning #smt #verification: STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra (EP, MW, DS, WK, AD, FS, GMG), pp. 155–160.
DATE-2011-WangNKWRLMB #configuration management #using: High-temperature (>500°C) reconfigurable computing using silicon carbide NEMS switches (XW, SN, ARK, FGW, SR, THL, MM, SB), pp. 1065–1070.
DATE-2011-WohSDKSBM #power management: Low power interconnects for SIMD computers (MW, SS, RGD, DK, DS, DB, TNM), pp. 600–605.
DATE-2011-Yakovlev #energy: Energy-modulated computing (AY), pp. 1340–1345.
HT-2011-SimkoTB #game studies #network: Little search game: term network acquisition via a human computation game (JS, MT, MB), pp. 57–62.
ICDAR-2011-GaoJHZ #as a service #in the cloud #recognition: Handwriting Character Recognition as a Service: A New Handwriting Recognition System Based on Cloud Computing (YG, LJ, CH, GZ), pp. 885–889.
PODS-2011-Muthukrishnan #data type: Theory of data stream computing: where to go (SM), pp. 317–319.
SIGMOD-2011-BozzonBBCCFV #multi: Search computing: multi-domain search on ranked data (AB, DB, MB, SC, FC, PF, SV), pp. 1267–1270.
SIGMOD-2011-GaoYJZWY #distance #privacy: Neighborhood-privacy protected shortest distance computing in cloud (JG, JXY, RJ, JZ, TW, DY), pp. 409–420.
SIGMOD-2011-HuangWYL #algorithm #network: Sampling based algorithms for quantile computation in sensor networks (ZH, LW, KY, YL), pp. 745–756.
SIGMOD-2011-WeningerDFHHJKKLMSTWY #analysis #named #network: WINACS: construction and analysis of web-based computer science information networks (TW, MD, FF, JMH, JH, TJJ, SK, HK, ZL, DM, YS, NET, CW, XY), pp. 1255–1258.
VLDB-2011-GrosseLWFL #in memory: Bridging Two Worlds with RICE Integrating R into the SAP In-Memory Computing Engine (PG, WL, TW, FF, WSL), pp. 1307–1317.
VLDB-2011-JinLDW #constraints #graph #nondeterminism #reachability: Distance-Constraint Reachability Computation in Uncertain Graphs (RJ, LL, BD, HW), pp. 551–562.
VLDB-2012-CormodeTY11 #interactive #proving #streaming #verification: Verifying Computations with Streaming Interactive Proofs (GC, JT, KY), pp. 25–36.
CSEET-2011-BarrettBC #architecture #education: Incorporating software architecture in the computer science curriculum (MLB, ABB, SC), pp. 523–524.
CSEET-2011-CarverK #student #testing: Evaluating the testing ability of senior-level computer science students (JCC, NAK), pp. 169–178.
CSEET-2011-TillmannHX #education #game studies #learning #named #social: Pex4Fun: Teaching and learning computer science via social gaming (NT, JdH, TX), pp. 546–548.
CSEET-2011-WhiteC #design #implementation #online #re-engineering: The design and implementation of an innovative online program for a master of science degree in Computer Science — Software Engineering specialization (LJW, JWC), pp. 257–265.
ITiCSE-2011-BackCMM #case study #modelling #student #using: A study in engaging female students in computer science using role models (JB, PC, CM, PWM), pp. 63–67.
ITiCSE-2011-BellCCDH #programming #student: Introducing students to computer science with programmes that don’t emphasise programming (TB, PC, QIC, VD, BH), p. 391.
ITiCSE-2011-BlackF #architecture #education #visual notation: Teaching computer architecture with a graphical PC simulator (MDB, MF), p. 337.
ITiCSE-2011-BowerM #comparison #learning: Continual and explicit comparison to promote proactive facilitation during second computer language learning (MB, AM), pp. 218–222.
ITiCSE-2011-Connolly #education #web: Awakening Rip Van Winkle: modernizing the computer science web curriculum (RWC), pp. 18–22.
ITiCSE-2011-Connolly11a #component #education #social: Beyond good and evil impacts: rethinking the social issues components in our computing curricula (RWC), pp. 228–232.
ITiCSE-2011-EganL #student: The impact of IMPACT: assessing students’ perceptions after a day of computer exploration (MALE, TL), pp. 318–322.
ITiCSE-2011-Goldweber #learning #process #turing machine: Two kinesthetic learning activities: turing machines and basic computer organization (MG), p. 335.
ITiCSE-2011-Goldweber11a #learning #social: Computing for the social good: a service learning project (MG), p. 379.
ITiCSE-2011-HabermanCD #contest: The beaver contest: attracting youngsters to study computing (BH, AC, VD), p. 378.
ITiCSE-2011-HawthorneKC #community #education: Findings from an ACM strategic summit on computing education in community colleges (EKH, KJK, RDC), p. 373.
ITiCSE-2011-Hu #what: Computational thinking: what it might mean and what we might do about it (CH), pp. 223–227.
ITiCSE-2011-KleinKT #analysis #assessment #automation #semantics #using: Automated assessment of short free-text responses in computer science using latent semantic analysis (RK, AK, MT), pp. 158–162.
ITiCSE-2011-LangCPEA #source code #student: Outreach programs to promote computer science and ict to high school and middle school students (CL, AC, JP, MALE, RA), pp. 344–345.
ITiCSE-2011-Schroeder #metric: A bouquet of measures to promote computer science in middle & high schools (US), p. 1.
ITiCSE-2011-SheardD #student: Computing student practices of cheating and plagiarism: a decade of change (JS, MD), pp. 233–237.
ITiCSE-2011-VanoM #learning #quote: “Computer science and nursery rhymes”: a learning path for the middle school (DDV, CM), pp. 238–242.
ITiCSE-2011-WittmannBK #programming #using: Using the SCORE software package to analyse novice computer graphics programming (MRAW, MB, MKT), pp. 118–122.
ITiCSE-2011-Wolfer #education: A medical motif for teaching computer graphics in context (JW), p. 328.
ITiCSE-2011-WolzMS #learning #process: Kinesthetic learning of computing via “off-beat” activities (UW, MM, MS), pp. 68–72.
ESOP-2011-FournetP #compilation #data flow #security: Compiling Information-Flow Security to Minimal Trusted Computing Bases (CF, JP), pp. 216–235.
FoSSaCS-2011-AxelsenG #question #source code #what: What Do Reversible Programs Compute? (HBA, RG), pp. 42–56.
FoSSaCS-2011-Jacobs #algebra #quantum: Coalgebraic Walks, in Quantum and Turing Computation (BJ0), pp. 12–26.
FoSSaCS-2011-Panangaden #quantum: The Search for Structure in Quantum Computation (PP), pp. 1–11.
ICPC-2011-AlawnehH #named #performance #scalability: MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems (LA, AHL), pp. 181–184.
ICSM-2011-Demeyer #research: Research methods in computer science (SD), p. 600.
SCAM-2011-PavluSK #alias #analysis #comparison #graph #precise #set: Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision (VP, MS, AK), pp. 25–34.
PLDI-2011-Chlipala #logic #low level #source code #verification: Mostly-automated verification of low-level programs in computational separation logic (AC), pp. 234–245.
PLDI-2011-SampsonDFGCG #approximate #data type #named #power management: EnerJ: approximate data types for safe and general low-power computation (AS, WD, EF, DG, LC, DG), pp. 164–174.
STOC-2011-AaronsonA #complexity #linear: The computational complexity of linear optics (SA, AA), pp. 333–342.
STOC-2011-Ajtai: Secure computation with information leaking to an adversary (MA), pp. 715–724.
STOC-2011-GolabHW #distributed #implementation #random: Linearizable implementations do not suffice for randomized distributed computation (WMG, LH, PW), pp. 373–382.
DLT-J-2010-Head11 #algebra #parallel #towards: Computing with Light: toward Parallel Boolean Algebra (TH), pp. 1625–1637.
CIAA-2011-JezM #automaton #performance: Computing All ℓ-Cover Automata Fast (AJ, AM), pp. 203–214.
DLT-2011-ChandesrisDFM #aspect-oriented #automaton: Computational Aspects of Asynchronous Cellular Automata (JC, AD, EF, LM), pp. 466–468.
ICALP-v1-2011-AaronsonD #quantum: Advice Coins for Classical and Quantum Computation (SA, AD), pp. 61–72.
ICALP-v1-2011-AllenderFG #power of #random #string: Limits on the Computational Power of Random Strings (EA, LF, WIG), pp. 293–304.
ICALP-v2-2011-Katsumata: Relating Computational Effects by ⊤ ⊤-Lifting (SyK), pp. 174–185.
LATA-2011-LisitsaPS #automaton: Planarity of Knots, Register Automata and LogSpace Computability (AL, IP, RS), pp. 366–377.
SEFM-2011-Boender #component #performance: Efficient Computation of Dominance in Component Systems (Short Paper) (JB), pp. 399–406.
ICFP-2011-ChenDHA #functional #self #source code: Implicit self-adjusting computation for purely functional programs (YC, JD, MAH, UAA), pp. 129–141.
CHI-2011-AndersonDB #performance: Diminishing returns?: revisiting perception of computing performance (GJA, RD, EB), pp. 2703–2706.
CHI-2011-ChenNHD #interactive: Unpacking exam-room computing: negotiating computer-use in patient-physician interactions (YC, VN, SH, VD), pp. 3343–3352.
CHI-2011-ChoeCWK #behaviour: Opportunities for computing technologies to support healthy sleep behaviors (EKC, SC, NFW, JAK), pp. 3053–3062.
CHI-2011-CoyleMDO #behaviour #game studies: Exploratory evaluations of a computer game supporting cognitive behavioural therapy for adolescents (DC, NM, GD, GO), pp. 2937–2946.
CHI-2011-DantecFCBEKE #ubiquitous #women: Publics in practice: ubiquitous computing at a shelter for homeless mothers (CALD, RGF, JC, MB, JBE, WAK, WKE), pp. 1687–1696.
CHI-2011-DiSalvoYGMMPB: African American men constructing computing identity (BJD, SY, MG, TM, CM, KP, AB), pp. 2967–2970.
CHI-2011-Fallman #human-computer #interactive: The new good: exploring the potential of philosophy of technology to contribute to human-computer interaction (DF), pp. 1051–1060.
CHI-2011-GolbeckH #twitter: Computing political preference among twitter followers (JG, DLH), pp. 1105–1108.
CHI-2011-Hincapie-RamosTB #framework #named #volunteer: GridOrbit: an infrastructure awareness system for increasing contribution in volunteer computing (JDHR, AT, JEB), pp. 1899–1908.
CHI-2011-HuBRK #named: MonoTrans2: a new human computation system to support monolingual translation (CH, BBB, PR, YK), pp. 1133–1136.
CHI-2011-IqbalGH #cost analysis: Peripheral computing during presentations: perspectives on costs and preferences (STI, JG, EH), pp. 891–894.
CHI-2011-KarlsonSL #ecosystem #experience #version control: Which version is this?: improving the desktop experience within a copy-aware computing ecosystem (AKK, GS, BL), pp. 2669–2678.
CHI-2011-KuznetsovTKHPS #bound: Breaking boundaries: strategies for mentoring through textile computing workshops (SK, LCT, CK, IH, EP, DPS), pp. 2957–2966.
CHI-2011-LewisDG: Affective computational priming and creativity (SL, MD, EG), pp. 735–744.
CHI-2011-Monroy-HernandezHGb #automation #community #how #online: Computers can’t give credit: how automatic attribution falls short in an online remixing community (AMH, BMH, JGR, DB), pp. 3421–3430.
CHI-2011-OHaraSH #human-computer #interactive: Embodiment in brain-computer interaction (KO, AS, RHRH), pp. 353–362.
CHI-2011-PfeiferB #equation #social: Is the media equation a flash in the pan?: the durability and longevity of social responses to computers (LMP, TWB), pp. 777–780.
CHI-2011-QuekBWMTPST #design #development #human-computer #interactive #interface #simulation #social: Simulating the feel of brain-computer interfaces for design, development and social interaction (MQ, DB, JW, RMS, MT, SP, MS, MT), pp. 25–28.
CHI-2011-QuinnB #bibliography #taxonomy: Human computation: a survey and taxonomy of a growing field (AJQ, BBB), pp. 1403–1412.
CHI-2011-ToomimKPL #human-computer #interactive #metric #towards: Utility of human-computer interactions: toward a science of preference measurement (MT, TK, CP, JAL), pp. 2275–2284.
CHI-2011-VihavainenMSCC #collaboration #human-computer #mobile #music #social #video: We want more: human-computer collaboration in mobile social video remixing of music concerts (SV, SM, LS, FC, IDDC), pp. 287–296.
CSCW-2011-BednarikSP #bidirectional #collaboration: Bidirectional gaze in remote computer mediated collaboration: setup and initial results from pair-programming (RB, AS, SP), pp. 597–600.
CSCW-2011-HoZ: i-sensor inference model for assessing trustworthiness in computer-mediated communications (SMH, XZ), pp. 645–648.
CSCW-2011-MerrittTOTCM #game studies: Are artificial team-mates scapegoats in computer games (TRM, KBT, CO, ATA, TLC, KM), pp. 685–688.
DHM-2011-Maier #human-computer #interactive #recognition: Implicit Human-Computer Interaction by Posture Recognition (EM), pp. 143–150.
DHM-2011-SchafferSM #human-computer #interactive #multimodal: A Model of Shortcut Usage in Multimodal Human-Computer Interaction (SS, RS, SM), pp. 337–346.
DUXU-v2-2011-AgnerTF #usability: Scenario and Task Based Interview to Evaluate Usability of Computer Assisted Data Collection (LA, PT, SBLF), pp. 349–358.
DUXU-v2-2011-BaughD #design #experience #locality #user interface: Designing Notebook Computers to Ensure a Comfortable User Experience: Effects of Surface Temperature, Material, Locality, and Ambient Temperature (EB, RD), pp. 539–547.
DUXU-v2-2011-Cai #assessment #human-computer #interactive #protocol: A Camera-Aided Legibility Assessment Protocol of Displays for Enhanced Human-Computer Interaction (HC), pp. 359–367.
DUXU-v2-2011-KyungCNLS #smarttech: Versatile Wearable Computer for Drivers (GK, SC, KN, KL, WS), pp. 152–155.
HCD-2011-Ciarletta #multi #pervasive: Co-simulation and Multi-models for Pervasive Computing as a Complex System (LC), pp. 197–206.
HCD-2011-LewisW11a #collaboration #community #design #energy: Virtual Office, Community, and Computing (VOCC): Designing an Energy Science Hub Collaboration System (AAL, GGW), pp. 425–434.
HCI-DDA-2011-Fernandez-LlatasMSN #interactive #process #simulation: Process Choreography for Human Interaction Computer-Aided Simulation (CFL, JBM, PS, JCN), pp. 214–220.
HCI-DDA-2011-GaoZRMS #bibliography #performance #perspective #scalability #visualisation: Performance Visualization for Large-Scale Computing Systems: A Literature Review (QG, XZ, PLPR, AAM, HJS), pp. 450–460.
HCI-DDA-2011-KallinenER #difference #multi: Individual Differences in Work Load While Doing Multitasking with a Computer (KK, IE, NR), pp. 351–358.
HCI-DDA-2011-PeregoTGA #evaluation #human-computer #interface: Psychometric Evaluation with Brain-Computer Interface (PP, ACT, CG, GA), pp. 406–413.
HCI-ITE-2011-CarrinoTMKI #approach #interface #multimodal: Head-Computer Interface: A Multimodal Approach to Navigate through Real and Virtual Worlds (FC, JT, EM, OAK, RI), pp. 222–230.
HCI-ITE-2011-EdlingerHG #human-computer #hybrid #interface #smarttech: A Hybrid Brain-Computer Interface for Smart Home Control (GE, CH, CG), pp. 417–426.
HCI-ITE-2011-HowleyR #human-computer #interactive #modelling: Modeling the Rhetoric of Human-Computer Interaction (IKH, CPR), pp. 341–350.
HCI-ITE-2011-KarpovRK #multi #recognition #speech #user interface: An Assistive Bi-modal User Interface Integrating Multi-channel Speech Recognition and Computer Vision (AK, AR, ISK), pp. 454–463.
HCI-ITE-2011-KwonCSAG #how #interactive #internet: Older User-Computer Interaction on the Internet: How Conversational Agents Can Help (WSK, VC, SIS, HA, JEG), pp. 533–536.
HCI-ITE-2011-SchmeierRA: Computer Assistance in Bilingual Task-Oriented Human-Human Dialogues (SS, MR, RA), pp. 387–395.
HCI-ITE-2011-TanakaMK #case study #human-computer #interactive #interface #multi: Experimental Study on Appropriate Reality of Agents as a Multi-modal Interface for Human-Computer Interaction (KT, TM, KK), pp. 613–622.
HCI-ITE-2011-ZhangAR #human-computer #interactive #multi: Developing and Exploiting a Multilingual Grammar for Human-Computer Interaction (XZ, RA, DFR), pp. 396–405.
HCI-ITE-2011-ZhouDC #smarttech #user interface: Innovative User Interfaces for Wearable Computers in Real Augmented Environment (YZ, BD, RC), pp. 500–509.
HCI-MIIE-2011-DonkerB #mobile: Computer Support of Team Work on Mobile Devices (HD, MB), pp. 38–47.
HCI-MIIE-2011-EL-QiremC #development #experience #user interface: Computer Usage and User Experience in Jordan: Development and Application of the Diamond Model of Territorial Factors (FAEQ, GC), pp. 490–499.
HCI-MIIE-2011-LuMLW #interactive #pervasive #research: Research of Passive Mode Interaction in Pervasive Computing (YL, KM, ZL, KW), pp. 220–229.
HCI-UA-2011-BellegoBBT #smarttech #using: Using a Smart Phone for Information Rendering in Computer-Aided Surgery (GLB, MB, IB, JT), pp. 202–209.
HCI-UA-2011-FangZ #game studies #question #what: Extraversion and Computer Game Play: Who Plays What Games? (XF, MZ), pp. 659–667.
HCI-UA-2011-HayakawaNOFN #framework #learning #visualisation: Visualization Framework for Computer System Learning (EH, YN, HO, MF, YN), pp. 21–26.
HCI-UA-2011-KhairatG #communication #human-computer #interactive: Clinical Communication: Human-Computer and Human-Human Interactions (SSK, YG), pp. 182–191.
HCI-UA-2011-KimCD #health #using: Using Pen-Based Computing in Technology for Health (HK, YSC, EYLD), pp. 192–201.
HCI-UA-2011-Wang11a #interactive #learning #network #student #tool support #using: Interactions between Human and Computer Networks: EFL College Students Using Computer Learning Tools in Remedial English Classes (ALW), pp. 107–112.
IDGD-2011-GaoQ #analysis #distributed #simulation: Analysis of the Applied Pattern of Distributed Computing Used in Simulation (SfG, HQ), pp. 152–158.
IDGD-2011-OzturkRPKB #case study #interactive #network #smarttech #social: The Impact of “Device” in Social Networking: An Explorative Study with Turkish Social Network Site Users on the Nature of Interactions through Personal Computers and Smartphones (ÖÖ, KR, SP, FK, OB), pp. 473–482.
IDGD-2011-RinconBCPC #community #human-computer #interactive: Human-Computer Interaction as an Instrument for Strengthening Culture and Language of a Colombian Native Community (SRR, AB, GC, FP, TRC), pp. 556–565.
OCSC-2011-BramanDCVW #student: Gaining Insight into the Application of Second Life in a Computing Course: Students’ Perspectives (JB, AD, KC, GV, YW), pp. 20–29.
OCSC-2011-Torrent-MorenoGEGP #ecosystem #energy #performance #social: Social Computing for Home Energy Efficiency: Technological and Stakeholder Ecosystems (MTM, RG, RE, JJG, MP), pp. 229–238.
ICEIS-v1-2011-AbdelhediPTZ #design: Computer-aided Data-mart Design (FA, GP, OT, GZ), pp. 239–246.
ICEIS-v1-2011-HaoSHS #algorithm #in the cloud #modelling #optimisation #scheduling: A Cloud Computing Model based on Hadoop with an Optimization of Its Task Scheduling Algorithms (YH, MS, JH, JS), pp. 524–528.
ICEIS-v3-2011-ChenE #adaptation #in the cloud: Adapting SCADA Systems to Cloud Computing Environment (ZC, DE), pp. 559–563.
ICEIS-v3-2011-LiCC #enterprise #library #pervasive #research: Research on Intelligence Trend of Enterprise Library based on Pervasive Computing (RL, DC, YC), pp. 476–481.
CIKM-2011-BressanP #rank #ranking: Local computation of PageRank: the ranking side (MB, LP), pp. 631–640.
CIKM-2011-BroderGJ #challenge #information retrieval: Information retrieval challenges in computational advertising (AZB, EG, VJ), pp. 2611–2612.
CIKM-2011-HanusseM #algorithm #parallel: A parallel algorithm for computing borders (NH, SM), pp. 1639–1648.
CIKM-2011-LeeLH #scalability: Scalable entity matching computation with materialization (SL, JL, SwH), pp. 2353–2356.
CIKM-2011-LuLYYH #classification #modelling #parametricity: Coarse-to-fine classification via parametric and nonparametric models for computer-aided diagnosis (ML, LL, XY, SY, HH), pp. 2509–2512.
CIKM-2011-MurdockG: Computational geography (VM, GG), pp. 2597–2598.
CIKM-2011-YeungJ #how #mining #scalability #towards: Studying how the past is remembered: towards computational history through large scale text mining (CmAY, AJ), pp. 1231–1240.
CIKM-2011-Zobel #algorithm #challenge #health: Data, health, and algorithmics: computational challenges for biomedicine (JZ), pp. 3–4.
ECIR-2011-Gabrilovich #knowledge-based #retrieval: Ad Retrieval Systems in vitro and in vivo: Knowledge-Based Approaches to Computational Advertising (EG), pp. 4–5.
ICML-2011-BarthelmeC #named: ABC-EP: Expectation Propagation for Likelihoodfree Bayesian Computation (SB, NC), pp. 289–296.
ICML-2011-MahoneyO #approximate #implementation: Implementing regularization implicitly via approximate eigenvector computation (MWM, LO), pp. 121–128.
ICML-2011-WaughZB #equilibrium #problem: Computational Rationalization: The Inverse Equilibrium Problem (KW, BDZ, DB), pp. 1169–1176.
KDD-2011-BatistaKMR #data mining #mining: SIGKDD demo: sensors and software to allow computational entomology, an emerging application of data mining (GEAPAB, EJK, AMN, ER), pp. 761–764.
KDD-2011-SinkovitsCSTRWB #analysis #data-driven #performance: Data intensive analysis on the gordon high performance data and compute system (RSS, PC, SS, MT, PR, NW, NB), pp. 747–748.
KDIR-2011-BorcheninovO #embedded #programming #search-based #symbolic computation: Genetic Programming with Embedded Features of Symbolic Computations (YVB, YSO), pp. 476–479.
KDIR-2011-MauleKR #approach #automation #using: Automated Approach for Whole Brain Infarction Core Delineation — Using Non-contrast and Computed Tomography Angiography (PM, JK, VR), pp. 433–437.
KDIR-2011-MoralesCT #clustering: Clustering of Heterogeneously Typed Data with Soft Computing (AFKM, LECB, DTB), pp. 499–502.
KEOD-2011-Grabska #concept #design #ontology #visual notation: Computer Aided Conceptual Visual Design based on Ontology (EG), pp. 396–399.
KMIS-2011-KrainesG #research #semantics #similarity: Calculating Semantic Similarity between Computer-understandable Descriptors of Scientific Research (SBK, WG), pp. 146–151.
SEKE-2011-FarahatE #fault #performance: Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.
SEKE-2011-HashizumeFY #in the cloud: Misuse Patterns for Cloud Computing (KH, EBF, NY), pp. 683–686.
SEKE-2011-NunezOGG #framework #order: Computational Reflection in order to support Context-Awareness in a Robotics Framework (SMN, FO, MG, VGD), pp. 533–538.
SEKE-2011-ZengHLCHLE #embedded #named: SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems (RZ, YH, SL, PJC, XH, GWvdL, JLE), pp. 308–314.
MoDELS-2011-PalyartLOB #framework #maintenance #scalability: Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (MP, DL, IO, JMB), pp. 213–227.
MoDELS-2011-PalyartLOB #framework #maintenance #scalability: Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (MP, DL, IO, JMB), pp. 213–227.
Onward-2011-CukierY #research: The artist in the computer scientist: more humanity to our research (DC, JWY), pp. 129–136.
Onward-2011-ShethK #trade-off: The tradeoffs of societal computing (SS, GEK), pp. 149–156.
Onward-2011-Verna #biology: Biological realms in computer science (DV), pp. 167–176.
OOPSLA-2011-BurckhardtLSYB #incremental #parallel: Two for the price of one: a model for parallel and incremental computation (SB, DL, CS, JY, TB), pp. 427–444.
OOPSLA-2011-CledatKP #programming: Efficiently speeding up sequential computation through the n-way programming model (RC, TK, SP), pp. 537–554.
OOPSLA-2011-DarulovaK #scala: Trustworthy numerical computation in Scala (ED, VK), pp. 325–344.
TOOLS-EUROPE-2011-HeideggerT #approach #heuristic: A Heuristic Approach for Computing Effects (PH, PT), pp. 147–162.
TOOLS-EUROPE-2011-SivieriCG #erlang #rest: Computational REST Meets Erlang (AS, GC, CG), pp. 244–259.
LOPSTR-2011-CabalarD #equilibrium #modelling: Automata-Based Computation of Temporal Equilibrium Models (PC, SD), pp. 57–72.
LOPSTR-2011-Henglein #domain-specific language #implementation #symbolic computation: Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.
QAPL-2011-TracolDZ #automaton #probability: Computing Distances between Probabilistic Automata (MT, JD, AZ), pp. 148–162.
PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code: Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.
POPL-2011-HengleinN #axiom #induction #regular expression: Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.
POPL-2011-WeirichVJZ #abstraction #generative: Generative type abstraction and type-level computation (SW, DV, SLPJ, SZ), pp. 227–240.
SAC-2011-ChamorroDA #predict: Evolutionary computation for the prediction of secondary protein structures (AEMC, FD, JSAR), pp. 1082–1087.
SAC-2011-ClaycombS #analysis #authentication #formal method #ubiquitous: Formal analysis of device authentication applications in ubiquitous computing (WC, DS), pp. 451–452.
SAC-2011-FabreKT #lessons learnt #robust #using: Robustness of automotive applications using reflective computing: lessons learnt (JCF, MOK, FT), pp. 230–235.
SAC-2011-GalvaoD #distance #permutation #symmetry: Computing rearrangement distance of every permutation in the symmetric group (GRG, ZD), pp. 106–107.
SAC-2011-GeihsER0K #adaptation #development #ubiquitous: Development support for QoS-aware service-adaptation in ubiquitous computing applications (KG, CE, RR, MW, MUK), pp. 197–202.
SAC-2011-GohLC #game studies #image #performance: Performance and perceptions of human computation games for image tagging (DHLG, CSL, AYKC), pp. 1124–1129.
SAC-2011-GrootGK #data-driven #distributed #towards: Towards improved load balancing for data intensive distributed computing (SG, KG, MK), pp. 139–146.
SAC-2011-GroppeG #database #query #scalability #semantics #web: Parallelizing join computations of SPARQL queries for large semantic web databases (JG, SG), pp. 1681–1686.
SAC-2011-IakymchukNB #resource management: Improving high-performance computations on clouds through resource underutilization (RI, JN, PB), pp. 119–126.
SAC-2011-Jamil #graph #query #unification #using: Computing subgraph isomorphic queries using structural unification and minimum graph structures (HMJ), pp. 1053–1058.
SAC-2011-MaciasG #in the cloud #search-based: A genetic model for pricing in cloud computing markets (MM, JG), pp. 113–118.
SAC-2011-SharminRARF #education #game studies #interactive #speech: Teaching intelligible speech to the autistic children by interactive computer games (MAS, MMR, SIA, MMR, SMF), pp. 1208–1209.
SAC-2011-SimonsenP #agile #distance: Rapid computation of distance estimators from nucleotide and amino acid alignments (MS, CNSP), pp. 89–93.
SAC-2011-YatakaTTT #smarttech: A context-aware audio presentation method in wearable computing (SY, KT, TT, MT), pp. 405–412.
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.
ICSE-2011-CassouBCL #architecture #development #verification: Leveraging software architectures to guide and verify the development of sense/compute/control applications (DC, EB, CC, JLL), pp. 431–440.
ICSE-2011-LiNHK #requirements: A domain specific requirements model for scientific computing (YL, NN, JH, MK), pp. 848–851.
ASPLOS-2011-DeviettiNBCG #consistency #named: RCDC: a relaxed consistency deterministic computer (JD, JN, TB, LC, DG), pp. 67–78.
ASPLOS-2011-HoffmannSCMAR #power management: Dynamic knobs for responsive power-aware computing (HH, SS, MC, SM, AA, MCR), pp. 199–212.
ASPLOS-2011-RansfordSF #named: Mementos: system support for long-running computation on RFID-scale devices (BR, JS, KF), pp. 159–170.
ASPLOS-2011-ZhangJGTS #gpu #on the fly: On-the-fly elimination of dynamic irregularities for GPU computing (EZZ, YJ, ZG, KT, XS), pp. 369–380.
CC-2011-HenrettySPFRS #architecture #layout: Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures (TH, KS, LNP, FF, JR, PS), pp. 225–245.
CGO-2011-WuHBW #energy #manycore #virtual machine: A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing (YW, SH, EB, CW), pp. 236–245.
HPCA-2011-GovindarajuHS #energy #performance: Dynamically Specialized Datapaths for energy efficient computing (VG, CHH, KS), pp. 503–514.
HPCA-2011-McKinley #how #parallel #question: How’s the parallel computing revolution going? (KSM), p. 217.
HPCA-2011-TsengT #thread: Data-triggered threads: Eliminating redundant computation (HWT, DMT), pp. 181–192.
HPDC-2011-HofmeyrCIK #manycore #named: Juggle: proactive load balancing on multicore computers (SAH, JAC, CI, JK), pp. 3–14.
LCTES-2011-BhagatGSG #effectiveness #optimisation: Global productiveness propagation: a code optimization technique to speculatively prune useless narrow computations (IB, EG, FJS, AG), pp. 161–170.
PPoPP-2011-KimKLL #image #multi: Achieving a single compute device image in OpenCL for multiple GPUs (JK, HK, JHL, JL), pp. 277–288.
PPoPP-2011-McKinley #how #parallel #question: How’s the parallel computing revolution going? (KSM), pp. 123–124.
PPoPP-2011-WillcockHEL #data-driven #fine-grained #parallel #programming: Active pebbles: a programming model for highly parallel fine-grained data-driven computations (JW, TH, NGE, AL), pp. 305–306.
SOSP-2011-RossbachCSRW #abstraction #named #operating system: PTask: operating system abstractions to manage GPUs as compute devices (CJR, JC, MS, BR, EW), pp. 233–248.
SOSP-2011-SirerBRSWWS #architecture #logic: Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.
CAV-2011-AlkassarBMR #verification: Verification of Certifying Computations (EA, SB, KM, CR), pp. 67–82.
CSL-2011-Makowsky: Model Theory in Computer Science: My Own Recurrent Themes (JAM), pp. 553–567.
ICLP-J-2011-BoneSS #automation #parallel: Estimating the overlap between dependent computations for automatic parallelization (PB, ZS, PS), pp. 575–591.
ICST-2011-Zech #in the cloud #security #testing: Risk-Based Security Testing in Cloud Computing Environments (PZ), pp. 411–414.
LICS-2011-AbdullaM #petri net: Computing Optimal Coverability Costs in Priced Timed Petri Nets (PAA, RM), pp. 399–408.
LICS-2011-EhrhardPT #probability: The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.
LICS-2011-HasuoH #geometry #higher-order #interactive #quantum #semantics: Semantics of Higher-Order Quantum Computation via Geometry of Interaction (IH, NH), pp. 237–246.
LICS-2011-HerrmannZ #complexity #quantum #satisfiability: Computational Complexity of Quantum Satisfiability (CH, MZ), pp. 175–184.
RTA-2011-AvanziniEM #exponential #order #term rewriting: A Path Order for Rewrite Systems that Compute Exponential Time Functions (MA, NE, GM), pp. 123–138.
VMCAI-2011-GoubaultP #finite #precise #static analysis: Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.
ECSA-2010-AltiBR #approach #modelling #pervasive #quality: Context-Aware Quality Model Driven Approach: A New Approach for Quality Control in Pervasive Computing Environments (AA, AB, PR), pp. 441–448.
CASE-2010-LamS #hardware: Accelerating shortest path computations in hardware (SKL, TS), pp. 63–68.
CASE-2010-LinAK #configuration management: Manipulator inverse dynamics computation on FPGA for reconfigurable applications (CSL, PKA, HK), pp. 810–815.
CASE-2010-MehtaPD #approach #similarity: An approach to compute similarity between engineering changes (CM, LP, DD), pp. 332–337.
DAC-2010-AltunR: Lattice-based computation of Boolean functions (MA, MDR), pp. 609–612.
DAC-2010-ChakradharR #hardware #parallel: Best-effort computing: re-thinking parallel software and hardware (STC, AR), pp. 865–870.
DAC-2010-KinsmanN #algorithm #design #hardware #robust: Robust design methods for hardware accelerators for iterative algorithms in scientific computing (ABK, NN), pp. 254–257.
DAC-2010-RajkumarLSS #cyber-physical: Cyber-physical systems: the next computing revolution (RR, IL, LS, JAS), pp. 731–736.
DAC-2010-ShanbhagAKJ #probability: Stochastic computation (NRS, RAA, RK, DLJ), pp. 859–864.
DAC-2010-ThalmaierNWSBK #induction #invariant #satisfiability: Analyzing k-step induction to compute invariants for SAT-based property checking (MT, MDN, MW, DS, JB, WK), pp. 176–181.
DAC-2010-ZhangLH #analysis: Separatrices in high-dimensional state space: system-theoretical tangent computation and application to SRAM dynamic stability analysis (YZ, PL, GMH), pp. 567–572.
DAC-2010-ZhangS #adaptation #performance: Adaptive and autonomous thermal tracking for high performance computing systems (YZ, AS), pp. 68–73.
DATE-2010-GhosalZNB #design #nondeterminism #parametricity #robust: Computing robustness of FlexRay schedules to uncertainties in design parameters (AG, HZ, MDN, YBH), pp. 550–555.
DATE-2010-HadjitheophanousTGT #3d #hardware #re-engineering #realtime #towards: Towards hardware stereoscopic 3D reconstruction a real-time FPGA computation of the disparity map (SH, CT, ASG, TT), pp. 1743–1748.
DATE-2010-KoebelC #named: SCOC3: a space computer on a chip (FK, JFC), pp. 1345–1348.
DATE-2010-LiH: Compact model of memristors and its application in computing systems (HL, MH), pp. 673–678.
DATE-2010-LiuFG #optimisation #performance: An accurate and efficient yield optimization method for analog circuits based on computing budget allocation and memetic search technique (BL, FVF, GGEG), pp. 1106–1111.
DATE-2010-LiuLKJ #adaptation #correlation #multi: FPGA-based adaptive computing for correlated multi-stream processing (ML, ZL, WK, AJ), pp. 973–976.
DATE-2010-Mueller-GritschnederG #specification: Computation of yield-optimized Pareto fronts for analog integrated circuit specifications (DMG, HG), pp. 1088–1093.
DATE-2010-ShafiqueMH #adaptation #complexity #reduction #using #video: An HVS-based Adaptive Computational Complexity Reduction Scheme for H.264/AVC video encoder using Prognostic Early Mode Exclusion (MS, BM, JH), pp. 1713–1718.
DATE-2010-WiggersBGB #graph: Simultaneous budget and buffer size computation for throughput-constrained task graphs (MW, MB, MG, TB), pp. 1669–1672.
HT-2010-HansenG #framework #mobile #named: UrbanWeb: a platform for mobile context-awaresocial computing (FAH, KG), pp. 195–200.
PODS-2010-DalviSS #algebra #probability #query: Computing query probability with incidence algebras (NND, KS, DS), pp. 203–214.
PODS-2010-Wijsen #database #first-order #nondeterminism #on the #query: On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases (JW), pp. 179–190.
SIGMOD-2010-GiatrakosKDVT #approximate #named #network: TACO: tunable approximate computation of outliers in wireless sensor networks (NG, YK, AD, VV, YT), pp. 279–290.
SIGMOD-2010-JinHWRX #constraints #database #graph #reachability: Computing label-constraint reachability in graph databases (RJ, HH, HW, NR, YX), pp. 123–134.
SIGMOD-2010-JinYW #classification #graph #named #using: GAIA: graph classification using evolutionary computation (NJ, CY, WW), pp. 879–890.
VLDB-2010-AgrawalDA #big data #in the cloud #question: Big Data and Cloud Computing: New Wine or just New Bottles? (DA, SD, AEA), pp. 1647–1648.
VLDB-2010-KellarisM: Shortest Path Computation on Air Indexes (GK, KM), pp. 747–757.
VLDB-2010-QinYC #keyword #parallel #query: Ten Thousand SQLs: Parallel Keyword Queries Computing (LQ, JXY, LC), pp. 58–69.
VLDB-2010-RaissiPK: Computing Closed Skycubes (CR, JP, TK), pp. 838–847.
VLDB-2011-LeeH10 #clustering #named #performance #using: QSkycube: Efficient Skycube Computation using Point-Based Space Partitioning (JL, SwH), pp. 185–196.
VLDB-2011-LiuC10 #named #performance: ZINC: Efficient Indexing for Skyline Computation (BL, CYC), pp. 197–207.
CSEET-2010-Broman #education #question #re-engineering: Should Software Engineering Projects Be the Backbone or the Tail of Computing Curricula? (DB), pp. 153–156.
ITiCSE-2010-Aberg #challenge #education #human-computer #student: Challenges with teaching HCI early to computer students (JÅ), pp. 3–7.
ITiCSE-2010-ApiolaLP #education #motivation: Creativity and intrinsic motivation in computer science education: experimenting with robots (MA, ML, TAP), pp. 199–203.
ITiCSE-2010-Askar #education: Computer science education in Turkey (PA), p. 328.
ITiCSE-2010-BasawapatnaKR #design #education #game studies #scalability #using: Using scalable game design to teach computer science from middle school to graduate school (ARB, KHK, AR), pp. 224–228.
ITiCSE-2010-BenayaHSZ #education: Individual and group seminars and workshops in the computer science curriculum (TB, MH, DS, EZ), pp. 53–57.
ITiCSE-2010-DicksonAAG #automation #education #evaluation: Evaluation of automatic classroom capture for computer science education (PED, DTA, WRA, AG), pp. 88–92.
ITiCSE-2010-EganJ #learning: Service learning in introductory computer science (MALE, MJ), pp. 8–12.
ITiCSE-2010-EnstromK: Computer lab work on theory (EE, VK), pp. 93–97.
ITiCSE-2010-Ezel #assessment #education #how #student: Assessment methods and how teachers and students view them in a computer science course at Uppsala University (MCE), p. 309.
ITiCSE-2010-FinkelsteinPHDCB #game studies #named #network #social #student #using: SNAG: using social networking games to increase student retention in computer science (SLF, EP, AH, KD, SRC, TB), pp. 142–146.
ITiCSE-2010-GardnerF #education: Broadening accessibility to computer science for K-12 education (MKG, WcF), pp. 229–233.
ITiCSE-2010-GurselG #student #what: What do promising high school students think about studying computing (DAG, BG), p. 325.
ITiCSE-2010-Kasyanov #graph #tool support: Support tools for graphs in computer science (VNK), p. 315.
ITiCSE-2010-Kollmansberger #student: Helping students build a mental model of computation (SK), pp. 128–131.
ITiCSE-2010-Marsh #case study #comparative #programming #student #towards: A sub-saharan comparative study of university students’ attitudes towards computer programming (CJM), pp. 33–37.
ITiCSE-2010-MillerPS: File references, trees, and computational thinking (CSM, LP, AS), pp. 132–136.
ITiCSE-2010-PerkovicSHJ #education #framework: A framework for computational thinking across the curriculum (LP, AS, SH, JJ), pp. 123–127.
ITiCSE-2010-SekiyaMY #analysis #education: Analysis of computer science related curriculum on LDA and Isomap (TS, YM, KY), pp. 48–52.
ITiCSE-2010-SimonKPZ #case study #experience: Experience report: CS1 for majors with media computation (BS, PK, LP, DZ), pp. 214–218.
ITiCSE-2010-StephensonGPV: Professional associations in K-12 computer science (CS, JGE, MP, JV), pp. 329–330.
ESOP-2010-AdjeGG #invariant #policy #static analysis: Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.
ESOP-2010-BoudolP #formal method: A Theory of Speculative Computation (GB, GP), pp. 165–184.
TACAS-2010-AndresPRS #information management: Computing the Leakage of Information-Hiding Systems (MEA, CP, PvR, GS), pp. 373–389.
CSMR-2010-NagyPGB #dependence #towards: Towards a Safe Method for Computing Dependencies in Database-Intensive Systems (CN, JP, TG, ÁB), pp. 166–175.
WCRE-2010-MarxBD #component: Computer-Aided Extraction of Software Components (AM, FB, SD), pp. 183–192.
PLDI-2010-AcarBLTT #data type #self: Traceable data types for self-adjusting computation (UAA, GEB, RLW, KT, DT), pp. 483–496.
PLDI-2010-Chlipala #metaprogramming #named #static typing: Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.
PLDI-2010-KandemirYMSIZ #multi: Cache topology aware computation mapping for multicores (MTK, TY, SPM, SS, MJI, YZ), pp. 74–85.
SAS-2010-GawlitzaS #polynomial #semantics: Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely (TMG, HS), pp. 271–286.
STOC-2010-GoyalJ #complexity #on the: On the round complexity of covert computation (VG, AJ), pp. 191–200.
STOC-2010-KuhnLO #distributed #network: Distributed computation in dynamic networks (FK, NAL, RO), pp. 513–522.
STOC-2010-MicciancioV #algorithm #exponential #problem: A deterministic single exponential time algorithm for most lattice problems based on voronoi cell computations (DM, PV), pp. 351–358.
STOC-2010-Orlin #algorithm: Improved algorithms for computing fisher’s market clearing prices: computing fisher’s market clearing prices (JBO), pp. 291–300.
CIAA-2010-ChmielR #named: COMPAS — A Computing Package for Synchronization (KC, AR), pp. 79–86.
CIAA-2010-HundeshagenOV #automaton: Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata (NH, FO, MV), pp. 163–172.
CIAA-2010-KutribM: Two-Party Watson-Crick Computations (MK, AM), pp. 191–200.
DLT-2010-ChambartS #problem #set: Computing Blocker Sets for the Regular Post Embedding Problem (PC, PS), pp. 136–147.
DLT-2010-EhrenfeuchtR: Reaction Systems: A Model of Computation Inspired by Biochemistry (AE, GR), pp. 1–3.
DLT-2010-Kari: DNA Computing and Its Implications for Theoretical Computer Science (LK), p. 32.
ICALP-v1-2010-ApplebaumIK #performance #verification: From Secrecy to Soundness: Efficient Verification via Secure Computation (BA, YI, EK), pp. 152–163.
ICALP-v1-2010-Georgiadis #graph #testing: Testing 2-Vertex Connectivity and Computing Pairs of Vertex-Disjoint s-t Paths in Digraphs (LG), pp. 738–749.
ICALP-v2-2010-ChandranGO #fault tolerance #network: Improved Fault Tolerance and Secure Computation on Sparse Networks (NC, JAG, RO), pp. 249–260.
ICALP-v2-2010-DuncanP #quantum: Rewriting Measurement-Based Quantum Computations with Generalised Flow (RD, SP), pp. 285–296.
LATA-2010-BalanS #incremental #problem: Incremental Building in Peptide Computing to Solve Hamiltonian Path Problem (MSB, PS), pp. 549–560.
IFM-2010-FranzleTE #hybrid #probability #smt: Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.
SFM-2010-BroadbentFK #quantum: Measurement-Based and Universal Blind Quantum Computation (AB, JF, EK), pp. 43–86.
ICFP-2010-StampoulisS #logic #named: VeriML: typed computation of logical terms inside a language with effects (AS, ZS), pp. 333–344.
IFL-2010-BrownLBH #algebra: Improving Your CASH Flow: The Computer Algebra SHell (CB, HWL, JB, KH), pp. 169–184.
ICGT-2010-BaldanBCKS #graph grammar #on the: On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (PB, AB, AC, BK, SS), pp. 91–106.
CHI-2010-BaudischBR #named: Lumino: tangible blocks for tabletop computers based on glass fiber bundles (PB, TB, FR), pp. 1165–1174.
CHI-2010-ChangYM #testing #user interface #using: GUI testing using computer vision (THC, TY, RCM), pp. 1535–1544.
CHI-2010-HuhNS #comprehension #reuse: Finding the lost treasure: understanding reuse of used computing devices (JH, KN, NS), pp. 1875–1878.
CHI-2010-IraniVDPG #design #development #lens: Postcolonial computing: a lens on design and development (LI, JV, PD, KP, REG), pp. 1311–1320.
CHI-2010-NgaiCNCCLT #framework #scalability #smarttech: i*CATch: a scalable plug-n-play wearable computing framework for novices and children (GN, SCFC, VTYN, JCYC, SSSC, WWYL, JTPT), pp. 443–452.
CHI-2010-PanJYPQ #automation #communication #comprehension #quality #realtime: Effects of automated transcription quality on non-native speakers’ comprehension in real-time computer-mediated communication (YP, DJ, LY, MP, YQ), pp. 1725–1734.
CHI-2010-PiperCH #health: Exploring the accessibility and appeal of surface computing for older adult health care support (AMP, RC, JDH), pp. 907–916.
CHI-2010-SaponasTMTL #interface: Making muscle-computer interfaces more practical (TSS, DST, DM, JT, JAL), pp. 851–854.
CHI-2010-YukselDTS #human-computer #interface #multi #novel #using: A novel brain-computer interface using a multi-touch surface (BFY, MD, JT, AS), pp. 855–858.
CSCW-2010-BurkeKW #communication #social: Social use of computer-mediated communication by adults on the autism spectrum (MB, RK, DW), pp. 425–434.
CSCW-2010-WarkentinWHC #communication: Warrants and deception in computer mediated communication (DW, MW, JTH, NC), pp. 9–12.
CAiSE-2010-CeriB: Search Computing Systems (SC, MB), pp. 1–6.
ICEIS-AIDSS-2010-KuhnDGC #algorithm #ontology #sequence: KBE Template Update Propagation Support — Ontology and Algorithm for Update Sequence Computation (OK, TD, PG, PC), pp. 5–12.
ICEIS-HCI-2010-SuadamaraWH #design #interactive #towards: Culture Influence on Human Computer Interaction — Cultural Factors Toward User’s Preference on Groupware Application Design (RS, SW, AH), pp. 186–191.
ICEIS-ISAS-2010-KikuchiMAM #mining #process: Process Mining for Job Nets in Integrated Complex Computer Systems (SK, YM, MA, SM), pp. 5–12.
ICEIS-ISAS-2010-Nicolicin-GeorgescuBLB #ontology #resource management: Ontology-based Autonomic Computing for Resource Sharing between Data Warehouses in Decision Support Systems (VNG, VB, RL, HB), pp. 199–206.
ICEIS-ISAS-2010-ShishkovWS #energy #on the: On the Application of Autonomic and Context-aware Computing to Support Home Energy Management (BS, MW, MvS), pp. 307–313.
CIKM-2010-DondioB #comparison: Comparison of six aggregation strategies to compute users’ trustworthiness (PD, SB), pp. 1773–1776.
CIKM-2010-LeeC #grammar recovery #testing #xml: XML schema computations: schema compatibility testing and subschema extraction (TYtL, DWWC), pp. 839–848.
CIKM-2010-ShalemK: Computing the top-k maximal answers in a join of ranked lists (MS, YK), pp. 1381–1384.
ICML-2010-Scherrer #difference #fixpoint #perspective: Should one compute the Temporal Difference fix point or minimize the Bellman Residual? The unified oblique projection view (BS), pp. 959–966.
ICML-2010-SonnenburgF #framework #linear #named: COFFIN: A Computational Framework for Linear SVMs (SS, VF), pp. 999–1006.
ICPR-2010-AmcalarC #design #evaluation #human-computer #implementation #interface #realtime: Design, Implementation and Evaluation of a Real-Time P300-based Brain-Computer Interface System (AA, MÇ), pp. 117–120.
ICPR-2010-AngGLLNC #human-computer #interface: A Brain-Computer Interface for Mental Arithmetic Task from Single-Trial Near-Infrared Spectroscopy Brain Signals (KKA, CG, KL, JQL, SN, BC), pp. 3764–3767.
ICPR-2010-ArgunsahC #approach #classification #human-computer #interface: AR-PCA-HMM Approach for Sensorimotor Task Classification in EEG-based Brain-Computer Interfaces (AOA, MÇ), pp. 113–116.
ICPR-2010-BardajiFS #distance #edit distance #graph: Computing the Barycenter Graph by Means of the Graph Edit Distance (IB, MF, AS), pp. 962–965.
ICPR-2010-EklundAOYK #communication #interface #realtime #using: A Brain Computer Interface for Communication Using Real-Time fMRI (AE, MTA, HO, AY, HK), pp. 3665–3669.
ICPR-2010-FerrerB #algorithm #approximate #graph: An Iterative Algorithm for Approximate Median Graph Computation (MF, HB), pp. 1562–1565.
ICPR-2010-HiraiUK #performance #realtime: Real-Time Pose Regression with Fast Volume Descriptor Computation (MH, NU, MK), pp. 1852–1855.
ICPR-2010-HuCY #estimation #interactive: Hand Pointing Estimation for Human Computer Interaction Based on Two Orthogonal-Views (KH, SJC, LY), pp. 3760–3763.
ICPR-2010-KarpovRKRA #interactive #multimodal: Multimodal Human Computer Interaction with MIDAS Intelligent Infokiosk (AK, AR, ISK, ALR, LA), pp. 3862–3865.
ICPR-2010-KenmochiBT: Efficiently Computing Optimal Consensus of Digital Line Fitting (YK, LB, HT), pp. 1064–1067.
ICPR-2010-LenzMC #composition #geometry: Iwasawa Decomposition and Computational Riemannian Geometry (RL, RM, JC), pp. 4472–4475.
ICPR-2010-MalakutiA #monitoring #towards: Towards an Intelligent Bed Sensor: Non-intrusive Monitoring of Sleep Irregularities with Computer Vision Techniques (KM, ABA), pp. 4004–4007.
ICPR-2010-MezghaniPMLG #network #order: A Computer-Aided Method for Scoliosis Fusion Level Selection by a Topologicaly Ordered Self Organizing Kohonen Network (NM, PP, AM, HL, JAdG), pp. 4012–4015.
ICPR-2010-RomeroTV #analysis #corpus #image: Computer Assisted Transcription of Text Images: Results on the GERMANA Corpus and Analysis of Improvements Needed for Practical Use (VR, AHT, EV), pp. 2017–2020.
ICPR-2010-SamanH #image #robust: Robust Computation of the Polarisation Image (GS, ERH), pp. 971–974.
ICPR-2010-SattiGCP #adaptation #human-computer #interface: A Covariate Shift Minimisation Method to Alleviate Non-stationarity Effects for an Adaptive Brain-Computer Interface (ARS, CG, DC, GP), pp. 105–108.
ICPR-2010-SukF: Refined Morphological Methods of Moment Computation (TS, JF), pp. 966–970.
KDD-2010-HeFLC #graph #parallel #scalability: Parallel SimRank computation on large graphs with iterative aggregation (GH, HF, CL, HC), pp. 543–552.
KDIR-2010-KleizaKT #approach #documentation #identification #query #semantics #similarity #visualisation #word: Semantic Identification and Visualization of Significant Words within Documents — Approach to Visualize Relevant Words within Documents to a Search Query by Word Similarity Computation (KK, PK, KDT), pp. 481–486.
KEOD-2010-BarrosoAG #encryption #hardware #in the cloud #process: Key Management Process on the Hardware Cryptographic Module in the Cloud Computing (JMDB, LJA, PGG), pp. 493–496.
KEOD-2010-FrixioneL #concept #ontology #representation: The Computational Representation of Concepts in Formal Ontologies — Some General Considerations (MF, AL), pp. 396–403.
KEOD-2010-HubwieserB #collaboration #education #modelling: Modeling Educational Knowledge — Supporting the Collaboration of Computer Science Teachers (PH, MB), pp. 229–234.
KEOD-2010-NamgoongKK #in the cloud #rdf #scalability: Mitigation of Large-scale RDF Data Loading with the Employment of a Cloud Computing Service (HN, HK, HGK), pp. 489–492.
KMIS-2010-ChateauBM: Computer Aided System for Managing Domain Knowledge — Application to Cultural Patrimony (SdC, DB, EML), pp. 240–245.
KR-2010-DitmarschEW #logic: One Hundred Prisoners and a Lightbulb — Logic and Computation (HvD, JvE, WW).
KR-2010-Halpern10a: I Don’t Want to Think About it Now: Decision Theory with Costly Computation (JYH).
KR-2010-XiaoLMQ #consistency #metric #multi #nondeterminism #satisfiability #semantics: Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers (GX, ZL, YM, GQ).
SEKE-2010-CintoP #design #guidelines #human-computer #interface: Human-Computer Interface Design Guidelines: An Expert System (TC, CSAP), pp. 361–366.
SEKE-2010-KhoshgoftaarG #machine learning #metric #novel #re-engineering #using: Software Engineering with Computational Intelligence and Machine Learning A Novel Software Metric Selection Technique Using the Area Under ROC Curves (TMK, KG), pp. 203–208.
SEKE-2010-KongZLR #adaptation #design #interface #multimodal #pervasive: A Cross-Layer Design for Adaptive Multimodal Interfaces in Pervasive Computing (JK, WZ, JL, AGR), pp. 726–731.
SEKE-2010-Yeh #animation #human-computer #interactive #learning: The effects of human-computer interaction modes for weak learners in an animation learning environment (YFY), pp. 18–23.
SIGIR-2010-BroderGJ #challenge #information retrieval: Information retrieval challenges in computational advertising (AZB, EG, VJ), p. 908.
ECMFA-2010-KoudriCLL #modelling: MoPCoM Methodology: Focus on Models of Computation (AK, JC, JCLL, VL), pp. 189–200.
ECMFA-2010-KusterGE #modelling #process: Dynamic Computation of Change Operations in Version Management of Business Process Models (JMK, CG, GE), pp. 201–216.
ICMT-2010-BrambillaCT #modelling #perspective: Search Computing: A Model-Driven Perspective (MB, SC, MT), pp. 1–15.
OOPSLA-2010-ChafiDMRSHOO #parallel: Language virtualization for heterogeneous parallel computing (HC, ZD, AM, TR, AKS, PH, MO, KO), pp. 835–847.
OOPSLA-2010-MercadalECL #approach #architecture #fault #pervasive: A domain-specific approach to architecturing error handling in pervasive computing (JM, QE, CC, NL), pp. 47–61.
OOPSLA-2010-ReichenbachISAG #garbage collection #what: What can the GC compute efficiently?: a language for heap assertions at GC time (CR, NI, YS, EA, SZG), pp. 256–269.
OOPSLA-2010-RinardHMS #analysis #comprehension #statistics: Patterns and statistical analysis for understanding reduced resource computing (MCR, HH, SM, SS), pp. 806–821.
QAPL-2010-StefanekHB #analysis #parallel #performance: A new tool for the performance analysis of massively parallel computer systems (AS, RAH, JTB), pp. 159–181.
RE-2010-Hirzalla #in the cloud #requirements: Realizing Business Agility Requirements through SOA and Cloud Computing (MH), pp. 379–380.
SAC-2010-ChamberlainBFB #architecture #development: Application-guided tool development for architecturally diverse computation (RDC, JB, MAF, JHB), pp. 496–501.
SAC-2010-CostaMB #consistency #database #distributed #mobile #protocol: A distributed protocol for ensuring replicated database consistency in mobile computing environments (AC, JMM, AB), pp. 1688–1693.
SAC-2010-CuzzocreaB #distributed #framework #multi #privacy #xml: A secure multiparty computation privacy preserving OLAP framework over distributed XML data (AC, EB), pp. 1666–1673.
SAC-2010-DolevGK #multi #scalability #trust: Computing multi-party trust privately: in O(n) time units sending one (possibly large) message at a time (SD, NG, MK), pp. 1460–1465.
SAC-2010-FunfzigMF #polynomial: Polytope-based computation of polynomial ranges (CF, DM, SF), pp. 1247–1252.
SAC-2010-GohC #quality #social: Investigating the influence of social computing applications on website quality (DHLG, AYKC), pp. 807–811.
SAC-2010-HarshCN #generative #network #towards: Gray networking: a step towards next generation computer networks (PH, RC, REN), pp. 1323–1328.
SAC-2010-HassanB #distributed #file system #using: Semi-join computation on distributed file systems using map-reduce-merge model (MAHH, MB), pp. 406–413.
SAC-2010-LevyLMS #bias #identification #multi: Identification and control of intrinsic bias in a multiscale computational model of drug addiction (YZL, DL, JSM, HTS), pp. 2389–2393.
SAC-2010-LiuCGT #energy #mobile #performance: Energy efficient management scheme for heterogeneous secondary storage system in mobile computers (SL, XC, XG, DT), pp. 251–257.
SAC-2010-MulasACFQF #adaptation #energy #network: Network-adaptive management of computation energy in wireless sensor networks (FM, AA, SC, GF, DQ, FF), pp. 756–763.
SAC-2010-WeiC #adaptation #mobile #semantics #towards: Towards semantic-based adaptation decisions for context-aware mobile computing (EJYW, ATSC), pp. 563–567.
SAC-2010-YiKMKS #adaptation #fault tolerance #named #reliability: ART: adaptive, reliable, and fault-tolerant task management for computational grids (SY, JYK, HM, BK, COS), pp. 238–239.
FSE-2010-Johnson10a #research: Avoiding the classic catastrophic computer science failure mode: 2010 acm sigsoft outstanding research award talk (REJ), pp. 5–6.
ICSE-2010-EsfahaniM #adaptation #network #paradigm #pervasive #self #social: Social computing networks: a new paradigm for engineering self-adaptive pervasive software systems (NE, SM), pp. 159–162.
ICSE-2010-JilaniMLGM #invariant #using: Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.
ASPLOS-2010-VenkateshSGGBLST #energy #maturity: Conservation cores: reducing the energy of mature computations (GV, JS, NG, SG, VB, JLM, SS, MBT), pp. 205–218.
CGO-2010-StephensonRYH #behaviour #statistics: Statistically regulating program behavior via mainstream computing (MS, RR, EY, EVH), pp. 238–247.
HPCA-2010-Agerwala #challenge: Exascale computing: The challenges and opportunities in the next decade (TA), p. 1.
HPCA-2010-TorrellasGSMO #challenge: Extreme scale computing: Challenges and opportunities (JT, BG, VS, JHM, KO), p. 1.
HPDC-2010-BuiBFT #data-driven #named #repository #scalability: ROARS: a scalable repository for data intensive scientific computing (HB, PB, PJF, DT), pp. 766–775.
HPDC-2010-BuiYT #abstraction #distributed #named #python #using #workflow: Weaver: integrating distributed computing abstractions into scientific workflows using Python (PB, LY, DT), pp. 636–643.
HPDC-2010-DonassoloCLV #performance #scalability #simulation #using #volunteer: Fast and scalable simulation of volunteer computing systems using SimGrid (BD, HC, AL, PV), pp. 605–612.
HPDC-2010-GuanYCGLC #distributed #named: DistriBit: a distributed dynamic binary translator system for thin client computing (HG, YY, KC, YG, LL, YC), pp. 684–691.
HPDC-2010-GunarathneWQF #in the cloud #paradigm #parallel: Cloud computing paradigms for pleasingly parallel biomedical applications (TG, TLW, JQ, GF), pp. 460–469.
HPDC-2010-JabriM #using: Authorization within grid-computing using certificateless identity-based proxy signature (MAJ, SM), pp. 292–295.
HPDC-2010-JonesDD #clustering #performance: Impact of sub-optimal checkpoint intervals on application efficiency in computational clusters (WMJ, JTD, ND), pp. 276–279.
HPDC-2010-KandemirMKS #multi: Computation mapping for multi-level storage cache hierarchies (MTK, SPM, MK, SWS), pp. 179–190.
HPDC-2010-KieferVL #pipes and filters: Pairwise Element Computation with MapReduce (TK, PBV, WL), pp. 826–833.
HPDC-2010-KrampeLS #hybrid #markov #parallel: A hybrid Markov chain model for workload on parallel computers (AK, JL, WS), pp. 589–596.
HPDC-2010-Lee #in the cloud: A perspective on scientific cloud computing (CAL), pp. 451–459.
HPDC-2010-MooreKMKG #performance #volunteer: Simultaneous performance exploration and optimized search with volunteer computing (LRM, MK, TM, MK, KAG), pp. 312–315.
HPDC-2010-PhamJJS #composition #framework #performance: A service composition framework for market-oriented high performance computing cloud (TVP, HJ, KEJ, ZYS), pp. 284–287.
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-RoodGLS #performance #towards: Toward high performance computing in unconventional computing environments (BR, NG, MJL, NS), pp. 627–635.
HPDC-2010-TanakaT #data-driven #distributed #flexibility #named #parallel #workflow: Pwrake: a parallel and distributed flexible workflow management tool for wide-area data intensive computing (MT, OT), pp. 356–359.
LCTES-2010-WernsingS #adaptation #framework #manycore: Elastic computing: a framework for transparent, portable, and adaptive multi-core heterogeneous computing (JRW, GS), pp. 115–124.
OSDI-2010-GundaRTYZ #automation #named: Nectar: Automatic Management of Data and Computation in Datacenters (PKG, LR, CAT, YY, LZ), pp. 75–88.
PPoPP-2010-Agerwala #challenge: Exascale computing: the challenges and opportunities in the next decade (TA), pp. 1–2.
PPoPP-2010-MarjanovicLAV #communication #effectiveness #hybrid: Effective communication and computation overlap with hybrid MPI/SMPSs (VM, JL, EA, MV), pp. 337–338.
PPoPP-2010-TorrellasGMOS #challenge: Extreme scale computing: challenges and opportunities (JT, BG, JHM, KO, VS), pp. 101–102.
CSL-2010-BiancoMM #logic: Graded Computation Tree Logic with Binary Coding (AB, FM, AM), pp. 125–139.
CSL-2010-Krajicek #proving: From Feasible Proofs to Feasible Computations (JK), pp. 22–31.
CSL-2010-NenovP #logic #on the: On the Computability of Region-Based Euclidean Logics (YN, IPH), pp. 439–453.
ICLP-J-2010-AlvianoFL #decidability #effectiveness #query: Disjunctive ASP with functions: Decidable queries and effective computation (MA, WF, NL), pp. 497–512.
ISSTA-2010-GodefroidK #float #memory management #program analysis #proving #safety: Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.
LICS-2010-Mellies: Segal Condition Meets Computational Effects (PAM), pp. 150–159.
RTA-2010-AvanziniM #complexity #runtime: Closing the Gap Between Runtime Complexity and Polytime Computability (MA, GM), pp. 33–48.
RTA-2010-KollerT #normalisation: Underspecified computation of normal forms (AK, ST), pp. 177–192.
RTA-2010-Mimram #2d #term rewriting: Computing Critical Pairs in 2-Dimensional Rewriting Systems (SM), pp. 227–242.
CASE-2009-SubburajRA #3d #automation #geometry #reasoning: Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgery (KS, BR, MA), pp. 367–372.
CASE-2009-WangLNRKML #concurrent #parallel #source code #thread: Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract) (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.
DAC-2009-Ahn: Human computation (LvA), pp. 418–419.
DAC-2009-AltunRN: Nanoscale digital computation through percolation (MA, MDR, CN), pp. 615–616.
DAC-2009-ArfaeeILFK #linear #multi #named #performance: Xquasher: a tool for efficient computation of multiple linear expressions (AA, AI, NL, FF, RK), pp. 254–257.
DAC-2009-Bailey #parallel #performance: Misleading performance claims in parallel computations (DHB), pp. 528–533.
DAC-2009-Chou #cyber-physical #user interface: Endosymbiotic computing: enabling surrogate GUI and cyber-physical connectivity (PHC), pp. 625–626.
DAC-2009-DeOrioB: Human computing for EDA (AD, VB), pp. 621–622.
DAC-2009-FeySD #bound #fault tolerance #using: Computing bounds for fault tolerance using formal techniques (GF, AS, RD), pp. 190–195.
DAC-2009-George #how: How to make computers that work like the brain (DG), pp. 420–423.
DAC-2009-HagiescuWBR: A computing origami: folding streams in FPGAs (AH, WFW, DFB, RMR), pp. 282–287.
DAC-2009-KimM #array #configuration management #embedded #performance: Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.
DAC-2009-MarrBBH #learning: A learning digital computer (BM, AB, SB, PEH), pp. 617–618.
DAC-2009-Uchida #ubiquitous: Single-electron devices for ubiquitous and secure computing applications (KU), pp. 301–303.
DATE-2009-Flamand #manycore #towards: Strategic directions towards multicore application specific computing (EF), p. 1266.
DATE-2009-HeH #algorithm #encoding #performance #verification: An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.
DATE-2009-MadlenerMH #named #performance: SC-DEVS: An efficient SystemC extension for the DEVS model of computation (FM, HGM, SAH), pp. 1518–1523.
DATE-2009-SabeghiB #approach #configuration management #runtime #towards: Toward a runtime system for reconfigurable computers: A virtualization approach (MS, KB), pp. 1576–1579.
DATE-2009-TannirK #analysis #using: Computation of IP3 using single-tone moments analysis (DT, RK), pp. 718–723.
DRR-2009-GolubitskyW #online #similarity: Online computation of similarity between handwritten characters (OG, SMW), pp. 1–10.
HT-2009-YahiaouiPB #documentation #framework #process: The redocumentation process of computer mediated activity traces: a general framework (LY, YP, ZB), pp. 363–364.
ICDAR-2009-Franke #analysis #forensics #reliability: Capturing Reliable Data for Computer-Based Forensic Handwriting Analysis II: Pen-position Activations (KF), pp. 1310–1314.
ICDAR-2009-RomeroTV #feedback #image #using: Using Mouse Feedback in Computer Assisted Transcription of Handwritten Text Images (VR, AHT, EV), pp. 96–100.
PODS-2009-AtallahQ #nondeterminism: Computing all skyline probabilities for uncertain data (MJA, YQ), pp. 279–287.
SIGMOD-2009-DemersGKSW #database #game studies #research: Database research in computer games (AJD, JG, CK, BS, WMW), pp. 1011–1014.
SIGMOD-2009-IsardY #distributed #programming language #using: Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
SIGMOD-2009-OlteanuH #query: Secondary-storage confidence computation for conjunctive queries with inequalities (DO, JH), pp. 389–402.
SIGMOD-2009-WongCKM #database: Secure kNN computation on encrypted databases (WKW, DWLC, BK, NM), pp. 139–152.
SIGMOD-2009-XuBEHS #clustering #enterprise #nondeterminism: E = MC3: managing uncertain enterprise data in a cluster-computing environment (FX, KSB, VE, PJH, EJS), pp. 441–454.
SIGMOD-2009-ZhangMC #clustering #scalability #using: Scalable skyline computation using object-based space partitioning (SZ, NM, DWC), pp. 483–494.
VLDB-2009-CateCKT #query #sql: Laconic Schema Mappings: Computing the Core with SQL Queries (BtC, LC, PGK, WCT), pp. 1006–1017.
CSEET-2009-Jalote #education #re-engineering: Teaching an Introductory Software Engineering Course in a Computer Science Program (PJ), p. 7.
ITiCSE-2009-Al-BowAEFFLLM #education #game studies #programming #student #using: Using game creation for teaching computer programming to high school students and teachers (MAB, DA, JE, RF, JF, CL, STL, SM), pp. 104–108.
ITiCSE-2009-BlumeBCD #communication: A “communication skills for computer scientists” course (LB, RMB, CC, AD), pp. 65–69.
ITiCSE-2009-BrindaPS #education #standard: Bridging ICT and CS: educational standards for computer science in lower secondary education (TB, HP, CS), pp. 288–292.
ITiCSE-2009-BuendiaCB #approach #learning: An instructional approach to drive computer science courses through virtual learning environments (FB, JCC, JVB), pp. 6–10.
ITiCSE-2009-Cassapu #education #experience #interactive: Introducing the interactive whiteboard in computer science teaching: a high school experience (AC), p. 364.
ITiCSE-2009-CasselDS: Masters degrees in computing (LNC, GD, SS), p. 366.
ITiCSE-2009-CasselGN #community #education #named: Ensemble: enriching communities and collections to support education in computing (L(C, GWH, BN), p. 355.
ITiCSE-2009-CasselLMW #concurrent #ontology #parallel: Concurrency and parallelism in the computing ontology (LNC, RJL, ADM, MW), p. 402.
ITiCSE-2009-ColeKMP #education #named: Musicomputation: a pilot course exploring a pre-college computer science curriculum (MCC, EK, ALM, SP), p. 381.
ITiCSE-2009-CukiermanT #learning #student: The academic enhancement program: encouraging students to learn about learning as part of their computing science courses (DC, DMT), pp. 171–175.
ITiCSE-2009-CurzonPTSR #weaving: Computational thinking (CT): on weaving it in (PC, JP, HGT, AS, ER), pp. 201–202.
ITiCSE-2009-DeePBP #case study #experience #why #women: Why are we still here?: experiences of successful women in computing (HMD, KEP, RDB, RP), pp. 233–237.
ITiCSE-2009-Gal-EzerSZ #gender: Computer science issues in high school: gender and more... (JGE, DS, EZ), pp. 278–282.
ITiCSE-2009-HawthorneKCW #guidelines: Revised associate-level curricular guidelines in computer science (EKH, KJK, RDC, AMW), p. 374.
ITiCSE-2009-Hislop #programming: Replacing introductory programming courses with a broader perspective on computing (GWH), p. 390.
ITiCSE-2009-HuangB #approach #question: A unified approach to introductory computer science: can one size fit all? (TH, AB), pp. 253–257.
ITiCSE-2009-Mirolo #analysis #modelling #problem #recursion: Mental models of recursive computations vs. recursive analysis in the problem domain (CM), p. 397.
ITiCSE-2009-MisraBK #education #music: A music context for teaching introductory computing (AM, DSB, DK), pp. 248–252.
ITiCSE-2009-MitchellPH #question #what: Computing science: what do pupils think? (AM, HCP, JH), p. 353.
ITiCSE-2009-MoraPJC #assessment #collaboration #learning #student: Learning method based on collaborative assessment performed by the students: an application to computer science (HMM, MTSP, RCJ, JMGC), p. 372.
ITiCSE-2009-MostromBEMSTZ #student: Computer science student transformations: changes and causes (JEM, JB, AE, RM, KS, LT, CZ), pp. 181–185.
ITiCSE-2009-Pantaleev #learning #named #visual notation: Dzver: a visual computer science learning environment (AP), p. 387.
ITiCSE-2009-Perrenet #difference #student: Differences in beliefs and attitudes about computer science among students and faculty of the bachelor program (JP), pp. 129–133.
ITiCSE-2009-PharrSS #development: Paired professional development: a methodology for continued professional development in computer science (WP, CWS, CSS), pp. 218–222.
ITiCSE-2009-Rosenbloom #contest #programming: Running a programming contest in an introductory computer science course (AR), p. 347.
ITiCSE-2009-RosslingK #education: Extending moodle to better support computing education (GR, AK), pp. 146–150.
ITiCSE-2009-StarrBZ #development #education #framework #implementation: The development and implementation of a context-based curricular framework for computer science education in high schools (CWS, DB, PZ), pp. 283–287.
ITiCSE-2009-TsengHH #collaboration #education #framework #learning #ubiquitous: A collaborative ubiquitous learning platform for computer science education (JCRT, SYYH, GJH), p. 368.
ITiCSE-2009-WangHCT #behaviour #collaboration #learning: The role of collective efficacy and collaborative learning behavior in learning computer science through CSCL (SLW, GHH, JCC, PST), p. 352.
FASE-2009-CalinescuK #development #self: CADS*: Computer-Aided Development of Self-* Systems (RC, MZK), pp. 421–424.
FASE-2009-SumnerZ #algorithm #automation: Algorithms for Automatically Computing the Causal Paths of Failures (WNS, XZ), pp. 355–369.
TACAS-2009-KuijperP #game studies #safety: Computing Weakest Strategies for Safety Games of Imperfect Information (WK, JvdP), pp. 92–106.
TACAS-2009-SchollDPK #constraints #detection #linear: Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.
WCRE-1999-BogdanovW99a #difference #modelling: Computing the Structural Difference between State-Based Models (KB, NW), pp. 177–186.
WCRE-1999-MerloL99a: Computing Structural Types of Clone Syntactic Blocks (EM, TL), pp. 274–278.
PEPM-2009-Acar #bibliography #self: Self-adjusting computation: (an overview) (UAA), pp. 1–6.
PLDI-2009-HammerAC #named #self: CEAL: a C-based language for self-adjusting computation (MAH, UAA, YC), pp. 25–37.
CIAA-J-2008-CantinLW09 #automaton: Computing Convex Hulls by Automata Iteration (FC, AL, PW), pp. 647–667.
CIAA-J-2008-HempelK09 #aspect-oriented #persistent: Aspects of Persistent Computations (HH, MK), pp. 701–715.
CIAA-J-2008-HolzerK09 #automaton #complexity #finite #nondeterminism: Nondeterministic Finite Automata — Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 563–580.
ICALP-v1-2009-EmekFKR #online: Online Computation with Advice (YE, PF, AK, AR), pp. 427–438.
ICALP-v1-2009-WeimannY #graph: Computing the Girth of a Planar Graph in O(n logn) Time (OW, RY), pp. 764–773.
LATA-2009-HolzerK #automaton #complexity #finite: Descriptional and Computational Complexity of Finite Automata (MH, MK), pp. 23–42.
FM-2009-JostLHSH #analysis #bound #using: “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis (SJ, HWL, KH, NS, MH), pp. 354–369.
FM-2009-Tonetta #abstraction #model checking: Abstract Model Checking without Computing the Abstraction (ST), pp. 89–105.
SEFM-2009-BonfanteMR #self #source code: A Computability Perspective on Self-Modifying Programs (GB, JYM, DRP), pp. 231–239.
SFM-2009-Bruni #calculus: Calculi for Service-Oriented Computing (RB), pp. 1–41.
ICFP-2009-LicataH: A universe of binding and computation (DRL, RH), pp. 123–134.
ICFP-2009-NewtonK #case study #domain-specific language #embedded #experience #functional #parallel: Experience report: embedded, parallel computer-vision with a functional DSL (RN, TK), pp. 59–64.
CHI-2009-Beauvisage: Computer usage in daily life (TB), pp. 575–584.
CHI-2009-BergstromK #clustering #human-computer #topic: Conversation clusters: grouping conversation topics through human-computer dialog (TB, KK), pp. 2349–2352.
CHI-2009-ChettyBMJ #comprehension #power management: It’s not easy being green: understanding home computer power management (MC, AJBB, BM, PJ), pp. 1033–1042.
CHI-2009-ConvertinoMRSC #process: Supporting content and process common ground in computer-supported teamwork (GC, HMM, MBR, AS, JMC), pp. 2339–2348.
CHI-2009-HinckleyDSGB #named #tablet: Codex: a dual screen tablet computer (KH, MD, RS, FG, RB), pp. 1933–1942.
CHI-2009-JinD #self: Self-interruption on the computer: a typology of discretionary task interleaving (JJ, LAD), pp. 1799–1808.
CHI-2009-KassilS #evaluation: Evaluation of a tool-mounted guidance display for computer-assisted surgery (KK, AJS), pp. 1275–1278.
CHI-2009-LawA #game studies #named #using: Input-agreement: a new mechanism for collecting data using human computation games (EL, LvA), pp. 1197–1206.
CHI-2009-LeshedPHCBLMG #behaviour #feedback #realtime #visualisation: Visualizing real-time language-based feedback on teamwork behavior in computer-mediated groups (GL, DP, JTH, DC, JPB, SL, PLM, GG), pp. 537–546.
CHI-2009-NgaiCCL #framework #smarttech: The TeeBoard: an education-friendly construction platform for e-textiles and wearable computing (GN, SCFC, JCYC, WWYL), pp. 249–258.
CHI-2009-NovW #privacy #social: Social computing privacy concerns: antecedents and effects (ON, SW), pp. 333–336.
CHI-2009-NylanderLB #internet #people #why: At home and with computer access: why and where people use cell phones to access the internet (SN, TL, AB), pp. 1639–1642.
CHI-2009-PanJPQ #comprehension #realtime: Effects of real-time transcription on non-native speaker’s comprehension in computer-mediated communications (YP, DJ, MP, YQ), pp. 2353–2356.
CHI-2009-PooleCMGE: Computer help at home: methods and motivations for informal technical support (ESP, MC, TM, REG, WKE), pp. 739–748.
CHI-2009-SauvanLLC #human-computer #interface #performance: A performance model of selection techniques for p300-based brain-computer interfaces (JBS, AL, FL, GC), pp. 2205–2208.
CHI-2009-VoidaG #game studies: Wii all play: the console game as a computational meeting place (AV, SG), pp. 1559–1568.
CHI-2009-VoidaM #case study #experience: It feels better than filing: everyday work experiences in an activity-based computing system (SV, EDM), pp. 259–268.
CHI-2009-WangFS #adaptation #communication #difference: Cultural difference and adaptation of communication styles in computer-mediated group brainstorming (HCW, SRF, LDS), pp. 669–678.
CHI-2009-WobbrockMW #gesture: User-defined gestures for surface computing (JOW, MRM, ADW), pp. 1083–1092.
CHI-2009-WycheG #lens: Extraordinary computing: religion as a lens for reconsidering the home (SW, REG), pp. 749–758.
DHM-2009-DemirelD #analysis #feedback: Impact of Force Feedback on Computer Aided Ergonomic Analyses (HOD, VGD), pp. 608–613.
DHM-2009-Furstenau #ambiguity: Computational Nonlinear Dynamics Model of Percept Switching with Ambiguous Stimuli (NF), pp. 227–236.
DHM-2009-GoreHWS #implementation: A Computational Implementation of a Human Attention Guiding Mechanism in MIDAS v5 (BFG, BLH, CDW, SSN), pp. 237–246.
DHM-2009-HaazebroekH #interactive #towards: Towards a Computational Model of Perception and Action in Human Computer Interaction (PH, BH), pp. 247–256.
DHM-2009-MahmudVLC #ubiquitous: The Five Commandments of Activity-Aware Ubiquitous Computing Applications (NM, JV, KL, KC), pp. 257–264.
HCD-2009-MoundalexisDR #development #human-computer #interactive: Integrating Human-Computer Interaction Artifacts into System Development (MM, JD, KR), pp. 284–291.
HCD-2009-RuggeRS #development #human-computer #process #smarttech #towards: Changes of HCI Methods towards the Development Process of Wearable Computing Solutions (IR, CR, BSR), pp. 302–311.
HCI-AUII-2009-DongR #multi: Context Awareness and Perceived Interactivity in Multimedia Computing (XD, PLPR), pp. 21–29.
HCI-AUII-2009-GronliG #interactive #process #social: Human Computer Interaction with a PIM Application: Merging Activity, Location and Social Setting into Context (TMG, GG), pp. 30–38.
HCI-AUII-2009-Heimgartner #identification #interactive: Identification of the User by Analyzing Human Computer Interaction (RH), pp. 275–283.
HCI-AUII-2009-HuangTKWLT #interactive #smarttech: Interaction Wearable Computer with Networked Virtual Environment (JyH, MCT, HCK, JJW, KHL, CHT), pp. 741–751.
HCI-AUII-2009-IbenWK #feedback #smarttech #visual notation: The Impact of Different Visual Feedback Presentation Methods in a Wearable Computing Scenario (HI, HW, EMK), pp. 752–759.
HCI-AUII-2009-KubickiLLSKC #human-computer #interactive #using: New Human-Computer Interactions Using Tangible Objects: Application on a Digital Tabletop with RFID Technology (SK, SL, YL, PDS, CK, JC), pp. 446–455.
HCI-AUII-2009-MatsuiIK #image #recognition #using: Front Environment Recognition of Personal Vehicle Using the Image Sensor and Acceleration Sensors for Everyday Computing (TM, TI, YK), pp. 151–158.
HCI-AUII-2009-MillardS #approach #interactive #ubiquitous: An Embodied Approach for Engaged Interaction in Ubiquitous Computing (MOM, FS), pp. 464–472.
HCI-AUII-2009-SongPJPKJ #effectiveness #human-computer #interactive #multi #using: Multi-pointing Method Using a Desk Lamp and Single Camera for Effective Human-Computer Interaction (TS, TCP, SJ, JHP, KHK, JWJ), pp. 520–525.
HCI-NIMT-2009-Allison #adaptation #generative #human-computer #interface: The I of BCIs: Next Generation Interfaces for Brain-Computer Interface Systems That Adapt to Individual Users (BZA), pp. 558–568.
HCI-NIMT-2009-MikhailAGSSE #communication #named #using: BEXPLORER: Computer and Communication Control Using EEG (MM, MAS, MG, NS, BS, KEA), pp. 579–587.
HCI-NIMT-2009-Schalk #human-computer: Sensor Modalities for Brain-Computer Interfacing (GS), pp. 616–622.
HCI-NIMT-2009-SellersTSMVM #human-computer #interface #novel: A Novel Dry Electrode for Brain-Computer Interface (EWS, PJT, WAS, TM, TMV, RM), pp. 623–631.
HCI-NIMT-2009-Whitman #diagrams #effectiveness: The Effectiveness of Interactivity in Computer-Based Instructional Diagrams (LW), pp. 899–908.
HCI-NT-2009-AhmedMB #human-computer #interactive: Aesthetics in Human-Computer Interaction: Views and Reviews (SUA, AAM, KB), pp. 559–568.
HCI-NT-2009-BullingerB #collaboration #development #human-computer #interactive: Collaborative Development and New Devices for Human-Computer Interaction (HJB, GB), pp. 789–795.
HCI-NT-2009-Chi #design #human-computer #interactive: A Position Paper on “Living Laboratories”: Rethinking Ecological Designs and Experimentation in Human-Computer Interaction (EHC), pp. 597–605.
HCI-NT-2009-ChoiKJJ #development #evaluation #ubiquitous #usability: Web-Based System Development for Usability Evaluation of Ubiquitous Computing Device (JKC, HJK, BSJ, YGJ), pp. 224–231.
HCI-NT-2009-EliassonPR #approach #design #interactive: Embodied Interaction or Context-Aware Computing? An Integrated Approach to Design (JE, TCP, RR), pp. 606–615.
HCI-NT-2009-GaoBA #assessment #monitoring: Monitoring and Processing of the Pupil Diameter Signal for Affective Assessment of a Computer User (YG, AB, MA), pp. 49–58.
HCI-VAD-2009-ChenGSEJ #detection #learning: Computer-Based Learning to Improve Breast Cancer Detection Skills (YC, AGG, HJS, AE, JJ), pp. 49–57.
HCI-VAD-2009-FangCN #bibliography #game studies #online: An Online Survey System on Computer Game Enjoyment and Personality (XF, SSC, CN), pp. 304–314.
HCI-VAD-2009-FicarraR #human-computer #interactive: CAD and Communicability: A System That Improves the Human-Computer Interaction (FVCF, RAR), pp. 468–477.
HCI-VAD-2009-IwabuchiNS #smarttech: Smart Makeup Mirror: Computer-Augmented Mirror to Aid Makeup Application (EI, MN, IS), pp. 495–503.
HCI-VAD-2009-KennyPR #interactive #standard: Human Computer Interaction in Virtual Standardized Patient Systems (PGK, TDP, AAR), pp. 514–523.
HCI-VAD-2009-LilleyP #approach #assessment: The Application of the Flexilevel Approach for the Assessment of Computer Science Undergraduates (ML, AP), pp. 140–148.
HIMI-DIE-2009-LimAC #case study #grid #performance: A Study on Computing Resource Partition for Increasing Efficiency of Grid System (CL, SJA, JC), pp. 563–569.
HIMI-II-2009-Bunnig #privacy #ubiquitous: Smart Privacy Management in Ubiquitous Computing Environments (CB), pp. 131–139.
HIMI-II-2009-FangZ #game studies: Sensation Seeking, Self Forgetfulness, and Computer Game Enjoyment (XF, FZ), pp. 632–641.
HIMI-II-2009-ItoTHNYUST #human-computer #interface: Clinical Usefulness of Human-Computer Interface for Training Targeted Facial Expression: Application to Patients with Cleft Lip and/or Palate (KI, AT, SH, SN, MY, SU, NS, KT), pp. 513–521.
HIMI-II-2009-RingardDPC #approach #collaboration: Computer-Aided Collaborative Work into War Rooms: A New Approach of Collaboration (JR, SD, SLDP, CC), pp. 835–844.
IDGD-2009-ChakrabortyN #game studies: Cross Cultural Computer Gaming (JC, AFN), pp. 13–18.
IDGD-2009-LinLSL #design #human-computer #interactive: Cultural Aspect of Interaction Design beyond Human-Computer Interaction (RL, PHL, WSS, SHL), pp. 49–58.
IDGD-2009-TungSDL #human-computer #interactive: A Cross-Cultural Study on the Perception of Sociability within Human-Computer Interaction (FWT, KS, YSD, TYL), pp. 135–144.
OCSC-2009-BramanVDJ #learning: Learning Computer Science Fundamentals through Virtual Environments (JB, GV, AMAD, AJ), pp. 423–431.
OCSC-2009-FaiolaS #experience #human-computer #interactive: Flow Experience in Second Life: The Impact of Telepresence on Human-Computer Interaction (AF, OVS), pp. 574–583.
OCSC-2009-KadenbachK #challenge #collaboration #development #education #social #using: Benefits and Challenges of Using Collaborative Development Environments with Social Software in Higher Computer Science Education (DK, CK), pp. 479–487.
SIGAda-2009-Barkstrom #ada #algorithm #concurrent #multi #on the #problem #using: On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms (BRB), pp. 61–72.
CAiSE-2009-Paalvast #framework: The IT Dilemma and the Unified Computing Framework (EP), p. 8.
CAiSE-2009-Simone #modelling: Computer-Centric Business Operating Models vs. Network-Centric Ones (MdS), pp. 6–7.
ICEIS-DISI-2009-Matsumoto: Service Computing EIS, World Panic and our Role Change (MJM), pp. 7–15.
ICEIS-DISI-2009-Papazoglou #research: Foresight & Research Priorities for Service Oriented Computing (MPP), p. 31.
ICEIS-AIDSS-2009-ChongC #using: An Investigation into Dynamic Customer Requirement using Computational Intelligence (YTC, CHC), pp. 113–117.
ICEIS-AIDSS-2009-RodriguesNCM #using: Estimating Greenhouse Gas Emissions using Computational Intelligence (JAPR, LBN, PHGC, JCCBSdM), pp. 248–250.
ICEIS-HCI-2009-JuniorJATPASN #interactive #internet #multi #prototype #using #web: Back Channel in Interactive Digital Television Systems: Strategies for Prototyping Applications using an Interactive Service Provider — Internet Computing — Interactive and Multimedia Web Applications (JBdSJ, JCdMMJ, ICA, FCT, GMP, PMdÁ, MdS, RFdN), pp. 130–135.
CIKM-2009-GaoLMWL #framework #markov: A general markov framework for page importance computation (BG, TYL, ZM, TW, HL), pp. 1835–1838.
CIKM-2009-LiuB #community #ranking: Computational community interest for ranking (XL, VvB), pp. 245–254.
CIKM-2009-MaCQG #game studies #using: Improving search engines using human computation games (HM, RC, CQ, AG), pp. 275–284.
CIKM-2009-ShiLMW #rank: Nonlinear static-rank computation (SS, BL, YM, JRW), pp. 807–816.
CIKM-2009-WangML #learning #programming #question #rank #search-based #using: Learning to rank using evolutionary computation: immune programming or genetic programming? (SW, JM, JL), pp. 1879–1882.
KDIR-2009-KulkarniC #concept #semantics #using #word: Computation of the Semantic Relatedness between Words using Concept Clouds (SK, DC), pp. 183–188.
KMIS-2009-YangJH #empirical #testing: Constructing a Computer Simulated Experiment Testing System (BY, SJ, DH), pp. 271–275.
SEKE-2009-Kung #network: Wireless Computing, Networking and Sensing (HTK), p. 1.
SIGIR-2009-LeeLP #reduction #similarity #using: Tag-based object similarity computation using term space dimension reduction (YKL, SJL, JP), pp. 790–791.
SIGIR-2009-Liu #community #ranking #using: Using computational community interest as an indicator for ranking (XL), p. 851.
SIGIR-2009-MaCQG #game studies #using: Page hunt: improving search engines using human computation games (HM, RC, CQ, AG), pp. 746–747.
GPCE-2009-CassouBLC #approach #generative #pervasive #programming: A generative programming approach to developing pervasive computing systems (DC, BB, NL, CC), pp. 137–146.
QAPL-2009-DengD #bibliography #metric: The Kantorovich Metric in Computer Science: A Brief Survey (YD, WD), pp. 73–82.
POPL-2009-GulwaniMC #complexity #estimation #named #performance #precise: SPEED: precise and efficient static estimation of program computational complexity (SG, KKM, TMC), pp. 127–139.
POPL-2009-Ley-WildAF #self #semantics: A cost semantics for self-adjusting computation (RLW, UAA, MF), pp. 186–199.
POPL-2009-Simpson #linear: Linear types for computational effects (AS), p. 301.
SAC-2009-AymerichFS #grid #in the cloud #realtime: A real time financial system based on grid and cloud computing (FA, GF, SS), pp. 1219–1220.
SAC-2009-CastelliMZ #generative #pervasive #self: Self-organized control of knowledge generation in pervasive computing systems (GC, RM, FZ), pp. 1202–1208.
SAC-2009-ChenJZY #adaptation #performance: Boosting the performance of computing systems through adaptive configuration tuning (HC, GJ, HZ, KY), pp. 1045–1049.
SAC-2009-FortS #distance #network: GPU-based computation of distance functions on road networks with applications (MF, JAS), pp. 1320–1324.
SAC-2009-HoelzRG #forensics: Artificial intelligence applied to computer forensics (BWPH, CGR, RG), pp. 883–888.
SAC-2009-KerschbaumDSB #communication #complexity #multi #on the #protocol: On the practical importance of communication complexity for secure multi-party computation protocols (FK, DD, AS, DB), pp. 2008–2015.
SAC-2009-LimaH #approach #using: Computing data cubes using exact sub-graph matching: the sequential MCG approach (JdCL, CMH), pp. 1541–1548.
SAC-2009-LiuTS #classification #complexity #learning #using: Assessing complexity of service-oriented computing using learning classifier systems (LL, ST, HS), pp. 2170–2171.
SAC-2009-MaiaSSPA #mobile: Seamless access of home theater personal computers for mobile devices (LFM, DFSS, RSS, AP, HOdA), pp. 167–171.
SAC-2009-NetoFP #named #people #using: MATRACA: a tool to provide support for people with impaired vision when using the computer for simple tasks (FGdON, JMF, RRGP), pp. 158–159.
SAC-2009-TokoroTT #smarttech #using: A pointing method using two accelerometers for wearable computing (YT, TT, MT), pp. 136–141.
SAC-2009-VomelTM #quantum: Bulk based preconditioning for quantum dot computations (CV, ST, OM), pp. 961–965.
ESEC-FSE-2009-BrambillaC #challenge: Engineering search computing applications: vision and challenges (MB, SC), pp. 365–372.
GTTSE-2009-DinizC #architecture #configuration management #embedded #program transformation: Code Transformations for Embedded Reconfigurable Computing Architectures (PCD, JMPC), pp. 322–344.
GTTSE-2009-GjosaeterP #compilation #education #metamodelling: Teaching Computer Language Handling — From Compiler Theory to Meta-modelling (TG, AP), pp. 446–460.
ASPLOS-2009-GebhartMCDGMRRSBKBM #evaluation: An evaluation of the TRIPS computer system (MG, BAM, KEC, JRD, PG, MM, NR, BR, AS, JHB, SWK, DB, KSM), pp. 1–12.
ASPLOS-2009-PistolDL #architecture: Architectural implications of nanoscale integrated sensing and computing (CP, CD, ARL), pp. 13–24.
CGO-2009-VoronenkoMP #generative #library #linear: Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.
HPCA-2009-FanKDM #programmable: Bridging the computation gap between programmable processors and hardwired accelerators (KF, MK, GSD, SAM), pp. 313–322.
HPDC-2009-AssuncaoCB #capacity #clustering #in the cloud #using: Evaluating the cost-benefit of using cloud computing to extend the capacity of clusters (MDdA, AdC, RB), pp. 141–150.
HPDC-2009-ZimaHCC: Model-guided autotuning of high-productivity languages for petascale computing (HPZ, MWH, CC, JC), pp. 151–166.
PPoPP-2009-KangB #algorithm #graph #memory management #performance #transaction: An efficient transactional memory algorithm for computing minimum spanning forest of sparse graphs (SK, DAB), pp. 15–24.
PPoPP-2009-KistlerGBB: Petascale computing with accelerators (MK, JAG, DAB, BB), pp. 241–250.
PPoPP-2009-LongFZ #architecture #manycore: Architectural support for cilk computations on many-core architectures (GL, DF, JZ), pp. 285–286.
PPoPP-2009-ScottEVNTOLNNPMWNV #approach: A tunable holistic resiliency approach for high-performance computing systems (SLS, CE, GV, TN, AT, GO, CL, NN, RN, MP, FM, CW, ABN, JV), pp. 305–306.
SOSP-2009-IsardPCWTG #clustering #distributed #named #scheduling: Quincy: fair scheduling for distributed computing clusters (MI, VP, JC, UW, KT, AG), pp. 261–276.
SOSP-2009-LiuGVQWM #distributed #framework #named: Fabric: a platform for secure distributed computation and storage (JL, MDG, KV, XQ, LW, ACM), pp. 321–334.
SOSP-2009-YuGI #distributed #implementation #interface: Distributed aggregation for data-parallel computing: interfaces and implementations (YY, PKG, MI), pp. 247–260.
CADE-2009-CiobacaDK #convergence #equation #protocol #security: Computing Knowledge in Security Protocols under Convergent Equational Theories (SC, SD, SK), pp. 355–370.
CADE-2009-MaLZ #constraints #linear: Volume Computation for Boolean Combination of Linear Arithmetic Constraints (FM, SL, JZ), pp. 453–468.
CAV-2009-DangS #image #polynomial #using: Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion (TD, DS), pp. 219–232.
CAV-2009-Monniaux #float #linear #on the #using: On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure (DM), pp. 570–583.
ICLP-2009-CaballeroRR #functional #logic programming: Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.
ICLP-2009-CampliB #concurrent #constraints: Capturing Fair Computations on Concurrent Constraint Language (PC, SB), pp. 559–560.
ICLP-2009-ChenJL #logic programming #source code: Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (XC, JJ, FL), pp. 130–144.
ICLP-2009-Sneyers #compilation #complexity #constraints #optimisation: Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.
ICLP-2009-Swift #modelling: An Engine for Computing Well-Founded Models (TS), pp. 514–518.
LICS-2009-Baez: Computation and the Periodic Table (JB), p. 211.
LICS-2009-BiancoMM #logic: Graded Computation Tree Logic (AB, FM, AM), pp. 342–351.
LICS-2009-GollerMT #complexity #on the #process #verification: On the Computational Complexity of Verifying One-Counter Processes (SG, RM, AWT), pp. 235–244.
MBT-2009-SchumannSH #graph #nondeterminism #testing #using: Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (AS, MS, JH), pp. 87–99.
RTA-2009-BaudetCD #named: YAPA: A Generic Tool for Computing Intruder Knowledge (MB, VC, SD), pp. 148–163.
TLCA-2009-HarperLZ #approach: A Pronominal Approach to Binding and Computation (RH, DRL, NZ), pp. 3–4.
TLCA-2009-Zhang #logic #reasoning: The Computational SLR: A Logic for Reasoning about Computational Indistinguishability (YZ), pp. 401–415.
WICSA-2008-Gorton #architecture #challenge #data-driven: Software Architecture Challenges for Data Intensive Computing (IG), pp. 4–6.
CASE-2008-VahediS #towards: Towards output-sensitive computation of two-finger caging grasps (MV, AFvdS), pp. 73–78.
DAC-2008-AhmadiZ #analysis #approach #hardware #optimisation: Symbolic noise analysis approach to computational hardware optimization (AA, MZ), pp. 391–396.
DAC-2008-Bautista #challenge: Tera-scale computing and interconnect challenges (JB), pp. 665–667.
DAC-2008-El-MoselhyEW #algorithm #parametricity #performance #scalability #set: Efficient algorithm for the computation of on-chip capacitance sensitivities with respect to a large set of parameters (TAEM, IME, DW), pp. 906–911.
DAC-2008-FeldmannASSBG #analysis #modelling #multi: Driver waveform computation for timing analysis with multiple voltage threshold driver models (PF, SA, DS, GS, RB, HG), pp. 425–428.
DAC-2008-Garland #gpu #manycore #matrix: Sparse matrix computations on manycore GPU’s (MG), pp. 2–6.
DAC-2008-LuSHWX #effectiveness #multi #optimisation: Customizing computation accelerators for extensible multi-issue processors with effective optimization techniques (YSL, LS, LH, ZW, NX), pp. 197–200.
DAC-2008-NarasimhanPB: Collective computing based on swarm intelligence (SN, SP, SB), pp. 349–350.
DAC-2008-PaulB #configuration management #memory management #performance #resource management #using: Reconfigurable computing using content addressable memory for improved performance and resource usage (SP, SB), pp. 786–791.
DATE-2008-ChavesKSV: Merged Computation for Whirlpool Hashing (RC, GK, LS, SV), pp. 272–275.
DATE-2008-MulasPBCABAM #architecture #multi #policy #streaming: Thermal Balancing Policy for Streaming Computing on Multiprocessor Architectures (FM, MP, MB, SC, AA, LB, DA, GDM), pp. 734–739.
DATE-2008-WiggersBS #communication #throughput: Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication (MW, MB, GJMS), pp. 640–645.
DATE-2008-XiongZVH: Optimal Margin Computation for At-Speed Test (JX, VZ, CV, PAH), pp. 622–627.
DRR-2008-ZantSB #image #interactive: Interactive evolutionary computing for the binarization of degenerated handwritten images (TvdZ, LS, AB), p. 681507.
HT-2008-HansenG #framework #lightweight #social #web: Social web applications in the city: a lightweight infrastructure for urban computing (FAH, KG), pp. 175–180.
SIGMOD-2008-VlachouDK #clustering #parallel #performance: Angle-based space partitioning for efficient parallel skyline computation (AV, CD, YK), pp. 227–238.
VLDB-2008-DeWittPRNRSK #clustering #data transformation #named: Clustera: an integrated computation and data management system (DJD, EP, ER, JFN, JR, SS, AK), pp. 28–41.
VLDB-2008-LizorkinVGT #optimisation: Accuracy estimate and optimization techniques for SimRank computation (DL, PV, MNG, DT), pp. 422–433.
VLDB-2008-PhanL #enterprise #framework: A request-routing framework for SOA-based enterprise computing (TP, WSL), pp. 996–1007.
CSEET-2008-GotterbarnM #re-engineering #using: Using the Software Engineering Code of Ethics in Professional Computing Issues (DG, KWM), p. 273.
ITiCSE-2008-ApplinH #library #multi #research: Computing research methods multi-perspective digital library: a call for participation (AGA, HJH), p. 337.
ITiCSE-2008-Bower #learning #online: The “instructed-teacher”: a computer science online learning pedagogical pattern (MB), pp. 189–193.
ITiCSE-2008-Bower08a #taxonomy: A taxonomy of task types in computing (MB), pp. 281–285.
ITiCSE-2008-Boyle: Neither rocket science nor washing machine science, but computer science (RDB), pp. 5–6.
ITiCSE-2008-ChoiBJL #design #education #process: Designing offline computer science activities for the korean elementary school curriculum (SC, TB, SJJ, WGL), p. 338.
ITiCSE-2008-CorberaGRRT #architecture #development: Development of a new MOODLE module for a basic course on computer architecture (FC, EG, JR, SR, MAT), p. 349.
ITiCSE-2008-CurzonM: Engaging with computer science through magic shows (PC, PWM), pp. 179–183.
ITiCSE-2008-GiangrandiM #student: Enhancing the general background of CS students through a computing history course (PG, CM), pp. 301–305.
ITiCSE-2008-GoldweberD #named #network: VDE: an emulation environment for supporting computer networking courses (MG, RD), pp. 138–142.
ITiCSE-2008-GrayHGSF: A computer-based test to raise awareness of disability issues (JG, GH, AG, JSR, JF), p. 347.
ITiCSE-2008-GunawardenaBO #comprehension: A method for analyzing reading comprehension in computer science courses (AG, JB, AO), p. 348.
ITiCSE-2008-HawthorneKCW #guidelines: Computer science and information technology associate-level curricular guidelines (EKH, KJK, RDC, AMW), p. 350.
ITiCSE-2008-Jenkins #education #re-engineering: Teaching computer aided software engineering at the graduate level (MJ), pp. 63–67.
ITiCSE-2008-KnobelsdorfR: Creativity as a pathway to computer science (MK, RR), pp. 286–290.
ITiCSE-2008-Kolikant #education #framework #learning: Computer-science education as a cultural encounter: a socio-cultural framework for articulating learning difficulties (YBDK), pp. 291–295.
ITiCSE-2008-MarcosBGBHO #multi: A multidisciplinary computer science master program (LdM, RB, JAG, JMdB, JRH, SO), p. 358.
ITiCSE-2008-MurphyT #education #research #self: Dangers of a fixed mindset: implications of self-theories research for computer science education (LM, LT), pp. 271–275.
ITiCSE-2008-PlaneV #capacity #education #framework #perspective: Comparing capacity building frameworks for computer science education in underdeveloped countries: an Asian and African perspective (JDP, IMV), pp. 306–310.
ITiCSE-2008-RagonisH #education: Tutoring model for promoting teaching skills of computer science prospective teachers (NR, OH), pp. 276–280.
ITiCSE-2008-SchluterB #education: Characteristics and dimensions of a competence model of theoretical computer science in secondary education (KS, TB), p. 367.
ESOP-2008-Ong #approach #higher-order #semantics #verification: Verification of Higher-Order Computation: A Game-Semantic Approach (CHLO), pp. 299–306.
ESOP-2008-VieiraCS #calculus: The Conversation Calculus: A Model of Service-Oriented Computation (HTV, LC, JCS), pp. 269–283.
FASE-2008-DaviesBM #distributed #optimisation: Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.
FoSSaCS-2008-SelingerV #call-by #λ-calculus: A Linear-non-Linear Model for a Computational Call-by-Value λ Calculus (Extended Abstract) (PS, BV), pp. 81–96.
TACAS-2008-AbdullaBHKV #automaton #simulation: Computing Simulations over Tree Automata (PAA, AB, LH, LK, TV), pp. 93–108.
TACAS-2008-PaceS #model checking #visualisation: Computation and Visualisation of Phase Portraits for Model Checking SPDIs (GJP, GS), pp. 341–345.
STOC-2008-ChakrabartiCM #bound #communication #robust: Robust lower bounds for communication and stream computation (AC, GC, AM), pp. 641–650.
STOC-2008-GoldwasserKR #interactive #proving: Delegating computation: interactive proofs for muggles (SG, YTK, GNR), pp. 113–122.
STOC-2008-GordonHKL: Complete fairness in secure two-party computation (SDG, CH, JK, YL), pp. 413–422.
STOC-2008-Haussler #how: Computing how we became human (DH), pp. 639–640.
STOC-2008-IshaiKOS #constant #encryption: Cryptography with constant computational overhead (YI, EK, RO, AS), pp. 433–442.
AFL-2008-Blanchet-SadriOR #word: Computing Weak Periods of Partial Words (FBS, TO, TDR), pp. 134–145.
AFL-2008-Paun: Membrane Computing: Recent Developments and Applications (Extended Abstract) (GP), pp. 350–351.
AFL-2008-Roska #algorithm: Cellular Wave Computers — Algorithms for million processor computers (Abstract) (TR), p. 352.
CIAA-2008-CantinLW #automaton: Computing Convex Hulls by Automata Iteration (FC, AL, PW), pp. 112–121.
CIAA-2008-HempelK #persistent #turing machine: Persistent Computations of Turing Machines (HH, MK), pp. 171–180.
CIAA-2008-HolzerK #complexity #finite #nondeterminism: Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 1–16.
DLT-2008-BordihnKM #automaton #capacity #communication #finite #on the #parallel: On the Computational Capacity of Parallel Communicating Finite Automata (HB, MK, AM), pp. 146–157.
DLT-2008-EsparzaKL #analysis #fixpoint: Derivation Tree Analysis for Accelerated Fixed-Point Computation (JE, SK, ML), pp. 301–313.
ICALP-A-2008-FialaGK #complexity #distance #problem: Computational Complexity of the Distance Constrained Labeling Problem for Trees (Extended Abstract) (JF, PAG, JK), pp. 294–305.
ICALP-A-2008-FominV #combinator: Treewidth Computation and Extremal Combinatorics (FVF, YV), pp. 210–221.
ICALP-A-2008-GuhaM #bound #multi: Tight Lower Bounds for Multi-pass Stream Computation Via Pass Elimination (SG, AM), pp. 760–772.
ICALP-A-2008-KempeRUW #bound #fault tolerance #quantum: Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing (JK, OR, FU, RdW), pp. 845–856.
ICALP-A-2008-Pritchard #distributed #performance #random: Fast Distributed Computation of Cuts Via Random Circulations (DP), pp. 145–160.
ICALP-B-2008-JezO #equation #on the #set: On the Computational Completeness of Equations over Sets of Natural Numbers (AJ, AO), pp. 63–74.
ICALP-C-2008-HirtNP #communication #multi #polynomial: Asynchronous Multi-Party Computation with Quadratic Communication (MH, JBN, BP), pp. 473–485.
SEFM-2008-PhamTTC #algorithm #bound #java #memory management #performance: A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.
SFM-2008-MausJRU #biology #modelling: Hierarchical Modeling for Computational Biology (CM, MJ, MR, AMU), pp. 81–124.
SFM-2008-PaunR #case study #framework #modelling: Membrane Computing as a Modeling Framework. Cellular Systems Case Studies (GP, FJRC), pp. 168–214.
AFP-2008-AcarL08 #ml #self: Self-adjusting Computation with Delta ML (UAA, RLW), pp. 1–38.
ICFP-2008-Lampson #execution #lazy evaluation: Lazy and speculative execution in computer systems (BWL), pp. 1–2.
GT-VMT-2008-BottoniMWY #control flow: Composing control flow and formula rules for computing on grids (PB, NNM, YW, RY).
ICGT-2008-DerbelMG #graph #implementation #mobile: Mobile Agents Implementing Local Computations in Graphs (BD, MM, SG), pp. 99–114.
ICGT-2008-KreowskiK #framework #graph #parallel: Graph Multiset Transformation as a Framework for Massively Parallel Computation (HJK, SK), pp. 351–365.
CHI-2008-BuechleyECC #arduino #education #using: The LilyPad Arduino: using computational textiles to investigate engagement, aesthetics, and diversity in computer science education (LB, ME, JC, AC), pp. 423–432.
CHI-2008-ChengET #source code #towards: Participant and interviewer attitudes toward handheld computers in the context of HIV/AIDS programs in sub-Saharan Africa (KGC, FE, KNT), pp. 763–766.
CHI-2008-DearmanP #exclamation #multi: It’s on my other computer!: computing with multiple devices (DD, JSP), pp. 767–776.
CHI-2008-ReederBCRBHS #authoring #policy #security #visualisation: Expandable grids for visualizing and authoring computer security policies (RWR, LB, LFC, MKR, KB, KH, HS), pp. 1473–1482.
CHI-2008-SaponasTMB #interface #using: Demonstrating the feasibility of using forearm electromyography for muscle-computer interfaces (TSS, DST, DM, RB), pp. 515–524.
CHI-2008-ShenoyT #image: Human-aided computing: utilizing implicit human processing to classify images (PS, DST), pp. 845–854.
CSCW-2008-GoecksVVM #collaboration: Charitable technologies: opportunities for collaborative computing in nonprofit fundraising (JG, AV, SV, EDM), pp. 689–698.
CSCW-2008-PriedhorskyT #how #what #why: The computational geowiki: what, why, and how (RP, LGT), pp. 267–276.
SOFTVIS-2008-ThompsonPAH #polynomial #visualisation: Visualizing the computation tree of the Tutte Polynomial (BT, DJP, CA, GH), pp. 211–212.
CAiSE-2008-NiknafsR #analysis: Computer-Aided Method Engineering: An Analysis of Existing Environments (AN, RR), pp. 525–540.
EDOC-2008-Ray #challenge #enterprise #roadmap: Enterprise Computing in Healthcare Sector: Emerging Trends and Future Challenges (PR).
ICEIS-DISI-2008-PapatheocharousA #modelling #predict: Size and Effort-Based Computational Models for Software Cost Prediction (EP, ASA), pp. 57–64.
ICEIS-HCI-2008-LoiselCK #design #human-computer #interactive #modelling: Modeling Human Interaction to Design a Human-Computer Dialog System (AL, NC, JPK), pp. 227–232.
ICEIS-ISAS1-2008-Soblewski #named: SORCER: Computing and Metacomputing Intergrid (MS), pp. 74–85.
ICEIS-J-2008-PapatheocharousA08a #algorithm #approach #hybrid #modelling #network #predict #search-based #using: Hybrid Computational Models for Software Cost Prediction: An Approach Using Artificial Neural Networks and Genetic Algorithms (EP, ASA), pp. 87–100.
CIKM-2008-LeeSZL #mobile #query: Valid scope computation for location-dependent spatial query in mobile broadcast environments (KCKL, JS, BZ, WCL), pp. 1231–1240.
ECIR-2008-McSherryN #information retrieval #metric #performance: Computing Information Retrieval Performance Measures Efficiently in the Presence of Tied Scores (FM, MN), pp. 414–421.
ICML-2008-Corrada-EmmanuelS #estimation #fault #geometry #low level #precise: Autonomous geometric precision error estimation in low-level computer vision tasks (ACE, HJS), pp. 168–175.
ICML-2008-FrancLM #fault: Stopping conditions for exact computation of leave-one-out error in support vector machines (VF, PL, KRM), pp. 328–335.
ICPR-2008-Adkins-HillFZS #comparison #empirical #video: An empirical comparison of high definition video and regular video in optical flow computation (JPAH, JMF, YZ, JRS), pp. 1–4.
ICPR-2008-Brandt #consistency #geometry #performance: Consistent and efficient sampler for geometric computation (SSB), pp. 1–4.
ICPR-2008-ChenSXS #algorithm #identification #search-based #using: Computer graphics identification using genetic algorithm (WC, YQS, GX, WS), pp. 1–4.
ICPR-2008-ChowdhuryYULS #detection #image: Detection of anatomical landmarks in human colon from computed tomographic colonography images (ASC, JY, RLVUJ, MGL, RMS), pp. 1–4.
ICPR-2008-FerrerVSRB #algorithm #approximate #graph #using: An approximate algorithm for median graph computation using graph embedding (MF, EV, FS, KR, HB), pp. 1–4.
ICPR-2008-KonKAT #adaptation #detection #interactive #realtime #using: Adaptive habituation detection to build human computer interactive systems using a real-time cross-modal computation (MK, TK, KA, HT), pp. 1–4.
ICPR-2008-LotteML #design #human-computer #interface #self: Pattern rejection strategies for the design of self-paced EEG-based Brain-Computer Interfaces (FL, HM, AL), pp. 1–5.
ICPR-2008-LuGZ #independence #interface: Subject-independent brain computer interface through boosting (SL, CG, HZ), pp. 1–4.
ICPR-2008-MaL08a #approach #concept #detection #optimisation #performance #semantics: An efficient gradient computation approach to discriminative fusion optimization in semantic concept detection (CM, CHL), pp. 1–4.
ICPR-2008-ManoharSGS #finite #modelling: Finite element modeling of facial deformation in videos for computing strain pattern (VM, MS, DBG, SS), pp. 1–4.
ICPR-2008-NiM: Force histograms computed in O(NlogN) (JN, PM), pp. 1–4.
ICPR-2008-SuzukiSZ #network: Supervised enhancement of lung nodules by use of a massive-training artificial neural network (MTANN) in computer-aided diagnosis (CAD) (KS, ZS, JZ), pp. 1–4.
ICPR-2008-WanS #geometry #multi: Computing multiple view geometry in space-time from mutual projections of multiple cameras (CW, JS), pp. 1–4.
ICPR-2008-YaoADTHM #using: Computer-aided grading of lymphangioleiomyomatosis (LAM) using HRCT (JY, NA, AD, AMTD, OMH, JM), pp. 1–4.
KDD-2008-SiaCCT #performance #query: Efficient computation of personal aggregate queries on blogs (KCS, JC, YC, BLT), pp. 632–640.
KDD-2008-ZhouX #correlation #perspective: Volatile correlation computation: a checkpoint view (WZ, HX), pp. 848–856.
KR-2008-ChenJL: Computing Loops with at Most One External Support Rule (XC, JJ, FL), pp. 401–410.
KR-2008-LianW #reduction: Computing Default Extensions by Reductions on OR (EHL, AW), pp. 496–506.
RecSys-2008-Broder #recommendation: Computational advertising and recommender systems (AZB), pp. 1–2.
SEKE-2008-Deng #collaboration #ecosystem #education #research: Building Global Ecosystem for Collaborative Computing Research and Education (YD), p. 3.
SEKE-2008-FilhoSPLA #middleware #mobile #named #pervasive: Wings4Symbian: A Pervasive Computing Middleware for Symbian OS Mobile Devices (OCSF, DFSS, AP, EL, HOdA), pp. 887–892.
SEKE-2008-Haas #challenge #exclamation #industrial #research #web: Impact! The Challenge of Industrial Research in Computer Science in a web 2.0 world (LMH), p. 2.
SEKE-2008-MiliAN #algorithm: An Algorithm for Computing Loop Functions (AM, SA, CN), pp. 448–453.
SEKE-2008-Neruda #ontology #search-based: Ontology-based and Evolutionary Search for Computational Agents Schemes (RN), pp. 569–572.
BX-2008-Mu1: Inverse Computation for UnCAL (SCM), p. 44.
MoDELS-2008-BatoryAS #design: The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.
MoDELS-2008-BatoryAS #design: The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.
ECOOP-2008-BessonJT #interface #stack: Computing Stack Maps with Interfaces (FB, TPJ, TT), pp. 642–666.
TOOLS-EUROPE-2008-Brodie: The End of the Computing Era: Hephaestus Meets the Olympians (MLB), p. 1.
POPL-2008-AcarAB #imperative #self: Imperative self-adjusting computation (UAA, AA, MB), pp. 309–322.
POPL-2008-Laud #encryption #on the: On the computational soundness of cryptographically masked flows (PL), pp. 337–348.
POPL-2008-Voigtlander #parallel: Much ado about two (pearl): a pearl on parallel prefix computation (JV), pp. 29–35.
SAC-2008-AlthausCEKMMZ: Computing H/D-exchange speeds of single residues from data of peptic fragments (EA, SC, MRE, AK, AGM, AMB, HZ), pp. 1273–1277.
SAC-2008-AntonyBHP #approach #biology #interactive #mining #using #validation: Computational approach to biological validation of protein-protein interactions discovered using literature mining (AA, SB, SH, MJP), pp. 1302–1306.
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-CorreaLSM #composition #learning #network: Neural network based systems for computer-aided musical composition: supervised x unsupervised learning (DCC, ALML, JHS, JFM), pp. 1738–1742.
SAC-2008-FreireVMP #network: Track on Computer Networks: editorial message (MMF, TV, EM, MP), p. 2040.
SAC-2008-KontakiPM #data type #multi: Continuous k-dominant skyline computation on multidimensional data streams (MK, ANP, YM), pp. 956–960.
SAC-2008-LasserreLR #algebra #algorithm: Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm (JBL, ML, PR), pp. 1845–1846.
SAC-2008-NetoSMAWG #experience #ubiquitous: Supporting ethnographic studies of ubiquitous computing in the medical grand round experience (RBN, AKS, AAM, PAM, LWA, JACG), pp. 1642–1646.
SAC-2008-NogueiraVN #animation: A nervous system model for direct dynamics animation control based on evolutionary computation (YLBN, CAV, JBCN), pp. 1793–1800.
SAC-2008-NogueraPPF #composition #ubiquitous: Context distribution for supporting composition of applications in ubiquitous computing (CN, EVP, CAP, JF), pp. 1647–1648.
SAC-2008-OliveiraMWS #analysis #locality: Brain registration and subtraction — improved localization for SPECT analysis (B.R.A.S.I.L.): a computer-aided diagnosis in epilepsy tool kit (LFdO, PMdAM, LWA, ACS), pp. 1390–1394.
SAC-2008-PetrilloPTD #bibliography #development #game studies #problem: Houston, we have a problem...: a survey of actual problems in computer games development (FP, MSP, FMT, CD), pp. 707–711.
SAC-2008-SantosSMSPB #education #ubiquitous: A ubiquitous computing environment for medical education (HdFS, LHZS, DSM, WLdS, AFdP, MB), pp. 1395–1399.
SAC-2008-SilvaCGAY #adaptation #on the #ubiquitous: On the control of adaptation in ubiquitous computing (LCdS, CAdC, CFRG, IA, ACY), pp. 2228–2229.
SAC-2008-SpinosaCG #clustering #concept #data type #detection #network #novel: Cluster-based novel concept detection in data streams applied to intrusion detection in computer networks (EJS, ACPLFdC, JG), pp. 976–980.
SAC-2008-SultanaKAA #ubiquitous #web #web service: Ubicomp secretary: a web service based ubiquitous computing application (SS, RK, MMA, SIA), pp. 1935–1939.
ICSE-2008-BeekGKM #verification: Formal verification of an automotive scenario in service-oriented computing (MHtB, SG, NK, FM), pp. 613–622.
HPCA-2008-Allen #compilation #parallel: Compilers and parallel computing systems (FEA), p. 429.
HPCA-2008-Rattner: Intel’s Tera-scale Computing Project: The first five years, the next five years (JR), p. 1.
HPDC-2008-RichT #named #transaction: DataLab: transactional data-parallel computing on an active storage cloud (BR, DT), pp. 233–234.
HPDC-2008-YanR #automation #clustering #parallel #towards: Toward automatic parallelization of spatial computation for computing clusters (BY, PJR), pp. 45–54.
HPDC-2008-YouseffSYDW #algebra #kernel #linear #memory management: The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software (LY, KS, HY, JD, RW), pp. 141–152.
ISMM-2008-HammerA #memory management #self: Memory management for self-adjusting computation (MAH, UAA), pp. 51–60.
LCTES-2008-RajopadhyeGR #configuration management: A domain specific interconnect for reconfigurable computing (SVR, GG, LR), pp. 79–88.
OSDI-2008-YuIFBEGC #distributed #named #using: DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language (YY, MI, DF, MB, ÚE, PKG, JC), pp. 1–14.
PPoPP-2008-Allen #compilation #parallel: Compilers and parallel computing systems (FEA).
PPoPP-2008-BaskaranBKRRS #architecture #automation #data flow #parallel: Automatic data movement and computation mapping for multi-level parallel architectures with explicitly managed memories (MMB, UB, SK, JR, AR, PS), pp. 1–10.
PPoPP-2008-PatrickSK #communication #performance: Enhancing the performance of MPI-IO applications by overlapping I/O, computation and communication (CMP, SWS, MTK), pp. 277–278.
PPoPP-2008-TanFZRG #architecture #experience #manycore #memory management #optimisation: Experience on optimizing irregular computation for memory hierarchy in manycore architecture (GT, DF, JZ, AR, GRG), pp. 279–280.
CAV-2008-PlatzerC #difference #hybrid #invariant: Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
CSL-2008-BlanquiJR #order: The Computability Path Ordering: The End of a Quest (FB, JPJ, AR), pp. 1–14.
ICLP-2008-CalimeriCIL #implementation: Computable Functions in ASP: Theory and Implementation (FC, SC, GI, NL), pp. 407–424.
IJCAR-2008-AvanziniMS #analysis #automation #complexity: Automated Implicit Computational Complexity Analysis (System Description) (MA, GM, AS), pp. 132–138.
IJCAR-2008-Melquiond #bound #proving: Proving Bounds on Real-Valued Functions with Computations (GM), pp. 2–17.
LICS-2008-AehligB #complexity #on the: On the Computational Complexity of Cut-Reduction (KA, AB), pp. 284–293.
LICS-2008-LicataZH: Focusing on Binding and Computation (DRL, NZ, RH), pp. 241–252.
SAT-2008-KottlerKS: Computation of Renameable Horn Backdoors (SK, MK, CS), pp. 154–160.
ECSA-2007-Garlan #architecture: Software Architectures for Task-Oriented Computing (DG), p. 1.
ECSA-2007-SantosAB #lightweight #web #web service: Lightweight Web Services for High Performace Computing (AS, FA, VBP), pp. 225–236.
WICSA-2007-CardosoI #architecture #bibliography #pervasive #privacy: Architecting Pervasive Computing Systems for Privacy: A Survey (RSC, VI), p. 26.
CASE-2007-CheongS #independence: Computing All Independent Form-Closure Grasp Regions of a Rectilinear Polyhedron (JSC, AFvdS), pp. 288–294.
CASE-2007-LiIB: Application of IFC Product Data Model in Computer-Integrated Building Prefabrication (SL, JI, GB), pp. 992–996.
CASE-2007-NagarshethSP #simulation: Computer Simulation of Dynamics of Human Leg (HJN, SVS, MAP), pp. 249–254.
CASE-2007-VahediS #geometry: Geometric Properties and Computation of Three-Finger Caging Grasps of Convex Polygons (MV, AFvdS), pp. 404–411.
DAC-2007-BharathESUY #performance #simulation: Computationally Efficient Power Integrity Simulation for System-on-Package Applications (KB, EE, MS, KU, TY), pp. 612–617.
DAC-2007-RajnakK #architecture #design #distributed #implementation: Computer-aided Architecture Design & Optimized Implementation of Distributed Automotive EE Systems (AR, AK), pp. 556–561.
DAC-2007-Tabor #parallel #programming: Programming Living Cells to Function as Massively Parallel Computers (JJT), pp. 638–639.
DAC-2007-WiggersBS #data flow #graph #performance: Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs (MW, MB, GJMS), pp. 658–663.
DATE-2007-0004XJ #analysis #novel #statistics: A novel criticality computation method in statistical timing analysis (FW, YX, HJ), pp. 1611–1616.
DATE-2007-KroeningS #image #interactive #proving #refinement #using #word: Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs (DK, NS), pp. 1325–1330.
DATE-2007-SathanurCBMMP #bound #clustering #interactive #performance: Interactive presentation: Efficient computation of discharge current upper bounds for clustered sleep transistor sizing (AVS, AC, LB, AM, EM, MP), pp. 1544–1549.
DATE-2007-SilvaSP #performance: Efficient computation of the worst-delay corner (LGeS, LMS, JRP), pp. 1617–1622.
DATE-2007-X #ubiquitous: Applications for ubiquitous computing and communications, p. 473.
DATE-2007-YangG: Computing synchronizer failure probabilities (SY, MRG), pp. 1361–1366.
HT-2007-WellsTG: Search habits of the computer literate (JW, MT, JG), pp. 37–38.
ICDAR-2007-LeCunCRH #documentation #energy #modelling #recognition: Energy-Based Models in Document Recognition and Computer Vision (YL, SC, MR, FJH), pp. 337–341.
ICDAR-2007-SrinivasanKHS #on the #verification: On Computing Strength of Evidence for Writer Verification (HS, SK, CH, SNS), pp. 844–848.
ICDAR-2007-ToselliRRV #image: Computer Assisted Transcription of Handwritten Text Images (AHT, VR, LR, EV), pp. 944–948.
ICDAR-2007-Watt #aspect-oriented: New Aspects of InkML for Pen-Based Computing (SMW), pp. 457–460.
SIGMOD-2007-HuebschGHS #distributed #query: Sharing aggregate computation for distributed queries (RH, MNG, JMH, IS), pp. 485–496.
SIGMOD-2007-XinHC #ad hoc #ranking: Progressive and selective merge: computing top-k with ad-hoc ranking functions (DX, JH, KCCC), pp. 103–114.
VLDB-2007-Brodie #data transformation: Computer Science 2.0: A New World of Data Management (MLB), p. 1161.
VLDB-2007-DellisS #performance #query: Efficient Computation of Reverse Skyline Queries (ED, BS), pp. 291–302.
VLDB-2007-GonzalezHLMS #adaptation #approach #mining #network #performance: Adaptive Fastest Path Computation on a Road Network: A Traffic Mining Approach (HG, JH, XL, MM, JPS), pp. 794–805.
VLDB-2007-MorsePJ #performance: Efficient Skyline Computation over Low-Cardinality Domains (MDM, JMP, HVJ), pp. 267–278.
CSEET-2007-CarverHHHR #programming #re-engineering #student #using: Increased Retention of Early Computer Science and Software Engineering Students Using Pair Programming (JCC, LH, LH, JEH, DSR), pp. 115–122.
ITiCSE-2007-BagleyC #collaboration #java #learning #programming: Collaboration and the importance for novices in learning java computer programming (CAB, CCC), pp. 211–215.
ITiCSE-2007-CukiermanT #learning: Learning strategies sessions within the classroom in computing science university courses (DC, DMT), p. 341.
ITiCSE-2007-Cunningham #education #requirements: A computer graphics curriculum to meet the european bologna requirements (SC), p. 310.
ITiCSE-2007-Curzon: Serious fun in computer science (PC), p. 1.
ITiCSE-2007-CuttsBKM #education #student: Enthusing and informing potential computer science students and their teachers (QIC, MIB, LK, CM), pp. 196–200.
ITiCSE-2007-DistasioW #education #framework #game studies #using: Inclusive computer science education using a ready-made computer game framework (JD, TPW), pp. 116–120.
ITiCSE-2007-DoerschukLM #assessment #women: Pilot summer camps in computing for middle school girls: from organization through assessment (PID, JL, JM), pp. 4–8.
ITiCSE-2007-Egan #education #women: Teaching a “Women in Computer Science” Course (MALE), pp. 216–220.
ITiCSE-2007-GalpinSC #learning #student: Learning styles and personality types of computer science students at a South African university (VCG, IDS, PyC), pp. 201–205.
ITiCSE-2007-Hanson #education: Inclusive thinking in computer science education (VLH), p. 3.
ITiCSE-2007-Helmick07a #online: Integrated online courseware for computer science courses (MTH), pp. 146–150.
ITiCSE-2007-Impagliazzo #approach #source code #using: Using an outcome-based approach to assess computing programs (JI), p. 344.
ITiCSE-2007-KheirW #realtime #speech #student #using: Inclusion of deaf students in computer science classes using real-time speech transcription (RK, TW), pp. 261–265.
ITiCSE-2007-KorteAPG #approach #education #learning #novel: Learning by game-building: a novel approach to theoretical computer science education (LK, SA, HP, JG), pp. 53–57.
ITiCSE-2007-Kuyl #question: Where have all the computer scientists gone? (CvdK), p. 2.
ITiCSE-2007-Lewis #student #word: Are pictures worth 1000 words? the use of affective imagery surveys to capture student perceptions of the computing discipline (TLL), p. 312.
ITiCSE-2007-OwensAB: The computing educators oral history project: planning for the future (BBO, VLA, LJB), p. 328.
ITiCSE-2007-PauHW #experience #how #question #self #women: Women in computing: how does experience influence self-perception of computing careers? (RP, WH, SW), p. 349.
ITiCSE-2007-PeckhamHSSMS #challenge: Broadening participation in computing: issues and challenges (JP, LLH, DAS, BS, HM, PDS), pp. 9–13.
ITiCSE-2007-RavehHY #student: Transforming a high school student project in computer science into a significant scientific achievement (BR, BH, CY), p. 331.
ITiCSE-2007-Sheridan-Ross #multi #student: Practical tips for engaging students in team formation for multi-discipline computing projects (JSR), p. 360.
ITiCSE-2007-Skoric: Summer schools on the amateur radio computing (MS), p. 346.
ITiCSE-2007-Tharp #named: Innovating: the importance of right brain skills for computer science graduates (ALT), pp. 126–130.
ITiCSE-2007-ThomasSW #assessment #diagrams: Computer assisted assessment of diagrams (PGT, NS, KGW), pp. 68–72.
ESOP-2007-AcarBD #consistency #self #semantics: A Consistent Semantics of Self-adjusting Computation (UAA, MB, JD), pp. 458–474.
ESOP-2007-GawlitzaS #fixpoint #precise: Precise Fixpoint Computation Through Strategy Iteration (TG, HS), pp. 300–315.
ESOP-2007-GulwaniT #analysis #interprocedural #summary: Computing Procedure Summaries for Interprocedural Analysis (SG, AT), pp. 253–267.
ICSM-2007-BeszedesGJTGR #maintenance: Computation of Static Execute After Relation with Applications to Software Maintenance (ÁB, TG, JJ, GT, TG, VR), pp. 295–304.
ICSM-2007-ChittimalliH #testing: Re-computing Coverage Information to Assist Regression Testing (PKC, MJH), pp. 164–173.
ICSM-2007-Vivanco #approach #modelling #predict #quality #using: Improving Predictive Models of Software Quality Using an Evolutionary Computational Approach (RV), pp. 503–504.
PLDI-2007-KrishnamoorthyBBRRS #automation #effectiveness #parallel: Effective automatic parallelization of stencil computations (SK, MMB, UB, JR, AR, PS), pp. 235–244.
SAS-2007-GoubaultP #approximate: Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (EG, SP), pp. 137–152.
STOC-2007-BravermanY #set: Constructing non-computable Julia sets (MB, MY), pp. 709–716.
STOC-2007-IshaiKOS #multi: Zero-knowledge from secure multiparty computation (YI, EK, RO, AS), pp. 21–30.
STOC-2007-Katz #multi #on the: On achieving the “best of both worlds” in secure multiparty computation (JK), pp. 11–20.
STOC-2007-KawarabayashiR #linear: Computing crossing number in linear time (KiK, BAR), pp. 382–390.
STOC-2007-Lynch #algorithm #distributed #modelling #proving: Distributed computing theory: algorithms, impossibility results, models, and proofs (NAL), p. 247.
CIAA-2007-AnselmoGM #2d #automaton: Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 290–302.
CIAA-2007-CaucalCFR #context-free grammar #performance #throughput: Efficient Computation of Throughput Values of Context-Free Languages (DC, JC, WF, WR), pp. 203–213.
DLT-2007-BertoniR #monad: Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids (AB, RR), pp. 72–83.
DLT-2007-ChamparnaudOZ #equation #performance: An Efficient Computation of the Equation K-Automaton of a Regular K-Expression (JMC, FO, DZ), pp. 145–156.
ICALP-2007-FraigniaudGIP #distributed #graph: Distributed Computing with Advice: Information Sensitivity of Graph Coloring (PF, CG, DI, AP), pp. 231–242.
ICALP-2007-HasuoJU #category theory: Categorical Views on Computations on Trees (Extended Abstract) (IH, BJ, TU), pp. 619–630.
LATA-2007-GruberH #automaton #complexity #finite #nondeterminism: Computational Complexity of NFA Minimization for Finite and Unary Languages (HG, MH), pp. 261–272.
LATA-2007-LenaM #automaton #complexity: Computational Complexity of Dynamical Systems: the case of Cellular Automata (PdL, LM), pp. 211–222.
SEFM-2007-LaneseMVR #distributed: Disciplining Orchestration and Conversation in Service-Oriented Computing (IL, FM, VTV, AR), pp. 305–314.
ILC-2007-Harmon #analysis #lisp #tool support: Computational tools for the analysis of spatial patterns of gene expression in Common Lisp (CLH), p. 18.
GT-VMT-2007-Paun #graph transformation: Membrane computing [and graph transformation] (GP).
CHI-2007-BallagasMRB #interface #mobile #prototype #ubiquitous: iStuff mobile: rapidly prototyping new mobile phone interfaces for ubiquitous computing (RB, FM, RR, JOB), pp. 1107–1116.
CHI-2007-DickinsonSANH #navigation #web: Approaches to web search and navigation for older computer novices (AD, MJS, JLA, AFN, RLH), pp. 281–290.
CHI-2007-GaverSKKB #health #testing #ubiquitous: Enhancing ubiquitous computing with user interpretation: field testing the home health horoscope (WWG, PS, TK, JK, JB), pp. 537–546.
CHI-2007-HalversonH #human-computer #interactive #predict #visual notation: A minimal model for predicting visual search in human-computer interaction (TH, AJH), pp. 431–434.
CHI-2007-IqbalH #analysis #case study: Disruption and recovery of computing tasks: field study, analysis, and directions (STI, EH), pp. 677–686.
CHI-2007-JeffersonH #interface: An interface to support color blind computer users (LJ, RH), pp. 1535–1538.
CHI-2007-KaiserBEC #interactive #multimodal #speech: Multimodal redundancy across handwriting and speech during computer mediated human-human interactions (ECK, PB, CE, PRC), pp. 1009–1018.
CHI-2007-KelleherPK #motivation #programming #women: Storytelling alice motivates middle school girls to learn computer programming (CK, RFP, SBK), pp. 1455–1464.
CHI-2007-LeclercPI #modelling #named #physics #tool support #visualisation: Senspectra: a computationally augmented physical modeling toolkit for sensing and visualization of structural strain (VL, AJP, HI), pp. 801–804.
CHI-2007-PattenI #constraints #interface: Mechanical constraints as computational constraints in tabletop tangible interfaces (JP, HI), pp. 809–818.
CHI-2007-VallgardaR: Computational composites (AV, JR), pp. 513–522.
DHM-2007-EndoKKMKM #assessment #design #using: A Computer-Aided Ergonomic Assessment and Product Design System Using Digital Hands (YE, SK, TK, NM, MK, MM), pp. 833–842.
DHM-2007-FrohriepP #design: Computer Aided Lumbar Support Design and Application (SF, JP), pp. 586–594.
DHM-2007-Kim07b #modelling #research #simulation: Computer Graphic Modeling and Simulation of Human Musculoskeletal System for Biomechanical Research (YHK), pp. 136–143.
DHM-2007-LiuHZ: Actions of an External Electrical Shock on Human Atrial Excitation — A Computer Model Study (JL, AVH, HZ), pp. 659–667.
DHM-2007-Soltysinski #human-computer #interactive #multimodal #novel: Novel Methods for Human-Computer Interaction in Multimodal and Multidimensional Noninvasive Medical Imaging (TS), pp. 717–726.
DHM-2007-WangYLLT #human-computer #interface: Brain-Computer Interfaces Based on Attention and Complex Mental Tasks (JW, NY, HL, ML, CT), pp. 467–473.
HCI-AS-2007-BurgerB #predict: Predicting the Outcome of a Computer Literacy Course Based on a Candidate’s Personal Characteristics (AJB, PJB), pp. 173–182.
HCI-AS-2007-ChoK #collaboration #contest #learning: Suppressing Competition in a Computer-Supported Collaborative Learning System (KC, BK), pp. 208–214.
HCI-AS-2007-LinJYHCT #design: Designing an Ergonomic Computer Console on the Ship (CJL, YTJ, CWY, CLH, TJC, MZT), pp. 629–638.
HCI-AS-2007-YuC #collaboration #learning #process: Creating Computer Supported Collaborative Learning Activities with IMS LD (DY, XC), pp. 391–400.
HCI-IDU-2007-BockKLS: The Role of Task Characteristics and Organization Culture in Non-Work Related Computing (NWRC) (GWB, HHK, PL, HS), pp. 681–690.
HCI-IDU-2007-DhakhwaHGMT #interface #named: Sambad — Computer Interfaces for Non-literates (SD, PAVH, GBG, PM, IT), pp. 721–730.
HCI-IDU-2007-EktareY #security: The Balancing Act Between Computer Security and Convenience (ME, YY), pp. 731–735.
HCI-IDU-2007-HodgettsJ #cost analysis: Reminders, Alerts and Pop-ups: The Cost of Computer-Initiated Interruptions (HMH, DMJ), pp. 818–826.
HCI-IDU-2007-Janlert #concept #human-computer #interactive #interface: The Evasive Interface — The Changing Concept of Interface and the Varying Role of Symbols in Human-Computer Interaction (LEJ), pp. 117–126.
HCI-IDU-2007-Kirlik #concept #modelling: Conceptual and Technical Issues in Extending Computational Cognitive Modeling to Aviation (AK), pp. 872–881.
HCI-IDU-2007-SeifertK #human-computer #interactive: Entelechy and Embodiment in (Artistic) Human-Computer Interaction (US, JHK), pp. 929–938.
HCI-IDU-2007-VanharantaS #interactive: Holistic Interaction Between the Computer and the Active Human Being (HV, TS), pp. 252–261.
HCI-IDU-2007-YueWW #design #interactive #theory and practice #ubiquitous: Designing Transparent Interaction for Ubiquitous Computing: Theory and Application (WY, HW, GW), pp. 331–339.
HCI-IPT-2007-AsaiK #comparative: Comparative Characteristics of a Head-Up Display for Computer-Assisted Instruction (KA, HK), pp. 531–540.
HCI-IPT-2007-CheongKH #evaluation #image #interface #mobile #usability: Usability Evaluation of Designed Image Code Interface for Mobile Computing Environment (CC, DCK, TDH), pp. 241–251.
HCI-IPT-2007-FallmanMY #design: The Design of a Computer Mouse Providing Three Degrees of Freedom (DF, AM, BY), pp. 53–62.
HCI-IPT-2007-HuangT #scalability #security #smarttech: A Wearable Computing Environment for the Security of a Large-Scale Factory (JyH, CHT), pp. 1113–1122.
HCI-IPT-2007-KimKL #human-computer #implementation #interactive #multi: Implementation of Multi-touch Tabletop Display for HCI (Human Computer Interaction) (SGK, JWK, CWL), pp. 854–863.
HCI-IPT-2007-LeeKYL #community #smarttech: A Feasibility Study of Sixth Sense Computing Scenarios in a Wearable Community (SL, HK, SY, GL), pp. 1155–1164.
HCI-IPT-2007-MaWMWM #smarttech: Wearable Computers IN the Operating Room Environment (QM, PW, GM, AW, DM), pp. 1165–1172.
HCI-IPT-2007-NishimuraRDCSPDD #analysis #functional: Functional Brain Imaging for Analysis of Reading Effort for Computer-Generated Text (EMN, EDR, BAD, JPC, JS, DP, THD, JHD), pp. 1183–1192.
HCI-IPT-2007-PhamJYWA #human-computer #interface #locality #novel: A Novel Human-Computer Interface Based on Passive Acoustic Localisation (DTP, ZJ, MY, ZW, MAK), pp. 901–909.
HCI-IPT-2007-SuhPYCW #interactive #mobile #personalisation #ubiquitous: Context-Aware Mobile AR System for Personalization, Selective Sharing, and Interaction of Contents in Ubiquitous Computing Environments (YS, YP, HY, YC, WW), pp. 966–974.
HCI-IPT-2007-SuzukiMT #interactive: Stylus Enhancement to Enrich Interaction with Computers (YS, KM, JT), pp. 133–142.
HCI-IPT-2007-Young-hyunK #feedback #smarttech: Information Display of Wearable Devices Through Sound Feedback of Wearable Computing (PYh, HKh), pp. 1200–1209.
HCI-IPT-2007-ZaharakisK #behaviour #interactive #social #ubiquitous: Social Intelligence as the Means for Achieving Emergent Interactive Behaviour in Ubiquitous Computing Environments (IDZ, ADK), pp. 1018–1029.
HCI-IPT-2007-ZhangHHLCS #human-computer #interactive #research: The Research on Human-Computer Interaction in Ambient Intelligence (YZ, YH, ZH, HL, RC, HS), pp. 1030–1039.
HCI-MIE-2007-JangKC #geometry #using #visual notation: Position and Pose Computation of a Moving Camera Using Geometric Edge Matching for Visual SLAM (HJ, GYK, HIC), pp. 634–641.
HCI-MIE-2007-KirakowskiOY: The Perception of Artificial Intelligence as “Human” by Computer Users (JK, PO, AY), pp. 376–384.
HCI-MIE-2007-KomogortsevK #design #interface: Kalman Filtering in the Design of Eye-Gaze-Guided Computer Interfaces (OK, JIK), pp. 679–689.
HCI-MIE-2007-SetiawanHL #interactive #multi #people #using: Multiple People Labeling and Tracking Using Stereo for Human Computer Interaction (NAS, SJH, CWL), pp. 738–746.
HCI-MIE-2007-YoonK #case study #interactive #using: A Study on Interactive Artwork as an Aesthetic Object Using Computer Vision System (JY, JK), pp. 763–768.
HCI-MIE-2007-ZhangZLY #human-computer #interactive: Human-Computer Interaction System Based on Nose Tracking (LZ, FZ, WL, XY), pp. 769–778.