BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (486)
base (348)
use (323)
scienc (321)
design (293)

Stem comput$ (all stems)

4319 papers:

QoSAQoSA-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.
WICSAWICSA-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.
CASECASE-2015-FeiAR #bound #clustering #resource management #symbolic computation #using
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, , SAR), pp. 799–806.
CASECASE-2015-HuZW
Direct computation of minimal rotation for support slimming (KH, XZ, CCLW), pp. 936–941.
CASECASE-2015-LiS #parallel
A parallel computing model for container terminal logistics (BL, WS), pp. 267–273.
DACDAC-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.
DACDAC-2015-Hayes #challenge #probability
Introduction to stochastic computing and its challenges (JPH), p. 3.
DACDAC-2015-LiLSH #approximate #optimisation #precise #synthesis
Joint precision optimization and high level synthesis for approximate computing (CL, WL, SSS, JH), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2015-LiuZ #configuration management #performance
A reconfigurable analog substrate for highly efficient maximum flow computation (GL, ZZ), p. 6.
DACDAC-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.
DACDAC-2015-PalerD #fault tolerance #quantum
An introduction into fault-tolerant quantum computing (AP, SJD), p. 6.
DACDAC-2015-VenkataramaniCR #approximate #performance
Approximate computing and the quest for computing efficiency (SV, STC, KR, AR), p. 6.
DACDAC-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.
DACDAC-2015-WangJSX #adaptation #architecture #human-computer #interface
Adaptive compressed sensing architecture in wireless brain-computer interface (AW, ZJ, CS, WX), p. 6.
DACDAC-2015-WangR #design #tool support
Design tools for oscillator-based computing systems (TW, JR), p. 6.
DACDAC-2015-WenWHLHLC #framework #hybrid #scalability
An EDA framework for large scale hybrid neuromorphic computing systems (WW, CRW, XH, BL, TYH, XL, YC), p. 6.
DATEDATE-2015-AhsanK #architecture #optimisation #quantum #using
Optimization of quantum computer architecture using a resource-performance simulator (MA, JK), pp. 1108–1113.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-CalayirDWP #multi #programmable
Analog neuromorphic computing enabled by multi-gate programmable resistive devices (VC, MD, JAW, LP), pp. 928–931.
DATEDATE-2015-ChenLH #approximate #reliability
An approximate voting scheme for reliable computing (KC, FL, JH), pp. 293–296.
DATEDATE-2015-DamschenRVP
Transparent offloading of computational hotspots from binary code to Xeon Phi (MD, HR, GV, CP), pp. 1078–1083.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-MajumderPK #architecture #biology #manycore
On-chip network-enabled many-core architectures for computational biology applications (TM, PPP, AK), pp. 259–264.
DATEDATE-2015-PaganiCSH #modelling #named #performance
MatEx: efficient transient and peak temperature computation for compact thermal models (SP, JJC, MS, JH), pp. 1515–1520.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-VenkataramaniCR #approximate
Computing approximately, and efficiently (SV, STC, KR, AR), pp. 748–751.
DATEDATE-2015-VenkatesanVFRR #energy #logic #named
Spintastic: spin-based stochastic logic for energy-efficient computing (RV, SV, XF, KR, AR), pp. 1575–1578.
DATEDATE-2015-ZhangWTYX #approximate #framework #named #network
ApproxANN: an approximate computing framework for artificial neural network (QZ, TW, YT, FY, QX), pp. 701–706.
DocEngDocEng-2015-MeiKYRIMM #performance #word
Efficient Computation of Co-occurrence Based Word Relatedness (JM, XK, ZY, ARC, AI, AM, EEM), pp. 43–46.
PODSPODS-2015-GottlobPS #dependence
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.
PODSPODS-2015-Jordan #big data
Computational Thinking, Inferential Thinking and “Big Data” (MIJ), p. 1.
SIGMODSIGMOD-2015-ChangLQYZ #algorithm #component
Index-based Optimal Algorithms for Computing Steiner Components with Maximum Connectivity (LC, XL, LQ, JXY, WZ), pp. 459–474.
SIGMODSIGMOD-2015-YuSC #dependence #distributed #matrix #performance
Exploiting Matrix Dependency for Efficient Distributed Matrix Computation (LY, YS, BC), pp. 93–105.
VLDBVLDB-2015-BoghCA #gpu #parallel
Work-Efficient Parallel Skyline Computation for the GPU (KSB, SC, IA), pp. 962–973.
VLDBVLDB-2015-ZhouLLZ #graph #named #optimisation #performance
GraphTwist: Fast Iterative Graph Computation with Two-tier Optimizations (YZ, LL, KL, QZ), pp. 1262–1273.
ITiCSEITiCSE-2015-AdsheadBLS
Changing Culture: Educating the Next Computer Scientists (DA, CB, DL, PS), pp. 33–38.
ITiCSEITiCSE-2015-AlshammariAH #adaptation #education #learning #security
The Impact of Learning Style Adaptivity in Teaching Computer Security (MA, RA, RJH), pp. 135–140.
ITiCSEITiCSE-2015-Aycock #education #experience #topic
Applied Computer History: Experience Teaching Systems Topics through Retrogames (JA), pp. 105–110.
ITiCSEITiCSE-2015-BarbaC
Tangible Media Approaches to Introductory Computer Science (EB, SC), pp. 207–212.
ITiCSEITiCSE-2015-CaetanoO #performance
Computational Thinking and Child Performance in a Preschool (GC, OO), pp. 57–62.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2015-DiethelmG #education
Questions on Spoken Language and Terminology for Teaching Computer Science (ID, JG), pp. 21–26.
ITiCSEITiCSE-2015-FalknerSMST #gender
Gender Gap in Academia: Perceptions of Female Computer Science Academics (KEF, CS, DM, AS, ST), pp. 111–116.
ITiCSEITiCSE-2015-Hamilton #education #learning
Learning and Teaching Computing Sustainability (MH), p. 338.
ITiCSEITiCSE-2015-Harms15a #java #using
Using Personal Robots and Myro/Java in the First Computer Science Course (DEH), p. 332.
ITiCSEITiCSE-2015-KafuraBC #design
Design and Preliminary Results From a Computational Thinking Course (DGK, ACB, BC), pp. 63–68.
ITiCSEITiCSE-2015-LarreaDEI #evolution
Capstone Projects Evolution over a Decade in a Computer Science Engineering Degree (JJOL, CD, AJE, FJGI), p. 336.
ITiCSEITiCSE-2015-LewisKMS
The Exploring Computer Science Course, Attendance and Math Achievement (DWL, LK, TM, MS), pp. 147–152.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2015-McDermottDC #metric #student
Perseverance Measures and Attainment in First Year Computing Science Students (RM, MD, ÅC), pp. 302–307.
ITiCSEITiCSE-2015-Meerbaum-Salant #industrial
“Computer Science, Academia and Industry” as pedagogical model to enhance Computational thinking (OMS, BH, SP), p. 341.
ITiCSEITiCSE-2015-SettleLS #community #learning
A Computer Science Linked-courses Learning Community (AS, JL, TS), pp. 123–128.
ITiCSEITiCSE-2015-Silvis-Cividjian #approach #education #multi #pervasive
Teaching Pervasive Computing to CS Freshmen: A Multidisciplinary Approach (NSC), pp. 195–200.
ITiCSEITiCSE-2015-SimonS #education
Academic Integrity and Professional Integrity in Computing Education (S, JS), pp. 237–241.
ITiCSEITiCSE-2015-SinclairBMK #metric #student
Measures of Student Engagement in Computer Science (JS, MB, MM, SK), pp. 242–247.
ITiCSEITiCSE-2015-Soyslo #algorithm #student
From Algorithmic to Computational Thinking: On the Way for Computing for all Students (MMS), p. 1.
ITiCSEITiCSE-2015-TarmazdiVSFF #learning #using #visualisation
Using Learning Analytics to Visualise Computer Science Teamwork (HT, RV, CS, KEF, NJGF), pp. 165–170.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2015-WangHRI #difference #gender
Gender Differences in Factors Influencing Pursuit of Computer Science and Related Fields (JW, HH, JR, MI), pp. 117–122.
ESOPESOP-2015-CicekGA #complexity #incremental #refinement
Refinement Types for Incremental Computational Complexity (, DG, UAA), pp. 406–431.
FoSSaCSFoSSaCS-2015-GenestPS #memory management
Knowledge = Observation + Memory + Computation (BG, DP, SS), pp. 215–229.
FoSSaCSFoSSaCS-2015-LeivantR
The Computational Contents of Ramified Corecurrence (DL, RR), pp. 422–435.
MSRMSR-2015-BurletH #community #empirical #music
An Empirical Study of End-User Programmers in the Computer Music Community (GB, AH), pp. 292–302.
SANERSANER-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.
STOCSTOC-2015-AaronsonA #named #problem #quantum
Forrelation: A Problem that Optimally Separates Quantum from Classical Computing (SA, AA), pp. 307–316.
STOCSTOC-2015-BackursI #distance #edit distance
Edit Distance Cannot Be Computed in Strongly Subquadratic Time (unless SETH is false) (AB, PI), pp. 51–58.
STOCSTOC-2015-GroheS
Computing with Tangles (MG, PS), pp. 683–692.
DLTDLT-2015-OttoK #automaton #order
Deterministic Ordered Restarting Automata that Compute Functions (FO, KK), pp. 401–412.
DLTDLT-2015-Yamakami #bound #complexity #quantum
Complexity Bounds of Constant-Space Quantum Computation — (Extended Abstract) (TY), pp. 426–438.
ICALPICALP-v1-2015-AmanatidisMNS #algorithm #approximate
Approximation Algorithms for Computing Maximin Share Allocations (GA, EM, AN, AS), pp. 39–51.
ICALPICALP-v1-2015-NayyeriS #distance
Computing the Fréchet Distance Between Polygons with Holes (AN, AS), pp. 997–1009.
ICALPICALP-v2-2015-MazzaT
Parsimonious Types and Non-uniform Computation (DM, KT), pp. 350–361.
ICALPICALP-v2-2015-Zetzsche #approach
An Approach to Computing Downward Closures (GZ), pp. 440–451.
LATALATA-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.
LATALATA-2015-FiciLLP #online
Online Computation of Abelian Runs (GF, TL, AL, ÉPG), pp. 391–401.
LATALATA-2015-LiH #algebra #automaton #network #on the
On Observability of Automata Networks via Computational Algebra (RL, YH), pp. 249–262.
FMFM-2015-AlTurkiA #distributed #framework #towards #using #verification #𝕂
Towards Formal Verification of Orchestration Computations Using the 𝕂 Framework (MAA, OA), pp. 40–56.
SFMSFM-2015-ArbabJ #coordination #manycore
Coordinating Multicore Computing (FA, SSTQJ), pp. 57–96.
CHICHI-2015-AhmedMJ
Residual Mobilities: Infrastructural Displacement and Post-Colonial Computing in Bangladesh (SIA, NJM, SJJ), pp. 437–446.
CHICHI-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.
CHICHI-2015-AmmaKBS #interface
Advancing Muscle-Computer Interfaces with High-Density Electromyography (CA, TK, JB, TS), pp. 929–938.
CHICHI-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.
CHICHI-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.
CHICHI-2015-GrevetG #prototype #scalability #social #using
Piggyback Prototyping: Using Existing, Large-Scale Social Computing Systems to Prototype New Ones (CG, EG), pp. 4047–4056.
CHICHI-2015-MiniukovichA #interface
Computation of Interface Aesthetics (AM, ADA), pp. 1163–1172.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-2015-YerousisARRRW #bound
Computer-Enabled Project Spaces: Connecting with Palestinian Refugees across Camp Boundaries (GPY, KA, TvR, DWR, MR, VW), pp. 3749–3758.
CSCWCSCW-2015-CheatleJ #collaboration
Digital Entanglements: Craft, Computation and Collaboration in Fine Art Furniture Production (AC, SJJ), pp. 958–968.
CSCWCSCW-2015-HeymanA
Computer Support for Financial Advisors and Their Clients: Co-creating an Investment Plan (SH, HA), pp. 1313–1323.
HCIDHM-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.
HCIDUXU-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.
HCIDUXU-DD-2015-Frankjaer #network #smarttech #social
Soft Computation in the Public Sphere: Enhancing Social Dynamics with Wearable Networks (TRF), pp. 447–457.
HCIDUXU-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.
HCIDUXU-IXD-2015-DesouzartF #human-computer #interactive
Human-Computer Interaction in Bed (GD, EF), pp. 596–605.
HCIDUXU-IXD-2015-LapasO #evaluation #experience #game studies #interactive #user interface
Evaluation of User Experience in Interaction with Computer Games (TL, TO), pp. 271–282.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-DE-2015-Kelly #experience #interactive
Interactions in Affective Computing: Sharing a Haptic Experience Increases Calmness and Closeness (NK), pp. 477–488.
HCIHCI-DE-2015-SamaniSJ #interactive
Biologically Inspired Artificial Endocrine System for Human Computer Interaction (HAS, ES, B(J), pp. 71–81.
HCIHCI-DE-2015-ZhangBL #design #human-computer #interactive
Emotional Engagement for Human-Computer Interaction in Exhibition Design (MZ, CdB, WL), pp. 542–549.
HCIHCI-IT-2015-GohPL #game studies
An Investigation of Reward Systems in Human Computation Games (DHLG, EPPPT, CSL), pp. 596–607.
HCIHCI-IT-2015-ScavarelliA #interactive
An Exploration of Shape in Crowd Computer Interactions (AS, AA), pp. 775–786.
HCIHCI-UC-2015-DantecWCM #ecosystem
Cycle Atlanta and OneBusAway: Driving Innovation Through the Data Ecosystems of Civic Computing (CALD, KEW, RJC, EDM), pp. 327–338.
HCIHCI-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.
HCIHCI-UC-2015-HossainS #case study #in the cloud #multitenancy
Cloud Computing: A Multi-tenant Case Study (AH, FS), pp. 178–189.
HCIHIMI-IKC-2015-FilhoHTJM #smarttech #using
Using Wearable and Contextual Computing to Optimize Field Engineering Work Practices (RSSF, CLH, AT, JJ, PM), pp. 522–533.
HCIHIMI-IKD-2015-MatsunoAIMM #using
Computer Input System Using Eye Glances (SM, KA, NI, TM, KM), pp. 425–432.
HCIHIMI-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.
HCILCT-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.
HCILCT-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.
HCILCT-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.
HCILCT-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.
HCILCT-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.
HCILCT-2015-RiveiroDKJB
Supporting Golf Coaching and Swing Instruction with Computer-Based Training Systems (MR, AD, RK, UJ, PB), pp. 279–290.
HCILCT-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.
HCISCSM-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.
AdaEuropeAdaEurope-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.
ICEISICEIS-v1-2015-YakhyaevaY #algorithm
An Algorithm to Compare Computer-security Knowledge from Different Sources (GY, OY), pp. 565–572.
ICEISICEIS-v2-2015-BarbarI #named
BlueKey — A Bluetooth Secure Solution for Accessing Personal Computers (AB, AI), pp. 509–515.
ICMLICML-2015-HanMS #probability #scalability
Large-scale log-determinant computation through stochastic Chebyshev expansions (IH, DM, JS), pp. 908–917.
ICMLICML-2015-LeeY #category theory #predict #strict
Boosted Categorical Restricted Boltzmann Machine for Computational Prediction of Splice Junctions (TL, SY), pp. 2483–2492.
KDDKDD-2015-CheKLBL
Deep Computational Phenotyping (ZC, DCK, WL, MTB, YL), pp. 507–516.
KDDKDD-2015-LucierOS #distributed #network #scalability
Influence at Scale: Distributed Computation of Complex Contagion in Networks (BL, JO, YS), pp. 735–744.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2015-BarzegarSFHD #multi #named #semantics
DINFRA: A One Stop Shop for Computing Multilingual Semantic Relatedness (SB, JES, AF, SH, BD), pp. 1027–1028.
SIGIRSIGIR-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.
BXBX-2015-Abou-SalehMG #algebra #aspect-oriented #bidirectional
Coalgebraic Aspects of Bidirectional Computation (FAS, JM, JG), pp. 16–30.
OnwardOnward-2015-HolderTG #assessment #complexity #music #named
Musiplectics: computational assessment of the complexity of music scores (EH, ET, AG), pp. 107–120.
OOPSLAOOPSLA-2015-AchourR #approximate #detection
Approximate computation with outlier detection in Topaz (SA, MCR), pp. 711–730.
OOPSLAOOPSLA-2015-HammerDHLFHH #incremental
Incremental computation with names (MAH, JD, KH, NL, JSF, MWH, DVH), pp. 748–766.
PPDPPPDP-2015-Brock-Nannestad #logic
Computation in focused intuitionistic logic (TBN, NG, DG), pp. 43–54.
POPLPOPL-2015-Tobisawa #λ-calculus
A Meta λ Calculus with Cross-Level Computation (KT), pp. 383–393.
SACSAC-2015-GonzalezRP #classification #image
Computationally-efficient classification of HEp-2 cell patterns in IIF images (LFPG, DDAR, MSP), pp. 825–830.
SACSAC-2015-GotoT #communication #detection #network #visual notation
Anomalous network communication detection system by visual pattern on a client computer (HG, TT), pp. 1263–1269.
SACSAC-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.
SACSAC-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.
SACSAC-2015-SharmaMDH #trust
Bi-directional trust index computation in resource marketplace (AS, TM, PD, VGH), pp. 2305–2311.
SACSAC-2015-SilvaMS #analysis #quality
Authorship contribution dynamics on publication venues in computer science: an aggregated quality analysis (THPS, MMM, APCdS), pp. 1142–1147.
SACSAC-2015-TsengHT #distributed #framework #javascript #migration #mobile #web
Migratom.js: a JavaScript migration framework for distributed web computing and mobile devices (TLT, SHH, CHT), pp. 798–801.
SACSAC-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-FSEESEC-FSE-2015-BangAB #automation #complexity #source code
Automatically computing path complexity of programs (LB, AA, TB), pp. 61–72.
ESEC-FSEESEC-FSE-2015-HeuleSC #modelling #named
Mimic: computing models for opaque code (SH, MS, SC), pp. 710–720.
ICSEICSE-v1-2015-PanW0G #analysis #javascript
Gray Computing: An Analysis of Computing with Background JavaScript Tasks (YP, JW, YS, JG), pp. 167–177.
ICSEICSE-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.
ICSEICSE-v2-2015-BarakiGVHKMZ #design pattern
Interdisciplinary Design Patterns for Socially Aware Computing (HB, KG, CV, AH, RK, BEM, JZ), pp. 477–486.
ICSEICSE-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.
ASPLOSASPLOS-2015-Banavar
Watson and the Era of Cognitive Computing (GB), p. 413.
ASPLOSASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel #thread
iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2015-LiuHMHTS #memory management #named
GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2015-TanQCAP #named #network #using
DIABLO: A Warehouse-Scale Computer Network Simulator using FPGAs (ZT, ZQ, XC, KA, DAP), pp. 207–221.
HPCAHPCA-2015-BeckmannTS #distributed #scalability
Scaling distributed cache hierarchies through computation and data co-scheduling (NB, PAT, DS), pp. 538–550.
HPCAHPCA-2015-GrigorianFR #approximate #named #reliability
BRAINIAC: Bringing reliable accuracy into neurally-implemented approximate computing (BG, NF, GR), pp. 615–626.
HPCAHPCA-2015-KimSE #flexibility #memory management #reliability
Bamboo ECC: Strong, safe, and flexible codes for reliable computer memory (JK, MS, ME), pp. 101–112.
HPCAHPCA-2015-MoreauWNSECO #approximate #named #programmable
SNNAP: Approximate computing on programmable SoCs via neural acceleration (TM, MW, JN, AS, HE, LC, MO), pp. 603–614.
HPCAHPCA-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.
HPDCHPDC-2015-BestaH #hardware #memory management #transaction
Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages (MB, TH), pp. 161–172.
HPDCHPDC-2015-Deelman
High Impact Computing: Computing for Science and the Science of Computing (ED), p. 119.
HPDCHPDC-2015-PatkiLSMRSS #performance #resource management
Practical Resource Management in Power-Constrained, High Performance Computing (TP, DKL, AS, MM, BR, MS, BRdS), pp. 121–132.
HPDCHPDC-2015-YangC #behaviour #benchmark #comprehension #graph #metric #robust
Understanding Graph Computation Behavior to Enable Robust Benchmarking (FY, AAC), pp. 173–178.
HPDCHPDC-2015-ZhouLLPZ #abstraction #graph #parallel #performance
Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions (YZ, LL, KL, CP, QZ), pp. 179–190.
PPoPPPPoPP-2015-RavishankarDEPRRS #code generation #distributed #memory management
Distributed memory code generation for mixed Irregular/Regular computations (MR, RD, VE, LNP, JR, AR, PS), pp. 65–75.
PPoPPPPoPP-2015-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.
PPoPPPPoPP-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.
PPoPPPPoPP-2015-XieCGZC #distributed
SYNC or ASYNC: time to fuse for distributed graph-parallel computation (CX, RC, HG, BZ, HC), pp. 194–204.
CADECADE-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.
CAVCAV-2015-BacchusK #satisfiability #set #using
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets (FB, GK), pp. 70–86.
ICLPICLP-2015-DovierFPV #execution #parallel
Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV).
ICLPICLP-J-2015-AlvianoP #fuzzy #modulo theories #satisfiability #set
Fuzzy answer set computation via satisfiability modulo theories (MA, RP), pp. 588–603.
ICSTICST-2015-MahajanH #detection #html #locality #using
Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques (SM, WGJH), pp. 1–10.
LICSLICS-2015-AckermanFL #feedback
Feedback Turing Computability, and Turing Computability as Feedback (NLA, CEF, RSL), pp. 523–534.
LICSLICS-2015-Pitts #symmetry #tutorial
Names and Symmetry in Computer Science (Invited Tutorial) (AMP), pp. 21–22.
ICSTSAT-2015-KullmannM #query
Computing Maximal Autarkies with Few and Simple Oracle Queries (OK, JMS), pp. 138–155.
ICSTSAT-2015-LonsingE #api #incremental #satisfiability
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API (FL, UE), pp. 191–198.
VMCAIVMCAI-2015-BraitlingFHWBH #automaton #markov #metric
Abstraction-Based Computation of Reward Measures for Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 172–189.
CBSECBSE-2014-Dustdar
Principles and methods for elastic computing (SD), pp. 1–2.
ECSAECSA-2014-MachadoSBLN #architecture #named #ubiquitous
RA-Ubi: A Reference Architecture for Ubiquitous Computing (CAM, ES, TVB, JCL, EYN), pp. 98–105.
QoSAQoSA-2014-ChavarriagaNCJ #architecture #in the cloud
Architectural tactics support in cloud computing providers: the jelastic case (JC, CN, RC, VJ), pp. 13–22.
QoSAQoSA-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.
CASECASE-2014-LeeMXW #architecture #in the cloud #virtual machine
Open architecture of virtual machine tool for cloud computing (RSL, KJM, PX, CMW), pp. 905–909.
CASECASE-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.
DACDAC-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.
DACDAC-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.
DACDAC-2014-DattaSCPR
Neuro Inspired Computing with Coupled Relaxation Oscillators (SD, NS, MC, AP, AR), p. 6.
DACDAC-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.
DACDAC-2014-KabirS #hybrid
Computing with Hybrid CMOS/STO Circuits (MK, MRS), p. 6.
DACDAC-2014-LiuCTKD #component #realtime #using
Computation Offloading by Using Timing Unreliable Components in Real-Time Systems (WL, JJC, AT, TWK, QD), p. 6.
DACDAC-2014-LiuF
A Time-Unrolling Method to Compute Sensitivity of Dynamic Systems (FL, PF), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2014-ZhangPL #hardware #power management
Low Power GPGPU Computation with Imprecise Hardware (HZ, MP, JL), p. 6.
DACDAC-2014-ZhangYYX #approximate #framework #named
ApproxIt: An Approximate Computing Framework for Iterative Methods (QZ, FY, RY, QX), p. 6.
DATEDATE-2014-AlaghiH #performance #probability #using
Fast and accurate computation using stochastic circuits (AA, JPH), pp. 1–4.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-DhruvaKGT #cyber-physical
Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
DATEDATE-2014-DinechinAPL #parallel
Time-critical computing on a single-chip massively parallel processor (BDdD, DvA, MP, GL), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-GemmekeSSRCA #memory management
Resolving the memory bottleneck for single supply near-threshold computing (TG, MMS, JS, PR, FC, DA), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-LiWCLY #named
ICE: Inline calibration for memristor crossbar-based computing engine (BL, YW, YC, HHL, HY), pp. 1–4.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-ParkYLL #graph #memory management #representation
Accelerating graph computation with racetrack memory and pointer-assisted graph representation (EP, SY, SL, HL), pp. 1–4.
DATEDATE-2014-PaulKBP #energy #hardware #memory management
Energy-efficient hardware acceleration through computing in the memory (SP, RK, SB, RP), pp. 1–6.
DATEDATE-2014-RoySFY
Brain-inspired computing with spin torque devices (KR, MS, DF, KY), pp. 1–6.
DATEDATE-2014-ShenCQ #mobile #probability
Battery aware stochastic QoS boosting in mobile computing devices (HS, QC, QQ), pp. 1–4.
DATEDATE-2014-Stenstrom #effectiveness #performance #resource management #towards
Effective resource management towards efficient computing (PS), p. 1.
DATEDATE-2014-Torrellas #architecture #energy #performance
Extreme-scale computer architecture: Energy efficiency from the ground up‡ (JT), pp. 1–5.
DATEDATE-2014-TsoutsosM #named
HEROIC: Homomorphically EncRypted One Instruction Computer (NGT, MM), pp. 1–6.
DATEDATE-2014-YinOLW #configuration management
Extending lifetime of battery-powered coarse-grained reconfigurable computing platforms (SY, PO, LL, SW), pp. 1–6.
DATEDATE-2014-ZhangZKKQZRC #power management
Spintronics for low-power computing (YZ, WZ, JOK, WK, DQ, YZ, DR, CC), pp. 1–6.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-ZhangMP
Global immutable region computation (JZ, KM, HP), pp. 1151–1162.
VLDBVLDB-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.
VLDBVLDB-2014-BrunoKW #distributed #scalability
Advanced Join Strategies for Large-Scale Distributed Computation (NB, YK, MCW), pp. 1484–1495.
VLDBVLDB-2014-ChesterTVW #set
Computing k-Regret Minimizing Sets (SC, AT, SV, SW), pp. 389–400.
VLDBVLDB-2014-GaoP #algorithm #exclamation
Finish Them!: Pricing Algorithms for Human Computation (YG, AGP), pp. 1965–1976.
VLDBVLDB-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.
VLDBVLDB-2014-MaeharaAIK #graph #personalisation #rank
Computing Personalized PageRank Quickly by Exploiting Graph Structures (TM, TA, YI, KiK), pp. 1023–1034.
VLDBVLDB-2014-ShangY #approximate #graph
Auto-Approximation of Graph Computing (ZS, JXY), pp. 1833–1844.
VLDBVLDB-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.
VLDBVLDB-2014-VenkataramanA #database #research
Datacenters as Computers: Google Engineering & Database Research Perspectives (SV, DA), pp. 1720–1721.
VLDBVLDB-2014-WuAL0Y #towards
Toward Computational Fact-Checking (YW, PKA, CL, JY, CY), pp. 589–600.
VLDBVLDB-2014-YanCLN #distributed #framework #graph #named
Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs (DY, JC, YL, WN), pp. 1981–1992.
VLDBVLDB-2015-LuCYW14 #distributed #evaluation #graph #scalability
Large-Scale Distributed Graph Computing Systems: An Experimental Evaluation (YL, JC, DY, HW), pp. 281–292.
VLDBVLDB-2015-ZhouGSY14 #distributed #graph #named #online #scalability #using
MOCgraph: Scalable Distributed Graph Processing Using Message Online Computing (CZ, JG, BS, JXY), pp. 377–388.
CSEETCSEET-2014-BreivoldC #education #in the cloud
Cloud Computing education strategies (HPB, IC), pp. 29–38.
CSEETCSEET-2014-ReddyN #education
Teaching software product engineering in undergraduate computing curriculum (YRR, KVN), pp. 175–178.
ITiCSEITiCSE-2014-EckerdalKTNSM #education #learning
Teaching and learning with MOOCs: computing academics’ perspectives and engagement (AE, PK, NT, AN, JS, LM), pp. 9–14.
ITiCSEITiCSE-2014-FalknerVF #identification #learning #self
Identifying computer science self-regulated learning strategies (KF, RV, NJGF), pp. 291–296.
ITiCSEITiCSE-2014-FeasterAZH #concept #education
Serious toys: three years of teaching computer science concepts in K-12 classrooms (YF, FA, JZ, JOH), pp. 69–74.
ITiCSEITiCSE-2014-GroverCP #learning
Assessing computational learning in K-12 (SG, SC, RP), pp. 57–62.
ITiCSEITiCSE-2014-Katai14a #education
Intercultural computer science education (ZK), pp. 183–188.
ITiCSEITiCSE-2014-KohNBR #analysis #validation
Early validation of computational thinking pattern analysis (KHK, HN, ARB, AR), pp. 213–218.
ITiCSEITiCSE-2014-Kurkovsky #mobile
Interdisciplinary connections in a mobile computing and robotics course (SK), pp. 309–314.
ITiCSEITiCSE-2014-LarreaDIJ
Capstone projects in computer science: evaluated by stakeholders (JJOL, CD, FJGI, AJE), p. 345.
ITiCSEITiCSE-2014-Marcos-Abed #case study #effectiveness #learning #programming
Learning computer programming: a study of the effectiveness of a COAC# (JMA), p. 333.
ITiCSEITiCSE-2014-MedinaSGG #learning #student #using
Learning outcomes using objectives with computer science students (JAM, JJS, EGL, AGC), p. 339.
ITiCSEITiCSE-2014-PatitsasCE #social
A historical examination of the social factors affecting female participation in computing (EP, MC, SME), pp. 111–116.
ITiCSEITiCSE-2014-PirkerRG #education #learning #student
Motivational active learning: engaging university students in computer science education (JP, MRS, CG), pp. 297–302.
ITiCSEITiCSE-2014-RodgerBHMMOOW #weaving
Weaving computing into all middle school disciplines (SHR, DB, MH, DM, MM, EO, BO, EW), pp. 207–212.
ITiCSEITiCSE-2014-SirajGTH #security #topic
Empowering faculty to embed security topics into computer science courses (AS, SG, JT, AH), pp. 99–104.
ITiCSEITiCSE-2014-SouzaSLS #research
Cultural appropriation of computational thinking acquisition research: seeding fields of diversity (CSdS, LCdCS, CFL, MMS), pp. 117–122.
ITiCSEITiCSE-2014-TaubBA #learning #physics
The effect of computer science on the learning of computational physics (RT, MBA, MA), p. 352.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2014-Verwaal #learning
Team based learning in theoretical computer science (NV), p. 331.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-WGR-2014-MannilaDDGMRS #education
Computational Thinking in K-9 Education (LM, VD, BD, NG, CM, LR, AS), pp. 1–29.
TFPIETFPIE-2014-MorazanA #automaton #formal method #functional #student
Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.
ESOPESOP-2014-LaunchburyADM #multi
Application-Scale Secure Multiparty Computation (JL, DA, TD, EM), pp. 8–26.
TACASTACAS-2014-AdzkiyaSA #reachability
Forward Reachability Computation for Autonomous Max-Plus-Linear Systems (DA, BDS, AA), pp. 248–262.
TACASTACAS-2014-BaierKKM #markov #modelling
Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
ICPCICPC-2014-Cutrell #constraints #design
Innovating in india: designing for constraint, computing for inclusion (keynote) (EC), p. 1.
SCAMSCAM-2014-AbadiF #algorithm #interprocedural #on-demand #parallel
A Parallel On-Demand Algorithm for Computing Interprocedural Dominators (AA, YAF), pp. 235–244.
SCAMSCAM-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.
PLDIPLDI-2014-HammerKHF #adaptation #composition #incremental #named
Adapton: composable, demand-driven incremental computation (MAH, YPK, MH, JSF), p. 18.
PLDIPLDI-2014-Palem #question #what
What exactly is inexact computation good for? (KVP), p. 1.
STOCSTOC-2014-BuhrmanCKLS #memory management
Computing with a full memory: catalytic space (HB, RC, MK, BL, FS), pp. 857–866.
STOCSTOC-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.
STOCSTOC-2014-FournierLMS #bound #matrix #multi
Lower bounds for depth 4 formulas computing iterated matrix multiplication (HF, NL, GM, SS), pp. 128–135.
STOCSTOC-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.
STOCSTOC-2014-GenkinIPST
Circuits resilient to additive attacks with applications to secure computation (DG, YI, MP, AS, ET), pp. 495–504.
STOCSTOC-2014-KalaiRR #how #power of #proving
How to delegate computations: the power of no-signaling proofs (YTK, RR, RDR), pp. 485–494.
STOCSTOC-2014-MendesTH #distributed
Distributed computability in Byzantine asynchronous systems (HM, CT, MH), pp. 704–713.
CIAACIAA-2014-KurkaV #finite #transducer
Analytic Functions Computable by Finite State Transducers (PK, TV), pp. 252–263.
ICALPICALP-v1-2014-PrabhakaranSW #using
Secure Computation Using Leaky Tokens (MP, AS, AW), pp. 907–918.
ICALPICALP-v2-2014-AvinBLP #axiom #design #distributed #network
Distributed Computing on Core-Periphery Networks: Axiom-Based Design (CA, MB, ZL, DP), pp. 399–410.
ICALPICALP-v2-2014-EmekSW #network
Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs (YE, JS, RW), pp. 183–195.
ICALPICALP-v2-2014-Mazza #λ-calculus
Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus (DM), pp. 305–317.
LATALATA-2014-AbdullaAS #automaton #reachability
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata (PAA, MFA, JS), pp. 62–75.
LATALATA-2014-ArroyoCMP #network
Networks of Polarized Evolutionary Processors Are Computationally Complete (FA, SGC, VM, SP), pp. 101–112.
LATALATA-2014-BellaouarCZ #kernel #performance #sequence #string
Efficient List-Based Computation of the String Subsequence Kernel (SB, HC, DZ), pp. 138–148.
LATALATA-2014-Blanchet-SadriLSW
Computing Depths of Patterns (FBS, AL, SS, BW), pp. 173–185.
LATALATA-2014-GalleT #incremental #on the
On Context-Diverse Repeats and Their Incremental Computation (MG, MT), pp. 384–395.
LATALATA-2014-Kalocinski #on the
On Computability and Learnability of the Pumping Lemma Function (DK), pp. 433–440.
LATALATA-2014-Tarau #product line
Computing with Catalan Families (PT), pp. 565–575.
FMFM-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.
FMFM-2014-PonzioRAF #bound #performance
Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
FMFM-2014-RouxG #comparison #invariant #polynomial
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison (PR, PLG), pp. 563–578.
ICFPICFP-2014-ChenAT #functional #programming #scalability #self
Functional programming for dynamic and large data with self-adjusting computation (YC, UAA, KT), pp. 227–240.
ICFPICFP-2014-PetricekOM #calculus #named
Coeffects: a calculus of context-dependent computation (TP, DAO, AM), pp. 123–135.
LISPILC-2014-SmithP #finite #lisp #performance #permutation
Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp (RS, BP), p. 60.
CHICHI-2014-HernandezPRC
Under pressure: sensing stress of computer users (JH, PP, AR, MC), pp. 51–60.
CHICHI-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.
CHICHI-2014-HuangSKSMS #physics #smarttech
A technology probe of wearable in-home computer-assisted physical therapy (KH, PJS, SBK, AS, JM, DPS), pp. 2541–2550.
CHICHI-2014-MarananASPSB #design #modelling #using
Designing for movement: evaluating computational models using LMA effort qualities (DSM, SFA, TS, PP, PS, LB), pp. 991–1000.
CHICHI-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.
CHICHI-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.
CSCWCSCW-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.
CSCWCSCW-2014-Meier #generative
Next generation humanitarian computing (PM), p. 1573.
CSCWCSCW-2014-QuinnB #named #performance #spreadsheet
AskSheet: efficient human computation for decision making with spreadsheets (AJQ, BBB), pp. 1456–1466.
CSCWCSCW-2014-ShiltonKF #how #social
How to see values in social computing: methods for studying values dimensions (KS, JAK, KRF), pp. 426–435.
HCIDUXU-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.
HCIDUXU-DI-2014-Riha #game studies #information management
Cutscenes in Computer Games as an Information System (DR), pp. 661–668.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-TMT-2014-Danylak #interactive
Interactive Film: The Computer as Medium (RD), pp. 527–536.
HCIDUXU-TMT-2014-ZhuF #game studies #heuristic #online
Developing Playability Heuristics for Computer Games from Online Reviews (MZ, XF), pp. 496–505.
HCIHCI-AIMT-2014-HettipathiranaW #interactive #named
iPanel: A Computer-Vision Based Solution for Interactive Keyboard and Mouse (HCDH, PW), pp. 36–47.
HCIHCI-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.
HCIHCI-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.
HCIHCI-AIMT-2014-SiegertHPW #human-computer #interactive
Discourse Particles and User Characteristics in Naturalistic Human-Computer Interaction (IS, MH, DP, AW), pp. 492–501.
HCIHCI-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.
HCIHCI-AIMT-2014-WuttkeM #adaptation #behaviour #communication
Natural Forms of Communication and Adaptive Behaviour in Human-Computer-Interaction (MW, KUM), pp. 641–647.
HCIHCI-AS-2014-MaguireT #comparison #mobile
Comparison Test of Website Use with Mobile Phone and Laptop Computer (MM, MT), pp. 146–154.
HCIHCI-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.
HCIHCI-AS-2014-ZhaoSR #difference #in the cloud
The Impact of Culture Differences on Cloud Computing Adoption (FZ, HJS, MvR), pp. 776–785.
HCIHCI-TMT-2014-AraujoJ #human-computer #interactive #modelling
Psychological Personas for Universal User Modeling in Human-Computer Interaction (CFdA, PTAJ), pp. 3–13.
HCIHCI-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.
HCIHCI-TMT-2014-Gross #education #human-computer #interactive
Human-Computer Interaction Education and Diversity (TG), pp. 187–198.
HCIHCI-TMT-2014-LuzSN #generative #human-computer #ontology #workflow
Generating Human-Computer Micro-task Workflows from Domain Ontologies (NL, NS, PN), pp. 98–109.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-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.
HCILCT-NLE-2014-Piki #collaboration #learning #process #question
Learner Engagement in Computer-Supported Collaborative Learning Activities: Natural or Nurtured? (AP), pp. 107–118.
HCILCT-NLE-2014-SousaLD #human-computer #towards #trust
A Model for Human-Computer Trust — Contributions Towards Leveraging User Engagement (SCS, DRL, PD), pp. 128–137.
HCILCT-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.
HCILCT-TRE-2014-AlmazovaK #approach #student
Computer Assisted Individual Approach to Acquiring Foreign Vocabulary of Students Major (NA, MK), pp. 248–257.
HCILCT-TRE-2014-BosseP #towards
Towards Aggression De-escalation Training with Virtual Agents: A Computational Model (TB, SP), pp. 375–387.
HCISCSM-2014-BeckmannG #social
Social Computing — Bridging the Gap between the Social and the Technical (CB, TG), pp. 25–36.
HCISCSM-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.
HCISCSM-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.
CAiSECAiSE-2014-RiveniTD #on the #social
On the Elasticity of Social Compute Units (MR, HLT, SD), pp. 364–378.
EDOCEDOC-2014-Aalst #enterprise #mining #process
Process Mining as the Superglue Between Data Science and Enterprise Computing (WMPvdA), p. 1.
ICEISICEIS-v1-2014-BiniSL #evaluation #in the cloud
Cloud Computing — An Evaluation of Rules of Thumb for Tuning RDBMSs (TAB, MSS, AL), pp. 187–192.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2014-Gateau #in the cloud #monitoring #multi
A Multi-agent System to Monitor SLA for Cloud Computing (BG), pp. 647–652.
CIKMCIKM-2014-CohenDPW #scalability #sketching
Sketch-based Influence Maximization and Computation: Scaling up with Guarantees (EC, DD, TP, RFW), pp. 629–638.
CIKMCIKM-2014-QianSS #database #multi #scalability #statistics
Computing Multi-Relational Sufficient Statistics for Large Databases (ZQ, OS, YLS), pp. 1249–1258.
ICMLICML-c1-2014-SoufianiPX #modelling #parametricity #ranking
Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.
ICMLICML-c2-2014-AnarakiH #memory management #performance #random
Memory and Computation Efficient PCA via Very Sparse Random Projections (FPA, SMH), pp. 1341–1349.
ICMLICML-c2-2014-ChenX #modelling #statistics
Statistical-Computational Phase Transitions in Planted Models: The High-Dimensional Setting (YC, JX), pp. 244–252.
ICMLICML-c2-2014-CuturiD #performance
Fast Computation of Wasserstein Barycenters (MC, AD), pp. 685–693.
ICPRICPR-2014-AhmadKM #analysis
Computer Assisted Analysis System of Electroencephalogram for Diagnosing Epilepsy (MAA, NAK, WM), pp. 3386–3391.
ICPRICPR-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.
ICPRICPR-2014-HafnerDW
Simultaneous HDR and Optic Flow Computation (DH, OD, JW), pp. 2065–2070.
ICPRICPR-2014-MekonnenLHB #detection #optimisation #people
People Detection with Heterogeneous Features and Explicit Optimization on Computation Time (AAM, FL, AH, CB), pp. 4322–4327.
ICPRICPR-2014-TuXN #analysis #detection #process
Computational Auditory Scene Analysis Based Voice Activity Detection (MT, XX, XN), pp. 797–802.
ICPRICPR-2014-WerghiBB
Computing Local Binary Patterns on Discrete Manifolds (NW, SB, ADB), pp. 2430–2435.
ICPRICPR-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.
ICPRICPR-2014-ZhangWGZZ #analysis #using #verification
Low Computation Face Verification Using Class Center Analysis (XZ, JW, YG, SZ, SZ), pp. 4543–4547.
KDDKDD-2014-MaeharaKK #performance
Efficient SimRank computation via linearizationPublication of this article pending inquiry (TM, MK, KiK), pp. 1426–1435.
KDDKDD-2014-MaratheV
Computational epidemiology (MVM, AKSV), p. 1969.
KDDKDD-2014-SrikantA #machine learning #programming #using
A system to grade computer programming skills using machine learning (SS, VA), pp. 1887–1896.
KDIRKDIR-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.
KDIRKDIR-2014-MojahedI #approach #distance #semistructured data
A Fusion Approach to Computing Distance for Heterogeneous Data (AM, BdlI), pp. 269–276.
KEODKEOD-2014-KoitO #modelling
Modelling Debates on the Computer (MK, ), pp. 361–368.
KMISKMIS-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.
KRKR-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).
KRKR-2014-CeruttiGVZ #recursion
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (FC, MG, MV, MZ).
KRKR-2014-StrassW #approximate #complexity #fixpoint #framework
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).
SEKESEKE-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.
SIGIRSIGIR-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.
OnwardOnward-2014-WalkingshawKEAB #data type #trade-off #variability
Variational Data Structures: Exploring Tradeoffs in Computing with Variability (EW, CK, ME, SA, EB), pp. 213–226.
OOPSLAOOPSLA-2014-MisailovicCAQR #approximate #kernel #named #optimisation
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels (SM, MC, SA, ZQ, MCR), pp. 309–328.
QAPLQAPL-2014-LatellaLMS #communication
Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
PADLPADL-2014-PetricekS #f#
The F# Computation Expression Zoo (TP, DS), pp. 33–48.
PADLPADL-2014-SaptawijayaP #logic programming #modelling #towards
Towards Modeling Morality Computationally with Logic Programming (AS, LMP), pp. 104–119.
POPLPOPL-2014-PaganiSV #higher-order #quantum #semantics
Applying quantitative semantics to higher-order quantum computing (MP, PS, BV), pp. 647–658.
SACSAC-PL-J-2013-MaierST14 #design #reliability #scalability #symbolic computation
Reliable scalable symbolic computation: The design of SymGridPar2 (PM, RJS, PWT), pp. 19–35.
SACSAC-2014-AlexandreMP #algorithm #multi #on the
On the support of task-parallel algorithmic skeletons for multi-GPU computing (FA, RM, HP), pp. 880–885.
SACSAC-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.
SACSAC-2014-FanC #approximate #framework #network #scalability #social
An approximate framework for scaling social influence computation in large networks (YCF, HC), pp. 610–615.
SACSAC-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.
SACSAC-2014-FoucaultPFB #metric
Computing contextual metric thresholds (MF, MP, JRF, XB), pp. 1120–1125.
SACSAC-2014-KuoT #in the cloud #incremental #virtual machine
Delay-based incrementally mapping of virtual machines in cloud computing systems (CFK, HWT), pp. 1498–1503.
SACSAC-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.
SACSAC-2014-NogueiraMV #case study #execution
An experimental study on execution time variation in computer experiments (PEN, RMJ, EV), pp. 1529–1534.
SACSAC-2014-QuilleTR #analysis
Spectral analysis and text processing over the computer science literature: patterns and discoveries (RVEQ, CTJ, JFRJ), pp. 653–657.
SACSAC-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.
SACSAC-2014-ZhanLS #analysis #in the cloud #mobile
A green analysis of mobile cloud computing applications (KZ, CHL, PS), pp. 357–362.
FSEFSE-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.
ICSEICSE-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.
ASPLOSASPLOS-2014-Gehlhaar #architecture #future of #scalability
Neuromorphic processing: a new frontier in scaling computer architecture (JG), pp. 317–318.
ASPLOSASPLOS-2014-MenychtasSS #performance #scheduling
Disengaged scheduling for fair, protected access to fast computational accelerators (KM, KS, MLS), pp. 301–316.
ASPLOSASPLOS-2014-WaterlandAAAS #automation #named #scalability
ASC: automatically scalable computation (AW, EA, RPA, JA, MIS), pp. 575–590.
ASPLOSASPLOS-2014-ZhaoWS #finite #state machine
Challenging the “embarrassingly sequential”: parallelizing finite state machine-based computations through principled speculation (ZZ, BW, XS), pp. 543–558.
CCCC-2014-FranzHKSV #c #compilation #named
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
HPCAHPCA-2014-KarpuzcuAK #named #towards
Accordion: Toward soft Near-Threshold Voltage Computing (URK, IA, NSK), pp. 72–83.
HPDCHPDC-2014-ChenDWCZG #communication #distributed #graph #performance #perspective
Computation and communication efficient graph processing with distributed immutable view (RC, XD, PW, HC, BZ, HG), pp. 215–226.
HPDCHPDC-2014-DaiCKRZ #framework #incremental #named
Domino: an incremental computing framework in cloud with eventual synchronization (DD, YC, DK, RBR, XZ), pp. 291–294.
HPDCHPDC-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.
HPDCHPDC-2014-LeeV #compilation #named #performance #research
OpenARC: open accelerator research compiler for directive-based, efficient heterogeneous computing (SL, JSV), pp. 115–120.
HPDCHPDC-2014-MittalVL #embedded #energy #performance
Improving energy efficiency of embedded DRAM caches for high-end computing systems (SM, JSV, DL), pp. 99–110.
HPDCHPDC-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.
HPDCHPDC-2014-WangZCLR #generative
Next generation job management systems for extreme-scale ensemble computing (KW, XZ, HC, ML, IR), pp. 111–114.
LCTESLCTES-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.
LCTESLCTES-2014-RoyRWW #analysis #approximate #automation #named
ASAC: automatic sensitivity analysis for approximate computing (PR, RR, CW, WFW), pp. 95–104.
OSDIOSDI-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.
PPoPPPPoPP-2014-Hill #architecture
21st century computer architecture (MDH), pp. 1–2.
PPoPPPPoPP-2014-LeungBEFPRS
Task mapping stencil computations for non-contiguous allocations (VJL, DPB, JE, SPF, NWP, ZDR, MS), pp. 377–378.
PPoPPPPoPP-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.
PPoPPPPoPP-2014-Rubin #compilation #question #research #what
Heterogeneous computing: what does it mean for compiler research? (NR), pp. 315–316.
PPoPPPPoPP-2014-SongH #3d #design #parallel
Designing and auto-tuning parallel 3-D FFT for computation-communication overlap (SS, JKH), pp. 181–192.
ICLPICLP-J-2014-AlvianoDR #programming #set
Anytime Computation of Cautious Consequences in Answer Set Programming (MA, CD, FR), pp. 755–770.
ICLPICLP-J-2014-TachmazidisAF #big data #performance #semantics
Efficient Computation of the Well-Founded Semantics over Big Data (IT, GA, WF), pp. 445–459.
IJCARIJCAR-2014-BerdineB #refinement #smt
Computing All Implied Equalities via SMT-Based Partition Refinement (JB, NB), pp. 168–183.
ISSTAISSTA-2014-BaudryAM #program transformation #source code
Tailored source code transformations to synthesize computationally diverse program variants (BB, SA, MM), pp. 149–159.
LICSLICS-CSL-2014-Mahboubi #order #proving #theorem
Computer-checked mathematics: a formal proof of the odd order theorem (AM), p. 1.
LICSLICS-CSL-2014-Mamino #on the #power of
On the computing power of +, -, and × (MM), p. 10.
ICSTSAT-2014-Marques-SilvaP #on the
On Computing Preferred MUSes and MCSes (JMS, AP), pp. 58–74.
TAPTAP-2014-AminLR #smt
Computing with an SMT Solver (NA, KRML, TR), pp. 20–35.
CBSECBSE-2013-EnardSBCDFR #development
Design-driven development methodology for resilient computing (QE, MS, EB, CC, LD, JCF, MR), pp. 59–64.
CBSECBSE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
DACDAC-2013-ChippaCRR #analysis #approximate
Analysis and characterization of inherent application resilience for approximate computing (VKC, STC, KR, AR), p. 9.
DACDAC-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.
DACDAC-2013-LiuHLMCHZ
Digital-assisted noise-eliminating training for memristor crossbar-based analog neuromorphic computing engine (BL, MH, HL, ZHM, YC, TH, WZ), p. 6.
DACDAC-2013-RellermeyerLK #embedded #operating system
Cloud platforms and embedded computing: the operating systems of the future (JSR, SWL, MK), p. 6.
DACDAC-2013-SharadFR #memory management #power management
Ultra low power associative computing with spin neurons and resistive crossbar memory (MS, DF, KR), p. 6.
DATEDATE-2013-AyadAMSL #energy #integration #variability
HW-SW integration for energy-efficient/variability-aware computing (GA, AA, EM, BS, RL), pp. 607–611.
DATEDATE-2013-BakshiH #reduction #smt #using
LFSR seed computation and reduction using SMT-based fault-chaining (DB, MSH), pp. 1071–1076.
DATEDATE-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.
DATEDATE-2013-DutoitGP #3d #integration #power management
3D integration for power-efficient computing (DD, EG, IMP), pp. 779–784.
DATEDATE-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.
DATEDATE-2013-Kozyrakis #performance
Resource efficient computing for warehouse-scale datacenters (CK), pp. 1351–1356.
DATEDATE-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.
DATEDATE-2013-Lehner #database #energy #in memory
Energy-efficient in-memory database computing (WL), pp. 470–474.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-YetimMM #streaming
Extracting useful computation from error-prone processors for streaming applications (YY, MM, SM), pp. 202–207.
HTHT-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.
SIGMODSIGMOD-2013-ChangYQLLL #component #composition #graph
Efficiently computing k-edge connected components via graph decomposition (LC, JXY, LQ, XL, CL, WL), pp. 205–216.
SIGMODSIGMOD-2013-ZhangYQCL #graph #performance
I/O efficient: computing SCCs in massive graphs (ZZ, JXY, LQ, LC, XL), pp. 181–192.
VLDBVLDB-2013-AfratiSSU #bound #cost analysis
Upper and Lower Bounds on the Cost of a Map-Reduce Computation (FNA, ADS, SS, JDU), pp. 277–288.
VLDBVLDB-2013-Chang #roadmap
Context-Aware Computing: Opportunities and Open Issues (EYC), pp. 1172–1173.
VLDBVLDB-2013-ParkMS #parallel #pipes and filters #query #using
Parallel Computation of Skyline and Reverse Skyline Queries Using MapReduce (YP, JKM, KS), pp. 2002–2013.
VLDBVLDB-2013-XieWBDG #graph #performance
Fast Iterative Graph Computation with Block Updates (WX, GW, DB, AJD, JG), pp. 2014–2025.
CSEETCSEET-2013-StejskalS #learning #testing
Test-driven learning in high school computer science (RS, HPS), pp. 289–293.
ITiCSEITiCSE-2013-Alabdulqader #using #visualisation
Visualizing computer ethics using infographics (EA), p. 355.
ITiCSEITiCSE-2013-BackBCMMM #education #student
Making computing interesting to school students: teachers’ perspectives (JB, JB, PC, CM, PWM, LRM), pp. 255–260.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2013-BuckD #authentication #education #modelling #using
Authentic object modeling in the early computer science curriculum using objektgraph (DB, ID), p. 363.
ITiCSEITiCSE-2013-BurgRK #education #music
Hot fusion: music, art, and computer science education (JB, SR, WK), pp. 313–314.
ITiCSEITiCSE-2013-German #learning
Jump-starting team-based learning in the computer science classroom (DAG), p. 323.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2013-Joel #education #research
Undergraduate research in computer science education (WJJ), p. 361.
ITiCSEITiCSE-2013-Joel13a #education #paradigm
A story paradigm for computer science education (WJJ), p. 362.
ITiCSEITiCSE-2013-Jones
The computing at school working group (SLPJ), p. 1.
ITiCSEITiCSE-2013-Kurkovsky #mobile #question #why
Mobile computing and robotics in one course: why not? (SK), pp. 64–69.
ITiCSEITiCSE-2013-LapidotR #education
Supporting high school computer science teachers in writing academic papers (TL, NR), p. 325.
ITiCSEITiCSE-2013-McDermottPCDL #student
Investigation into the personal epistemology of computer science students (RM, IP, ÅC, MD, CL), pp. 231–236.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2013-PorterGGMT
Peer instruction in computer science at small liberal arts colleges (LP, SG, JG, AM, CT), pp. 129–134.
ITiCSEITiCSE-2013-PorterGTZ #architecture #comprehension #concept #student
Evaluating student understanding of core concepts in computer architecture (LP, SG, HWT, DZ), pp. 279–284.
ITiCSEITiCSE-2013-QianYGBT #authentication #learning #mobile #network #security
Mobile device based authentic learning for computer network and security (KQ, MY, MG, PB, LT), p. 335.
ITiCSEITiCSE-2013-QureshiEP #bound #student
Students organizing against pollution: computational thinking across boundaries (SQ, FE, SMP), p. 356.
ITiCSEITiCSE-2013-Renaud #student
Introducing computing students to scientific experimentation (KR), pp. 76–81.
ITiCSEITiCSE-2013-RidgewayWP #education #online
Diversifying computing teaching: building an online hub to promote inclusivity (JR, RW, RP), p. 332.
ITiCSEITiCSE-2013-RodgerGML
Increasing the experimentation of theoretical computer science with new features in JFLAP (SHR, JG, IM, PL), p. 351.
ITiCSEITiCSE-2013-RowanD #bibliography #learning #mobile #using
A systematic literature review on using mobile computing as a learning intervention (MR, JD), p. 339.
ITiCSEITiCSE-2013-SabitzerS #concept #education #programming
Brain-based programming: a new concept for computer science education (BS, SS), p. 345.
ITiCSEITiCSE-2013-Scott
The royal society of Edinburgh/British computer society computer science exemplification project (JS), p. 315.
ITiCSEITiCSE-2013-SettleGB
Beyond computer science: computational thinking across disciplines (AS, DSG, VB), pp. 311–312.
ITiCSEITiCSE-2013-SpaccoFSR #programming #towards
Towards improving programming habits to create better computer science course outcomes (JS, DF, JS, KR), pp. 243–248.
ITiCSEITiCSE-2013-StephensonGHK
Transforming computer science in schools (CS, JGE, SH, JK), pp. 309–310.
ITiCSEITiCSE-2013-Trakhtenbrot #algorithm #analysis #complexity #concept #problem #student
Students misconceptions in analysis of algorithmic and computational complexity of problems (MT), pp. 353–354.
ITiCSEITiCSE-2013-WaldenDGH
An informatics perspective on computational thinking (JW, MD, RG, ZH), pp. 4–9.
ITiCSEITiCSE-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.
ESOPESOP-2013-JeanninKS
Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
FoSSaCSFoSSaCS-2013-ChurchillM #bisimulation #composition
Modular Bisimulation Theory for Computations and Values (MC, PDM), pp. 97–112.
FoSSaCSFoSSaCS-2013-UmmelsB #markov #modelling
Computing Quantiles in Markov Reward Models (MU, CB), pp. 353–368.
TACASTACAS-2013-BacciBLM #on the fly #similarity
On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
CSMRCSMR-2013-ScannielloECG #gpu #using
Using the GPU to Green an Intensive and Massive Computation System (GS, UE, GC, CG), pp. 384–387.
ICSMEICSM-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.
PLDIPLDI-2013-DeVitoHAHV #multi #named
Terra: a multi-stage language for high-performance computing (ZD, JH, AA, PH, JV), pp. 105–116.
STOCSTOC-2013-HardtR #analysis #worst-case
Beyond worst-case analysis in private singular vector computation (MH, AR), pp. 331–340.
STOCSTOC-2013-HsuRU #difference #equilibrium #privacy
Differential privacy for the analyst via private equilibrium computation (JH, AR, JU), pp. 341–350.
STOCSTOC-2013-LeeRS #approach #using
A new approach to computing maximum flows using electrical flows (YTL, SR, NS), pp. 755–764.
STOCSTOC-2013-RothblumVW #interactive #proving #proximity #sublinear
Interactive proofs of proximity: delegating computation in sublinear time (GNR, SPV, AW), pp. 793–802.
STOCSTOC-2013-SinclairS #complexity #theorem
Lee-Yang theorems and the complexity of computing averages (AS, PS), pp. 625–634.
CIAACIAA-2013-AbbadL
Computing Weights (HA, ÉL), pp. 24–35.
CIAACIAA-2013-Crespi-ReghizziP #parallel
Deterministic Counter Machines and Parallel Matching Computations (SCR, PSP), pp. 280–291.
ICALPICALP-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.
ICALPICALP-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.
ICALPICALP-v2-2013-HarrisMPRS #performance
Efficient Computation of Balanced Structures (DGH, EM, GP, PR, AS), pp. 581–593.
ICALPICALP-v2-2013-LeivantM #complexity #evolution
Evolving Graph-Structures and Their Implicit Computational Complexity (DL, JYM), pp. 349–360.
SFMSFM-2013-Pachos #quantum
Topological Quantum Computation (JKP), pp. 150–179.
CEFPCEFP-2013-0001FS #composition
Zipper-Based Modular and Deforested Computations (PM, JPF, JS), pp. 407–427.
ICFPICFP-2013-Jones
Computer science as a school subject (SLPJ), pp. 159–160.
CHICHI-2013-AdarTT #interactive
Benevolent deception in human computer interaction (EA, DST, JT), pp. 1863–1872.
CHICHI-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.
CHICHI-2013-JacksonB #framework
Infrastructure and vocation: field, calling and computation in ecology (SJJ, SB), pp. 2873–2882.
CHICHI-2013-JacobsB #design
Codeable objects: computational design and digital fabrication for novice programmers (JJ, LB), pp. 1589–1598.
CHICHI-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.
CHICHI-2013-TaylorPIFCCBB #biology #interface
At the interface of biology and computation (AST, NP, SI, JF, BC, CC, SB, DB), pp. 493–502.
CSCWCSCW-2013-HuangF #consistency #evaluation #reliability #using
Enhancing reliability using peer consistency evaluation in human computation (SWH, WTF), pp. 639–648.
CSCWCSCW-2013-IntroneD
Analyzing the flow of knowledge in computer mediated teams (JI, MD), pp. 341–356.
HCIDHM-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.
HCIDHM-HB-2013-KaoH
Hand and Arm Support for Computer Workstation (GHK, TKPH), pp. 232–238.
HCIDHM-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.
HCIDHM-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.
HCIDUXU-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.
HCIDUXU-NTE-2013-Danylak #analysis #gesture #human-computer #interactive
Semiotic Analysis for Gestural and Emotional Human-Computer Interaction (RD), pp. 465–474.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-WM-2013-LeNDP #interactive #process
Scaffolding Computer Supported Argumentation Processes through Mini Map Based Interaction Techniques (NTL, SN, DD, NP), pp. 533–542.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-AMTE-2013-FerreiraS #case study #communication #modelling
Communicating Ideas in Computer-Supported Modeling Tasks: A Case Study with BPMN (JJF, CSdS), pp. 320–329.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-IMT-2013-RabeW #interactive #memory management
Enhancing Human Computer Interaction with Episodic Memory in a Virtual Guide (FR, IW), pp. 117–125.
HCIHCI-UC-2013-KellenCF #diagrams #performance #probability #problem
Improving User Performance in Conditional Probability Problems with Computer-Generated Diagrams (VK, SSC, XF), pp. 183–192.
HCIHCI-UC-2013-LinCTH
An Application of the Ballistic Movement Method for Evaluating Computer Mice (RFL, CWC, YCT, CYH), pp. 199–208.
HCIHCI-UC-2013-NothdurftHM #human-computer #trust
The Impact of Explanation Dialogues on Human-Computer Trust (FN, TH, WM), pp. 59–67.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-HSM-2013-OhneiserG #interactive #migration
Migration Tolerant Human Computer Interaction for Air Traffic Controllers (OO, HG), pp. 143–152.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-LCCB-2013-NahTRV #education #game studies #gamification #using
Gamification of Education Using Computer Games (FFHN, VRT, SR, PRV), pp. 99–107.
HCIHIMI-LCCB-2013-Takahashi13a
Role of Assigned Persona for Computer Supported Cooperative Work in Remote Control Environment (YT), pp. 372–380.
HCIOCSC-2013-JamiesonGHW #game studies #metaheuristic
Metaheuristic Entry Points for Harnessing Human Computation in Mainstream Games (PJ, LG, JH, AW), pp. 156–163.
HCIOCSC-2013-ValdespinoZW #education #in the cloud #modelling
A High-School Homeschooling Education Model Based on Cloud Computing (JV, WZ, JW), pp. 216–221.
CAiSECAiSE-2013-CardosoBBKL #automation #in the cloud
Cloud Computing Automation: Integrating USDL and TOSCA (JC, TB, UB, OK, FL), pp. 1–16.
EDOCEDOC-2013-Buyya #challenge #in the cloud
Market-oriented cloud computing: Opportunities and challenges (RB), p. 3.
ICEISICEIS-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.
ICEISICEIS-v2-2013-HollingsworthP #student
Seeding the Cloud with Students from Every Computer Science Undergraduate Program (JKH, DJP), pp. 513–518.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2013-RomaniB #design #process #social
Exploring Human Computation and Social Computing to Inform the Design Process (RR, MCCB), pp. 67–74.
CIKMCIKM-2013-LiWZWW #probability #scalability #similarity
Computing term similarity by large probabilistic isA knowledge (PPL, HW, KQZ, ZW, XW), pp. 1401–1410.
CIKMCIKM-2013-ShaoYCM #graph #named
PAGE: a partition aware graph computation engine (YS, JY, BC, LM), pp. 823–828.
ICMLICML-c3-2013-LeSS #named
Fastfood — Computing Hilbert Space Expansions in loglinear time (QVL, TS, AJS), pp. 244–252.
ICMLICML-c3-2013-OgawaST
Safe Screening of Non-Support Vectors in Pathwise SVM Computation (KO, YS, IT), pp. 1382–1390.
ICMLICML-c3-2013-ShenderL #trade-off
Computation-Risk Tradeoffs for Covariance-Thresholded Regression (DS, JDL), pp. 756–764.
ICMLICML-c3-2013-VladymyrovC #performance
Entropic Affinities: Properties and Efficient Numerical Computation (MV, MÁCP), pp. 477–485.
KDDKDD-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.
KEODKEOD-2013-LepperT #named
tScore: Makes Computers and Humans Talk About Time (ML, BTyW), pp. 176–183.
RecSysRecSys-2013-TaghaviBS #recommendation
Agent-based computational investing recommender system (MT, KB, ES), pp. 455–458.
SEKESEKE-2013-AlmeidaCBCLDP #adaptation #in the cloud
Dynamic Adaptation of Cloud Computing Applications (AA, EC, TB, NC, FL, FCD, PFP), pp. 67–72.
SEKESEKE-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.
SEKESEKE-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
OnwardOnward-2013-McCorkle #physics
Building connections between theories of computing and physical systems (ELM), pp. 153–172.
OOPSLAOOPSLA-2013-TetaliLMM #named #static analysis
MrCrypt: static analysis for secure cloud computations (SDT, ML, RM, TDM), pp. 271–286.
PPDPPPDP-2013-PinoBV #concurrent #confluence #constraints #equivalence #performance #programming
Efficient computation of program equivalence for confluent concurrent constraint programming (LFP, FB, FDV), pp. 263–274.
POPLPOPL-2013-Myers #distributed #how
How languages can save distributed computing (ACM), pp. 315–316.
REER-BR-2013-SerranoS #mobile #non-functional #pervasive #ubiquitous
Ubiquitous, Pervasive and Mobile Computing: A Reusable-Models-based Non-Functional Catalogue (MS, MS).
SACSAC-PL-J-2012-HaraburdaT13 #framework
Binary trees as a computational framework (DH, PT), pp. 163–181.
SACSAC-2013-AbidiDCJ #grid #interactive
A publication-subscription interaction schema for desktop grid computing (LA, JCD, CC, MJ), pp. 771–778.
SACSAC-2013-AnielloQB #data transformation
Input data organization for batch processing in time window based computations (LA, LQ, RB), pp. 363–370.
SACSAC-2013-AzarianCWB #approach #manycore #pipes and filters
An FPGA-based multi-core approach for pipelining computing stages (AA, JMPC, SW, JB), pp. 1533–1540.
SACSAC-2013-ChanHN #layout #semantics #using #wiki #word
Computing semantic relatedness using word frequency and layout information of Wikipedia (PC, YH, SN), pp. 282–287.
SACSAC-2013-CicekD #smarttech
Demand response computation for future smart grids incorporating wind power (, HD), pp. 680–685.
SACSAC-2013-MaierST #design #reliability #scalability #symbolic computation
Reliable scalable symbolic computation: the design of SymGridPar2 (PM, RJS, PWT), pp. 1674–1681.
SACSAC-2013-SteinbauerKK #community #on-demand
Building an on-demand virtual computing market in non-commercial communities (MS, IK, GK), pp. 351–356.
SACSAC-2013-TeodoroCF #energy #performance #scheduling
Energy efficiency management in computational grids through energy-aware scheduling (ST, ABdC, LGF), pp. 1163–1168.
SACSAC-2013-TomaC #realtime
Computation offloading for real-time systems (AT, JJC), pp. 1650–1651.
SACSAC-2013-WyssBPF #design #latency #multi
End-to-end latency computation in a multi-periodic design (RW, FB, CP, JF), pp. 1682–1687.
SACSAC-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-FSEESEC-FSE-2013-GambiFD #refinement #testing
Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.
ESEC-FSEESEC-FSE-2013-Platenius #fuzzy #on the fly
Fuzzy service matching in on-the-fly computing (MCP), pp. 715–718.
ICSEICSE-2013-AlrajehRLMMN
Computational alignment of goals and scenarios for complex systems (DA, AR, JL, NAMM, AM, MN), pp. 1249–1252.
ICSEICSE-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.
SLESLE-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2013-Paulos #evolution
The rise of the expert amateur: DIY culture and the evolution of computer science (EP), pp. 153–154.
ASPLOSASPLOS-2013-RaghavanESPPWM #hardware #testing
Computational sprinting on a hardware/software testbed (AR, LE, LS, MCP, KPP, TFW, MMKM), pp. 155–166.
ASPLOSASPLOS-2013-TangMWDS #compilation #named
ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.
CGOCGO-2013-AnantpurG #dependence #execution #runtime
Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.
HPCAHPCA-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.
HPCAHPCA-2013-GilaniKS #power management
Power-efficient computing for compute-intensive GPGPU applications (SZG, NSK, MJS), pp. 330–341.
HPCAHPCA-2013-KarpuzcuSKT #energy #named #towards
EnergySmart: Toward energy-efficient manycores for Near-Threshold Computing (URK, AAS, NSK, JT), pp. 542–553.
HPCAHPCA-2013-TangMZHHT #experience #optimisation
Optimizing Google’s warehouse scale computers: The NUMA experience (LT, JM, XZ, RH, RH, ET), pp. 188–197.
HPDCHPDC-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.
HPDCHPDC-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.
PLOSPLOS-2013-DzikPRTV #in the cloud #monad #named
MBrace: cloud computing with monads (JD, NP, KR, ET, NV), p. 6.
PPoPPPPoPP-2013-LuM #migration #parallel
Multi-level parallel computing of reverse time migration for seismic imaging on blue Gene/Q (LL, KAM), pp. 291–292.
SOSPSOSP-2013-BraunFRSBW #verification
Verifying computations with state (BB, AJF, ZR, STVS, AJB, MW), pp. 341–357.
SOSPSOSP-2013-ZahariaDLHSS #fault tolerance #scalability #streaming
Discretized streams: fault-tolerant streaming computation at scale (MZ, TD, HL, TH, SS, IS), pp. 423–438.
CADECADE-2013-AzmyW #normalisation
Computing Tiny Clause Normal Forms (NA, CW), pp. 109–125.
CADECADE-2013-MouraP
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals (LMdM, GOP), pp. 178–192.
CAVCAV-2013-Brenguier #concurrent #game studies #named #nash
PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games (RB), pp. 890–895.
CAVCAV-2013-UhlerD #automation #named #query #smt #symbolic computation
Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries (RU, ND), pp. 678–683.
CSLCSL-2013-Dershowitz
Res Publica: The Universal Model of Computation (Invited Talk) (ND), pp. 5–10.
CSLCSL-2013-Leivant #induction #semantics #type system
Global semantic typing for inductive and coinductive computing (DL), pp. 469–483.
ICLPICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #execution #specification
A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.
ISSTAISSTA-2013-ChocklerEY #concurrent #fault
Finding rare numerical stability errors in concurrent computations (HC, KE, EY), pp. 12–22.
LICSLICS-2013-Comon-Lundh #logic #modelling #named #problem #security
LICS: Logic in Computer Security — Some Attacker’s Models and Related Decision Problems (HCL), p. 1.
LICSLICS-2013-LiangM #logic
Unifying Classical and Intuitionistic Logics for Computational Control (CL, DM), pp. 283–292.
LICSLICS-2013-Panangaden #logic
Duality in Logic and Computation (PP), pp. 4–11.
LICSLICS-2013-Staton #algebra #perspective
Instances of Computational Effects: An Algebraic Perspective (SS), p. 519.
ICSTSAT-2013-Clarke #why
Turing’s Computable Real Numbers and Why They Are Still Important Today (EMC), p. 18.
VMCAIVMCAI-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.
ASEASE-2012-RederE #consistency #design #modelling #nondeterminism
Computing repair trees for resolving inconsistencies in design models (AR, AE), pp. 220–229.
CASECASE-2012-BrunoMSVZ #approach #modelling #recognition
Human motion modelling and recognition: A computational approach (BB, FM, AS, TV, RZ), pp. 156–161.
CASECASE-2012-DinhamF #detection #using
Weld seam detection using computer vision for robotic Arc Welding (MD, GF), pp. 771–776.
CASECASE-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.
DACDAC-2012-AuerbachBBCFRS #compilation #runtime
A compiler and runtime for heterogeneous computing (JSA, DFB, IB, PC, SJF, RMR, SS), pp. 271–276.
DACDAC-2012-ChangH #power management
Near-threshold operation for power-efficient computing?: it depends.. (LC, WH), pp. 1159–1163.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2012-PinckneySDFMSB #performance
Assessing the performance limits of parallelized near-threshold computing (NRP, KS, RGD, DF, TNM, DS, DB), pp. 1147–1152.
DACDAC-2012-PinoLCHL #case study #modelling #statistics
Statistical memristor modeling and case study in neuromorphic computing (REP, HHL, YC, MH, BL), pp. 585–590.
DACDAC-2012-RajendiranAPTG #reliability #set
Reliable computing with ultra-reduced instruction set co-processors (AR, SA, HDP, MVT, SG), pp. 697–702.
DACDAC-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.
DACDAC-2012-SharadAPR #network
Cognitive computing with spin-based neural networks (MS, CA, GP, KR), pp. 1262–1263.
DACDAC-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.
DACDAC-2012-ZuluagaMP #generative #network #sorting #streaming
Computer generation of streaming sorting networks (MZ, PAM, MP), pp. 1245–1253.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-FaruqueC #automation #collaboration #embedded
Intelligent and collaborative embedded computing in automation engineering (MAAF, AC), pp. 344–345.
DATEDATE-2012-HankendiC #energy #parallel #performance
Reducing the energy cost of computing through efficient co-scheduling of parallel workloads (CH, AKC), pp. 994–999.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-Pyl #perspective #research
Research and innovation on Advanced Computing — an EU perspective (TVdP), p. 591.
DATEDATE-2012-WernerOGHB #configuration management #distributed #manycore
Virtualized on-chip distributed computing for heterogeneous reconfigurable multi-core systems (SW, OO, DG, MH, JB), pp. 280–283.
HTHT-2012-Francisco-RevillaF #adaptation #hypermedia
Adaptive spatial hypermedia in computational journalism (LFR, ÁF), pp. 313–314.
PODSPODS-2012-Mahoney #approximate #data analysis #scalability
Approximate computation and implicit regularization for very large-scale data analysis (MWM), pp. 143–154.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2012-IoriSPWH #clustering #monitoring #named
CloudAlloc: a monitoring and reservation system for compute clusters (EI, AS, TP, KW, SH), pp. 721–724.
SIGMODSIGMOD-2012-JinRDY #graph #named #reachability #scalability
SCARAB: scaling reachability computation on large graphs (RJ, NR, SD, JXY), pp. 169–180.
SIGMODSIGMOD-2012-ZhouBL #clustering #distributed
Advanced partitioning techniques for massively distributed computation (JZ, NB, WL), pp. 13–24.
SIGMODSIGMOD-2012-ZhuLZZY #named #similarity
TreeSpan: efficiently computing similarity all-matching (GZ, XL, KZ, WZ, JXY), pp. 529–540.
VLDBVLDB-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.
VLDBVLDB-2012-MihaylovIG #named #recursion
REX: Recursive, Delta-Based Data-Centric Computation (SRM, ZGI, SG), pp. 1280–1291.
VLDBVLDB-2012-MouratidisY #information management
Shortest Path Computation with No Information Leakage (KM, MLY), pp. 692–703.
VLDBVLDB-2013-MouratidisP12 #query
Computing Immutable Regions for Subspace Top-k Queries (KM, HP), pp. 73–84.
CSEETCSEET-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.
CSEETCSEET-2012-LeBlancB #education #guidelines
Exploring the Computer Science 2013 Curriculum Guidelines (RL, MB), pp. 75–76.
CSEETCSEET-2012-TillmannHXB #education #game studies #learning #named #social
Pex4Fun: Teaching and Learning Computer Science via Social Gaming (NT, JdH, TX, JB), pp. 90–91.
CSEETCSEET-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.
ITiCSEITiCSE-2012-Bargury #education
A new curriculum for junior-high in computer science (IZB), pp. 204–208.
ITiCSEITiCSE-2012-Blum
Alan turing and the other theory of computation (LB), p. 2.
ITiCSEITiCSE-2012-ChorH #topic
CS1001.py: a topic-based introduction to computer science (BC, RH), pp. 215–220.
ITiCSEITiCSE-2012-FaginS #education #named
MyTuringTable: a teaching tool to accompany Turing’s original paper on computability (BF, DS), pp. 333–338.
ITiCSEITiCSE-2012-FidotenS #bibliography #what
What do computer scientists do?: a survey of CS and non-CS liberal arts faculty (HF, JS), pp. 279–284.
ITiCSEITiCSE-2012-GoldbergGLFH #education
Engaging computer science in traditional education: the ECSITE project (DG, DG, CHL, JAF, SH), pp. 351–356.
ITiCSEITiCSE-2012-HeinesGR #music
Techniques at the intersection of computing and music (JMH, GRG, SAR), p. 372.
ITiCSEITiCSE-2012-JarusekP #problem
A web-based problem solving tool for introductory computer science (PJ, RP), p. 371.
ITiCSEITiCSE-2012-Kumar #case study
A study of stereotype threat in computer science (ANK), pp. 273–278.
ITiCSEITiCSE-2012-Larraza-MendiluzeGMMRALS
Nintendo® DS projects to learn computer input-output (ELM, NGV, JIM, JM, TRV, ISA, JFL, KS), p. 373.
ITiCSEITiCSE-2012-LeidigGO #component #education #social
Assessing the benefits of integrating social issues components in the computing curriculum (PML, MG, BBO), pp. 367–368.
ITiCSEITiCSE-2012-Moreno #comparison #evaluation #framework #source code
A qualitative framework for comparison and evaluation of computer science doctoral programs (MdCCM), p. 398.
ITiCSEITiCSE-2012-MyketiakCBMM #flexibility #named
cs4fn: a flexible model for computer science outreach (CM, PC, JB, PWM, LRM), pp. 297–302.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2012-Rabin #student
Never too early to begin: computer science for high-school students (MOR), p. 1.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2012-Ragonis #algorithm #education #source code
Integrating the teaching of algorithmic patterns into computer science teacher preparation programs (NR), pp. 339–344.
ITiCSEITiCSE-2012-SettleFHSJRW #education
Infusing computational thinking into the middle- and high-school curriculum (AS, BF, RH, FS, CJ, CRM, BW), pp. 22–27.
ITiCSEITiCSE-2012-StephensonCOG #standard
The new CSTA K-12 computer science standards (CS, SC, BBO, JGE), pp. 363–364.
ITiCSEITiCSE-2012-ZaritskyB #community #process
Computer science as a community involvement activity (AZ, OB), pp. 365–366.
TFPIETFPIE-2012-ODonnell #education #functional #hardware #using
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (JTO), pp. 20–39.
TFPIETFPIE-2012-PageG #how
How Computers Work: Computational Thinking for Everyone (RP, RG), pp. 1–19.
ESOPESOP-2012-Ley-WildAB #self
Non-monotonic Self-Adjusting Computation (RLW, UAA, GEB), pp. 476–496.
ESOPESOP-2012-Rhiger #staged
Staged Computation with Staged Lexical Scope (MR), pp. 559–578.
FASEFASE-2012-AbadiEF #slicing #theory and practice
Fine Slicing — Theory and Applications for Computation Extraction (AA, RE, YAF), pp. 471–485.
FoSSaCSFoSSaCS-2012-ChenBW #complexity #on the #probability #similarity
On the Complexity of Computing Probabilistic Bisimilarity (DC, FvB, JW), pp. 437–451.
CSMRCSMR-2012-TollO #game studies #question #why
Why is Unit-testing in Computer Games Difficult? (DT, TO), pp. 373–378.
ICPCICPC-2012-AlawnehH #communication #identification
Identifying computational phases from inter-process communication traces of HPC applications (LA, AHL), pp. 133–142.
PEPMPEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal
Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.
SASSAS-2012-BartheGB #encryption #proving
Computer-Aided Cryptographic Proofs (GB, BG, SZB), pp. 1–2.
STOCSTOC-2012-Ajtai #nondeterminism #testing
Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.
STOCSTOC-2012-AroraGKM #matrix
Computing a nonnegative matrix factorization — provably (SA, RG, RK, AM), pp. 145–162.
STOCSTOC-2012-BoyleGJK #memory management #multi
Multiparty computation secure against continual memory leakage (EB, SG, AJ, YTK), pp. 1235–1254.
STOCSTOC-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.
STOCSTOC-2012-DobzinskiV #complexity #query
From query complexity to computational complexity (SD, JV), pp. 1107–1116.
STOCSTOC-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.
STOCSTOC-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.
FLOPSFLOPS-2012-Lobachev #parallel #termination
Parallel Computation Skeletons with Premature Termination Property (OL), pp. 197–212.
FLOPSFLOPS-2012-TorontoM
Computing in Cantor’s Paradise with λ ZFC (NT, JM), pp. 290–306.
CIAACIAA-2012-JiraskovaM #complexity #on the
On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs (GJ, TM), pp. 229–239.
CIAACIAA-2012-KlimannMP #automaton #implementation
Implementing Computations in Automaton (Semi)groups (IK, JM, MP), pp. 240–252.
DLTDLT-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.
ICALPICALP-v1-2012-ChenW
Computing the Visibility Polygon of an Island in a Polygonal Domain (DZC, HW), pp. 218–229.
ICALPICALP-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.
ICALPICALP-v1-2012-MansourRVX #algorithm #online
Converting Online Algorithms to Local Computation Algorithms (YM, AR, SV, NX), pp. 653–664.
ICALPICALP-v2-2012-ChiesaBEP #complexity
Computational Complexity of Traffic Hijacking under BGP and S-BGP (MC, GDB, TE, MP), pp. 476–487.
ICALPICALP-v2-2012-Fu #game studies #markov #metric #process
Computing Game Metrics on Markov Decision Processes (HF), pp. 227–238.
ICALPICALP-v2-2012-Honda #distributed
Session Types and Distributed Computing (KH), p. 23.
LATALATA-2012-ArvindV #morphism #testing
Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits (VA, YV), pp. 83–94.
LATALATA-2012-DennunzioFP #automaton #complexity
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata (AD, EF, JP), pp. 204–215.
LATALATA-2012-KrassovitskiyL
Computing by Observing Insertion (AK, PL), pp. 377–388.
LATALATA-2012-Lutz
The Computer Science of DNA Nanotechnology (JHL), p. 57.
ICFPICFP-2012-DanielsGR #biology #case study #experience #haskell
Experience report: Haskell in computational biology (NMD, AG, NR), pp. 227–234.
ICFPICFP-2012-LaunchburyDDA #multi #performance #protocol
Efficient lookup-table protocol in secure multiparty computation (JL, ISD, TD, AAM), pp. 189–200.
IFLIFL-2012-IonescuJ #modelling #programming
Dependently-Typed Programming in Scientific Computing — Examples from Economic Modelling (CI, PJ), pp. 140–156.
GRAPHITEGRAPHITE-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.
ICGTICGT-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.
CHICHI-2012-BardramGHN #collaboration #distributed #named
ReticularSpaces: activity-based computing support for physically distributed and collaborative smart spaces (JB, SG, SH, SN), pp. 2845–2854.
CHICHI-2012-BoujarwahAA #problem #social
Socially computed scripts to support social problem solving skills (FAB, GDA, RIA), pp. 1987–1996.
CHICHI-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.
CHICHI-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.
CHICHI-2012-KanoR #experience
Interchangeability of computer and paper based questionnaires in gathering computer experience data from young children (AK, JCR), pp. 2397–2400.
CHICHI-2012-KirkIHBTS #question
At home with surface computing? (DSK, SI, OH, RB, ST, AS), pp. 159–168.
CHICHI-2012-Reeves #ubiquitous
Envisioning ubiquitous computing (SR), pp. 1573–1582.
CHICHI-2012-VoidaHA #coordination #social #volunteer
Bridging between organizations and the public: volunteer coordinators’ uneasy relationship with social computing (AV, EH, BAA), pp. 1967–1976.
CHICHI-2012-ZhangLMGPH #constraints
Human computation tasks with global constraints (HZ, EL, RM, KG, DCP, EH), pp. 217–226.
CSCWCSCW-2012-HarboeMIH #collaboration #data analysis #diagrams
Computer support for collaborative data analysis: augmenting paper affinity diagrams (GH, JM, II, EMH), pp. 1179–1182.
CSCWCSCW-2012-Poole #framework #research
Interacting with infrastructure: a case for breaching experiments in home computing research (ESP), pp. 759–768.
CSCWCSCW-2012-RooksbyK #community #in the cloud
Diagnostic work in cloud computing: discussion forums, community and troubleshooting (JR, AKH), pp. 335–338.
CSCWCSCW-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.
ICEISICEIS-J-2012-PrenzelR12a #interactive #modelling #scheduling
Models for Human Computer Interaction in Scheduling Applications (AP, GR), pp. 155–171.
ICEISICEIS-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.
ICEISICEIS-v1-2012-PrenzelR #design #human-computer #interface #scheduling
Design of Human-computer Interfaces in Scheduling Applications (AP, GR), pp. 219–228.
ICEISICEIS-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.
CIKMCIKM-2012-OrdonezMGTM #performance
Fast PCA computation in a DBMS with aggregate UDFs and LAPACK (CO, NM, CGA, PTT, EM), pp. 2219–2223.
ICMLICML-2012-KimuraK #kernel #performance
Fast Computation of Subpath Kernel for Trees (DK, HK), p. 81.
ICPRICPR-2012-BianZSL #realtime
Parallelized Annealed Particle Filter for real-time marker-less motion tracking via heterogeneous computing (YB, XZ, JS, YL), pp. 2444–2447.
ICPRICPR-2012-ChandraJ #kernel #sequence #video
Partial Least Squares kernel for computing similarities between video sequences (SC, CVJ), pp. 513–516.
ICPRICPR-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.
ICPRICPR-2012-HirokiPS #animation #development #interface
A puppet interface for the development of an intuitive computer animation system (NH, NP, MS), pp. 3136–3139.
ICPRICPR-2012-HoangT #orthogonal #performance
Fast computation of orthogonal polar harmonic transforms (TVH, ST), pp. 3160–3163.
ICPRICPR-2012-RayAZ #programming #segmentation
Seeing through clutter: Snake computation with dynamic programming for particle segmentation (NR, STA, HZ), pp. 801–804.
ICPRICPR-2012-RebagliatiSPS #distance #edit distance #graph #set #using
Computing the graph edit distance using dominant sets (NR, ASR, MP, FS), pp. 1080–1083.
ICPRICPR-2012-TagawaMY
8-D reflectance field for computational photography (ST, YM, YY), pp. 2181–2185.
ICPRICPR-2012-UlmB #clustering #online #robust
Robust online trajectory clustering without computing trajectory distances (MU, NB), pp. 2270–2273.
ICPRICPR-2012-WilkinsonO #analysis #documentation
Mask-edge connectivity: Theory, computation, and application to historical document analysis (MHFW, JO), pp. 1334–1337.
KDDKDD-2012-Kearns #social
Experiments in social computation: (and the data they generate) (MK), p. 5.
KDDKDD-2012-Li12a #interactive #internet
Interaction and collective intelligence in internet computing (DL), p. 222.
KDDKDD-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.
KDIRKDIR-2012-FormosoFCC #performance #recommendation #using
Using Neighborhood Pre-computation to Increase Recommendation Efficiency (VF, DF, FC, VC), pp. 333–335.
KDIRKDIR-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.
KEODKEOD-2012-BachaZ12a #design #education
Designing a Model of Arabic Derivation, for Use in Computer Assisted Teaching (KB, MZ), pp. 352–356.
KEODKEOD-2012-SongJ #experience
A Context Sensitive Experience Feeder for Computer Aided Engineering (BS, ZJ), pp. 343–346.
KRKR-2012-LeoneMTV #source code
Efficiently Computable Datalog∃ Programs (NL, MM, GT, PV).
KRKR-2012-WilsonM #axiom #diagrams #framework #order
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities (NW, RM).
MLDMMLDM-2012-Kovacs #distance #reduction
Reduction of Distance Computations in Selection of Pivot Elements for Balanced GHT Structure (LK), pp. 50–62.
MLDMMLDM-2012-PiatkowskaM #recognition
Computer Recognition of Facial Expressions of Emotion (EP, JM), pp. 405–414.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2012-Broder #information retrieval #paradigm
IR paradigms in computational advertising (AZB), p. 1019.
MODELSMoDELS-2012-ShaverL
The Coroutine Model of Computation (CS, EAL), pp. 319–334.
MODELSMoDELS-2012-ShaverL
The Coroutine Model of Computation (CS, EAL), pp. 319–334.
OOPSLAOOPSLA-2012-BarowyCBM #framework #named
AutoMan: a platform for integrating human-based and digital computation (DWB, CC, EDB, AM), pp. 639–654.
OOPSLAOOPSLA-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.
LOPSTRLOPSTR-2012-NishidaV #term rewriting
Computing More Specific Versions of Conditional Rewriting Systems (NN, GV), pp. 137–154.
QAPLQAPL-2012-Giro #model checking #performance
Efficient computation of exact solutions for quantitative model checking (SG), pp. 17–32.
PADLPADL-2012-GuzmanCCH #approach
A Segment-Swapping Approach for Executing Trapped Computations (PCdG, AC, MC, MVH), pp. 138–152.
PADLPADL-2012-Tarau #declarative #specification
A Declarative Specification of Tree-Based Symbolic Arithmetic Computations (PT), pp. 273–288.
POPLPOPL-2012-BojanczykBKL #towards
Towards nominal computation (MB, LB, BK, SL), pp. 401–412.
POPLPOPL-2012-ZhuMKR #approximate #performance #program transformation #random
Randomized accuracy-aware program transformations for efficient approximate computations (ZAZ, SM, JAK, MCR), pp. 441–454.
SACSAC-2012-AkessonHRM #pervasive
Instance-aware assemblies of services in pervasive computing (, GH, SGR, BM), pp. 1554–1556.
SACSAC-2012-BalduzziZBKL #analysis #security
A security analysis of amazon’s elastic compute cloud service (MB, JZ, DB, EK, SL), pp. 1427–1434.
SACSAC-2012-CrassK #coordination #data access
A coordination-based access control model for space-based computing (SC, EK), pp. 1560–1562.
SACSAC-2012-DivakarmurthyM
Area diversity in computer science collaborations (PD, RM), pp. 2041–2042.
SACSAC-2012-JiXWLTY #gpu #sequence
High-throughput antibody sequence alignment based on GPU computing (GJ, ZX, XW, SL, MT, JY), pp. 1417–1418.
SACSAC-2012-NagarAB #functional #graph #similarity #using
Computing gene functional similarity using combined graphs (AN, HAM, SB), pp. 1381–1386.
SACSAC-2012-RahmanA #authentication #named #network #protocol #robust
DRAP: a Robust Authentication protocol to ensure survivability of computational RFID networks (FR, SIA), pp. 498–503.
SACSAC-2012-ShinWC #distributed #framework #in the cloud
A policy-based decentralized authorization management framework for cloud computing (DS, YW, WC), pp. 465–470.
SACSAC-2012-SousaC #framework #modelling #named #open source #symbolic computation
SageRobotics: open source framework for symbolic computation of robot models (CDS, RC), pp. 262–267.
SACSAC-2012-TarauH #on the
On computing with types (PT, DH), pp. 1889–1896.
SACSAC-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.
ICSEICSE-2012-Sheth
Societal Computing (SS), pp. 1567–1570.
SLESLE-2012-CombemaleHJBB #execution #metamodelling #modelling
Bridging the Chasm between Executable Metamodeling and Models of Computation (BC, CH, CJ, FB, BB), pp. 184–203.
CGOCGO-2012-TangMS #compilation
Compiling for niceness: mitigating contention for QoS in warehouse scale computers (LT, JM, MLS), pp. 1–12.
HPCAHPCA-2012-ChenCGTWH #performance #statistics
Statistical performance comparisons of computers (TC, YC, QG, OT, YW, WH), pp. 399–410.
HPCAHPCA-2012-RaghavanLCPPWM
Computational sprinting (AR, YL, AC, MCP, KPP, TFW, MMKM), pp. 249–260.
HPDCHPDC-2012-DelamareFKL #distributed #named #using
SpeQuloS: a QoS service for BoT applications using best effort distributed computing infrastructures (SD, GF, DK, OL), pp. 173–186.
HPDCHPDC-2012-DinuN #comprehension
Understanding the effects and implications of compute node related failures in hadoop (FD, TSEN), pp. 187–198.
HPDCHPDC-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.
OSDIOSDI-2012-GonzalezLGBG #distributed #graph #named
PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs (JEG, YL, HG, DB, CG), pp. 17–30.
OSDIOSDI-2012-KyrolaBG #graph #named #scalability
GraphChi: Large-Scale Graph Computation on Just a PC (AK, GEB, CG), pp. 31–46.
PPoPPPPoPP-2012-BuhlerALC #concurrent #performance #streaming
Efficient deadlock avoidance for streaming computation with filtering (JDB, KA, PL, RDC), pp. 235–246.
PPoPPPPoPP-2012-JiangPOJ #manycore #parallel
OpenMP-style parallelism in data-centered multicore computing with R (LJ, PBP, GO, FJ), pp. 335–336.
PPoPPPPoPP-2012-NobariCKB #parallel #scalability
Scalable parallel minimum spanning forest computation (SN, TTC, PK, SB), pp. 205–214.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
CAVCAV-2012-ThakurR #symbolic computation
A Method for Symbolic Computation of Abstract Operations (AVT, TWR), pp. 174–192.
CSLCSL-2012-Hida #axiom
A Computational Interpretation of the Axiom of Determinacy in Arithmetic (TH), pp. 335–349.
ICLPICLP-2012-Hanus #analysis #lazy evaluation #nondeterminism
Improving Lazy Non-Deterministic Computations by Demand Analysis (MH), pp. 130–143.
ICLPICLP-2012-SatoM #infinity #probability
Tabling for infinite probability computation (TS, PM), pp. 348–358.
ICSTICST-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.
IJCARIJCAR-2012-KonevLW #difference #logic
Logical Difference Computation with CEX2.5 (BK, ML, FW), pp. 371–377.
LICSLICS-2012-BernardyM #parametricity
A Computational Interpretation of Parametricity (JPB, GM), pp. 135–144.
LICSLICS-2012-Constable #on the
On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (RLC), pp. 2–8.
RTARTA-2012-Anai #algebra #geometry
Computational Real Algebraic Geometry in Practice (Invited Talk) (HA), p. 1.
RTARTA-2012-Kirchner #calculus #logic
Rho-Calculi for Computation and Logic (Invited Talk) (CK), pp. 2–4.
ICSTSAT-2012-BelovIMM #on the #performance
On Efficient Computation of Variable MUSes (AB, AI, AM, JMS), pp. 298–311.
ICSTSAT-2012-JarvisaloKKK #performance
Finding Efficient Circuits for Ensemble Computation (MJ, PK, MK, JHK), pp. 369–382.
ICSTSAT-2012-Knuth #programming #satisfiability
Satisfiability and The Art of Computer Programming (DEK), p. 15.
ICSTSAT-2012-SlivovskyS #dependence #linear
Computing Resolution-Path Dependencies in Linear Time , (FS, SS), pp. 58–71.
ECSAECSA-2011-GamezFA #architecture #feature model #modelling
Autonomic Computing Driven by Feature Models and Architecture in FamiWare (NG, LF, MAA), pp. 164–179.
WICSAWICSA-2011-LiuC #architecture #in the cloud
Architecting Cloud Computing Applications and Systems (AL, RC), pp. 310–311.
ASEASE-2011-StehleLSRM #geometry #using
Diagnosis of software failures using computational geometry (ES, KL, MS, CR, SM), pp. 496–499.
ASEASE-2011-TellB #development #paradigm #process
Supporting activity based computing paradigm in global software development (PT, MAB), pp. 508–511.
CASECASE-2011-StyliosG #fuzzy #modelling #using
Modeling complex logistics systems using soft computing methodology of Fuzzy Cognitive Maps (CDS, GKG), pp. 72–77.
DACDAC-2011-ClemonsJPSA #embedded #feature model #named
EFFEX: an embedded processor for computer vision based feature extraction (JC, AJ, RP, SS, TMA), pp. 1020–1025.
DACDAC-2011-JiangRP
Synchronous sequential computation with molecular reactions (HJ, MDR, KKP), pp. 836–841.
DACDAC-2011-KarakonstantisBATGR
Significance driven computation on next-generation unreliable platforms (GK, NB, CDA, GT, VG, KR), pp. 290–291.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-ChenGSS #analysis #performance
Data-oriented performance analysis of SHA-3 candidates on FPGA accelerated computers (ZC, XG, AS, PS), pp. 1650–1655.
DATEDATE-2011-ChenKZBSNS
A confidence-driven model for error-resilient computing (CHC, YK, ZZ, DB, DS, HN, SS), pp. 1608–1613.
DATEDATE-2011-Furber #architecture
Biologically-inspired massively-parallel architectures — Computing beyond a million processors (SBF), p. 1.
DATEDATE-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.
DATEDATE-2011-MohapatraCRR #approximate #design
Design of voltage-scalable meta-functions for approximate computing (DM, VKC, AR, KR), pp. 950–955.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-WohSDKSBM #power management
Low power interconnects for SIMD computers (MW, SS, RGD, DK, DS, DB, TNM), pp. 600–605.
DATEDATE-2011-Yakovlev #energy
Energy-modulated computing (AY), pp. 1340–1345.
HTHT-2011-SimkoTB #game studies #network
Little search game: term network acquisition via a human computation game (JS, MT, MB), pp. 57–62.
ICDARICDAR-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.
PODSPODS-2011-Muthukrishnan #data type
Theory of data stream computing: where to go (SM), pp. 317–319.
SIGMODSIGMOD-2011-BozzonBBCCFV #multi
Search computing: multi-domain search on ranked data (AB, DB, MB, SC, FC, PF, SV), pp. 1267–1270.
SIGMODSIGMOD-2011-GaoYJZWY #distance #privacy
Neighborhood-privacy protected shortest distance computing in cloud (JG, JXY, RJ, JZ, TW, DY), pp. 409–420.
SIGMODSIGMOD-2011-HuangWYL #algorithm #network
Sampling based algorithms for quantile computation in sensor networks (ZH, LW, KY, YL), pp. 745–756.
SIGMODSIGMOD-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.
VLDBVLDB-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.
VLDBVLDB-2011-JinLDW #constraints #graph #nondeterminism #reachability
Distance-Constraint Reachability Computation in Uncertain Graphs (RJ, LL, BD, HW), pp. 551–562.
VLDBVLDB-2012-CormodeTY11 #interactive #proving #streaming #verification
Verifying Computations with Streaming Interactive Proofs (GC, JT, KY), pp. 25–36.
CSEETCSEET-2011-BarrettBC #architecture #education
Incorporating software architecture in the computer science curriculum (MLB, ABB, SC), pp. 523–524.
CSEETCSEET-2011-CarverK #student #testing
Evaluating the testing ability of senior-level computer science students (JCC, NAK), pp. 169–178.
CSEETCSEET-2011-TillmannHX #education #game studies #learning #named #social
Pex4Fun: Teaching and learning computer science via social gaming (NT, JdH, TX), pp. 546–548.
CSEETCSEET-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2011-BellCCDH #programming #student
Introducing students to computer science with programmes that don’t emphasise programming (TB, PC, QIC, VD, BH), p. 391.
ITiCSEITiCSE-2011-BlackF #architecture #education #visual notation
Teaching computer architecture with a graphical PC simulator (MDB, MF), p. 337.
ITiCSEITiCSE-2011-BowerM #comparison #learning
Continual and explicit comparison to promote proactive facilitation during second computer language learning (MB, AM), pp. 218–222.
ITiCSEITiCSE-2011-Connolly #education #web
Awakening Rip Van Winkle: modernizing the computer science web curriculum (RWC), pp. 18–22.
ITiCSEITiCSE-2011-Connolly11a #component #education #social
Beyond good and evil impacts: rethinking the social issues components in our computing curricula (RWC), pp. 228–232.
ITiCSEITiCSE-2011-EganL #student
The impact of IMPACT: assessing students’ perceptions after a day of computer exploration (MALE, TL), pp. 318–322.
ITiCSEITiCSE-2011-Goldweber #learning #process #turing machine
Two kinesthetic learning activities: turing machines and basic computer organization (MG), p. 335.
ITiCSEITiCSE-2011-Goldweber11a #learning #social
Computing for the social good: a service learning project (MG), p. 379.
ITiCSEITiCSE-2011-HabermanCD #contest
The beaver contest: attracting youngsters to study computing (BH, AC, VD), p. 378.
ITiCSEITiCSE-2011-HawthorneKC #community #education
Findings from an ACM strategic summit on computing education in community colleges (EKH, KJK, RDC), p. 373.
ITiCSEITiCSE-2011-Hu #what
Computational thinking: what it might mean and what we might do about it (CH), pp. 223–227.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2011-Schroeder #metric
A bouquet of measures to promote computer science in middle & high schools (US), p. 1.
ITiCSEITiCSE-2011-SheardD #student
Computing student practices of cheating and plagiarism: a decade of change (JS, MD), pp. 233–237.
ITiCSEITiCSE-2011-VanoM #learning #quote
“Computer science and nursery rhymes”: a learning path for the middle school (DDV, CM), pp. 238–242.
ITiCSEITiCSE-2011-WittmannBK #programming #using
Using the SCORE software package to analyse novice computer graphics programming (MRAW, MB, MKT), pp. 118–122.
ITiCSEITiCSE-2011-Wolfer #education
A medical motif for teaching computer graphics in context (JW), p. 328.
ITiCSEITiCSE-2011-WolzMS #learning #process
Kinesthetic learning of computing via “off-beat” activities (UW, MM, MS), pp. 68–72.
ESOPESOP-2011-FournetP #compilation #data flow #security
Compiling Information-Flow Security to Minimal Trusted Computing Bases (CF, JP), pp. 216–235.
FoSSaCSFoSSaCS-2011-AxelsenG #question #source code #what
What Do Reversible Programs Compute? (HBA, RG), pp. 42–56.
FoSSaCSFoSSaCS-2011-Jacobs #algebra #quantum
Coalgebraic Walks, in Quantum and Turing Computation (BJ0), pp. 12–26.
FoSSaCSFoSSaCS-2011-Panangaden #quantum
The Search for Structure in Quantum Computation (PP), pp. 1–11.
ICPCICPC-2011-AlawnehH #named #performance #scalability
MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems (LA, AHL), pp. 181–184.
ICSMEICSM-2011-Demeyer #research
Research methods in computer science (SD), p. 600.
SCAMSCAM-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.
PLDIPLDI-2011-Chlipala #logic #low level #source code #verification
Mostly-automated verification of low-level programs in computational separation logic (AC), pp. 234–245.
PLDIPLDI-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.
STOCSTOC-2011-AaronsonA #complexity #linear
The computational complexity of linear optics (SA, AA), pp. 333–342.
STOCSTOC-2011-Ajtai
Secure computation with information leaking to an adversary (MA), pp. 715–724.
STOCSTOC-2011-GolabHW #distributed #implementation #random
Linearizable implementations do not suffice for randomized distributed computation (WMG, LH, PW), pp. 373–382.
DLTDLT-J-2010-Head11 #algebra #parallel #towards
Computing with Light: toward Parallel Boolean Algebra (TH), pp. 1625–1637.
CIAACIAA-2011-JezM #automaton #performance
Computing All ℓ-Cover Automata Fast (AJ, AM), pp. 203–214.
DLTDLT-2011-ChandesrisDFM #aspect-oriented #automaton
Computational Aspects of Asynchronous Cellular Automata (JC, AD, EF, LM), pp. 466–468.
ICALPICALP-v1-2011-AaronsonD #quantum
Advice Coins for Classical and Quantum Computation (SA, AD), pp. 61–72.
ICALPICALP-v1-2011-AllenderFG #power of #random #string
Limits on the Computational Power of Random Strings (EA, LF, WIG), pp. 293–304.
ICALPICALP-v2-2011-Katsumata
Relating Computational Effects by ⊤ ⊤-Lifting (SyK), pp. 174–185.
LATALATA-2011-LisitsaPS #automaton
Planarity of Knots, Register Automata and LogSpace Computability (AL, IP, RS), pp. 366–377.
SEFMSEFM-2011-Boender #component #performance
Efficient Computation of Dominance in Component Systems (Short Paper) (JB), pp. 399–406.
ICFPICFP-2011-ChenDHA #functional #self #source code
Implicit self-adjusting computation for purely functional programs (YC, JD, MAH, UAA), pp. 129–141.
CHICHI-2011-AndersonDB #performance
Diminishing returns?: revisiting perception of computing performance (GJA, RD, EB), pp. 2703–2706.
CHICHI-2011-ChenNHD #interactive
Unpacking exam-room computing: negotiating computer-use in patient-physician interactions (YC, VN, SH, VD), pp. 3343–3352.
CHICHI-2011-ChoeCWK #behaviour
Opportunities for computing technologies to support healthy sleep behaviors (EKC, SC, NFW, JAK), pp. 3053–3062.
CHICHI-2011-CoyleMDO #behaviour #game studies
Exploratory evaluations of a computer game supporting cognitive behavioural therapy for adolescents (DC, NM, GD, GO), pp. 2937–2946.
CHICHI-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.
CHICHI-2011-DiSalvoYGMMPB
African American men constructing computing identity (BJD, SY, MG, TM, CM, KP, AB), pp. 2967–2970.
CHICHI-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.
CHICHI-2011-GolbeckH #twitter
Computing political preference among twitter followers (JG, DLH), pp. 1105–1108.
CHICHI-2011-Hincapie-RamosTB #framework #named #volunteer
GridOrbit: an infrastructure awareness system for increasing contribution in volunteer computing (JDHR, AT, JEB), pp. 1899–1908.
CHICHI-2011-HuBRK #named
MonoTrans2: a new human computation system to support monolingual translation (CH, BBB, PR, YK), pp. 1133–1136.
CHICHI-2011-IqbalGH #cost analysis
Peripheral computing during presentations: perspectives on costs and preferences (STI, JG, EH), pp. 891–894.
CHICHI-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.
CHICHI-2011-KuznetsovTKHPS #bound
Breaking boundaries: strategies for mentoring through textile computing workshops (SK, LCT, CK, IH, EP, DPS), pp. 2957–2966.
CHICHI-2011-LewisDG
Affective computational priming and creativity (SL, MD, EG), pp. 735–744.
CHICHI-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.
CHICHI-2011-OHaraSH #human-computer #interactive
Embodiment in brain-computer interaction (KO, AS, RHRH), pp. 353–362.
CHICHI-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.
CHICHI-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.
CHICHI-2011-QuinnB #bibliography #taxonomy
Human computation: a survey and taxonomy of a growing field (AJQ, BBB), pp. 1403–1412.
CHICHI-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.
CHICHI-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.
CSCWCSCW-2011-BednarikSP #bidirectional #collaboration
Bidirectional gaze in remote computer mediated collaboration: setup and initial results from pair-programming (RB, AS, SP), pp. 597–600.
CSCWCSCW-2011-HoZ
i-sensor inference model for assessing trustworthiness in computer-mediated communications (SMH, XZ), pp. 645–648.
CSCWCSCW-2011-MerrittTOTCM #game studies
Are artificial team-mates scapegoats in computer games (TRM, KBT, CO, ATA, TLC, KM), pp. 685–688.
HCIDHM-2011-Maier #human-computer #interactive #recognition
Implicit Human-Computer Interaction by Posture Recognition (EM), pp. 143–150.
HCIDHM-2011-SchafferSM #human-computer #interactive #multimodal
A Model of Shortcut Usage in Multimodal Human-Computer Interaction (SS, RS, SM), pp. 337–346.
HCIDUXU-v2-2011-AgnerTF #usability
Scenario and Task Based Interview to Evaluate Usability of Computer Assisted Data Collection (LA, PT, SBLF), pp. 349–358.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-v2-2011-KyungCNLS #smarttech
Versatile Wearable Computer for Drivers (GK, SC, KN, KL, WS), pp. 152–155.
HCIHCD-2011-Ciarletta #multi #pervasive
Co-simulation and Multi-models for Pervasive Computing as a Complex System (LC), pp. 197–206.
HCIHCD-2011-LewisW11a #collaboration #community #design #energy
Virtual Office, Community, and Computing (VOCC): Designing an Energy Science Hub Collaboration System (AAL, GGW), pp. 425–434.
HCIHCI-DDA-2011-Fernandez-LlatasMSN #interactive #process #simulation
Process Choreography for Human Interaction Computer-Aided Simulation (CFL, JBM, PS, JCN), pp. 214–220.
HCIHCI-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.
HCIHCI-DDA-2011-KallinenER #difference #multi
Individual Differences in Work Load While Doing Multitasking with a Computer (KK, IE, NR), pp. 351–358.
HCIHCI-DDA-2011-PeregoTGA #evaluation #human-computer #interface
Psychometric Evaluation with Brain-Computer Interface (PP, ACT, CG, GA), pp. 406–413.
HCIHCI-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.
HCIHCI-ITE-2011-EdlingerHG #human-computer #hybrid #interface #smarttech
A Hybrid Brain-Computer Interface for Smart Home Control (GE, CH, CG), pp. 417–426.
HCIHCI-ITE-2011-HowleyR #human-computer #interactive #modelling
Modeling the Rhetoric of Human-Computer Interaction (IKH, CPR), pp. 341–350.
HCIHCI-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.
HCIHCI-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.
HCIHCI-ITE-2011-SchmeierRA
Computer Assistance in Bilingual Task-Oriented Human-Human Dialogues (SS, MR, RA), pp. 387–395.
HCIHCI-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.
HCIHCI-ITE-2011-ZhangAR #human-computer #interactive #multi
Developing and Exploiting a Multilingual Grammar for Human-Computer Interaction (XZ, RA, DFR), pp. 396–405.
HCIHCI-ITE-2011-ZhouDC #smarttech #user interface
Innovative User Interfaces for Wearable Computers in Real Augmented Environment (YZ, BD, RC), pp. 500–509.
HCIHCI-MIIE-2011-DonkerB #mobile
Computer Support of Team Work on Mobile Devices (HD, MB), pp. 38–47.
HCIHCI-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.
HCIHCI-MIIE-2011-LuMLW #interactive #pervasive #research
Research of Passive Mode Interaction in Pervasive Computing (YL, KM, ZL, KW), pp. 220–229.
HCIHCI-UA-2011-BellegoBBT #smarttech #using
Using a Smart Phone for Information Rendering in Computer-Aided Surgery (GLB, MB, IB, JT), pp. 202–209.
HCIHCI-UA-2011-FangZ #game studies #question #what
Extraversion and Computer Game Play: Who Plays What Games? (XF, MZ), pp. 659–667.
HCIHCI-UA-2011-HayakawaNOFN #framework #learning #visualisation
Visualization Framework for Computer System Learning (EH, YN, HO, MF, YN), pp. 21–26.
HCIHCI-UA-2011-KhairatG #communication #human-computer #interactive
Clinical Communication: Human-Computer and Human-Human Interactions (SSK, YG), pp. 182–191.
HCIHCI-UA-2011-KimCD #health #using
Using Pen-Based Computing in Technology for Health (HK, YSC, EYLD), pp. 192–201.
HCIHCI-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.
HCIIDGD-2011-GaoQ #analysis #distributed #simulation
Analysis of the Applied Pattern of Distributed Computing Used in Simulation (SfG, HQ), pp. 152–158.
HCIIDGD-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.
HCIIDGD-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.
HCIOCSC-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.
HCIOCSC-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.
ICEISICEIS-v1-2011-AbdelhediPTZ #design
Computer-aided Data-mart Design (FA, GP, OT, GZ), pp. 239–246.
ICEISICEIS-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.
ICEISICEIS-v3-2011-ChenE #adaptation #in the cloud
Adapting SCADA Systems to Cloud Computing Environment (ZC, DE), pp. 559–563.
ICEISICEIS-v3-2011-LiCC #enterprise #library #pervasive #research
Research on Intelligence Trend of Enterprise Library based on Pervasive Computing (RL, DC, YC), pp. 476–481.
CIKMCIKM-2011-BressanP #rank #ranking
Local computation of PageRank: the ranking side (MB, LP), pp. 631–640.
CIKMCIKM-2011-BroderGJ #challenge #information retrieval
Information retrieval challenges in computational advertising (AZB, EG, VJ), pp. 2611–2612.
CIKMCIKM-2011-HanusseM #algorithm #parallel
A parallel algorithm for computing borders (NH, SM), pp. 1639–1648.
CIKMCIKM-2011-LeeLH #scalability
Scalable entity matching computation with materialization (SL, JL, SwH), pp. 2353–2356.
CIKMCIKM-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.
CIKMCIKM-2011-MurdockG
Computational geography (VM, GG), pp. 2597–2598.
CIKMCIKM-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.
CIKMCIKM-2011-Zobel #algorithm #challenge #health
Data, health, and algorithmics: computational challenges for biomedicine (JZ), pp. 3–4.
ECIRECIR-2011-Gabrilovich #knowledge-based #retrieval
Ad Retrieval Systems in vitro and in vivo: Knowledge-Based Approaches to Computational Advertising (EG), pp. 4–5.
ICMLICML-2011-BarthelmeC #named
ABC-EP: Expectation Propagation for Likelihoodfree Bayesian Computation (SB, NC), pp. 289–296.
ICMLICML-2011-MahoneyO #approximate #implementation
Implementing regularization implicitly via approximate eigenvector computation (MWM, LO), pp. 121–128.
ICMLICML-2011-WaughZB #equilibrium #problem
Computational Rationalization: The Inverse Equilibrium Problem (KW, BDZ, DB), pp. 1169–1176.
KDDKDD-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.
KDDKDD-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.
KDIRKDIR-2011-BorcheninovO #embedded #programming #search-based #symbolic computation
Genetic Programming with Embedded Features of Symbolic Computations (YVB, YSO), pp. 476–479.
KDIRKDIR-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.
KDIRKDIR-2011-MoralesCT #clustering
Clustering of Heterogeneously Typed Data with Soft Computing (AFKM, LECB, DTB), pp. 499–502.
KEODKEOD-2011-Grabska #concept #design #ontology #visual notation
Computer Aided Conceptual Visual Design based on Ontology (EG), pp. 396–399.
KMISKMIS-2011-KrainesG #research #semantics #similarity
Calculating Semantic Similarity between Computer-understandable Descriptors of Scientific Research (SBK, WG), pp. 146–151.
SEKESEKE-2011-FarahatE #fault #performance
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.
SEKESEKE-2011-HashizumeFY #in the cloud
Misuse Patterns for Cloud Computing (KH, EBF, NY), pp. 683–686.
SEKESEKE-2011-NunezOGG #framework #order
Computational Reflection in order to support Context-Awareness in a Robotics Framework (SMN, FO, MG, VGD), pp. 533–538.
SEKESEKE-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
OnwardOnward-2011-CukierY #research
The artist in the computer scientist: more humanity to our research (DC, JWY), pp. 129–136.
OnwardOnward-2011-ShethK #trade-off
The tradeoffs of societal computing (SS, GEK), pp. 149–156.
OnwardOnward-2011-Verna #biology
Biological realms in computer science (DV), pp. 167–176.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2011-CledatKP #programming
Efficiently speeding up sequential computation through the n-way programming model (RC, TK, SP), pp. 537–554.
OOPSLAOOPSLA-2011-DarulovaK #scala
Trustworthy numerical computation in Scala (ED, VK), pp. 325–344.
TOOLSTOOLS-EUROPE-2011-HeideggerT #approach #heuristic
A Heuristic Approach for Computing Effects (PH, PT), pp. 147–162.
TOOLSTOOLS-EUROPE-2011-SivieriCG #erlang #rest
Computational REST Meets Erlang (AS, GC, CG), pp. 244–259.
LOPSTRLOPSTR-2011-CabalarD #equilibrium #modelling
Automata-Based Computation of Temporal Equilibrium Models (PC, SD), pp. 57–72.
LOPSTRLOPSTR-2011-Henglein #domain-specific language #implementation #symbolic computation
Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.
QAPLQAPL-2011-TracolDZ #automaton #probability
Computing Distances between Probabilistic Automata (MT, JD, AZ), pp. 148–162.
PADLPADL-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.
POPLPOPL-2011-HengleinN #axiom #induction #regular expression
Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.
POPLPOPL-2011-WeirichVJZ #abstraction #generative
Generative type abstraction and type-level computation (SW, DV, SLPJ, SZ), pp. 227–240.
SACSAC-2011-ChamorroDA #predict
Evolutionary computation for the prediction of secondary protein structures (AEMC, FD, JSAR), pp. 1082–1087.
SACSAC-2011-ClaycombS #analysis #authentication #formal method #ubiquitous
Formal analysis of device authentication applications in ubiquitous computing (WC, DS), pp. 451–452.
SACSAC-2011-FabreKT #lessons learnt #robust #using
Robustness of automotive applications using reflective computing: lessons learnt (JCF, MOK, FT), pp. 230–235.
SACSAC-2011-GalvaoD #distance #permutation #symmetry
Computing rearrangement distance of every permutation in the symmetric group (GRG, ZD), pp. 106–107.
SACSAC-2011-GeihsER0K #adaptation #development #ubiquitous
Development support for QoS-aware service-adaptation in ubiquitous computing applications (KG, CE, RR, MW, MUK), pp. 197–202.
SACSAC-2011-GohLC #game studies #image #performance
Performance and perceptions of human computation games for image tagging (DHLG, CSL, AYKC), pp. 1124–1129.
SACSAC-2011-GrootGK #data-driven #distributed #towards
Towards improved load balancing for data intensive distributed computing (SG, KG, MK), pp. 139–146.
SACSAC-2011-GroppeG #database #query #scalability #semantics #web
Parallelizing join computations of SPARQL queries for large semantic web databases (JG, SG), pp. 1681–1686.
SACSAC-2011-IakymchukNB #resource management
Improving high-performance computations on clouds through resource underutilization (RI, JN, PB), pp. 119–126.
SACSAC-2011-Jamil #graph #query #unification #using
Computing subgraph isomorphic queries using structural unification and minimum graph structures (HMJ), pp. 1053–1058.
SACSAC-2011-MaciasG #in the cloud #search-based
A genetic model for pricing in cloud computing markets (MM, JG), pp. 113–118.
SACSAC-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.
SACSAC-2011-SimonsenP #agile #distance
Rapid computation of distance estimators from nucleotide and amino acid alignments (MS, CNSP), pp. 89–93.
SACSAC-2011-YatakaTTT #smarttech
A context-aware audio presentation method in wearable computing (SY, KT, TT, MT), pp. 405–412.
SACSAC-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.
ICSEICSE-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.
ICSEICSE-2011-LiNHK #requirements
A domain specific requirements model for scientific computing (YL, NN, JH, MK), pp. 848–851.
ASPLOSASPLOS-2011-DeviettiNBCG #consistency #named
RCDC: a relaxed consistency deterministic computer (JD, JN, TB, LC, DG), pp. 67–78.
ASPLOSASPLOS-2011-HoffmannSCMAR #power management
Dynamic knobs for responsive power-aware computing (HH, SS, MC, SM, AA, MCR), pp. 199–212.
ASPLOSASPLOS-2011-RansfordSF #named
Mementos: system support for long-running computation on RFID-scale devices (BR, JS, KF), pp. 159–170.
ASPLOSASPLOS-2011-ZhangJGTS #gpu #on the fly
On-the-fly elimination of dynamic irregularities for GPU computing (EZZ, YJ, ZG, KT, XS), pp. 369–380.
CCCC-2011-HenrettySPFRS #architecture #layout
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures (TH, KS, LNP, FF, JR, PS), pp. 225–245.
CGOCGO-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.
HPCAHPCA-2011-GovindarajuHS #energy #performance
Dynamically Specialized Datapaths for energy efficient computing (VG, CHH, KS), pp. 503–514.
HPCAHPCA-2011-McKinley #how #parallel #question
How’s the parallel computing revolution going? (KSM), p. 217.
HPCAHPCA-2011-TsengT #thread
Data-triggered threads: Eliminating redundant computation (HWT, DMT), pp. 181–192.
HPDCHPDC-2011-HofmeyrCIK #manycore #named
Juggle: proactive load balancing on multicore computers (SAH, JAC, CI, JK), pp. 3–14.
LCTESLCTES-2011-BhagatGSG #effectiveness #optimisation
Global productiveness propagation: a code optimization technique to speculatively prune useless narrow computations (IB, EG, FJS, AG), pp. 161–170.
PPoPPPPoPP-2011-KimKLL #image #multi
Achieving a single compute device image in OpenCL for multiple GPUs (JK, HK, JHL, JL), pp. 277–288.
PPoPPPPoPP-2011-McKinley #how #parallel #question
How’s the parallel computing revolution going? (KSM), pp. 123–124.
PPoPPPPoPP-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.
SOSPSOSP-2011-RossbachCSRW #abstraction #named #operating system
PTask: operating system abstractions to manage GPUs as compute devices (CJR, JC, MS, BR, EW), pp. 233–248.
SOSPSOSP-2011-SirerBRSWWS #architecture #logic
Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.
CAVCAV-2011-AlkassarBMR #verification
Verification of Certifying Computations (EA, SB, KM, CR), pp. 67–82.
CSLCSL-2011-Makowsky
Model Theory in Computer Science: My Own Recurrent Themes (JAM), pp. 553–567.
ICLPICLP-J-2011-BoneSS #automation #parallel
Estimating the overlap between dependent computations for automatic parallelization (PB, ZS, PS), pp. 575–591.
ICSTICST-2011-Zech #in the cloud #security #testing
Risk-Based Security Testing in Cloud Computing Environments (PZ), pp. 411–414.
LICSLICS-2011-AbdullaM #petri net
Computing Optimal Coverability Costs in Priced Timed Petri Nets (PAA, RM), pp. 399–408.
LICSLICS-2011-EhrhardPT #probability
The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.
LICSLICS-2011-HasuoH #geometry #higher-order #interactive #quantum #semantics
Semantics of Higher-Order Quantum Computation via Geometry of Interaction (IH, NH), pp. 237–246.
LICSLICS-2011-HerrmannZ #complexity #quantum #satisfiability
Computational Complexity of Quantum Satisfiability (CH, MZ), pp. 175–184.
RTARTA-2011-AvanziniEM #exponential #order #term rewriting
A Path Order for Rewrite Systems that Compute Exponential Time Functions (MA, NE, GM), pp. 123–138.
VMCAIVMCAI-2011-GoubaultP #finite #precise #static analysis
Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.
ECSAECSA-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.
CASECASE-2010-LamS #hardware
Accelerating shortest path computations in hardware (SKL, TS), pp. 63–68.
CASECASE-2010-LinAK #configuration management
Manipulator inverse dynamics computation on FPGA for reconfigurable applications (CSL, PKA, HK), pp. 810–815.
CASECASE-2010-MehtaPD #approach #similarity
An approach to compute similarity between engineering changes (CM, LP, DD), pp. 332–337.
DACDAC-2010-AltunR
Lattice-based computation of Boolean functions (MA, MDR), pp. 609–612.
DACDAC-2010-ChakradharR #hardware #parallel
Best-effort computing: re-thinking parallel software and hardware (STC, AR), pp. 865–870.
DACDAC-2010-KinsmanN #algorithm #design #hardware #robust
Robust design methods for hardware accelerators for iterative algorithms in scientific computing (ABK, NN), pp. 254–257.
DACDAC-2010-RajkumarLSS #cyber-physical
Cyber-physical systems: the next computing revolution (RR, IL, LS, JAS), pp. 731–736.
DACDAC-2010-ShanbhagAKJ #probability
Stochastic computation (NRS, RAA, RK, DLJ), pp. 859–864.
DACDAC-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.
DACDAC-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.
DACDAC-2010-ZhangS #adaptation #performance
Adaptive and autonomous thermal tracking for high performance computing systems (YZ, AS), pp. 68–73.
DATEDATE-2010-GhosalZNB #design #nondeterminism #parametricity #robust
Computing robustness of FlexRay schedules to uncertainties in design parameters (AG, HZ, MDN, YBH), pp. 550–555.
DATEDATE-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.
DATEDATE-2010-KoebelC #named
SCOC3: a space computer on a chip (FK, JFC), pp. 1345–1348.
DATEDATE-2010-LiH
Compact model of memristors and its application in computing systems (HL, MH), pp. 673–678.
DATEDATE-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.
DATEDATE-2010-LiuLKJ #adaptation #correlation #multi
FPGA-based adaptive computing for correlated multi-stream processing (ML, ZL, WK, AJ), pp. 973–976.
DATEDATE-2010-Mueller-GritschnederG #specification
Computation of yield-optimized Pareto fronts for analog integrated circuit specifications (DMG, HG), pp. 1088–1093.
DATEDATE-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.
DATEDATE-2010-WiggersBGB #graph
Simultaneous budget and buffer size computation for throughput-constrained task graphs (MW, MB, MG, TB), pp. 1669–1672.
HTHT-2010-HansenG #framework #mobile #named
UrbanWeb: a platform for mobile context-awaresocial computing (FAH, KG), pp. 195–200.
PODSPODS-2010-DalviSS #algebra #probability #query
Computing query probability with incidence algebras (NND, KS, DS), pp. 203–214.
PODSPODS-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.
SIGMODSIGMOD-2010-GiatrakosKDVT #approximate #named #network
TACO: tunable approximate computation of outliers in wireless sensor networks (NG, YK, AD, VV, YT), pp. 279–290.
SIGMODSIGMOD-2010-JinHWRX #constraints #database #graph #reachability
Computing label-constraint reachability in graph databases (RJ, HH, HW, NR, YX), pp. 123–134.
SIGMODSIGMOD-2010-JinYW #classification #graph #named #using
GAIA: graph classification using evolutionary computation (NJ, CY, WW), pp. 879–890.
VLDBVLDB-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.
VLDBVLDB-2010-KellarisM
Shortest Path Computation on Air Indexes (GK, KM), pp. 747–757.
VLDBVLDB-2010-QinYC #keyword #parallel #query
Ten Thousand SQLs: Parallel Keyword Queries Computing (LQ, JXY, LC), pp. 58–69.
VLDBVLDB-2010-RaissiPK
Computing Closed Skycubes (CR, JP, TK), pp. 838–847.
VLDBVLDB-2011-LeeH10 #clustering #named #performance #using
QSkycube: Efficient Skycube Computation using Point-Based Space Partitioning (JL, SwH), pp. 185–196.
VLDBVLDB-2011-LiuC10 #named #performance
ZINC: Efficient Indexing for Skyline Computation (BL, CYC), pp. 197–207.
CSEETCSEET-2010-Broman #education #question #re-engineering
Should Software Engineering Projects Be the Backbone or the Tail of Computing Curricula? (DB), pp. 153–156.
ITiCSEITiCSE-2010-Aberg #challenge #education #human-computer #student
Challenges with teaching HCI early to computer students (), pp. 3–7.
ITiCSEITiCSE-2010-ApiolaLP #education #motivation
Creativity and intrinsic motivation in computer science education: experimenting with robots (MA, ML, TAP), pp. 199–203.
ITiCSEITiCSE-2010-Askar #education
Computer science education in Turkey (PA), p. 328.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2010-BenayaHSZ #education
Individual and group seminars and workshops in the computer science curriculum (TB, MH, DS, EZ), pp. 53–57.
ITiCSEITiCSE-2010-DicksonAAG #automation #education #evaluation
Evaluation of automatic classroom capture for computer science education (PED, DTA, WRA, AG), pp. 88–92.
ITiCSEITiCSE-2010-EganJ #learning
Service learning in introductory computer science (MALE, MJ), pp. 8–12.
ITiCSEITiCSE-2010-EnstromK
Computer lab work on theory (EE, VK), pp. 93–97.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2010-GardnerF #education
Broadening accessibility to computer science for K-12 education (MKG, WcF), pp. 229–233.
ITiCSEITiCSE-2010-GurselG #student #what
What do promising high school students think about studying computing (DAG, BG), p. 325.
ITiCSEITiCSE-2010-Kasyanov #graph #tool support
Support tools for graphs in computer science (VNK), p. 315.
ITiCSEITiCSE-2010-Kollmansberger #student
Helping students build a mental model of computation (SK), pp. 128–131.
ITiCSEITiCSE-2010-Marsh #case study #comparative #programming #student #towards
A sub-saharan comparative study of university students’ attitudes towards computer programming (CJM), pp. 33–37.
ITiCSEITiCSE-2010-MillerPS
File references, trees, and computational thinking (CSM, LP, AS), pp. 132–136.
ITiCSEITiCSE-2010-PerkovicSHJ #education #framework
A framework for computational thinking across the curriculum (LP, AS, SH, JJ), pp. 123–127.
ITiCSEITiCSE-2010-SekiyaMY #analysis #education
Analysis of computer science related curriculum on LDA and Isomap (TS, YM, KY), pp. 48–52.
ITiCSEITiCSE-2010-SimonKPZ #case study #experience
Experience report: CS1 for majors with media computation (BS, PK, LP, DZ), pp. 214–218.
ITiCSEITiCSE-2010-StephensonGPV
Professional associations in K-12 computer science (CS, JGE, MP, JV), pp. 329–330.
ESOPESOP-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.
ESOPESOP-2010-BoudolP #formal method
A Theory of Speculative Computation (GB, GP), pp. 165–184.
TACASTACAS-2010-AndresPRS #information management
Computing the Leakage of Information-Hiding Systems (MEA, CP, PvR, GS), pp. 373–389.
CSMRCSMR-2010-NagyPGB #dependence #towards
Towards a Safe Method for Computing Dependencies in Database-Intensive Systems (CN, JP, TG, ÁB), pp. 166–175.
WCREWCRE-2010-MarxBD #component
Computer-Aided Extraction of Software Components (AM, FB, SD), pp. 183–192.
PLDIPLDI-2010-AcarBLTT #data type #self
Traceable data types for self-adjusting computation (UAA, GEB, RLW, KT, DT), pp. 483–496.
PLDIPLDI-2010-Chlipala #metaprogramming #named #static typing
Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.
PLDIPLDI-2010-KandemirYMSIZ #multi
Cache topology aware computation mapping for multicores (MTK, TY, SPM, SS, MJI, YZ), pp. 74–85.
SASSAS-2010-GawlitzaS #polynomial #semantics
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely (TMG, HS), pp. 271–286.
STOCSTOC-2010-GoyalJ #complexity #on the
On the round complexity of covert computation (VG, AJ), pp. 191–200.
STOCSTOC-2010-KuhnLO #distributed #network
Distributed computation in dynamic networks (FK, NAL, RO), pp. 513–522.
STOCSTOC-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.
STOCSTOC-2010-Orlin #algorithm
Improved algorithms for computing fisher’s market clearing prices: computing fisher’s market clearing prices (JBO), pp. 291–300.
CIAACIAA-2010-ChmielR #named
COMPAS — A Computing Package for Synchronization (KC, AR), pp. 79–86.
CIAACIAA-2010-HundeshagenOV #automaton
Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata (NH, FO, MV), pp. 163–172.
CIAACIAA-2010-KutribM
Two-Party Watson-Crick Computations (MK, AM), pp. 191–200.
DLTDLT-2010-ChambartS #problem #set
Computing Blocker Sets for the Regular Post Embedding Problem (PC, PS), pp. 136–147.
DLTDLT-2010-EhrenfeuchtR
Reaction Systems: A Model of Computation Inspired by Biochemistry (AE, GR), pp. 1–3.
DLTDLT-2010-Kari
DNA Computing and Its Implications for Theoretical Computer Science (LK), p. 32.
ICALPICALP-v1-2010-ApplebaumIK #performance #verification
From Secrecy to Soundness: Efficient Verification via Secure Computation (BA, YI, EK), pp. 152–163.
ICALPICALP-v1-2010-Georgiadis #graph #testing
Testing 2-Vertex Connectivity and Computing Pairs of Vertex-Disjoint s-t Paths in Digraphs (LG), pp. 738–749.
ICALPICALP-v2-2010-ChandranGO #fault tolerance #network
Improved Fault Tolerance and Secure Computation on Sparse Networks (NC, JAG, RO), pp. 249–260.
ICALPICALP-v2-2010-DuncanP #quantum
Rewriting Measurement-Based Quantum Computations with Generalised Flow (RD, SP), pp. 285–296.
LATALATA-2010-BalanS #incremental #problem
Incremental Building in Peptide Computing to Solve Hamiltonian Path Problem (MSB, PS), pp. 549–560.
IFMIFM-2010-FranzleTE #hybrid #probability #smt
Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.
SFMSFM-2010-BroadbentFK #quantum
Measurement-Based and Universal Blind Quantum Computation (AB, JF, EK), pp. 43–86.
ICFPICFP-2010-StampoulisS #logic #named
VeriML: typed computation of logical terms inside a language with effects (AS, ZS), pp. 333–344.
IFLIFL-2010-BrownLBH #algebra
Improving Your CASH Flow: The Computer Algebra SHell (CB, HWL, JB, KH), pp. 169–184.
ICGTICGT-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.
CHICHI-2010-BaudischBR #named
Lumino: tangible blocks for tabletop computers based on glass fiber bundles (PB, TB, FR), pp. 1165–1174.
CHICHI-2010-ChangYM #testing #user interface #using
GUI testing using computer vision (THC, TY, RCM), pp. 1535–1544.
CHICHI-2010-HuhNS #comprehension #reuse
Finding the lost treasure: understanding reuse of used computing devices (JH, KN, NS), pp. 1875–1878.
CHICHI-2010-IraniVDPG #design #development #lens
Postcolonial computing: a lens on design and development (LI, JV, PD, KP, REG), pp. 1311–1320.
CHICHI-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.
CHICHI-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.
CHICHI-2010-PiperCH #health
Exploring the accessibility and appeal of surface computing for older adult health care support (AMP, RC, JDH), pp. 907–916.
CHICHI-2010-SaponasTMTL #interface
Making muscle-computer interfaces more practical (TSS, DST, DM, JT, JAL), pp. 851–854.
CHICHI-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.
CSCWCSCW-2010-BurkeKW #communication #social
Social use of computer-mediated communication by adults on the autism spectrum (MB, RK, DW), pp. 425–434.
CSCWCSCW-2010-WarkentinWHC #communication
Warrants and deception in computer mediated communication (DW, MW, JTH, NC), pp. 9–12.
CAiSECAiSE-2010-CeriB
Search Computing Systems (SC, MB), pp. 1–6.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-ISAS-2010-KikuchiMAM #mining #process
Process Mining for Job Nets in Integrated Complex Computer Systems (SK, YM, MA, SM), pp. 5–12.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2010-DondioB #comparison
Comparison of six aggregation strategies to compute users’ trustworthiness (PD, SB), pp. 1773–1776.
CIKMCIKM-2010-LeeC #grammar recovery #testing #xml
XML schema computations: schema compatibility testing and subschema extraction (TYtL, DWWC), pp. 839–848.
CIKMCIKM-2010-ShalemK
Computing the top-k maximal answers in a join of ranked lists (MS, YK), pp. 1381–1384.
ICMLICML-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.
ICMLICML-2010-SonnenburgF #framework #linear #named
COFFIN: A Computational Framework for Linear SVMs (SS, VF), pp. 999–1006.
ICPRICPR-2010-AmcalarC #design #evaluation #human-computer #implementation #interface #realtime
Design, Implementation and Evaluation of a Real-Time P300-based Brain-Computer Interface System (AA, ), pp. 117–120.
ICPRICPR-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.
ICPRICPR-2010-ArgunsahC #approach #classification #human-computer #interface
AR-PCA-HMM Approach for Sensorimotor Task Classification in EEG-based Brain-Computer Interfaces (AOA, ), pp. 113–116.
ICPRICPR-2010-BardajiFS #distance #edit distance #graph
Computing the Barycenter Graph by Means of the Graph Edit Distance (IB, MF, AS), pp. 962–965.
ICPRICPR-2010-EklundAOYK #communication #interface #realtime #using
A Brain Computer Interface for Communication Using Real-Time fMRI (AE, MTA, HO, AY, HK), pp. 3665–3669.
ICPRICPR-2010-FerrerB #algorithm #approximate #graph
An Iterative Algorithm for Approximate Median Graph Computation (MF, HB), pp. 1562–1565.
ICPRICPR-2010-HiraiUK #performance #realtime
Real-Time Pose Regression with Fast Volume Descriptor Computation (MH, NU, MK), pp. 1852–1855.
ICPRICPR-2010-HuCY #estimation #interactive
Hand Pointing Estimation for Human Computer Interaction Based on Two Orthogonal-Views (KH, SJC, LY), pp. 3760–3763.
ICPRICPR-2010-KarpovRKRA #interactive #multimodal
Multimodal Human Computer Interaction with MIDAS Intelligent Infokiosk (AK, AR, ISK, ALR, LA), pp. 3862–3865.
ICPRICPR-2010-KenmochiBT
Efficiently Computing Optimal Consensus of Digital Line Fitting (YK, LB, HT), pp. 1064–1067.
ICPRICPR-2010-LenzMC #composition #geometry
Iwasawa Decomposition and Computational Riemannian Geometry (RL, RM, JC), pp. 4472–4475.
ICPRICPR-2010-MalakutiA #monitoring #towards
Towards an Intelligent Bed Sensor: Non-intrusive Monitoring of Sleep Irregularities with Computer Vision Techniques (KM, ABA), pp. 4004–4007.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2010-SamanH #image #robust
Robust Computation of the Polarisation Image (GS, ERH), pp. 971–974.
ICPRICPR-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.
ICPRICPR-2010-SukF
Refined Morphological Methods of Moment Computation (TS, JF), pp. 966–970.
KDDKDD-2010-HeFLC #graph #parallel #scalability
Parallel SimRank computation on large graphs with iterative aggregation (GH, HF, CL, HC), pp. 543–552.
KDIRKDIR-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.
KEODKEOD-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.
KEODKEOD-2010-FrixioneL #concept #ontology #representation
The Computational Representation of Concepts in Formal Ontologies — Some General Considerations (MF, AL), pp. 396–403.
KEODKEOD-2010-HubwieserB #collaboration #education #modelling
Modeling Educational Knowledge — Supporting the Collaboration of Computer Science Teachers (PH, MB), pp. 229–234.
KEODKEOD-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.
KMISKMIS-2010-ChateauBM
Computer Aided System for Managing Domain Knowledge — Application to Cultural Patrimony (SdC, DB, EML), pp. 240–245.
KRKR-2010-DitmarschEW #logic
One Hundred Prisoners and a Lightbulb — Logic and Computation (HvD, JvE, WW).
KRKR-2010-Halpern10a
I Don’t Want to Think About it Now: Decision Theory with Costly Computation (JYH).
KRKR-2010-XiaoLMQ #consistency #metric #multi #nondeterminism #satisfiability #semantics
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers (GX, ZL, YM, GQ).
SEKESEKE-2010-CintoP #design #guidelines #human-computer #interface
Human-Computer Interface Design Guidelines: An Expert System (TC, CSAP), pp. 361–366.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2010-BroderGJ #challenge #information retrieval
Information retrieval challenges in computational advertising (AZB, EG, VJ), p. 908.
ECMFAECMFA-2010-KoudriCLL #modelling
MoPCoM Methodology: Focus on Models of Computation (AK, JC, JCLL, VL), pp. 189–200.
ECMFAECMFA-2010-KusterGE #modelling #process
Dynamic Computation of Change Operations in Version Management of Business Process Models (JMK, CG, GE), pp. 201–216.
ICMTICMT-2010-BrambillaCT #modelling #perspective
Search Computing: A Model-Driven Perspective (MB, SC, MT), pp. 1–15.
OOPSLAOOPSLA-2010-ChafiDMRSHOO #parallel
Language virtualization for heterogeneous parallel computing (HC, ZD, AM, TR, AKS, PH, MO, KO), pp. 835–847.
OOPSLAOOPSLA-2010-MercadalECL #approach #architecture #fault #pervasive
A domain-specific approach to architecturing error handling in pervasive computing (JM, QE, CC, NL), pp. 47–61.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2010-RinardHMS #analysis #comprehension #statistics
Patterns and statistical analysis for understanding reduced resource computing (MCR, HH, SM, SS), pp. 806–821.
QAPLQAPL-2010-StefanekHB #analysis #parallel #performance
A new tool for the performance analysis of massively parallel computer systems (AS, RAH, JTB), pp. 159–181.
RERE-2010-Hirzalla #in the cloud #requirements
Realizing Business Agility Requirements through SOA and Cloud Computing (MH), pp. 379–380.
SACSAC-2010-ChamberlainBFB #architecture #development
Application-guided tool development for architecturally diverse computation (RDC, JB, MAF, JHB), pp. 496–501.
SACSAC-2010-CostaMB #consistency #database #distributed #mobile #protocol
A distributed protocol for ensuring replicated database consistency in mobile computing environments (AC, JMM, AB), pp. 1688–1693.
SACSAC-2010-CuzzocreaB #distributed #framework #multi #privacy #xml
A secure multiparty computation privacy preserving OLAP framework over distributed XML data (AC, EB), pp. 1666–1673.
SACSAC-2010-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.
SACSAC-2010-FunfzigMF #polynomial
Polytope-based computation of polynomial ranges (CF, DM, SF), pp. 1247–1252.
SACSAC-2010-GohC #quality #social
Investigating the influence of social computing applications on website quality (DHLG, AYKC), pp. 807–811.
SACSAC-2010-HarshCN #generative #network #towards
Gray networking: a step towards next generation computer networks (PH, RC, REN), pp. 1323–1328.
SACSAC-2010-HassanB #distributed #file system #using
Semi-join computation on distributed file systems using map-reduce-merge model (MAHH, MB), pp. 406–413.
SACSAC-2010-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.
SACSAC-2010-LiuCGT #energy #mobile #performance
Energy efficient management scheme for heterogeneous secondary storage system in mobile computers (SL, XC, XG, DT), pp. 251–257.
SACSAC-2010-MulasACFQF #adaptation #energy #network
Network-adaptive management of computation energy in wireless sensor networks (FM, AA, SC, GF, DQ, FF), pp. 756–763.
SACSAC-2010-WeiC #adaptation #mobile #semantics #towards
Towards semantic-based adaptation decisions for context-aware mobile computing (EJYW, ATSC), pp. 563–567.
SACSAC-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.
FSEFSE-2010-Johnson10a #research
Avoiding the classic catastrophic computer science failure mode: 2010 acm sigsoft outstanding research award talk (REJ), pp. 5–6.
ICSEICSE-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.
ICSEICSE-2010-JilaniMLGM #invariant #using
Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.
ASPLOSASPLOS-2010-VenkateshSGGBLST #energy #maturity
Conservation cores: reducing the energy of mature computations (GV, JS, NG, SG, VB, JLM, SS, MBT), pp. 205–218.
CGOCGO-2010-StephensonRYH #behaviour #statistics
Statistically regulating program behavior via mainstream computing (MS, RR, EY, EVH), pp. 238–247.
HPCAHPCA-2010-Agerwala #challenge
Exascale computing: The challenges and opportunities in the next decade (TA), p. 1.
HPCAHPCA-2010-TorrellasGSMO #challenge
Extreme scale computing: Challenges and opportunities (JT, BG, VS, JHM, KO), p. 1.
HPDCHPDC-2010-BuiBFT #data-driven #named #repository #scalability
ROARS: a scalable repository for data intensive scientific computing (HB, PB, PJF, DT), pp. 766–775.
HPDCHPDC-2010-BuiYT #abstraction #distributed #named #python #using #workflow
Weaver: integrating distributed computing abstractions into scientific workflows using Python (PB, LY, DT), pp. 636–643.
HPDCHPDC-2010-DonassoloCLV #performance #scalability #simulation #using #volunteer
Fast and scalable simulation of volunteer computing systems using SimGrid (BD, HC, AL, PV), pp. 605–612.
HPDCHPDC-2010-GuanYCGLC #distributed #named
DistriBit: a distributed dynamic binary translator system for thin client computing (HG, YY, KC, YG, LL, YC), pp. 684–691.
HPDCHPDC-2010-GunarathneWQF #in the cloud #paradigm #parallel
Cloud computing paradigms for pleasingly parallel biomedical applications (TG, TLW, JQ, GF), pp. 460–469.
HPDCHPDC-2010-JabriM #using
Authorization within grid-computing using certificateless identity-based proxy signature (MAJ, SM), pp. 292–295.
HPDCHPDC-2010-JonesDD #clustering #performance
Impact of sub-optimal checkpoint intervals on application efficiency in computational clusters (WMJ, JTD, ND), pp. 276–279.
HPDCHPDC-2010-KandemirMKS #multi
Computation mapping for multi-level storage cache hierarchies (MTK, SPM, MK, SWS), pp. 179–190.
HPDCHPDC-2010-KieferVL #pipes and filters
Pairwise Element Computation with MapReduce (TK, PBV, WL), pp. 826–833.
HPDCHPDC-2010-KrampeLS #hybrid #markov #parallel
A hybrid Markov chain model for workload on parallel computers (AK, JL, WS), pp. 589–596.
HPDCHPDC-2010-Lee #in the cloud
A perspective on scientific cloud computing (CAL), pp. 451–459.
HPDCHPDC-2010-MooreKMKG #performance #volunteer
Simultaneous performance exploration and optimized search with volunteer computing (LRM, MK, TM, MK, KAG), pp. 312–315.
HPDCHPDC-2010-PhamJJS #composition #framework #performance
A service composition framework for market-oriented high performance computing cloud (TVP, HJ, KEJ, ZYS), pp. 284–287.
HPDCHPDC-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.
HPDCHPDC-2010-RoodGLS #performance #towards
Toward high performance computing in unconventional computing environments (BR, NG, MJL, NS), pp. 627–635.
HPDCHPDC-2010-TanakaT #data-driven #distributed #flexibility #named #parallel #workflow
Pwrake: a parallel and distributed flexible workflow management tool for wide-area data intensive computing (MT, OT), pp. 356–359.
LCTESLCTES-2010-WernsingS #adaptation #framework #manycore
Elastic computing: a framework for transparent, portable, and adaptive multi-core heterogeneous computing (JRW, GS), pp. 115–124.
OSDIOSDI-2010-GundaRTYZ #automation #named
Nectar: Automatic Management of Data and Computation in Datacenters (PKG, LR, CAT, YY, LZ), pp. 75–88.
PPoPPPPoPP-2010-Agerwala #challenge
Exascale computing: the challenges and opportunities in the next decade (TA), pp. 1–2.
PPoPPPPoPP-2010-MarjanovicLAV #communication #effectiveness #hybrid
Effective communication and computation overlap with hybrid MPI/SMPSs (VM, JL, EA, MV), pp. 337–338.
PPoPPPPoPP-2010-TorrellasGMOS #challenge
Extreme scale computing: challenges and opportunities (JT, BG, JHM, KO, VS), pp. 101–102.
CSLCSL-2010-BiancoMM #logic
Graded Computation Tree Logic with Binary Coding (AB, FM, AM), pp. 125–139.
CSLCSL-2010-Krajicek #proving
From Feasible Proofs to Feasible Computations (JK), pp. 22–31.
CSLCSL-2010-NenovP #logic #on the
On the Computability of Region-Based Euclidean Logics (YN, IPH), pp. 439–453.
ICLPICLP-J-2010-AlvianoFL #decidability #effectiveness #query
Disjunctive ASP with functions: Decidable queries and effective computation (MA, WF, NL), pp. 497–512.
ISSTAISSTA-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.
LICSLICS-2010-Mellies
Segal Condition Meets Computational Effects (PAM), pp. 150–159.
RTARTA-2010-AvanziniM #complexity #runtime
Closing the Gap Between Runtime Complexity and Polytime Computability (MA, GM), pp. 33–48.
RTARTA-2010-KollerT #normalisation
Underspecified computation of normal forms (AK, ST), pp. 177–192.
RTARTA-2010-Mimram #2d #term rewriting
Computing Critical Pairs in 2-Dimensional Rewriting Systems (SM), pp. 227–242.
CASECASE-2009-SubburajRA #3d #automation #geometry #reasoning
Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgery (KS, BR, MA), pp. 367–372.
CASECASE-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.
DACDAC-2009-Ahn
Human computation (LvA), pp. 418–419.
DACDAC-2009-AltunRN
Nanoscale digital computation through percolation (MA, MDR, CN), pp. 615–616.
DACDAC-2009-ArfaeeILFK #linear #multi #named #performance
Xquasher: a tool for efficient computation of multiple linear expressions (AA, AI, NL, FF, RK), pp. 254–257.
DACDAC-2009-Bailey #parallel #performance
Misleading performance claims in parallel computations (DHB), pp. 528–533.
DACDAC-2009-Chou #cyber-physical #user interface
Endosymbiotic computing: enabling surrogate GUI and cyber-physical connectivity (PHC), pp. 625–626.
DACDAC-2009-DeOrioB
Human computing for EDA (AD, VB), pp. 621–622.
DACDAC-2009-FeySD #bound #fault tolerance #using
Computing bounds for fault tolerance using formal techniques (GF, AS, RD), pp. 190–195.
DACDAC-2009-George #how
How to make computers that work like the brain (DG), pp. 420–423.
DACDAC-2009-HagiescuWBR
A computing origami: folding streams in FPGAs (AH, WFW, DFB, RMR), pp. 282–287.
DACDAC-2009-KimM #array #configuration management #embedded #performance
Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.
DACDAC-2009-MarrBBH #learning
A learning digital computer (BM, AB, SB, PEH), pp. 617–618.
DACDAC-2009-Uchida #ubiquitous
Single-electron devices for ubiquitous and secure computing applications (KU), pp. 301–303.
DATEDATE-2009-Flamand #manycore #towards
Strategic directions towards multicore application specific computing (EF), p. 1266.
DATEDATE-2009-HeH #algorithm #encoding #performance #verification
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.
DATEDATE-2009-MadlenerMH #named #performance
SC-DEVS: An efficient SystemC extension for the DEVS model of computation (FM, HGM, SAH), pp. 1518–1523.
DATEDATE-2009-SabeghiB #approach #configuration management #runtime #towards
Toward a runtime system for reconfigurable computers: A virtualization approach (MS, KB), pp. 1576–1579.
DATEDATE-2009-TannirK #analysis #using
Computation of IP3 using single-tone moments analysis (DT, RK), pp. 718–723.
DRRDRR-2009-GolubitskyW #online #similarity
Online computation of similarity between handwritten characters (OG, SMW), pp. 1–10.
HTHT-2009-YahiaouiPB #documentation #framework #process
The redocumentation process of computer mediated activity traces: a general framework (LY, YP, ZB), pp. 363–364.
ICDARICDAR-2009-Franke #analysis #forensics #reliability
Capturing Reliable Data for Computer-Based Forensic Handwriting Analysis II: Pen-position Activations (KF), pp. 1310–1314.
ICDARICDAR-2009-RomeroTV #feedback #image #using
Using Mouse Feedback in Computer Assisted Transcription of Handwritten Text Images (VR, AHT, EV), pp. 96–100.
PODSPODS-2009-AtallahQ #nondeterminism
Computing all skyline probabilities for uncertain data (MJA, YQ), pp. 279–287.
SIGMODSIGMOD-2009-DemersGKSW #database #game studies #research
Database research in computer games (AJD, JG, CK, BS, WMW), pp. 1011–1014.
SIGMODSIGMOD-2009-IsardY #distributed #programming language #using
Distributed data-parallel computing using a high-level programming language (MI, YY), pp. 987–994.
SIGMODSIGMOD-2009-OlteanuH #query
Secondary-storage confidence computation for conjunctive queries with inequalities (DO, JH), pp. 389–402.
SIGMODSIGMOD-2009-WongCKM #database
Secure kNN computation on encrypted databases (WKW, DWLC, BK, NM), pp. 139–152.
SIGMODSIGMOD-2009-XuBEHS #clustering #enterprise #nondeterminism
E = MC3: managing uncertain enterprise data in a cluster-computing environment (FX, KSB, VE, PJH, EJS), pp. 441–454.
SIGMODSIGMOD-2009-ZhangMC #clustering #scalability #using
Scalable skyline computation using object-based space partitioning (SZ, NM, DWC), pp. 483–494.
VLDBVLDB-2009-CateCKT #query #sql
Laconic Schema Mappings: Computing the Core with SQL Queries (BtC, LC, PGK, WCT), pp. 1006–1017.
CSEETCSEET-2009-Jalote #education #re-engineering
Teaching an Introductory Software Engineering Course in a Computer Science Program (PJ), p. 7.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2009-BlumeBCD #communication
A “communication skills for computer scientists” course (LB, RMB, CC, AD), pp. 65–69.
ITiCSEITiCSE-2009-BrindaPS #education #standard
Bridging ICT and CS: educational standards for computer science in lower secondary education (TB, HP, CS), pp. 288–292.
ITiCSEITiCSE-2009-BuendiaCB #approach #learning
An instructional approach to drive computer science courses through virtual learning environments (FB, JCC, JVB), pp. 6–10.
ITiCSEITiCSE-2009-Cassapu #education #experience #interactive
Introducing the interactive whiteboard in computer science teaching: a high school experience (AC), p. 364.
ITiCSEITiCSE-2009-CasselDS
Masters degrees in computing (LNC, GD, SS), p. 366.
ITiCSEITiCSE-2009-CasselGN #community #education #named
Ensemble: enriching communities and collections to support education in computing (L(C, GWH, BN), p. 355.
ITiCSEITiCSE-2009-CasselLMW #concurrent #ontology #parallel
Concurrency and parallelism in the computing ontology (LNC, RJL, ADM, MW), p. 402.
ITiCSEITiCSE-2009-ColeKMP #education #named
Musicomputation: a pilot course exploring a pre-college computer science curriculum (MCC, EK, ALM, SP), p. 381.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2009-CurzonPTSR #weaving
Computational thinking (CT): on weaving it in (PC, JP, HGT, AS, ER), pp. 201–202.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2009-Gal-EzerSZ #gender
Computer science issues in high school: gender and more... (JGE, DS, EZ), pp. 278–282.
ITiCSEITiCSE-2009-HawthorneKCW #guidelines
Revised associate-level curricular guidelines in computer science (EKH, KJK, RDC, AMW), p. 374.
ITiCSEITiCSE-2009-Hislop #programming
Replacing introductory programming courses with a broader perspective on computing (GWH), p. 390.
ITiCSEITiCSE-2009-HuangB #approach #question
A unified approach to introductory computer science: can one size fit all? (TH, AB), pp. 253–257.
ITiCSEITiCSE-2009-Mirolo #analysis #modelling #problem #recursion
Mental models of recursive computations vs. recursive analysis in the problem domain (CM), p. 397.
ITiCSEITiCSE-2009-MisraBK #education #music
A music context for teaching introductory computing (AM, DSB, DK), pp. 248–252.
ITiCSEITiCSE-2009-MitchellPH #question #what
Computing science: what do pupils think? (AM, HCP, JH), p. 353.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2009-MostromBEMSTZ #student
Computer science student transformations: changes and causes (JEM, JB, AE, RM, KS, LT, CZ), pp. 181–185.
ITiCSEITiCSE-2009-Pantaleev #learning #named #visual notation
Dzver: a visual computer science learning environment (AP), p. 387.
ITiCSEITiCSE-2009-Perrenet #difference #student
Differences in beliefs and attitudes about computer science among students and faculty of the bachelor program (JP), pp. 129–133.
ITiCSEITiCSE-2009-PharrSS #development
Paired professional development: a methodology for continued professional development in computer science (WP, CWS, CSS), pp. 218–222.
ITiCSEITiCSE-2009-Rosenbloom #contest #programming
Running a programming contest in an introductory computer science course (AR), p. 347.
ITiCSEITiCSE-2009-RosslingK #education
Extending moodle to better support computing education (GR, AK), pp. 146–150.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2009-TsengHH #collaboration #education #framework #learning #ubiquitous
A collaborative ubiquitous learning platform for computer science education (JCRT, SYYH, GJH), p. 368.
ITiCSEITiCSE-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.
FASEFASE-2009-CalinescuK #development #self
CADS*: Computer-Aided Development of Self-* Systems (RC, MZK), pp. 421–424.
FASEFASE-2009-SumnerZ #algorithm #automation
Algorithms for Automatically Computing the Causal Paths of Failures (WNS, XZ), pp. 355–369.
TACASTACAS-2009-KuijperP #game studies #safety
Computing Weakest Strategies for Safety Games of Imperfect Information (WK, JvdP), pp. 92–106.
TACASTACAS-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.
WCREWCRE-1999-BogdanovW99a #difference #modelling
Computing the Structural Difference between State-Based Models (KB, NW), pp. 177–186.
WCREWCRE-1999-MerloL99a
Computing Structural Types of Clone Syntactic Blocks (EM, TL), pp. 274–278.
PEPMPEPM-2009-Acar #bibliography #self
Self-adjusting computation: (an overview) (UAA), pp. 1–6.
PLDIPLDI-2009-HammerAC #named #self
CEAL: a C-based language for self-adjusting computation (MAH, UAA, YC), pp. 25–37.
CIAACIAA-J-2008-CantinLW09 #automaton
Computing Convex Hulls by Automata Iteration (FC, AL, PW), pp. 647–667.
CIAACIAA-J-2008-HempelK09 #aspect-oriented #persistent
Aspects of Persistent Computations (HH, MK), pp. 701–715.
CIAACIAA-J-2008-HolzerK09 #automaton #complexity #finite #nondeterminism
Nondeterministic Finite Automata — Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 563–580.
ICALPICALP-v1-2009-EmekFKR #online
Online Computation with Advice (YE, PF, AK, AR), pp. 427–438.
ICALPICALP-v1-2009-WeimannY #graph
Computing the Girth of a Planar Graph in O(n logn) Time (OW, RY), pp. 764–773.
LATALATA-2009-HolzerK #automaton #complexity #finite
Descriptional and Computational Complexity of Finite Automata (MH, MK), pp. 23–42.
FMFM-2009-JostLHSH #analysis #bound #using
“Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis (SJ, HWL, KH, NS, MH), pp. 354–369.
FMFM-2009-Tonetta #abstraction #model checking
Abstract Model Checking without Computing the Abstraction (ST), pp. 89–105.
SEFMSEFM-2009-BonfanteMR #self #source code
A Computability Perspective on Self-Modifying Programs (GB, JYM, DRP), pp. 231–239.
SFMSFM-2009-Bruni #calculus
Calculi for Service-Oriented Computing (RB), pp. 1–41.
ICFPICFP-2009-LicataH
A universe of binding and computation (DRL, RH), pp. 123–134.
ICFPICFP-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.
CHICHI-2009-Beauvisage
Computer usage in daily life (TB), pp. 575–584.
CHICHI-2009-BergstromK #clustering #human-computer #topic
Conversation clusters: grouping conversation topics through human-computer dialog (TB, KK), pp. 2349–2352.
CHICHI-2009-ChettyBMJ #comprehension #power management
It’s not easy being green: understanding home computer power management (MC, AJBB, BM, PJ), pp. 1033–1042.
CHICHI-2009-ConvertinoMRSC #process
Supporting content and process common ground in computer-supported teamwork (GC, HMM, MBR, AS, JMC), pp. 2339–2348.
CHICHI-2009-HinckleyDSGB #named #tablet
Codex: a dual screen tablet computer (KH, MD, RS, FG, RB), pp. 1933–1942.
CHICHI-2009-JinD #self
Self-interruption on the computer: a typology of discretionary task interleaving (JJ, LAD), pp. 1799–1808.
CHICHI-2009-KassilS #evaluation
Evaluation of a tool-mounted guidance display for computer-assisted surgery (KK, AJS), pp. 1275–1278.
CHICHI-2009-LawA #game studies #named #using
Input-agreement: a new mechanism for collecting data using human computation games (EL, LvA), pp. 1197–1206.
CHICHI-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.
CHICHI-2009-NgaiCCL #framework #smarttech
The TeeBoard: an education-friendly construction platform for e-textiles and wearable computing (GN, SCFC, JCYC, WWYL), pp. 249–258.
CHICHI-2009-NovW #privacy #social
Social computing privacy concerns: antecedents and effects (ON, SW), pp. 333–336.
CHICHI-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.
CHICHI-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.
CHICHI-2009-PooleCMGE
Computer help at home: methods and motivations for informal technical support (ESP, MC, TM, REG, WKE), pp. 739–748.
CHICHI-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.
CHICHI-2009-VoidaG #game studies
Wii all play: the console game as a computational meeting place (AV, SG), pp. 1559–1568.
CHICHI-2009-VoidaM #case study #experience
It feels better than filing: everyday work experiences in an activity-based computing system (SV, EDM), pp. 259–268.
CHICHI-2009-WangFS #adaptation #communication #difference
Cultural difference and adaptation of communication styles in computer-mediated group brainstorming (HCW, SRF, LDS), pp. 669–678.
CHICHI-2009-WobbrockMW #gesture
User-defined gestures for surface computing (JOW, MRM, ADW), pp. 1083–1092.
CHICHI-2009-WycheG #lens
Extraordinary computing: religion as a lens for reconsidering the home (SW, REG), pp. 749–758.
HCIDHM-2009-DemirelD #analysis #feedback
Impact of Force Feedback on Computer Aided Ergonomic Analyses (HOD, VGD), pp. 608–613.
HCIDHM-2009-Furstenau #ambiguity
Computational Nonlinear Dynamics Model of Percept Switching with Ambiguous Stimuli (NF), pp. 227–236.
HCIDHM-2009-GoreHWS #implementation
A Computational Implementation of a Human Attention Guiding Mechanism in MIDAS v5 (BFG, BLH, CDW, SSN), pp. 237–246.
HCIDHM-2009-HaazebroekH #interactive #towards
Towards a Computational Model of Perception and Action in Human Computer Interaction (PH, BH), pp. 247–256.
HCIDHM-2009-MahmudVLC #ubiquitous
The Five Commandments of Activity-Aware Ubiquitous Computing Applications (NM, JV, KL, KC), pp. 257–264.
HCIHCD-2009-MoundalexisDR #development #human-computer #interactive
Integrating Human-Computer Interaction Artifacts into System Development (MM, JD, KR), pp. 284–291.
HCIHCD-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.
HCIHCI-AUII-2009-DongR #multi
Context Awareness and Perceived Interactivity in Multimedia Computing (XD, PLPR), pp. 21–29.
HCIHCI-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.
HCIHCI-AUII-2009-Heimgartner #identification #interactive
Identification of the User by Analyzing Human Computer Interaction (RH), pp. 275–283.
HCIHCI-AUII-2009-HuangTKWLT #interactive #smarttech
Interaction Wearable Computer with Networked Virtual Environment (JyH, MCT, HCK, JJW, KHL, CHT), pp. 741–751.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-AUII-2009-MillardS #approach #interactive #ubiquitous
An Embodied Approach for Engaged Interaction in Ubiquitous Computing (MOM, FS), pp. 464–472.
HCIHCI-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.
HCIHCI-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.
HCIHCI-NIMT-2009-MikhailAGSSE #communication #named #using
BEXPLORER: Computer and Communication Control Using EEG (MM, MAS, MG, NS, BS, KEA), pp. 579–587.
HCIHCI-NIMT-2009-Schalk #human-computer
Sensor Modalities for Brain-Computer Interfacing (GS), pp. 616–622.
HCIHCI-NIMT-2009-SellersTSMVM #human-computer #interface #novel
A Novel Dry Electrode for Brain-Computer Interface (EWS, PJT, WAS, TM, TMV, RM), pp. 623–631.
HCIHCI-NIMT-2009-Whitman #diagrams #effectiveness
The Effectiveness of Interactivity in Computer-Based Instructional Diagrams (LW), pp. 899–908.
HCIHCI-NT-2009-AhmedMB #human-computer #interactive
Aesthetics in Human-Computer Interaction: Views and Reviews (SUA, AAM, KB), pp. 559–568.
HCIHCI-NT-2009-BullingerB #collaboration #development #human-computer #interactive
Collaborative Development and New Devices for Human-Computer Interaction (HJB, GB), pp. 789–795.
HCIHCI-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.
HCIHCI-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.
HCIHCI-NT-2009-EliassonPR #approach #design #interactive
Embodied Interaction or Context-Aware Computing? An Integrated Approach to Design (JE, TCP, RR), pp. 606–615.
HCIHCI-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.
HCIHCI-VAD-2009-ChenGSEJ #detection #learning
Computer-Based Learning to Improve Breast Cancer Detection Skills (YC, AGG, HJS, AE, JJ), pp. 49–57.
HCIHCI-VAD-2009-FangCN #bibliography #game studies #online
An Online Survey System on Computer Game Enjoyment and Personality (XF, SSC, CN), pp. 304–314.
HCIHCI-VAD-2009-FicarraR #human-computer #interactive
CAD and Communicability: A System That Improves the Human-Computer Interaction (FVCF, RAR), pp. 468–477.
HCIHCI-VAD-2009-IwabuchiNS #smarttech
Smart Makeup Mirror: Computer-Augmented Mirror to Aid Makeup Application (EI, MN, IS), pp. 495–503.
HCIHCI-VAD-2009-KennyPR #interactive #standard
Human Computer Interaction in Virtual Standardized Patient Systems (PGK, TDP, AAR), pp. 514–523.
HCIHCI-VAD-2009-LilleyP #approach #assessment
The Application of the Flexilevel Approach for the Assessment of Computer Science Undergraduates (ML, AP), pp. 140–148.
HCIHIMI-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.
HCIHIMI-II-2009-Bunnig #privacy #ubiquitous
Smart Privacy Management in Ubiquitous Computing Environments (CB), pp. 131–139.
HCIHIMI-II-2009-FangZ #game studies
Sensation Seeking, Self Forgetfulness, and Computer Game Enjoyment (XF, FZ), pp. 632–641.
HCIHIMI-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.
HCIHIMI-II-2009-RingardDPC #approach #collaboration
Computer-Aided Collaborative Work into War Rooms: A New Approach of Collaboration (JR, SD, SLDP, CC), pp. 835–844.
HCIIDGD-2009-ChakrabortyN #game studies
Cross Cultural Computer Gaming (JC, AFN), pp. 13–18.
HCIIDGD-2009-LinLSL #design #human-computer #interactive
Cultural Aspect of Interaction Design beyond Human-Computer Interaction (RL, PHL, WSS, SHL), pp. 49–58.
HCIIDGD-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.
HCIOCSC-2009-BramanVDJ #learning
Learning Computer Science Fundamentals through Virtual Environments (JB, GV, AMAD, AJ), pp. 423–431.
HCIOCSC-2009-FaiolaS #experience #human-computer #interactive
Flow Experience in Second Life: The Impact of Telepresence on Human-Computer Interaction (AF, OVS), pp. 574–583.
HCIOCSC-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.
AdaSIGAda-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.
CAiSECAiSE-2009-Paalvast #framework
The IT Dilemma and the Unified Computing Framework (EP), p. 8.
CAiSECAiSE-2009-Simone #modelling
Computer-Centric Business Operating Models vs. Network-Centric Ones (MdS), pp. 6–7.
ICEISICEIS-DISI-2009-Matsumoto
Service Computing EIS, World Panic and our Role Change (MJM), pp. 7–15.
ICEISICEIS-DISI-2009-Papazoglou #research
Foresight & Research Priorities for Service Oriented Computing (MPP), p. 31.
ICEISICEIS-AIDSS-2009-ChongC #using
An Investigation into Dynamic Customer Requirement using Computational Intelligence (YTC, CHC), pp. 113–117.
ICEISICEIS-AIDSS-2009-RodriguesNCM #using
Estimating Greenhouse Gas Emissions using Computational Intelligence (JAPR, LBN, PHGC, JCCBSdM), pp. 248–250.
ICEISICEIS-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.
CIKMCIKM-2009-GaoLMWL #framework #markov
A general markov framework for page importance computation (BG, TYL, ZM, TW, HL), pp. 1835–1838.
CIKMCIKM-2009-LiuB #community #ranking
Computational community interest for ranking (XL, VvB), pp. 245–254.
CIKMCIKM-2009-MaCQG #game studies #using
Improving search engines using human computation games (HM, RC, CQ, AG), pp. 275–284.
CIKMCIKM-2009-ShiLMW #rank
Nonlinear static-rank computation (SS, BL, YM, JRW), pp. 807–816.
CIKMCIKM-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.
KDIRKDIR-2009-KulkarniC #concept #semantics #using #word
Computation of the Semantic Relatedness between Words using Concept Clouds (SK, DC), pp. 183–188.
KMISKMIS-2009-YangJH #empirical #testing
Constructing a Computer Simulated Experiment Testing System (BY, SJ, DH), pp. 271–275.
SEKESEKE-2009-Kung #network
Wireless Computing, Networking and Sensing (HTK), p. 1.
SIGIRSIGIR-2009-LeeLP #reduction #similarity #using
Tag-based object similarity computation using term space dimension reduction (YKL, SJL, JP), pp. 790–791.
SIGIRSIGIR-2009-Liu #community #ranking #using
Using computational community interest as an indicator for ranking (XL), p. 851.
SIGIRSIGIR-2009-MaCQG #game studies #using
Page hunt: improving search engines using human computation games (HM, RC, CQ, AG), pp. 746–747.
GPCEGPCE-2009-CassouBLC #approach #generative #pervasive #programming
A generative programming approach to developing pervasive computing systems (DC, BB, NL, CC), pp. 137–146.
QAPLQAPL-2009-DengD #bibliography #metric
The Kantorovich Metric in Computer Science: A Brief Survey (YD, WD), pp. 73–82.
POPLPOPL-2009-GulwaniMC #complexity #estimation #named #performance #precise
SPEED: precise and efficient static estimation of program computational complexity (SG, KKM, TMC), pp. 127–139.
POPLPOPL-2009-Ley-WildAF #self #semantics
A cost semantics for self-adjusting computation (RLW, UAA, MF), pp. 186–199.
POPLPOPL-2009-Simpson #linear
Linear types for computational effects (AS), p. 301.
SACSAC-2009-AymerichFS #grid #in the cloud #realtime
A real time financial system based on grid and cloud computing (FA, GF, SS), pp. 1219–1220.
SACSAC-2009-CastelliMZ #generative #pervasive #self
Self-organized control of knowledge generation in pervasive computing systems (GC, RM, FZ), pp. 1202–1208.
SACSAC-2009-ChenJZY #adaptation #performance
Boosting the performance of computing systems through adaptive configuration tuning (HC, GJ, HZ, KY), pp. 1045–1049.
SACSAC-2009-FortS #distance #network
GPU-based computation of distance functions on road networks with applications (MF, JAS), pp. 1320–1324.
SACSAC-2009-HoelzRG #forensics
Artificial intelligence applied to computer forensics (BWPH, CGR, RG), pp. 883–888.
SACSAC-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.
SACSAC-2009-LimaH #approach #using
Computing data cubes using exact sub-graph matching: the sequential MCG approach (JdCL, CMH), pp. 1541–1548.
SACSAC-2009-LiuTS #classification #complexity #learning #using
Assessing complexity of service-oriented computing using learning classifier systems (LL, ST, HS), pp. 2170–2171.
SACSAC-2009-MaiaSSPA #mobile
Seamless access of home theater personal computers for mobile devices (LFM, DFSS, RSS, AP, HOdA), pp. 167–171.
SACSAC-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.
SACSAC-2009-TokoroTT #smarttech #using
A pointing method using two accelerometers for wearable computing (YT, TT, MT), pp. 136–141.
SACSAC-2009-VomelTM #quantum
Bulk based preconditioning for quantum dot computations (CV, ST, OM), pp. 961–965.
ESEC-FSEESEC-FSE-2009-BrambillaC #challenge
Engineering search computing applications: vision and challenges (MB, SC), pp. 365–372.
GTTSEGTTSE-2009-DinizC #architecture #configuration management #embedded #program transformation
Code Transformations for Embedded Reconfigurable Computing Architectures (PCD, JMPC), pp. 322–344.
GTTSEGTTSE-2009-GjosaeterP #compilation #education #metamodelling
Teaching Computer Language Handling — From Compiler Theory to Meta-modelling (TG, AP), pp. 446–460.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2009-PistolDL #architecture
Architectural implications of nanoscale integrated sensing and computing (CP, CD, ARL), pp. 13–24.
CGOCGO-2009-VoronenkoMP #generative #library #linear
Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.
HPCAHPCA-2009-FanKDM #programmable
Bridging the computation gap between programmable processors and hardwired accelerators (KF, MK, GSD, SAM), pp. 313–322.
HPDCHPDC-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.
HPDCHPDC-2009-ZimaHCC
Model-guided autotuning of high-productivity languages for petascale computing (HPZ, MWH, CC, JC), pp. 151–166.
PPoPPPPoPP-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.
PPoPPPPoPP-2009-KistlerGBB
Petascale computing with accelerators (MK, JAG, DAB, BB), pp. 241–250.
PPoPPPPoPP-2009-LongFZ #architecture #manycore
Architectural support for cilk computations on many-core architectures (GL, DF, JZ), pp. 285–286.
PPoPPPPoPP-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.
SOSPSOSP-2009-IsardPCWTG #clustering #distributed #named #scheduling
Quincy: fair scheduling for distributed computing clusters (MI, VP, JC, UW, KT, AG), pp. 261–276.
SOSPSOSP-2009-LiuGVQWM #distributed #framework #named
Fabric: a platform for secure distributed computation and storage (JL, MDG, KV, XQ, LW, ACM), pp. 321–334.
SOSPSOSP-2009-YuGI #distributed #implementation #interface
Distributed aggregation for data-parallel computing: interfaces and implementations (YY, PKG, MI), pp. 247–260.
CADECADE-2009-CiobacaDK #convergence #equation #protocol #security
Computing Knowledge in Security Protocols under Convergent Equational Theories (SC, SD, SK), pp. 355–370.
CADECADE-2009-MaLZ #constraints #linear
Volume Computation for Boolean Combination of Linear Arithmetic Constraints (FM, SL, JZ), pp. 453–468.
CAVCAV-2009-DangS #image #polynomial #using
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion (TD, DS), pp. 219–232.
CAVCAV-2009-Monniaux #float #linear #on the #using
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure (DM), pp. 570–583.
ICLPICLP-2009-CaballeroRR #functional #logic programming
Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.
ICLPICLP-2009-CampliB #concurrent #constraints
Capturing Fair Computations on Concurrent Constraint Language (PC, SB), pp. 559–560.
ICLPICLP-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.
ICLPICLP-2009-Sneyers #compilation #complexity #constraints #optimisation
Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.
ICLPICLP-2009-Swift #modelling
An Engine for Computing Well-Founded Models (TS), pp. 514–518.
LICSLICS-2009-Baez
Computation and the Periodic Table (JB), p. 211.
LICSLICS-2009-BiancoMM #logic
Graded Computation Tree Logic (AB, FM, AM), pp. 342–351.
LICSLICS-2009-GollerMT #complexity #on the #process #verification
On the Computational Complexity of Verifying One-Counter Processes (SG, RM, AWT), pp. 235–244.
MBTMBT-2009-SchumannSH #graph #nondeterminism #testing #using
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs (AS, MS, JH), pp. 87–99.
RTARTA-2009-BaudetCD #named
YAPA: A Generic Tool for Computing Intruder Knowledge (MB, VC, SD), pp. 148–163.
TLCATLCA-2009-HarperLZ #approach
A Pronominal Approach to Binding and Computation (RH, DRL, NZ), pp. 3–4.
TLCATLCA-2009-Zhang #logic #reasoning
The Computational SLR: A Logic for Reasoning about Computational Indistinguishability (YZ), pp. 401–415.
WICSAWICSA-2008-Gorton #architecture #challenge #data-driven
Software Architecture Challenges for Data Intensive Computing (IG), pp. 4–6.
CASECASE-2008-VahediS #towards
Towards output-sensitive computation of two-finger caging grasps (MV, AFvdS), pp. 73–78.
DACDAC-2008-AhmadiZ #analysis #approach #hardware #optimisation
Symbolic noise analysis approach to computational hardware optimization (AA, MZ), pp. 391–396.
DACDAC-2008-Bautista #challenge
Tera-scale computing and interconnect challenges (JB), pp. 665–667.
DACDAC-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.
DACDAC-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.
DACDAC-2008-Garland #gpu #manycore #matrix
Sparse matrix computations on manycore GPU’s (MG), pp. 2–6.
DACDAC-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.
DACDAC-2008-NarasimhanPB
Collective computing based on swarm intelligence (SN, SP, SB), pp. 349–350.
DACDAC-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.
DATEDATE-2008-ChavesKSV
Merged Computation for Whirlpool Hashing (RC, GK, LS, SV), pp. 272–275.
DATEDATE-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.
DATEDATE-2008-WiggersBS #communication #throughput
Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication (MW, MB, GJMS), pp. 640–645.
DATEDATE-2008-XiongZVH
Optimal Margin Computation for At-Speed Test (JX, VZ, CV, PAH), pp. 622–627.
DRRDRR-2008-ZantSB #image #interactive
Interactive evolutionary computing for the binarization of degenerated handwritten images (TvdZ, LS, AB), p. 681507.
HTHT-2008-HansenG #framework #lightweight #social #web
Social web applications in the city: a lightweight infrastructure for urban computing (FAH, KG), pp. 175–180.
SIGMODSIGMOD-2008-VlachouDK #clustering #parallel #performance
Angle-based space partitioning for efficient parallel skyline computation (AV, CD, YK), pp. 227–238.
VLDBVLDB-2008-DeWittPRNRSK #clustering #data transformation #named
Clustera: an integrated computation and data management system (DJD, EP, ER, JFN, JR, SS, AK), pp. 28–41.
VLDBVLDB-2008-LizorkinVGT #optimisation
Accuracy estimate and optimization techniques for SimRank computation (DL, PV, MNG, DT), pp. 422–433.
VLDBVLDB-2008-PhanL #enterprise #framework
A request-routing framework for SOA-based enterprise computing (TP, WSL), pp. 996–1007.
CSEETCSEET-2008-GotterbarnM #re-engineering #using
Using the Software Engineering Code of Ethics in Professional Computing Issues (DG, KWM), p. 273.
ITiCSEITiCSE-2008-ApplinH #library #multi #research
Computing research methods multi-perspective digital library: a call for participation (AGA, HJH), p. 337.
ITiCSEITiCSE-2008-Bower #learning #online
The “instructed-teacher”: a computer science online learning pedagogical pattern (MB), pp. 189–193.
ITiCSEITiCSE-2008-Bower08a #taxonomy
A taxonomy of task types in computing (MB), pp. 281–285.
ITiCSEITiCSE-2008-Boyle
Neither rocket science nor washing machine science, but computer science (RDB), pp. 5–6.
ITiCSEITiCSE-2008-ChoiBJL #design #education #process
Designing offline computer science activities for the korean elementary school curriculum (SC, TB, SJJ, WGL), p. 338.
ITiCSEITiCSE-2008-CorberaGRRT #architecture #development
Development of a new MOODLE module for a basic course on computer architecture (FC, EG, JR, SR, MAT), p. 349.
ITiCSEITiCSE-2008-CurzonM
Engaging with computer science through magic shows (PC, PWM), pp. 179–183.
ITiCSEITiCSE-2008-GiangrandiM #student
Enhancing the general background of CS students through a computing history course (PG, CM), pp. 301–305.
ITiCSEITiCSE-2008-GoldweberD #named #network
VDE: an emulation environment for supporting computer networking courses (MG, RD), pp. 138–142.
ITiCSEITiCSE-2008-GrayHGSF
A computer-based test to raise awareness of disability issues (JG, GH, AG, JSR, JF), p. 347.
ITiCSEITiCSE-2008-GunawardenaBO #comprehension
A method for analyzing reading comprehension in computer science courses (AG, JB, AO), p. 348.
ITiCSEITiCSE-2008-HawthorneKCW #guidelines
Computer science and information technology associate-level curricular guidelines (EKH, KJK, RDC, AMW), p. 350.
ITiCSEITiCSE-2008-Jenkins #education #re-engineering
Teaching computer aided software engineering at the graduate level (MJ), pp. 63–67.
ITiCSEITiCSE-2008-KnobelsdorfR
Creativity as a pathway to computer science (MK, RR), pp. 286–290.
ITiCSEITiCSE-2008-Kolikant #education #framework #learning
Computer-science education as a cultural encounter: a socio-cultural framework for articulating learning difficulties (YBDK), pp. 291–295.
ITiCSEITiCSE-2008-MarcosBGBHO #multi
A multidisciplinary computer science master program (LdM, RB, JAG, JMdB, JRH, SO), p. 358.
ITiCSEITiCSE-2008-MurphyT #education #research #self
Dangers of a fixed mindset: implications of self-theories research for computer science education (LM, LT), pp. 271–275.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2008-RagonisH #education
Tutoring model for promoting teaching skills of computer science prospective teachers (NR, OH), pp. 276–280.
ITiCSEITiCSE-2008-SchluterB #education
Characteristics and dimensions of a competence model of theoretical computer science in secondary education (KS, TB), p. 367.
ESOPESOP-2008-Ong #approach #higher-order #semantics #verification
Verification of Higher-Order Computation: A Game-Semantic Approach (CHLO), pp. 299–306.
ESOPESOP-2008-VieiraCS #calculus
The Conversation Calculus: A Model of Service-Oriented Computation (HTV, LC, JCS), pp. 269–283.
FASEFASE-2008-DaviesBM #distributed #optimisation
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.
FoSSaCSFoSSaCS-2008-SelingerV #call-by #λ-calculus
A Linear-non-Linear Model for a Computational Call-by-Value λ Calculus (Extended Abstract) (PS, BV), pp. 81–96.
TACASTACAS-2008-AbdullaBHKV #automaton #simulation
Computing Simulations over Tree Automata (PAA, AB, LH, LK, TV), pp. 93–108.
TACASTACAS-2008-PaceS #model checking #visualisation
Computation and Visualisation of Phase Portraits for Model Checking SPDIs (GJP, GS), pp. 341–345.
STOCSTOC-2008-ChakrabartiCM #bound #communication #robust
Robust lower bounds for communication and stream computation (AC, GC, AM), pp. 641–650.
STOCSTOC-2008-GoldwasserKR #interactive #proving
Delegating computation: interactive proofs for muggles (SG, YTK, GNR), pp. 113–122.
STOCSTOC-2008-GordonHKL
Complete fairness in secure two-party computation (SDG, CH, JK, YL), pp. 413–422.
STOCSTOC-2008-Haussler #how
Computing how we became human (DH), pp. 639–640.
STOCSTOC-2008-IshaiKOS #constant #encryption
Cryptography with constant computational overhead (YI, EK, RO, AS), pp. 433–442.
AFLAFL-2008-Blanchet-SadriOR #word
Computing Weak Periods of Partial Words (FBS, TO, TDR), pp. 134–145.
AFLAFL-2008-Paun
Membrane Computing: Recent Developments and Applications (Extended Abstract) (GP), pp. 350–351.
AFLAFL-2008-Roska #algorithm
Cellular Wave Computers — Algorithms for million processor computers (Abstract) (TR), p. 352.
CIAACIAA-2008-CantinLW #automaton
Computing Convex Hulls by Automata Iteration (FC, AL, PW), pp. 112–121.
CIAACIAA-2008-HempelK #persistent #turing machine
Persistent Computations of Turing Machines (HH, MK), pp. 171–180.
CIAACIAA-2008-HolzerK #complexity #finite #nondeterminism
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity (MH, MK), pp. 1–16.
DLTDLT-2008-BordihnKM #automaton #capacity #communication #finite #on the #parallel
On the Computational Capacity of Parallel Communicating Finite Automata (HB, MK, AM), pp. 146–157.
DLTDLT-2008-EsparzaKL #analysis #fixpoint
Derivation Tree Analysis for Accelerated Fixed-Point Computation (JE, SK, ML), pp. 301–313.
ICALPICALP-A-2008-FialaGK #complexity #distance #problem
Computational Complexity of the Distance Constrained Labeling Problem for Trees (Extended Abstract) (JF, PAG, JK), pp. 294–305.
ICALPICALP-A-2008-FominV #combinator
Treewidth Computation and Extremal Combinatorics (FVF, YV), pp. 210–221.
ICALPICALP-A-2008-GuhaM #bound #multi
Tight Lower Bounds for Multi-pass Stream Computation Via Pass Elimination (SG, AM), pp. 760–772.
ICALPICALP-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.
ICALPICALP-A-2008-Pritchard #distributed #performance #random
Fast Distributed Computation of Cuts Via Random Circulations (DP), pp. 145–160.
ICALPICALP-B-2008-JezO #equation #on the #set
On the Computational Completeness of Equations over Sets of Natural Numbers (AJ, AO), pp. 63–74.
ICALPICALP-C-2008-HirtNP #communication #multi #polynomial
Asynchronous Multi-Party Computation with Quadratic Communication (MH, JBN, BP), pp. 473–485.
SEFMSEFM-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.
SFMSFM-2008-MausJRU #biology #modelling
Hierarchical Modeling for Computational Biology (CM, MJ, MR, AMU), pp. 81–124.
SFMSFM-2008-PaunR #case study #framework #modelling
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies (GP, FJRC), pp. 168–214.
AFPAFP-2008-AcarL08 #ml #self
Self-adjusting Computation with Delta ML (UAA, RLW), pp. 1–38.
ICFPICFP-2008-Lampson #execution #lazy evaluation
Lazy and speculative execution in computer systems (BWL), pp. 1–2.
GT-VMTGT-VMT-2008-BottoniMWY #control flow
Composing control flow and formula rules for computing on grids (PB, NNM, YW, RY).
ICGTICGT-2008-DerbelMG #graph #implementation #mobile
Mobile Agents Implementing Local Computations in Graphs (BD, MM, SG), pp. 99–114.
ICGTICGT-2008-KreowskiK #framework #graph #parallel
Graph Multiset Transformation as a Framework for Massively Parallel Computation (HJK, SK), pp. 351–365.
CHICHI-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.
CHICHI-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.
CHICHI-2008-DearmanP #exclamation #multi
It’s on my other computer!: computing with multiple devices (DD, JSP), pp. 767–776.
CHICHI-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.
CHICHI-2008-SaponasTMB #interface #using
Demonstrating the feasibility of using forearm electromyography for muscle-computer interfaces (TSS, DST, DM, RB), pp. 515–524.
CHICHI-2008-ShenoyT #image
Human-aided computing: utilizing implicit human processing to classify images (PS, DST), pp. 845–854.
CSCWCSCW-2008-GoecksVVM #collaboration
Charitable technologies: opportunities for collaborative computing in nonprofit fundraising (JG, AV, SV, EDM), pp. 689–698.
CSCWCSCW-2008-PriedhorskyT #how #what #why
The computational geowiki: what, why, and how (RP, LGT), pp. 267–276.
SOFTVISSOFTVIS-2008-ThompsonPAH #polynomial #visualisation
Visualizing the computation tree of the Tutte Polynomial (BT, DJP, CA, GH), pp. 211–212.
CAiSECAiSE-2008-NiknafsR #analysis
Computer-Aided Method Engineering: An Analysis of Existing Environments (AN, RR), pp. 525–540.
EDOCEDOC-2008-Ray #challenge #enterprise #roadmap
Enterprise Computing in Healthcare Sector: Emerging Trends and Future Challenges (PR).
ICEISICEIS-DISI-2008-PapatheocharousA #modelling #predict
Size and Effort-Based Computational Models for Software Cost Prediction (EP, ASA), pp. 57–64.
ICEISICEIS-HCI-2008-LoiselCK #design #human-computer #interactive #modelling
Modeling Human Interaction to Design a Human-Computer Dialog System (AL, NC, JPK), pp. 227–232.
ICEISICEIS-ISAS1-2008-Soblewski #named
SORCER: Computing and Metacomputing Intergrid (MS), pp. 74–85.
ICEISICEIS-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.
CIKMCIKM-2008-LeeSZL #mobile #query
Valid scope computation for location-dependent spatial query in mobile broadcast environments (KCKL, JS, BZ, WCL), pp. 1231–1240.
ECIRECIR-2008-McSherryN #information retrieval #metric #performance
Computing Information Retrieval Performance Measures Efficiently in the Presence of Tied Scores (FM, MN), pp. 414–421.
ICMLICML-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.
ICMLICML-2008-FrancLM #fault
Stopping conditions for exact computation of leave-one-out error in support vector machines (VF, PL, KRM), pp. 328–335.
ICPRICPR-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.
ICPRICPR-2008-Brandt #consistency #geometry #performance
Consistent and efficient sampler for geometric computation (SSB), pp. 1–4.
ICPRICPR-2008-ChenSXS #algorithm #identification #search-based #using
Computer graphics identification using genetic algorithm (WC, YQS, GX, WS), pp. 1–4.
ICPRICPR-2008-ChowdhuryYULS #detection #image
Detection of anatomical landmarks in human colon from computed tomographic colonography images (ASC, JY, RLVUJ, MGL, RMS), pp. 1–4.
ICPRICPR-2008-FerrerVSRB #algorithm #approximate #graph #using
An approximate algorithm for median graph computation using graph embedding (MF, EV, FS, KR, HB), pp. 1–4.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2008-LuGZ #independence #interface
Subject-independent brain computer interface through boosting (SL, CG, HZ), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-ManoharSGS #finite #modelling
Finite element modeling of facial deformation in videos for computing strain pattern (VM, MS, DBG, SS), pp. 1–4.
ICPRICPR-2008-NiM
Force histograms computed in O(NlogN) (JN, PM), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-WanS #geometry #multi
Computing multiple view geometry in space-time from mutual projections of multiple cameras (CW, JS), pp. 1–4.
ICPRICPR-2008-YaoADTHM #using
Computer-aided grading of lymphangioleiomyomatosis (LAM) using HRCT (JY, NA, AD, AMTD, OMH, JM), pp. 1–4.
KDDKDD-2008-SiaCCT #performance #query
Efficient computation of personal aggregate queries on blogs (KCS, JC, YC, BLT), pp. 632–640.
KDDKDD-2008-ZhouX #correlation #perspective
Volatile correlation computation: a checkpoint view (WZ, HX), pp. 848–856.
KRKR-2008-ChenJL
Computing Loops with at Most One External Support Rule (XC, JJ, FL), pp. 401–410.
KRKR-2008-LianW #reduction
Computing Default Extensions by Reductions on OR (EHL, AW), pp. 496–506.
RecSysRecSys-2008-Broder #recommendation
Computational advertising and recommender systems (AZB), pp. 1–2.
SEKESEKE-2008-Deng #collaboration #ecosystem #education #research
Building Global Ecosystem for Collaborative Computing Research and Education (YD), p. 3.
SEKESEKE-2008-FilhoSPLA #middleware #mobile #named #pervasive
Wings4Symbian: A Pervasive Computing Middleware for Symbian OS Mobile Devices (OCSF, DFSS, AP, EL, HOdA), pp. 887–892.
SEKESEKE-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.
SEKESEKE-2008-MiliAN #algorithm
An Algorithm for Computing Loop Functions (AM, SA, CN), pp. 448–453.
SEKESEKE-2008-Neruda #ontology #search-based
Ontology-based and Evolutionary Search for Computational Agents Schemes (RN), pp. 569–572.
BXBX-2008-Mu1
Inverse Computation for UnCAL (SCM), p. 44.
MODELSMoDELS-2008-BatoryAS #design
The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.
MODELSMoDELS-2008-BatoryAS #design
The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.
ECOOPECOOP-2008-BessonJT #interface #stack
Computing Stack Maps with Interfaces (FB, TPJ, TT), pp. 642–666.
TOOLSTOOLS-EUROPE-2008-Brodie
The End of the Computing Era: Hephaestus Meets the Olympians (MLB), p. 1.
POPLPOPL-2008-AcarAB #imperative #self
Imperative self-adjusting computation (UAA, AA, MB), pp. 309–322.
POPLPOPL-2008-Laud #encryption #on the
On the computational soundness of cryptographically masked flows (PL), pp. 337–348.
POPLPOPL-2008-Voigtlander #parallel
Much ado about two (pearl): a pearl on parallel prefix computation (JV), pp. 29–35.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2008-FreireVMP #network
Track on Computer Networks: editorial message (MMF, TV, EM, MP), p. 2040.
SACSAC-2008-KontakiPM #data type #multi
Continuous k-dominant skyline computation on multidimensional data streams (MK, ANP, YM), pp. 956–960.
SACSAC-2008-LasserreLR #algebra #algorithm
Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm (JBL, ML, PR), pp. 1845–1846.
SACSAC-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.
SACSAC-2008-NogueiraVN #animation
A nervous system model for direct dynamics animation control based on evolutionary computation (YLBN, CAV, JBCN), pp. 1793–1800.
SACSAC-2008-NogueraPPF #composition #ubiquitous
Context distribution for supporting composition of applications in ubiquitous computing (CN, EVP, CAP, JF), pp. 1647–1648.
SACSAC-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.
SACSAC-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.
SACSAC-2008-SantosSMSPB #education #ubiquitous
A ubiquitous computing environment for medical education (HdFS, LHZS, DSM, WLdS, AFdP, MB), pp. 1395–1399.
SACSAC-2008-SilvaCGAY #adaptation #on the #ubiquitous
On the control of adaptation in ubiquitous computing (LCdS, CAdC, CFRG, IA, ACY), pp. 2228–2229.
SACSAC-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.
SACSAC-2008-SultanaKAA #ubiquitous #web #web service
Ubicomp secretary: a web service based ubiquitous computing application (SS, RK, MMA, SIA), pp. 1935–1939.
ICSEICSE-2008-BeekGKM #verification
Formal verification of an automotive scenario in service-oriented computing (MHtB, SG, NK, FM), pp. 613–622.
HPCAHPCA-2008-Allen #compilation #parallel
Compilers and parallel computing systems (FEA), p. 429.
HPCAHPCA-2008-Rattner
Intel’s Tera-scale Computing Project: The first five years, the next five years (JR), p. 1.
HPDCHPDC-2008-RichT #named #transaction
DataLab: transactional data-parallel computing on an active storage cloud (BR, DT), pp. 233–234.
HPDCHPDC-2008-YanR #automation #clustering #parallel #towards
Toward automatic parallelization of spatial computation for computing clusters (BY, PJR), pp. 45–54.
HPDCHPDC-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.
ISMMISMM-2008-HammerA #memory management #self
Memory management for self-adjusting computation (MAH, UAA), pp. 51–60.
LCTESLCTES-2008-RajopadhyeGR #configuration management
A domain specific interconnect for reconfigurable computing (SVR, GG, LR), pp. 79–88.
OSDIOSDI-2008-YuIFBEGC #distributed #named #using
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language (YY, MI, DF, MB, ÚE, PKG, JC), pp. 1–14.
PPoPPPPoPP-2008-Allen #compilation #parallel
Compilers and parallel computing systems (FEA).
PPoPPPPoPP-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.
PPoPPPPoPP-2008-PatrickSK #communication #performance
Enhancing the performance of MPI-IO applications by overlapping I/O, computation and communication (CMP, SWS, MTK), pp. 277–278.
PPoPPPPoPP-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.
CAVCAV-2008-PlatzerC #difference #hybrid #invariant
Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
CSLCSL-2008-BlanquiJR #order
The Computability Path Ordering: The End of a Quest (FB, JPJ, AR), pp. 1–14.
ICLPICLP-2008-CalimeriCIL #implementation
Computable Functions in ASP: Theory and Implementation (FC, SC, GI, NL), pp. 407–424.
IJCARIJCAR-2008-AvanziniMS #analysis #automation #complexity
Automated Implicit Computational Complexity Analysis (System Description) (MA, GM, AS), pp. 132–138.
IJCARIJCAR-2008-Melquiond #bound #proving
Proving Bounds on Real-Valued Functions with Computations (GM), pp. 2–17.
LICSLICS-2008-AehligB #complexity #on the
On the Computational Complexity of Cut-Reduction (KA, AB), pp. 284–293.
LICSLICS-2008-LicataZH
Focusing on Binding and Computation (DRL, NZ, RH), pp. 241–252.
ICSTSAT-2008-KottlerKS
Computation of Renameable Horn Backdoors (SK, MK, CS), pp. 154–160.
ECSAECSA-2007-Garlan #architecture
Software Architectures for Task-Oriented Computing (DG), p. 1.
ECSAECSA-2007-SantosAB #lightweight #web #web service
Lightweight Web Services for High Performace Computing (AS, FA, VBP), pp. 225–236.
WICSAWICSA-2007-CardosoI #architecture #bibliography #pervasive #privacy
Architecting Pervasive Computing Systems for Privacy: A Survey (RSC, VI), p. 26.
CASECASE-2007-CheongS #independence
Computing All Independent Form-Closure Grasp Regions of a Rectilinear Polyhedron (JSC, AFvdS), pp. 288–294.
CASECASE-2007-LiIB
Application of IFC Product Data Model in Computer-Integrated Building Prefabrication (SL, JI, GB), pp. 992–996.
CASECASE-2007-NagarshethSP #simulation
Computer Simulation of Dynamics of Human Leg (HJN, SVS, MAP), pp. 249–254.
CASECASE-2007-VahediS #geometry
Geometric Properties and Computation of Three-Finger Caging Grasps of Convex Polygons (MV, AFvdS), pp. 404–411.
DACDAC-2007-BharathESUY #performance #simulation
Computationally Efficient Power Integrity Simulation for System-on-Package Applications (KB, EE, MS, KU, TY), pp. 612–617.
DACDAC-2007-RajnakK #architecture #design #distributed #implementation
Computer-aided Architecture Design & Optimized Implementation of Distributed Automotive EE Systems (AR, AK), pp. 556–561.
DACDAC-2007-Tabor #parallel #programming
Programming Living Cells to Function as Massively Parallel Computers (JJT), pp. 638–639.
DACDAC-2007-WiggersBS #data flow #graph #performance
Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs (MW, MB, GJMS), pp. 658–663.
DATEDATE-2007-0004XJ #analysis #novel #statistics
A novel criticality computation method in statistical timing analysis (FW, YX, HJ), pp. 1611–1616.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-SilvaSP #performance
Efficient computation of the worst-delay corner (LGeS, LMS, JRP), pp. 1617–1622.
DATEDATE-2007-X #ubiquitous
Applications for ubiquitous computing and communications, p. 473.
DATEDATE-2007-YangG
Computing synchronizer failure probabilities (SY, MRG), pp. 1361–1366.
HTHT-2007-WellsTG
Search habits of the computer literate (JW, MT, JG), pp. 37–38.
ICDARICDAR-2007-LeCunCRH #documentation #energy #modelling #recognition
Energy-Based Models in Document Recognition and Computer Vision (YL, SC, MR, FJH), pp. 337–341.
ICDARICDAR-2007-SrinivasanKHS #on the #verification
On Computing Strength of Evidence for Writer Verification (HS, SK, CH, SNS), pp. 844–848.
ICDARICDAR-2007-ToselliRRV #image
Computer Assisted Transcription of Handwritten Text Images (AHT, VR, LR, EV), pp. 944–948.
ICDARICDAR-2007-Watt #aspect-oriented
New Aspects of InkML for Pen-Based Computing (SMW), pp. 457–460.
SIGMODSIGMOD-2007-HuebschGHS #distributed #query
Sharing aggregate computation for distributed queries (RH, MNG, JMH, IS), pp. 485–496.
SIGMODSIGMOD-2007-XinHC #ad hoc #ranking
Progressive and selective merge: computing top-k with ad-hoc ranking functions (DX, JH, KCCC), pp. 103–114.
VLDBVLDB-2007-Brodie #data transformation
Computer Science 2.0: A New World of Data Management (MLB), p. 1161.
VLDBVLDB-2007-DellisS #performance #query
Efficient Computation of Reverse Skyline Queries (ED, BS), pp. 291–302.
VLDBVLDB-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.
VLDBVLDB-2007-MorsePJ #performance
Efficient Skyline Computation over Low-Cardinality Domains (MDM, JMP, HVJ), pp. 267–278.
CSEETCSEET-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.
ITiCSEITiCSE-2007-BagleyC #collaboration #java #learning #programming
Collaboration and the importance for novices in learning java computer programming (CAB, CCC), pp. 211–215.
ITiCSEITiCSE-2007-CukiermanT #learning
Learning strategies sessions within the classroom in computing science university courses (DC, DMT), p. 341.
ITiCSEITiCSE-2007-Cunningham #education #requirements
A computer graphics curriculum to meet the european bologna requirements (SC), p. 310.
ITiCSEITiCSE-2007-Curzon
Serious fun in computer science (PC), p. 1.
ITiCSEITiCSE-2007-CuttsBKM #education #student
Enthusing and informing potential computer science students and their teachers (QIC, MIB, LK, CM), pp. 196–200.
ITiCSEITiCSE-2007-DistasioW #education #framework #game studies #using
Inclusive computer science education using a ready-made computer game framework (JD, TPW), pp. 116–120.
ITiCSEITiCSE-2007-DoerschukLM #assessment #women
Pilot summer camps in computing for middle school girls: from organization through assessment (PID, JL, JM), pp. 4–8.
ITiCSEITiCSE-2007-Egan #education #women
Teaching a “Women in Computer Science” Course (MALE), pp. 216–220.
ITiCSEITiCSE-2007-GalpinSC #learning #student
Learning styles and personality types of computer science students at a South African university (VCG, IDS, PyC), pp. 201–205.
ITiCSEITiCSE-2007-Hanson #education
Inclusive thinking in computer science education (VLH), p. 3.
ITiCSEITiCSE-2007-Helmick07a #online
Integrated online courseware for computer science courses (MTH), pp. 146–150.
ITiCSEITiCSE-2007-Impagliazzo #approach #source code #using
Using an outcome-based approach to assess computing programs (JI), p. 344.
ITiCSEITiCSE-2007-KheirW #realtime #speech #student #using
Inclusion of deaf students in computer science classes using real-time speech transcription (RK, TW), pp. 261–265.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2007-Kuyl #question
Where have all the computer scientists gone? (CvdK), p. 2.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2007-OwensAB
The computing educators oral history project: planning for the future (BBO, VLA, LJB), p. 328.
ITiCSEITiCSE-2007-PauHW #experience #how #question #self #women
Women in computing: how does experience influence self-perception of computing careers? (RP, WH, SW), p. 349.
ITiCSEITiCSE-2007-PeckhamHSSMS #challenge
Broadening participation in computing: issues and challenges (JP, LLH, DAS, BS, HM, PDS), pp. 9–13.
ITiCSEITiCSE-2007-RavehHY #student
Transforming a high school student project in computer science into a significant scientific achievement (BR, BH, CY), p. 331.
ITiCSEITiCSE-2007-Sheridan-Ross #multi #student
Practical tips for engaging students in team formation for multi-discipline computing projects (JSR), p. 360.
ITiCSEITiCSE-2007-Skoric
Summer schools on the amateur radio computing (MS), p. 346.
ITiCSEITiCSE-2007-Tharp #named
Innovating: the importance of right brain skills for computer science graduates (ALT), pp. 126–130.
ITiCSEITiCSE-2007-ThomasSW #assessment #diagrams
Computer assisted assessment of diagrams (PGT, NS, KGW), pp. 68–72.
ESOPESOP-2007-AcarBD #consistency #self #semantics
A Consistent Semantics of Self-adjusting Computation (UAA, MB, JD), pp. 458–474.
ESOPESOP-2007-GawlitzaS #fixpoint #precise
Precise Fixpoint Computation Through Strategy Iteration (TG, HS), pp. 300–315.
ESOPESOP-2007-GulwaniT #analysis #interprocedural #summary
Computing Procedure Summaries for Interprocedural Analysis (SG, AT), pp. 253–267.
ICSMEICSM-2007-BeszedesGJTGR #maintenance
Computation of Static Execute After Relation with Applications to Software Maintenance (ÁB, TG, JJ, GT, TG, VR), pp. 295–304.
ICSMEICSM-2007-ChittimalliH #testing
Re-computing Coverage Information to Assist Regression Testing (PKC, MJH), pp. 164–173.
ICSMEICSM-2007-Vivanco #approach #modelling #predict #quality #using
Improving Predictive Models of Software Quality Using an Evolutionary Computational Approach (RV), pp. 503–504.
PLDIPLDI-2007-KrishnamoorthyBBRRS #automation #effectiveness #parallel
Effective automatic parallelization of stencil computations (SK, MMB, UB, JR, AR, PS), pp. 235–244.
SASSAS-2007-GoubaultP #approximate
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (EG, SP), pp. 137–152.
STOCSTOC-2007-BravermanY #set
Constructing non-computable Julia sets (MB, MY), pp. 709–716.
STOCSTOC-2007-IshaiKOS #multi
Zero-knowledge from secure multiparty computation (YI, EK, RO, AS), pp. 21–30.
STOCSTOC-2007-Katz #multi #on the
On achieving the “best of both worlds” in secure multiparty computation (JK), pp. 11–20.
STOCSTOC-2007-KawarabayashiR #linear
Computing crossing number in linear time (KiK, BAR), pp. 382–390.
STOCSTOC-2007-Lynch #algorithm #distributed #modelling #proving
Distributed computing theory: algorithms, impossibility results, models, and proofs (NAL), p. 247.
CIAACIAA-2007-AnselmoGM #2d #automaton
Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 290–302.
CIAACIAA-2007-CaucalCFR #context-free grammar #performance #throughput
Efficient Computation of Throughput Values of Context-Free Languages (DC, JC, WF, WR), pp. 203–213.
DLTDLT-2007-BertoniR #monad
Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids (AB, RR), pp. 72–83.
DLTDLT-2007-ChamparnaudOZ #equation #performance
An Efficient Computation of the Equation K-Automaton of a Regular K-Expression (JMC, FO, DZ), pp. 145–156.
ICALPICALP-2007-FraigniaudGIP #distributed #graph
Distributed Computing with Advice: Information Sensitivity of Graph Coloring (PF, CG, DI, AP), pp. 231–242.
ICALPICALP-2007-HasuoJU #category theory
Categorical Views on Computations on Trees (Extended Abstract) (IH, BJ, TU), pp. 619–630.
LATALATA-2007-GruberH #automaton #complexity #finite #nondeterminism
Computational Complexity of NFA Minimization for Finite and Unary Languages (HG, MH), pp. 261–272.
LATALATA-2007-LenaM #automaton #complexity
Computational Complexity of Dynamical Systems: the case of Cellular Automata (PdL, LM), pp. 211–222.
SEFMSEFM-2007-LaneseMVR #distributed
Disciplining Orchestration and Conversation in Service-Oriented Computing (IL, FM, VTV, AR), pp. 305–314.
LISPILC-2007-Harmon #analysis #lisp #tool support
Computational tools for the analysis of spatial patterns of gene expression in Common Lisp (CLH), p. 18.
GT-VMTGT-VMT-2007-Paun #graph transformation
Membrane computing [and graph transformation] (GP).
CHICHI-2007-BallagasMRB #interface #mobile #prototype #ubiquitous
iStuff mobile: rapidly prototyping new mobile phone interfaces for ubiquitous computing (RB, FM, RR, JOB), pp. 1107–1116.
CHICHI-2007-DickinsonSANH #navigation #web
Approaches to web search and navigation for older computer novices (AD, MJS, JLA, AFN, RLH), pp. 281–290.
CHICHI-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.
CHICHI-2007-HalversonH #human-computer #interactive #predict #visual notation
A minimal model for predicting visual search in human-computer interaction (TH, AJH), pp. 431–434.
CHICHI-2007-IqbalH #analysis #case study
Disruption and recovery of computing tasks: field study, analysis, and directions (STI, EH), pp. 677–686.
CHICHI-2007-JeffersonH #interface
An interface to support color blind computer users (LJ, RH), pp. 1535–1538.
CHICHI-2007-KaiserBEC #interactive #multimodal #speech
Multimodal redundancy across handwriting and speech during computer mediated human-human interactions (ECK, PB, CE, PRC), pp. 1009–1018.
CHICHI-2007-KelleherPK #motivation #programming #women
Storytelling alice motivates middle school girls to learn computer programming (CK, RFP, SBK), pp. 1455–1464.
CHICHI-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.
CHICHI-2007-PattenI #constraints #interface
Mechanical constraints as computational constraints in tabletop tangible interfaces (JP, HI), pp. 809–818.
CHICHI-2007-VallgardaR
Computational composites (AV, JR), pp. 513–522.
HCIDHM-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.
HCIDHM-2007-FrohriepP #design
Computer Aided Lumbar Support Design and Application (SF, JP), pp. 586–594.
HCIDHM-2007-Kim07b #modelling #research #simulation
Computer Graphic Modeling and Simulation of Human Musculoskeletal System for Biomechanical Research (YHK), pp. 136–143.
HCIDHM-2007-LiuHZ
Actions of an External Electrical Shock on Human Atrial Excitation — A Computer Model Study (JL, AVH, HZ), pp. 659–667.
HCIDHM-2007-Soltysinski #human-computer #interactive #multimodal #novel
Novel Methods for Human-Computer Interaction in Multimodal and Multidimensional Noninvasive Medical Imaging (TS), pp. 717–726.
HCIDHM-2007-WangYLLT #human-computer #interface
Brain-Computer Interfaces Based on Attention and Complex Mental Tasks (JW, NY, HL, ML, CT), pp. 467–473.
HCIHCI-AS-2007-BurgerB #predict
Predicting the Outcome of a Computer Literacy Course Based on a Candidate’s Personal Characteristics (AJB, PJB), pp. 173–182.
HCIHCI-AS-2007-ChoK #collaboration #contest #learning
Suppressing Competition in a Computer-Supported Collaborative Learning System (KC, BK), pp. 208–214.
HCIHCI-AS-2007-LinJYHCT #design
Designing an Ergonomic Computer Console on the Ship (CJL, YTJ, CWY, CLH, TJC, MZT), pp. 629–638.
HCIHCI-AS-2007-YuC #collaboration #learning #process
Creating Computer Supported Collaborative Learning Activities with IMS LD (DY, XC), pp. 391–400.
HCIHCI-IDU-2007-BockKLS
The Role of Task Characteristics and Organization Culture in Non-Work Related Computing (NWRC) (GWB, HHK, PL, HS), pp. 681–690.
HCIHCI-IDU-2007-DhakhwaHGMT #interface #named
Sambad — Computer Interfaces for Non-literates (SD, PAVH, GBG, PM, IT), pp. 721–730.
HCIHCI-IDU-2007-EktareY #security
The Balancing Act Between Computer Security and Convenience (ME, YY), pp. 731–735.
HCIHCI-IDU-2007-HodgettsJ #cost analysis
Reminders, Alerts and Pop-ups: The Cost of Computer-Initiated Interruptions (HMH, DMJ), pp. 818–826.
HCIHCI-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.
HCIHCI-IDU-2007-Kirlik #concept #modelling
Conceptual and Technical Issues in Extending Computational Cognitive Modeling to Aviation (AK), pp. 872–881.
HCIHCI-IDU-2007-SeifertK #human-computer #interactive
Entelechy and Embodiment in (Artistic) Human-Computer Interaction (US, JHK), pp. 929–938.
HCIHCI-IDU-2007-VanharantaS #interactive
Holistic Interaction Between the Computer and the Active Human Being (HV, TS), pp. 252–261.
HCIHCI-IDU-2007-YueWW #design #interactive #theory and practice #ubiquitous
Designing Transparent Interaction for Ubiquitous Computing: Theory and Application (WY, HW, GW), pp. 331–339.
HCIHCI-IPT-2007-AsaiK #comparative
Comparative Characteristics of a Head-Up Display for Computer-Assisted Instruction (KA, HK), pp. 531–540.
HCIHCI-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.
HCIHCI-IPT-2007-FallmanMY #design
The Design of a Computer Mouse Providing Three Degrees of Freedom (DF, AM, BY), pp. 53–62.
HCIHCI-IPT-2007-HuangT #scalability #security #smarttech
A Wearable Computing Environment for the Security of a Large-Scale Factory (JyH, CHT), pp. 1113–1122.
HCIHCI-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.
HCIHCI-IPT-2007-LeeKYL #community #smarttech
A Feasibility Study of Sixth Sense Computing Scenarios in a Wearable Community (SL, HK, SY, GL), pp. 1155–1164.
HCIHCI-IPT-2007-MaWMWM #smarttech
Wearable Computers IN the Operating Room Environment (QM, PW, GM, AW, DM), pp. 1165–1172.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-IPT-2007-SuzukiMT #interactive
Stylus Enhancement to Enrich Interaction with Computers (YS, KM, JT), pp. 133–142.
HCIHCI-IPT-2007-Young-hyunK #feedback #smarttech
Information Display of Wearable Devices Through Sound Feedback of Wearable Computing (PYh, HKh), pp. 1200–1209.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-MIE-2007-KirakowskiOY
The Perception of Artificial Intelligence as “Human” by Computer Users (JK, PO, AY), pp. 376–384.
HCIHCI-MIE-2007-KomogortsevK #design #interface
Kalman Filtering in the Design of Eye-Gaze-Guided Computer Interfaces (OK, JIK), pp. 679–689.
HCIHCI-MIE-2007-SetiawanHL #interactive #multi #people #using
Multiple People Labeling and Tracking Using Stereo for Human Computer Interaction (NAS, SJH, CWL), pp. 738–746.
HCIHCI-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.
HCIHCI-MIE-2007-ZhangZLY #human-computer #interactive
Human-Computer Interaction System Based on Nose Tracking (LZ, FZ, WL, XY), pp. 769–778.