BibSLEIGH — hardwar stem

Used together with:

softwar (189)
design (108)
system (89)
use (61)
base (61)

Stem hardwar$ (all stems)

687 papers:

CASE-2015-ChuFRSKT #approach #automation #hardware #integration: A LC-MS integration approach in life science automation: Hardware integration and software integration (XC, HF, TR, NS, MK, KT), pp. 979–984.
CASE-2015-PellicciariABBB #hardware #industrial #named: AREUS — Innovative hardware and software for sustainable industrial robotics (MP, AA, KB, GB, NB, BL, DM), pp. 1325–1332.
DAC-2015-DaviHPSKSAJ #named: HAFIX: hardware-assisted flow integrity extension (LD, MH, DP, ARS, PK, DS, OA, YJ), p. 6.
DAC-2015-RahimiCMGB #clustering #embedded #hardware #memory management #scheduling #variability: Task scheduling strategies to mitigate hardware variability in embedded shared memory clusters (AR, DC, AM, RKG, LB), p. 6.
DAC-2015-WachsI #challenge #design #hardware #integration #security: Design and integration challenges of building security hardware IP (MW, DI), p. 6.
DAC-2015-ZhouAZYUGUJ #detection #embedded #hardware #using: Detecting hardware trojans using backside optical imaging of embedded watermarks (BZ, RA, MZ, TY, AU, BBG, MSÜ, AJ), p. 6.
DATE-2015-CakirM #clustering #correlation #detection #hardware #using: Hardware Trojan detection for gate-level ICs using signal correlation based clustering (BÇ, SM), pp. 471–476.
DATE-2015-CourbonLFT #detection #hardware #performance: A high efficiency hardware trojan detection technique based on fast SEM imaging (FC, PLM, JJAF, AT), pp. 788–793.
DATE-2015-DengFDWLTINLCW #fault #hardware #network: Retraining-based timing error mitigation for hardware neural networks (JD, YF, ZD, YW, HL, OT, PI, DN, XL, YC, CW), pp. 593–596.
DATE-2015-DinizSDBH #architecture #hardware #performance #standard #video: A deblocking filter hardware architecture for the high efficiency video coding standard (CMD, MS, FVD, SB, JH), pp. 1509–1514.
DATE-2015-DupuisBFNR #hardware #testing: New testing procedure for finding insertion sites of stealthy hardware trojans (SD, PSB, MLF, GDN, BR), pp. 776–781.
DATE-2015-FrancqF #detection #hardware: Introduction to hardware trojan detection methods (JF, FF), pp. 770–775.
DATE-2015-JiRML #hardware #implementation #logic #network #probability #using: A hardware implementation of a radial basis function neural network using stochastic logic (YJ, FR, CM, DJL), pp. 880–883.
DATE-2015-KainthKNVT #obfuscation: Hardware-assisted code obfuscation for FPGA soft microprocessors (MK, LK, CN, SGV, RT), pp. 127–132.
DATE-2015-KalaliH #2d #adaptation #energy #hardware: A low energy 2D adaptive median filter hardware (EK, IH), pp. 725–729.
DATE-2015-LeeJG #functional #hardware #performance #simulation: Dynamic power and performance back-annotation for fast and accurate functional hardware simulation (DL, LKJ, AG), pp. 1126–1131.
DATE-2015-LiuDNL #hardware #named #realtime: FastTree: a hardware KD-tree construction acceleration engine for real-time ray tracing (XL, YD, YN, ZL), pp. 1595–1598.
DATE-2015-MunchPHH #embedded #manycore #named #realtime #scalability #using: MPIOV: scaling hardware-based I/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges to (multi-core) multi-processor systems (DM, MP, OH, AH), pp. 579–584.
DATE-2015-NgoEBDGNRR #detection #hardware #metric: Hardware trojan detection by delay and electromagnetic measurements (XTN, IE, SB, JLD, SG, ZN, JBR, BR), pp. 782–787.
DATE-2015-OyaSYT #classification #identification: A score-based classification method for identifying hardware-trojans at gate-level netlists (MO, YS, MY, NT), pp. 465–470.
DATE-2015-PaulinoFBC #configuration management #execution #hardware #using: Transparent acceleration of program execution using reconfigurable hardware (NMCP, JCF, JB, JMPC), pp. 1066–1071.
DATE-2015-ReehmanCCS #approach #architecture #hardware #memory management #parallel: In-place memory mapping approach for optimized parallel hardware interleaver architectures (SUR, CC, PC, AS), pp. 896–899.
DATE-2015-SkalickySLF #framework #hardware #runtime: A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
DATE-2015-SonghoriMLK #automation #data analysis #framework #hardware #named: AHEAD: automated framework for hardware accelerated iterative data analysis (EMS, AM, XL, FK), pp. 942–947.
DATE-2015-ThomasFCG #hardware: Transparent linking of compiled software and synthesized hardware (DBT, STF, GAC, DRG), pp. 1084–1089.
DATE-2015-TuYOLW #architecture #configuration management #hardware #named: RNA: a reconfigurable architecture for hardware neural acceleration (FT, SY, PO, LL, SW), pp. 695–700.
DATE-2015-WartelKGBSTQLMB #analysis #case study #hardware: Timing analysis of an avionics case study on complex hardware/software platforms (FW, LK, AG, AB, ZRS, BT, EQ, CL, EM, IB, JA, LCG, TV, FJC), pp. 397–402.
DATE-2015-YazdanbakhshMTP #approximate #design #hardware #named: Axilog: language support for approximate hardware design (AY, DM, BT, JP, AN, SS, KR, NR, RJ, AR, HE, KB), pp. 812–817.
DATE-2015-ZhangJSPHP #hardware #manycore #named #pipes and filters: E-pipeline: elastic hardware/software pipelines on a many-core fabric (XZ, HJ, MS, JP, JH, SP), pp. 363–368.
VLDB-2015-Ailamaki #database #hardware: Databases and Hardware: The Beginning and Sequel of a Beautiful Friendship (AA), pp. 2058–2061.
VLDB-2015-Loaiza #database #hardware: Engineering Database Hardware and Software Together (JL), pp. 2052–2063.
VLDB-2015-MakreshanskiLS #hardware #memory management #transaction: To Lock, Swap, or Elide: On the Interplay of Hardware Transactional Memory and Lock-Free Indexing (DM, JJL, RS), pp. 1298–1309.
ICSME-2015-Vogel-HeuserFRF #automation #case study #challenge #hardware #industrial #maintenance: Challenges for maintenance of PLC-software and its related hardware for automated production systems: Selected industrial Case Studies (BVH, JF, SR, SF, SU), pp. 362–371.
ICSME-2015-WahlerEFP #hardware #legacy #manycore #migration: Migrating legacy control software to multi-core hardware (MW, RE, CF, YAP), pp. 458–466.
PLDI-2015-RenJKAK #execution #hardware #performance #recursion #source code: Efficient execution of recursive programs on commodity vector hardware (BR, YJ, SK, KA, MK), pp. 509–520.
CIAA-2015-Watson #automaton #finite #hardware #implementation #regular expression: Hardware Implementations of Finite Automata and Regular Expressions — Extended Abstract (BWW), pp. 13–17.
ICFP-2015-Sheeran #design #functional #hardware #programming #years after: Functional programming and hardware design: still interesting after all these years (MS), p. 165.
ASPLOS-2015-LiuHMHTS #memory management #named: GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.
ASPLOS-2015-MatveevS #hardware #hybrid #memory management #scalability #transaction: Reduced Hardware NOrec: A Safe and Scalable Hybrid Transactional Memory (AM, NS), pp. 59–71.
ASPLOS-2015-ZhangWSM #data flow #design #hardware #information management #security: A Hardware Design Language for Timing-Sensitive Information-Flow Security (DZ, YW, GES, ACM), pp. 503–516.
HPCA-2015-JinPSCSZ #fault #hardware #named: FTXen: Making hypervisor resilient to hardware faults on relaxed cores (XJ, SP, TS, RC, ZS, YZ), pp. 451–462.
HPDC-2015-BestaH #hardware #memory management #transaction: Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages (MB, TH), pp. 161–172.
LCTES-2015-ProcterHGBA #design #hardware #implementation #semantics #verification: Semantics Driven Hardware Design, Implementation, and Verification with ReWire (AMP, WLH, IG, MB, GA), p. 10.
PPoPP-2015-HaidarDLTD #hardware #linear #towards: Towards batched linear solvers on accelerated hardware platforms (AH, TD, PL, ST, JJD), pp. 261–262.
PPoPP-2015-XiangS #clustering #hardware #transaction: Software partitioning of hardware transactions (LX, MLS), pp. 76–86.
CAV-2015-VijayaraghavanC #composition #deduction #design #hardware #multi #verification: Modular Deductive Verification of Multiprocessor Hardware Designs (MV, AC, A, ND), pp. 109–127.
QoSA-2014-EtxeberriaTCS #hardware #nondeterminism #parametricity: Performance-based selection of software and hardware features under parameter uncertainty (LE, CT, VC, GS), pp. 23–32.
DAC-2014-AbarbanelSV #challenge #validation: Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions (YA, ES, MYV), p. 4.
DAC-2014-CocchiBCW #hardware #integration: Circuit Camouflage Integration for Hardware IP Protection (RPC, JPB, LWC, BJW), p. 5.
DAC-2014-CuiMSW #detection #hardware #runtime #synthesis: High-Level Synthesis for Run-Time Hardware Trojan Detection and Recovery (XC, KM, LS, KW), p. 6.
DAC-2014-DaviKS #control flow #embedded #fine-grained #performance #towards: Hardware-Assisted Fine-Grained Control-Flow Integrity: Towards Efficient Protection of Embedded Systems Against Software Exploitation (LD, PK, ARS), p. 6.
DAC-2014-HollerDKSF #co-evolution #design #encryption #hardware: Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications (AH, ND, CK, CS, TF), p. 6.
DAC-2014-HuWTT #hardware #monitoring #network #security: System-Level Security for Network Processors with Hardware Monitors (KH, TW, TT, RT), p. 6.
DAC-2014-KoKYKH #cpu #gpu #simulation: Hardware-in-the-loop Simulation for CPU/GPU Heterogeneous Platforms (YK, TK, YY, MK, SH), p. 6.
DAC-2014-KosmidisQAFWC #certification #hardware: Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware (LK, EQ, JA, GF, FW, FJC), p. 6.
DAC-2014-LiuHM #detection #hardware #statistics: Hardware Trojan Detection through Golden Chip-Free Statistical Side-Channel Fingerprinting (YL, KH, YM), p. 6.
DAC-2014-SchneiderPP #agile #analysis #multi: MASH{fifo}: A Hardware-Based Multiple Cache Simulator for Rapid FIFO Cache Analysis (JS, JP, SP), p. 6.
DAC-2014-SullivanBZZJ #functional #hardware #identification #named: FIGHT-Metric: Functional Identification of Gate-Level Hardware Trustworthiness (DS, JB, GZ, SZ, YJ), p. 4.
DAC-2014-TsoutsosKM #design #hardware: Advanced Techniques for Designing Stealthy Hardware Trojans (NGT, CK, MM), p. 4.
DAC-2014-ZhangPL #hardware #power management: Low Power GPGPU Computation with Imprecise Hardware (HZ, MP, JL), p. 6.
DATE-2014-BraojosDBAA #approach #hardware #manycore #power management: Hardware/software approach for code synchronization in low-power multi-core sensor nodes (RB, AYD, IB, GA, DA), pp. 1–6.
DATE-2014-BurgioDMCB #clustering #hardware #programmable #scalability: A tightly-coupled hardware controller to improve scalability and programmability of shared-memory heterogeneous clusters (PB, RD, AM, PC, LB), pp. 1–4.
DATE-2014-BurgioTCMB #clustering #embedded #hardware #memory management #parallel: Tightly-coupled hardware support to dynamic parallelism acceleration in embedded shared memory clusters (PB, GT, FC, AM, LB), pp. 1–6.
DATE-2014-DimitrakopoulosSPTMC #hardware #parallel #synthesis #thread: Hardware primitives for the synthesis of multithreaded elastic systems (GD, IS, AP, KT, PMM, JC), pp. 1–4.
DATE-2014-HamdiouiDNSBT #hardware: Hacking and protecting IC hardware (SH, JLD, GDN, FS, GvB, MT), pp. 1–7.
DATE-2014-LiuBC #hardware #image: Image progressive acquisition for hardware systems (JL, CSB, PYKC), pp. 1–6.
DATE-2014-NathanS #detection #fault #low cost #named: Nostradamus: Low-cost hardware-only error detection for processor cores (RN, DJS), pp. 1–6.
DATE-2014-NawinneSJP #performance: Hardware-based fast exploration of cache hierarchies in application specific MPSoCs (IN, JS, HJ, SP), pp. 1–6.
DATE-2014-PaulKBP #energy #hardware #memory management: Energy-efficient hardware acceleration through computing in the memory (SP, RK, SB, RP), pp. 1–6.
DATE-2014-SanderSDBBBMKALHRHH #hardware #manycore: Hardware virtualization support for shared resources in mixed-criticality multicore systems (OS, TS, VVD, SB, FB, JB, HUM, DK, DA, EL, JH, AR, CH, AH), pp. 1–6.
DATE-2014-SchollW #hardware #implementation #set: Hardware implementation of a Reed-Solomon soft decoder based on information set decoding (SS, NW), pp. 1–6.
DATE-2014-TtofisT #hardware #image #realtime: High-quality real-time hardware stereo matching based on guided image filtering (CT, TT), pp. 1–6.
SIGMOD-2014-Herlihy #hardware #memory management #transaction: Fun with hardware transactional memory (MH), p. 575.
SIGMOD-2014-LevandoskiLSBD #hardware: Indexing on modern hardware: hekaton and beyond (JJL, DBL, SS, AB, CD), pp. 717–720.
VLDB-2014-BressHSKMS #hardware #named: Ocelot/HyPE: Optimized Data Processing on Heterogeneous Hardware (SB, MH, MS, BK, VM, GS), pp. 1609–1612.
VLDB-2014-He #approximate #challenge #data transformation #hardware: When Data Management Systems Meet Approximate Hardware: Challenges and Opportunities (BH), pp. 877–880.
ITiCSE-2014-Sohoni: Making the hardware-software connection with PLP (SS), p. 324.
MSR-2014-HindleWRBCR #energy #framework #hardware #mining #named #repository: GreenMiner: a hardware based mining software repositories software energy consumption framework (AH, AW, KR, EJB, JCC, SR), pp. 12–21.
FM-2014-MaricS #hardware #memory management #transaction #verification: Verification of a Transactional Memory Manager under Hardware Failures and Restarts (OM, CS), pp. 449–464.
IFM-2014-JakobsPWW #hardware #verification: Integrating Software and Hardware Verification (MCJ, MP, HW, TW), pp. 307–322.
CHI-2014-LindtnerHD #hardware #human-computer: Emerging sites of HCI innovation: hackerspaces, hardware startups & incubators (SL, GDH, PD), pp. 439–448.
HCI-AIMT-2014-Man #hardware #using #video: Analysing Emotional Video Using Consumer EEG Hardware (JdM), pp. 729–738.
ASPLOS-2014-0001KOTRKSHC #named #policy #security: Sapper: a language for hardware-level security policy enforcement (XL, VK, JKO, MT, VRR, RK, TS, BH, FTC), pp. 97–112.
ASPLOS-2014-AgrawalPPTTL #hardware #named #parallel: Rhythm: harnessing data parallel hardware for server workloads (SRA, VP, JP, JT, DT, ARL), pp. 19–34.
ASPLOS-2014-ArulrajJL #hardware #memory management: Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.
ASPLOS-2014-LuponGMSMSD #float #hardware #multi: Speculative hardware/software co-designed floating-point multiply-add fusion (ML, EG, GM, SS, RM, KS, DRD), pp. 623–638.
ASPLOS-2014-RuwaseKGM #approach #hardware #named: Guardrail: a high fidelity approach to protecting hardware devices from buggy drivers (OR, MAK, PBG, TCM), pp. 655–670.
CGO-2014-JimboreanKSBK #approach #compilation #hardware #scalability: Fix the code. Don’t tweak the hardware: A new compiler approach to Voltage-Frequency scaling (AJ, KK, VS, DBS, SK), p. 262.
CGO-2014-NagarakatteMZ #named #pointer: WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking (SN, MMKM, SZ), p. 175.
HPCA-2014-LiuXGZC #concurrent #consistency #hardware #memory management #transaction #virtual machine: Concurrent and consistent virtual machine introspection with hardware transactional memory (YL, YX, HG, BZ, HC), pp. 416–427.
ISMM-2014-BaconCS #configuration management #garbage collection #hardware #parallel #realtime: Parallel real-time garbage collection of multiple heaps in reconfigurable hardware (DFB, PC, SS), pp. 117–127.
ISMM-2014-RitsonUJ #garbage collection #hardware #memory management #transaction: Exploring garbage collection with haswell hardware transactional memory (CGR, TU, REJ), pp. 105–115.
PPoPP-2014-OdairaCT #hardware #interpreter #memory management #ruby #transaction: Eliminating global interpreter locks in ruby through hardware transactional memory (RO, JGC, HT), pp. 131–142.
PPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance #thread: Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
ICTSS-2014-ChabotP #embedded #framework #hardware #monitoring: A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
CASE-2013-VenatorLN #architecture #hardware #industrial #mobile: Hardware and software architecture of ABBY: An industrial mobile manipulator (EV, GSL, WSN), pp. 324–329.
DAC-2013-AvinashBEPP #energy #fault #hardware: Improving energy gains of inexact DSP hardware through reciprocative error compensation (LA, AB, CCE, KVP, CP), p. 8.
DAC-2013-ChandrikakuttyUTW #hardware #monitoring #network: High-performance hardware monitors to protect network processors from data plane attacks (HC, DU, RT, TW), p. 6.
DAC-2013-KarakostasTUNC #energy #performance: Improving the energy efficiency of hardware-assisted watchpoint systems (VK, ST, OSÜ, MN, AC), p. 6.
DAC-2013-KinsmanKN #generative #sequence #validation: Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
DAC-2013-WangK #control flow #detection #hardware #kernel #named #performance #using: NumChecker: detecting kernel control-flow modifying rootkits by using hardware performance counters (XW, RK), p. 7.
DAC-2013-WeiP #detection #hardware: The undetectable and unprovable hardware trojan horse (SW, MP), p. 2.
DAC-2013-ZhangYWSX #hardware #named #trust #verification: VeriTrust: verification for hardware trust (JZ, FY, LW, ZS, QX), p. 8.
DATE-2013-HuNRK #detection #hardware #multimodal #using: High-sensitivity hardware trojan detection using multimodal characterization (KH, ANN, SR, FK), pp. 1271–1276.
DATE-2013-KhanSGH #collaboration #complexity #reduction: Hardware-software collaborative complexity reduction scheme for the emerging HEVC intra encoder (MUKK, MS, MG, JH), pp. 125–128.
DATE-2013-LeestT #hardware #security: Anti-counterfeiting with hardware intrinsic security (VvdL, PT), pp. 1137–1142.
DATE-2013-LotfianJ #architecture #hardware #power management #smarttech #using: An ultra-low power hardware accelerator architecture for wearable computers using dynamic time warping (RL, RJ), pp. 913–916.
DATE-2013-ObergMSK #framework #hardware #testing: A practical testing framework for isolating hardware timing channels (JO, SM, TS, RK), pp. 1281–1284.
DATE-2013-Pham-QuocHWABB #design #hardware #hybrid: Hybrid interconnect design for heterogeneous hardware accelerators (CPQ, JH, SW, ZAA, JB, KB), pp. 843–846.
DATE-2013-RehmanSAKCH #hardware #reliability: Leveraging variable function resilience for selective software reliability on unreliable hardware (SR, MS, PVA, FK, JJC, JH), pp. 1759–1764.
DATE-2013-RienerFF #fault tolerance: Improving fault tolerance utilizing hardware-software-co-synthesis (HR, SF, GF), pp. 939–942.
DATE-2013-SagstetterLSWBHJPPC #architecture #challenge #design #hardware #security: Security challenges in automotive hardware/software architecture design (FS, ML, SS, MW, AB, WRH, SJ, TP, AP, SC), pp. 458–463.
DATE-2013-ThabetLAPD #architecture #flexibility #hardware #manycore #performance: An efficient and flexible hardware support for accelerating synchronization operations on the STHORM many-core architecture (FT, YL, CA, JMP, RD), pp. 531–534.
DATE-2013-YalcinUC #detection #fault #hardware #memory management #named #transaction #using: FaulTM: error detection and recovery using hardware transactional memory (GY, OSÜ, AC), pp. 220–225.
VLDB-2013-HeimelSPMM #in memory #parallel: Hardware-Oblivious Parallelism for In-Memory Column-Stores (MH, MS, HP, SM, VM), pp. 709–720.
VLDB-2013-LevandoskiLS #hardware #named: LLAMA: A Cache/Storage Subsystem for Modern Hardware (JJL, DBL, SS), pp. 877–888.
VLDB-2013-Lomet #approach #database #hardware #sql: Microsoft SQL Server’s Integrated Database Approach for Modern Applications and Hardware (DBL), pp. 1178–1179.
SCAM-2013-FlochYMMMNALSDCWS #design #framework #hardware #named #prototype: GeCoS: A framework for prototyping custom hardware design flows (AF, TY, AEM, AM, KM, MN, MA, LL, NS, SD, FC, CW, OS), pp. 100–105.
CEFP-2013-Kuper #hardware #specification: Hardware Specification with CλaSH (JK), pp. 336–380.
ECOOP-2013-AuerbachBCFR #compilation #configuration management #graph #hardware: The Shape of Things to Run — Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime (JSA, DFB, PC, SF, RMR), pp. 679–706.
OOPSLA-2013-CarbinMR #hardware #reliability #source code #verification: Verifying quantitative reliability for programs that execute on unreliable hardware (MC, SM, MCR), pp. 33–52.
ESEC-FSE-2013-Nenashev #automation #hardware #named #programmable #re-engineering: PHRT: a model and programmable tool for hardware reengineering automation (ON), pp. 719–722.
ASPLOS-2013-ArulrajCJL #hardware #performance: Production-run software failure diagnosis via hardware performance counters (JA, PCC, GJ, SL), pp. 101–112.
ASPLOS-2013-GrossmanKBTDILSTYS #fine-grained #hardware: Hardware support for fine-grained event-driven computation in Anton 2 (JPG, JK, JAB, MT, ROD, DJI, RHL, UBS, BT, CY, DES), pp. 549–560.
ASPLOS-2013-KangW #approach #hardware: To hardware prefetch or not to prefetch?: a virtualized environment study and core binding approach (HK, JLW), pp. 357–368.
ASPLOS-2013-RaghavanESPPWM #hardware #testing: Computational sprinting on a hardware/software testbed (AR, LE, LS, MCP, KPP, TFW, MMKM), pp. 155–166.
ASPLOS-2013-SungKA #hardware #named #nondeterminism #performance: DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.
ASPLOS-2013-WangW #hardware #named #optimisation #performance: TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations (CW, YW), pp. 509–520.
PPoPP-2013-AfekLM #hardware #programming: Programming with hardware lock elision (YA, AL, AM), pp. 295–296.
PPoPP-2013-DiceLLLM #algorithm #hardware #memory management #transaction #using: Using hardware transactional memory to correct and simplify and readers-writer lock algorithm (DD, YL, YL, VL, MM), pp. 261–270.
CAV-2013-BraibantC #hardware #synthesis #verification: Formal Verification of Hardware Synthesis (TB, AC), pp. 213–228.
DAC-2012-BachrachVRLWAWA #embedded #hardware #named #scala: Chisel: constructing hardware in a Scala embedded language (JB, HV, BR, YL, AW, RA, JW, KA), pp. 1216–1225.
DAC-2012-ChanSSM #hardware #specification #synthesis: Specification and synthesis of hardware checkpointing and rollback mechanisms (CC, DSN, DS, SM), pp. 1226–1232.
DAC-2012-HuangLR #energy #hardware #trade-off #using: A methodology for energy-quality tradeoff using imprecise hardware (JH, JL, GR), pp. 504–509.
DAC-2012-HuangLWT #interface: A non-intrusive timing synchronization interface for hardware-assisted HW/SW co-simulation (YHH, YSL, HIW, RST), pp. 127–132.
DAC-2012-HuLWR #array #hardware #using: Hardware realization of BSB recall function using memristor crossbar arrays (MH, HL, QW, GSR), pp. 498–503.
DAC-2012-MalburgFF #automation #design #hardware #locality #metric #using: Automated feature localization for hardware designs using coverage metrics (JM, AF, GF), pp. 941–946.
DAC-2012-MiddendorfBH #hardware #recursion #synthesis: Hardware synthesis of recursive functions through partial stream rewriting (LM, CB, CH), pp. 1207–1215.
DAC-2012-WeiLKP #benchmark #hardware #metric: Hardware Trojan horse benchmark via optimal creation and placement of malicious circuitry (SW, KL, FK, MP), pp. 90–95.
DATE-2012-Al-HashimiM #framework #hardware #question #verification: Accelerators and emulators: Can they become the platform of choice for hardware verification? (BMAH, RM), p. 430.
DATE-2012-BeaumontHN #architecture #execution #hardware #replication #security #using: SAFER PATH: Security architecture using fragmented execution and replication for protection against trojaned hardware (MRB, BDH, TN), pp. 1000–1005.
DATE-2012-LiDT #authentication #detection #framework #hardware #self: A sensor-assisted self-authentication framework for hardware trojan detection (ML, AD, MT), pp. 1331–1336.
DATE-2012-LiRP #embedded #hardware #named: Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.
DATE-2012-StipicTZCUV #data access #hardware #metadata #named #performance: TagTM — accelerating STMs with hardware tags for fast meta-data access (SS, ST, FZ, AC, OSÜ, MV), pp. 39–44.
DATE-2012-TtofisT #adaptation #algorithm #hardware #implementation #realtime #towards: Towards accurate hardware stereo correspondence: A real-time FPGA implementation of a segmentation-based adaptive support weight algorithm (CT, TT), pp. 703–708.
VLDB-2012-PorobicPBTA #hardware: OLTP on Hardware Islands (DP, IP, MB, PT, AA), pp. 1447–1458.
ITiCSE-2012-Black #cpu #design #education #hardware: A hardware simulator for teaching CPU design (MB), p. 380.
ITiCSE-2012-GoldweberDJ #hardware #operating system #using: Supporting operating systems projects using the μMPS2 hardware simulator (MG, RD, TJ), pp. 63–68.
TFPIE-2012-ODonnell #education #functional #hardware #using: Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (JTO), pp. 20–39.
PLDI-2012-BaconCS #configuration management #garbage collection #hardware #realtime: And then there were none: a stall-free real-time garbage collector for reconfigurable hardware (DFB, PC, SS), pp. 23–34.
CSCW-2012-MellisB #arduino #collaboration #hardware #open source: Collaboration in open-source hardware: third-party variations on the arduino duemilanove (DM, LB), pp. 1175–1178.
AdaEurope-2012-GregertsenS #execution #hardware #performance #using: Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit (KNG, AS), pp. 177–192.
KDD-2012-RoyTA #hardware #manycore #performance: Efficient frequent item counting in multi-core hardware (PR, JT, GA), pp. 1451–1459.
OOPSLA-2012-SartorE #concurrent #hardware #java #manycore #performance #thread: Exploring multi-threaded Java application performance on multicore hardware (JBS, LE), pp. 281–296.
PPDP-2012-TriossiORF #compilation #hardware #parallel: Compiling CHR to parallel hardware (AT, SO, AR, TWF), pp. 173–184.
ASPLOS-2012-FerdmanAKVAJKPAF #case study #hardware: Clearing the clouds: a study of emerging scale-out workloads on modern hardware (MF, AA, YOK, SV, MA, DJ, CK, ADP, AA, BF), pp. 37–48.
ASPLOS-2012-KingDA #automation #generative #hardware #interface: Automatic generation of hardware/software interfaces (MK, ND, A), pp. 325–336.
HPCA-2012-BensonCFHGNS #design #hardware #implementation #integration: Design, integration and implementation of the DySER hardware accelerator into OpenSPARC (JB, RC, CF, CHH, VG, TN, KS), pp. 115–126.
HPCA-2012-NegiGAGS #hardware #lazy evaluation #memory management #named #scalability #transaction: π-TM: Pessimistic invalidation for scalable lazy hardware transactional memory (AN, JRTG, MEA, JMG, PS), pp. 141–152.
HPCA-2012-QiONMT #hardware #named #symmetry: Pacman: Tolerating asymmetric data races with unintrusive hardware (SQ, NO, LON, AM, JT), pp. 349–360.
ISMM-2012-InoueN #hardware #identification #java #source code: Identifying the sources of cache misses in Java programs without relying on hardware counters (HI, TN), pp. 133–142.
OSDI-2012-KotlaRRSW #data access #hardware #named #using: Pasture: Secure Offline Data Access Using Commodity Trusted Hardware (RK, TR, IR, PS, BW), pp. 321–334.
ISSTA-2012-Walcott-JusticeMS #hardware #monitoring #named #testing: THeME: a system for testing by hardware monitoring events (KWJ, JM, MLS), pp. 12–22.
ASE-2011-LiXBLM #formal method #hardware #interface #specification: Formalizing hardware/software interface specifications (JL, FX, TB, VL, CM), pp. 143–152.
DAC-2011-AuerbachBCRS #hardware #object-oriented: Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language (JSA, DFB, PC, RMR, SS), pp. 890–894.
DAC-2011-MoffittSV #clustering #functional #robust #verification: Robust partitioning for hardware-accelerated functional verification (MDM, MAS, PGV), pp. 854–859.
DAC-2011-NguyenWSK #abstraction #hardware: Formal hardware/software co-verification by interval property checking with abstraction (MDN, MW, DS, WK), pp. 510–515.
DATE-2011-AgyekumN #communication #hardware #robust: A delay-insensitive bus-invert code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 1370–1375.
DATE-2011-AliCMB #encryption #hardware #multi #security: Multi-level attacks: An emerging security concern for cryptographic hardware (SA, RSC, DM, SB), pp. 1176–1179.
DATE-2011-ChangMFWHYN #architecture #hardware #hybrid #optimisation: Optimization of stateful hardware acceleration in hybrid architectures (XC, YM, HF, KW, RH, HY, TN), pp. 567–570.
DATE-2011-Cilardo #configuration management #hardware: The potential of reconfigurable hardware for HPC cryptanalysis of SHA-1 (AC), pp. 998–1003.
DATE-2011-KunzGW #hardware #memory management #performance #transaction: Improving the efficiency of a hardware transactional memory on an NoC-based MPSoC (LK, GG, FRW), pp. 1168–1171.
DATE-2011-KyrkouTT #detection #hardware: Depth-directed hardware object detection (CK, CT, TT), pp. 1442–1447.
DATE-2011-SunYW #co-evolution #design #framework #network #uml: A UML 2-based hardware-software co-design framework for body sensor network applications (ZS, CTY, WFW), pp. 1505–1508.
DATE-2011-TendulkarPNKNK #communication #hardware #runtime: Fine-grain OpenMP runtime support with explicit communication hardware primitives (PT, VP, GN, SGK, DSN, MK), pp. 891–894.
DATE-2011-WagnerL #distributed #framework #hardware: Distributed hardware matcher framework for SoC survivability (IW, SLL), pp. 305–310.
DATE-2011-ZattSBH #architecture #estimation #hardware #parallel #pipes and filters #throughput #video: Multi-level pipelined parallel hardware architecture for high throughput motion and disparity estimation in Multiview Video Coding (BZ, MS, SB, JH), pp. 1448–1453.
DATE-2011-ZhangT #detection #hardware #named #network: RON: An on-chip ring oscillator network for hardware Trojan detection (XZ, MT), pp. 1638–1643.
SIGMOD-2011-BajajS #database #hardware #named #privacy: TrustedDB: a trusted hardware based database with privacy and data confidentiality (SB, RS), pp. 205–216.
VLDB-2011-BajajS #database #hardware #named #outsourcing: TrustedDB: A Trusted Hardware based Outsourced Database Engine (SB, RS), pp. 1359–1362.
VLDB-2011-Neumann #compilation #hardware #performance #query: Efficiently Compiling Efficient Query Plans for Modern Hardware (TN0), pp. 539–550.
TACAS-2011-AlglaveMSS #hardware #named #testing: Litmus: Running Tests against Hardware (JA, LM, SS, PS), pp. 41–44.
PLDI-2011-LiTOKCSH #data flow #hardware #named: Caisson: a hardware description language for secure information flow (XL, MT, JO, VK, FTC, TS, BH), pp. 109–120.
ICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis: Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.
IFL-2011-Megacz #design #hardware: Hardware Design with Generalized Arrows (AM), pp. 164–180.
AdaEurope-2011-Burns #hardware #parallel #programming language #realtime: Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
SAC-2011-LinXYYZGQCG #anti #hardware #named #using: SPAD: software protection through anti-debugging using hardware virtualization (QL, MX, MY, PY, MZ, SG, ZQ, KC, HG), pp. 623–624.
ICSE-2011-SoffaWM #debugging #hardware #testing: Exploiting hardware advances for software testing and debugging (MLS, KRW, JM), pp. 888–891.
ASPLOS-2011-CasperOHBKO #hardware #memory management #transaction: Hardware acceleration of transactional memory on commodity systems (JC, TO, SH, NGB, CK, KO), pp. 27–38.
ASPLOS-2011-DalessandroCWLMSS #case study #effectiveness #hardware #hybrid #memory management #transaction: Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory (LD, FC, SW, YL, MM, MLS, MFS), pp. 39–52.
ASPLOS-2011-EsmaeilzadehCXBM #hardware #performance #roadmap #scalability: Looking back on the language and hardware revolutions: measured power, performance, and scaling (HE, TC, XY, SMB, KSM), pp. 319–332.
ASPLOS-2011-RyzhykKMRVH #hardware #reliability #reuse #verification: Improved device driver reliability through hardware verification reuse (LR, JK, BM, AR, MV, GH), pp. 133–144.
HPCA-2011-CarreteroVARMG #hardware #process #using: Hardware/software-based diagnosis of load-store queues using expandable activity logs (JC, XV, JA, TR, MM, AG), pp. 321–331.
HPCA-2011-LeeTST #fine-grained #multi #named #thread: HAQu: Hardware-accelerated queueing for fine-grained threading on a chip multiprocessor (SL, DT, YS, JT), pp. 99–110.
HPCA-2011-LiuLNMMH #hardware: Hardware/software techniques for DRAM thermal management (SL, BL, AN, SOM, GM, NH), pp. 515–525.
CAV-2011-MullerP #hardware #interface #verification: Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus (CAM, WJP), pp. 633–648.
ICST-2011-Bhattacharya #hybrid #verification: SoftwareHardware Hybrid Systems Verification (NB), pp. 435–438.
CASE-2010-LamS #hardware: Accelerating shortest path computations in hardware (SKL, TS), pp. 63–68.
DAC-2010-Breuer #bound #hardware: Hardware that produces bounded rather than exact results (MAB), pp. 871–876.
DAC-2010-ChakradharR #hardware #parallel: Best-effort computing: re-thinking parallel software and hardware (STC, AR), pp. 865–870.
DAC-2010-ChippaMRRC #algorithm #design #energy #hardware #performance #scalability: Scalable effort hardware design: exploiting algorithmic resilience for energy efficiency (VKC, DM, AR, KR, STC), pp. 555–560.
DAC-2010-KinsmanN #algorithm #design #hardware #robust: Robust design methods for hardware accelerators for iterative algorithms in scientific computing (ABK, NN), pp. 254–257.
DAC-2010-WeiMP #hardware #security: Gate-level characterization: foundations and hardware security applications (SW, SM, MP), pp. 222–227.
DATE-2010-AgyekumN #communication #hardware #robust: An error-correcting unordered code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 765–770.
DATE-2010-AhlendorfG #challenge #design #hardware #monitoring #power management: Hardware / software design challenges of low-power sensor nodes for condition monitoring (HA, LG), p. 659.
DATE-2010-AkinSH #configuration management #estimation #hardware #multi: A reconfigurable hardware for one bit transform based multiple reference frame Motion Estimation (AA, GS, IH), pp. 393–398.
DATE-2010-DasMZC #detection #hardware #information management #memory management: Detecting/preventing information leakage on the memory bus due to malicious hardware (AD, GM, JZ, ANC), pp. 861–866.
DATE-2010-Fettweis #energy: The road to energy-efficient systems: From hardware-driven to software-defined (GF), p. 477.
DATE-2010-GiraldoMJM #hardware #using: A HMMER hardware accelerator using divergences (JFEG, NM, RPJ, ACMAdM), pp. 405–410.
DATE-2010-GuFP #compilation #hardware #scheduling: Path-based scheduling in a hardware compiler (RG, AF, RNP), pp. 1317–1320.
DATE-2010-HadjitheophanousTGT #3d #hardware #re-engineering #realtime #towards: Towards hardware stereoscopic 3D reconstruction a real-time FPGA computation of the disparity map (SH, CT, ASG, TT), pp. 1743–1748.
DATE-2010-LopezSPLC #hardware #image: Exploration of hardware sharing for image encoders (SL, RS, PGP, WL, PYKC), pp. 1737–1742.
DATE-2010-NeishaburiZ #clustering #debugging #performance: Enabling efficient post-silicon debug by clustering of hardware-assertions (MHN, ZZ), pp. 985–988.
DATE-2010-Schlager #hardware #interactive #performance: Increasing the power efficiency of PCs by improving the hardware/OS interaction (CS), p. 1005.
SIGMOD-2010-MullerTA #compilation #named: Glacier: a query-to-hardware compiler (RM, JT, GA), pp. 1159–1162.
VLDB-2010-SadoghiJLSS #algorithm #configuration management #hardware #performance: Efficient Event Processing through Reconfigurable Hardware for Algorithmic Trading (MS, HAJ, ML, WS, HS), pp. 1525–1528.
FASE-2010-LiXBLM #approach #hardware: An Automata-Theoretic Approach to Hardware/Software Co-verification (JL, FX, TB, VL, CM), pp. 248–262.
AdaEurope-2010-White #ada #hardware #scheduling #using: Using Hardware Support for Scheduling with Ada (RW), pp. 125–138.
KEOD-2010-BarrosoAG #encryption #hardware #in the cloud #process: Key Management Process on the Hardware Cryptographic Module in the Cloud Computing (JMDB, LJA, PGG), pp. 493–496.
SEKE-2010-BinGHMMPRST #hardware #ontology #tool support #verification: Ontology-Based Tools in the Service of Hardware Verification (EB, AG, KH, EM, RM, OP, MR, GS, ET), pp. 303–308.
OOPSLA-2010-KouP #hardware #object-oriented #question: From OO to FPGA: fitting round objects into square hardware? (SK, JP), pp. 109–124.
SAC-2010-SiderisMP #hardware #java: A hardware peripheral for Java bytecodes translation acceleration (IS, NKM, KZP), pp. 552–553.
FSE-2010-YilmazP #hardware: Combining hardware and software instrumentation to classify program executions (CY, AAP), pp. 67–76.
ASPLOS-2010-NeelakantamDZ #evaluation #hardware: A real system evaluation of hardware atomicity for software speculation (NN, DRD, CBZ), pp. 29–38.
CGO-2010-ChenVHLRYCZ #compilation #hardware: Taming hardware event samples for FDO compilation (DC, NV, RH, SwL, VR, PY, WC, WZ), pp. 42–52.
HPCA-2010-Arvind #hardware #question: Is hardware innovation over? (A), p. 1.
HPCA-2010-DoudalisP #execution #hardware #named: HARE: Hardware assisted reverse execution (ID, MP), pp. 1–12.
PPoPP-2010-Arvind #hardware #question: Is hardware innovation over? (A), pp. 103–104.
CAV-2010-LiXBL #analysis #automaton #hardware #performance #reachability: Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification (JL, FX, TB, VL), pp. 339–353.
ICST-2010-SyedRW #fault #hardware #question: Does Hardware Configuration and Processor Load Impact Software Fault Observability? (RAS, BR, LAW), pp. 285–294.
DAC-2009-BorgstromHWADCMCN #hardware #hybrid #prototype #question: System prototypes: virtual, hardware or hybrid? (TB, EH, RW, DA, AD, RC, OM, CC, AN), pp. 1–3.
DAC-2009-DengCS #authentication #hardware #performance #simulation: Hardware authentication leveraging performance limits in detailed simulations and emulations (DYD, AHC, GES), pp. 682–687.
DAC-2009-PellauerACE #composition #problem: Soft connections: addressing the hardware-design modularity problem (MP, MA, DC, JSE), pp. 276–281.
DAC-2009-PotkonjakNNM #detection #hardware #using: Hardware Trojan horse detection using gate-level characterization (MP, AN, MN, TM), pp. 688–693.
DAC-2009-RaabeB #hardware #sketching: Synthesizing hardware from sketches (AR, RB), pp. 623–624.
DAC-2009-ReddiGSWBC #challenge #hardware #reliability #stack: Software-assisted hardware reliability: abstracting circuit-level challenges to the software stack (VJR, SC, MSG, MDS, GYW, DMB), pp. 788–793.
DAC-2009-YagiREAVS #design: The wild west: conquest of complex hardware-dependent software design (HY, WR, JE, JA, KAV, MS), pp. 878–879.
DATE-2009-DabiriP #hardware: Hardware aging-based software metering (FD, MP), pp. 460–465.
DATE-2009-GhermanECSB: System-level hardware-based protection of memories against soft-errors (VG, SE, MC, NS, YB), pp. 1222–1225.
DATE-2009-Gomez-PradoRCGB #data flow #graph #hardware #implementation #optimisation: Optimizing data flow graphs to minimize hardware implementation (DGP, QR, MJC, JG, EB), pp. 117–122.
DATE-2009-HaastregtK #automation #c #hardware #network #process #streaming #synthesis: Automated synthesis of streaming C applications to process networks in hardware (SvH, BK), pp. 890–893.
DATE-2009-HaoX #component #design #hardware #interface: Componentizing hardware/software interface design (KH, FX), pp. 232–237.
DATE-2009-HenzenCFF #evaluation #hardware: Hardware evaluation of the stream cipher-based hash functions RadioGatún and irRUPT (LH, FC, NF, WF), pp. 646–651.
DATE-2009-KhanK09a #architecture #co-evolution #design #hardware #multi: Hardware/software co-design architecture for thermal management of chip multiprocessors (OK, SK), pp. 952–957.
DATE-2009-LettninNBRGKRSR #hardware #verification: Semiformal verification of temporal properties in automotive hardware dependent software (DL, PKN, JB, JR, JG, TK, WR, VS, SR), pp. 1214–1217.
DATE-2009-OetjensGGN #automation #hardware #process: An automated flow for integrating hardware IP into the automotive systems engineering process (JHO, RG, JG, WN), pp. 1196–1201.
DATE-2009-ShafiqueBH #approach #design #hardware #parallel #performance #predict #video: A parallel approach for high performance hardware design of intra prediction in H.264/AVC Video Codec (MS, LB, JH), pp. 1434–1439.
DATE-2009-TasdizenKAH #architecture #configuration management #estimation #hardware #performance: A high performance reconfigurable Motion Estimation hardware architecture (OT, HK, AA, IH), pp. 882–885.
DATE-2009-WagnerB #hardware #manycore #named: Caspar: Hardware patching for multicore processors (IW, VB), pp. 658–663.
PLDI-2009-MehraraHHM #hardware #low cost #memory management #transaction #using: Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory (MM, JH, PCH, SAM), pp. 166–176.
IFM-2009-Cook #bound #hardware #synthesis: Taming the Unbounded for Hardware Synthesis (BC), p. 39.
HCI-NIMT-2009-VarcholikLN #hardware #interactive #multi #named #research #testing: TACTUS: A Hardware and Software Testbed for Research in Multi-Touch Interaction (PV, JJLJ, DMN), pp. 523–532.
ECOOP-2009-Click #co-evolution #design #hardware #java: Java on 1000 Cores: Tales of Hardware/Software Co-design (CC), p. 444.
OOPSLA-2009-HaABM #concurrent #dynamic analysis #framework #hardware #manycore: A concurrent dynamic analysis framework for multicore hardware (JH, MA, SMB, KSM), pp. 155–174.
OOPSLA-2009-InoueN #hardware #how #java #monitoring #performance #virtual machine: How a Java VM can get more from a hardware performance monitor (HI, TN), pp. 137–154.
GPCE-2009-Nikhil #design #hardware #using: Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design) (RSN), pp. 1–2.
SAC-2009-QiuLS #embedded #framework #hardware #optimisation #realtime: Heterogeneous real-time embedded software optimization considering hardware platform (MQ, HL, EHMS), pp. 1637–1641.
ASPLOS-2009-DiceLMN #experience #hardware #implementation #memory management #transaction: Early experience with a commercial hardware transactional memory implementation (DD, YL, MM, DN), pp. 157–168.
ASPLOS-2009-MontesinosHKT #interface #multi #named: Capo: a software-hardware interface for practical deterministic multiprocessor replay (PM, MH, STK, JT), pp. 73–84.
CC-2009-KnightsMSMD #hardware #optimisation: Blind Optimization for Exploiting Hardware Features (DK, TM, PFS, MCM, AD), pp. 251–265.
CGO-2009-CuthbertsonVBAS #approach #hardware #monitoring #optimisation #performance #virtual machine: A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM (JC, SV, KB, AA, EK, US), pp. 190–199.
HPCA-2009-AwasthiSBC #capacity #scalability: Dynamic hardware-assisted software-controlled page placement to manage capacity allocation and sharing within large caches (MA, KS, RB, JBC), pp. 250–261.
HPCA-2009-KongASZ: Hardware-software integrated approaches to defend against software cache-based side channel attacks (JK, OA, JPS, HZ), pp. 393–404.
HPCA-2009-LiRKHA #architecture #fault #hardware #modelling: Accurate microarchitecture-level fault modeling for studying hardware faults (MLL, PR, URK, SKSH, SVA), pp. 105–116.
LCTES-2009-FidgeC #analysis #data flow #hardware: Integrating hardware and software information flow analyses (CJF, DC), pp. 157–166.
PPoPP-2009-AbadiHM #hardware #memory management #off the shelf #transaction #using: Transactional memory with strong atomicity using off-the-shelf memory protection hardware (MA, TH, MM), pp. 185–196.
PPoPP-2009-Quintana-OrtiIQG #hardware #linear #multi: Solving dense linear systems on platforms with multiple hardware accelerators (GQO, FDI, ESQO, RAvdG), pp. 121–130.
SOSP-2009-KadavRS #hardware: Tolerating hardware device failures in software (AK, MJR, MMS), pp. 59–72.
ISSTA-2009-BotaschanjanH #fault #hardware #modelling #orthogonal #specification: Specifying the worst case: orthogonal modeling of hardware errors (JB, BH), pp. 273–284.
LICS-2009-Ghica #game studies #hardware #program analysis #semantics #synthesis: Applications of Game Semantics: From Program Analysis to Hardware Synthesis (DRG), pp. 17–26.
DAC-2008-AhmadiZ #analysis #approach #hardware #optimisation: Symbolic noise analysis approach to computational hardware optimization (AA, MZ), pp. 391–396.
DAC-2008-DavisTYZ #configuration management #hardware #satisfiability: A practical reconfigurable hardware accelerator for Boolean satisfiability solvers (JDD, ZT, FY, LZ), pp. 780–785.
DAC-2008-HamersE #automation #identification #independence: Automated hardware-independent scenario identification (JH, LE), pp. 954–959.
DAC-2008-PatelP #design #hardware #named #reliability #security: SHIELD: a software hardware design methodology for security and reliability of MPSoCs (KP, SP), pp. 858–861.
DAC-2008-RoyKM #hardware: Protecting bus-based hardware IP by secret sharing (JAR, FK, ILM), pp. 846–851.
DATE-2008-AltCS #algorithm #architecture #detection #hardware #realtime: Hardware/software architecture of an algorithm for vision-based real-time vehicle detection in dark environments (NA, CC, WS), pp. 176–181.
DATE-2008-ArteagaF #architecture #hardware #implementation #named #novel: GMDS: Hardware implementation of novel real output queuing architecture (RA, FT, REC, VdA, RS), pp. 1450–1455.
DATE-2008-RealCCDV #analysis #hardware: Defeating classical Hardware Countermeasures: a new processing for Side Channel Analysis (DR, CC, JC, MD, FV), pp. 1274–1279.
DATE-2008-RoginKFDR #automation #design #generative #hardware: Automatic Generation of Complex Properties for Hardware Designs (FR, TK, GF, RD, SR), pp. 545–548.
TACAS-2008-Malik #hardware #verification: Hardware Verification: Techniques, Methodology and Solutions (SM), p. 1.
PEPM-2008-FeiginM #hardware: Jones optimality and hardware virtualization: a report on work in progress (BF, AM), pp. 169–175.
PEPM-2008-GillenwaterMSZTGO #hardware #static typing #using: Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability (JG, GM, CS, AYZ, WT, JG, JO), pp. 41–50.
PLDI-2008-FengSDG #hardware #low level #source code #thread: Certifying low-level programs with hardware interrupts and preemptive threads (XF, ZS, YD, YG), pp. 170–182.
ECOOP-2008-HuangHBR #bound #hardware #object-oriented #programming: Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary (SSH, AH, DFB, RMR), pp. 76–103.
SAC-2008-CohenBP #visualisation: The volume in focus: hardware-assisted focus and context effects for volume visualization (MC, KWB, NP), pp. 1231–1235.
SAC-2008-LoTP #detection #hardware #implementation #network #regular expression: Hardware implementation for network intrusion detection rules with regular expression support (CTDL, YGT, KP), pp. 1535–1539.
SAC-2008-PerngCK #configuration management #embedded #hardware: The minimization of hardware size in reconfigurable embedded platforms (NCP, JJC, TWK), pp. 1517–1522.
ASPLOS-2008-McCunePPRS #execution #how #recommendation: How low can you go?: recommendations for hardware-supported minimal TCB code execution (JMM, BP, AP, MKR, AS), pp. 14–25.
ASPLOS-2008-NightingalePCF #hardware #security: Parallelizing security checks on commodity hardware (EBN, DP, PMC, JF), pp. 308–318.
ASPLOS-2008-ShenZDLSZ #hardware #on the fly: Hardware counter driven on-the-fly request signatures (KS, MZ, SD, CL, CS, XZ), pp. 189–200.
ASPLOS-2008-TuckACT #analysis #hardware #named #optimisation: SoftSig: software-exposed hardware signatures for code analysis and optimization (JT, WA, LC, JT), pp. 145–156.
CC-2008-BergeronFD #compilation #configuration management #hardware #jit #off the shelf: Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs (EB, MF, JPD), pp. 178–192.
CGO-2008-FanPKM #hardware #reuse #scheduling: Modulo scheduling for highly customized datapaths to increase hardware reusability (KF, HP, MK, SAM), pp. 124–133.
HPCA-2008-FenschC #hardware: An OS-based alternative to full hardware coherence on tiled CMPs (CF, MC), pp. 355–366.
ISMM-2008-GormanH #hardware: Supporting superpage allocation without additional hardware support (MG, PH), pp. 41–50.
OSDI-2008-ZeldovichKDK #hardware #memory management #policy #security #using: Hardware Enforcement of Application Security Policies Using Tagged Memory (NZ, HK, MD, CK), pp. 225–240.
PPoPP-2008-LevM #hardware #memory management #transaction #using: Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory (YL, JWM), pp. 197–206.
SAT-2008-DavisTYZ #design #hardware #performance #satisfiability: Designing an Efficient Hardware Implication Accelerator for SAT Solving (JDD, ZT, FY, LZ), pp. 48–62.
CASE-2007-GuHTY #automation: Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs (FG, WSH, DMT, CY), pp. 1105–1110.
DAC-2007-GoldgeisserCD #hardware #modelling: Modeling Safe Operating Area in Hardware Description Languages (LBG, EC, ZD), pp. 377–382.
DAC-2007-IrvineL #hardware #question: Trusted Hardware: Can It Be Trustworthy? (CEI, KNL), pp. 1–4.
DAC-2007-MaoW #embedded #hardware: Hardware Support for Secure Processing in Embedded Systems (SM, TW), pp. 483–488.
DATE-2007-AlhoHHH #design #hardware: Compact hardware design of Whirlpool hashing core (TA, PH, MH, TDH), pp. 1247–1252.
DATE-2007-BloemGJPPW #automation #case study #hardware #interactive #specification #synthesis: Interactive presentation: Automatic hardware synthesis from specifications: a case study (RB, SJG, BJ, NP, AP, MW), pp. 1188–1193.
DATE-2007-ClausZMS #configuration management #hardware #using #video: Using partial-run-time reconfigurable hardware to accelerate video processing in driver assistance system (CC, JZ, FHM, WS), pp. 498–503.
DATE-2007-LinFYL #design #encryption #hardware: Overcoming glitches and dissipation timing skews in design of DPA-resistant cryptographic hardware (KJL, SCF, SHY, CCL), pp. 1265–1270.
DATE-2007-ManetMTCMGLAGLB #configuration management #hardware #interactive #programmable: Interactive presentation: RECOPS: reconfiguring programmable devices for military hardware electronics (PM, DM, LT, MDC, OM, YG, JDL, DA, CG, RL, VLB), pp. 994–999.
DATE-2007-MavroidisP #hardware #performance #synthesis: Efficient testbench code synthesis for a hardware emulator system (IM, IP), pp. 888–893.
DATE-2007-MossNFFBA #hardware #performance #simulation: Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support (LM, MdN, LF, SF, GB, EMA), pp. 876–881.
DATE-2007-NaculRL #architecture #hardware #scheduling: Hardware scheduling support in SMP architectures (ACN, FR, ML), pp. 642–647.
DATE-2007-PeterLP #encryption #flexibility #hardware #reduction: Flexible hardware reduction for elliptic curve cryptography in GF(2m) (SP, PL, KP), pp. 1259–1264.
DATE-2007-SahinH #algorithm #architecture #hardware #interactive #performance #predict: Interactive presentation: An efficient hardware architecture for H.264 intra prediction algorithm (ES, IH), pp. 183–188.
WRLA-2006-KatelmanM07 #analysis #co-evolution #design #hardware #semantics: A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (MK, JM), pp. 47–60.
PLDI-2007-SchneiderPG #hardware #monitoring #online #optimisation #performance: Online optimizations driven by hardware performance monitoring (FTS, MP, TRG), pp. 373–382.
SAS-2007-BanterleG #abstract domain #hardware #implementation #performance: A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.
SAS-2007-Mycroft #analysis #design #evolution #hardware #motivation #programming language: Programming Language Design and Analysis Motivated by Hardware Evolution (AM), pp. 18–33.
AGTIVE-2007-SchosserG #graph grammar #hardware #optimisation: Graph Rewriting for Hardware Dependent Program Optimizations (AS, RG), pp. 233–248.
SAC-2007-ChenL #hardware: Use of hardware Z-buffered rasterization to accelerate ray tracing (CCC, DSML), pp. 1046–1050.
SAC-2007-StanchinaM #algorithm #garbage collection #performance #realtime: Exploiting the efficiency of generational algorithms for hardware-supported real-time garbage collection (SS, MM), pp. 713–718.
SAC-2007-YiKOJKD #detection #hardware #performance: Memory-efficient content filtering hardware for high-speed intrusion detection systems (SY, BKK, JO, JJ, GK, CRD), pp. 264–269.
COCV-2007-BloemGJPPW #hardware: Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.
HPCA-2007-ClarkHYMF #hardware #lightweight #using: Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping (NC, AH, SY, SAM, KF), pp. 216–227.
HPCA-2007-SrinathMKP #feedback #hardware #performance: Feedback Directed Prefetching: Improving the Performance and Bandwidth-Efficiency of Hardware Prefetchers (SS, OM, HK, YNP), pp. 63–74.
HPCA-2007-YenBMMVHSW #hardware #memory management #named #transaction: LogTM-SE: Decoupling Hardware Transactional Memory from Caches (LY, JB, MRM, KEM, HV, MDH, MMS, DAW), pp. 261–272.
HPCA-2007-ZhouTZ #concurrent #detection #named: HARD: Hardware-Assisted Lockset-based Race Detection (PZ, RT, YZ), pp. 121–132.
ISMM-2007-StanchinaM #algorithm #implementation #realtime: Mark-sweep or copying?: a “best of both worlds” algorithm and a hardware-supported real-time implementation (SS, MM), pp. 173–182.
SOSP-2007-RossbachHPRAW #hardware #memory management #named #operating system #transaction #using: TxLinux: using and managing hardware transactional memory in an operating system (CJR, OSH, DEP, HER, BA, EW), pp. 87–102.
DAC-2006-KumarSPJ #approach #coordination #named: HybDTM: a coordinated hardware-software approach for dynamic thermal management (AK, LS, LSP, NKJ), pp. 548–553.
DAC-2006-PillSCRBC #analysis #formal method #hardware #requirements: Formal analysis of hardware requirements (IP, SS, RC, MR, RB, AC), pp. 821–826.
DATE-2006-LinHF #hardware #interface: Cooptimization of interface hardware and software for I/O controllers (KJL, SHH, SCF), pp. 724–725.
DATE-2006-LiuBCLM #architecture #hardware #performance: Hardware efficient architectures for Eigenvalue computation (YL, CSB, PYKC, PHWL, SJM), pp. 953–958.
DATE-2006-MonchieroPSV #hardware #optimisation #performance: Power/performance hardware optimization for synchronization intensive applications in MPSoCs (MM, GP, CS, OV), pp. 606–611.
DATE-2006-PanditKMP #hardware #higher-order #synthesis: High level synthesis of higher order continuous time state variable filters with minimum sensitivity and hardware count (SP, SK, CAM, AP), pp. 1203–1204.
DATE-2006-ScharwachterHLAM #hardware #interprocedural #multi #network #optimisation #thread #using: An interprocedural code optimization technique for network processors using hardware multi-threading support (HS, MH, RL, GA, HM), pp. 919–924.
DATE-2006-SchaumontSV #design #hardware #semantics: Design with race-free hardware semantics (PS, SKS, IV), pp. 571–576.
DATE-DF-2006-PapaefstathiouP #classification: A hardware-engine for layer-2 classification in low-storage, ultra-high bandwidth environments (VP, IP), pp. 112–117.
SFM-2006-BombieriFP #design #hardware #simulation #verification: Hardware Design and Simulation for Verification (NB, FF, GP), pp. 1–29.
SFM-2006-CabodiM #hardware #verification: BDD-Based Hardware Verification (GC, MM), pp. 78–107.
SFM-2006-GuptaGW #hardware #satisfiability #verification: SAT-Based Verification Methods and Applications in Hardware Verification (AG, MKG, CW), pp. 108–143.
ICPR-v2-2006-Maruyama #clustering #configuration management #hardware #image #realtime: Real-time K-Means Clustering for Color Images on Reconfigurable Hardware (TM), pp. 816–819.
SAC-2006-GacMD #2d #3d #framework #hardware: Hardware/software 2D-3D backprojection on a SoPC platform (NG, SM, MD), pp. 222–228.
ASPLOS-2006-AdamsA #comparison #hardware: A comparison of software and hardware techniques for x86 virtualization (KA, OA), pp. 2–13.
ASPLOS-2006-ChakrabortyWS #hardware #migration #on the fly: Computation spreading: employing hardware migration to specialize CMP cores on-the-fly (KC, PMW, GSS), pp. 283–292.
ASPLOS-2006-KawahitoKMIN #framework #recognition: A new idiom recognition framework for exploiting hardware-assist instructions (MK, HK, TM, HI, TN), pp. 382–393.
HPCA-2006-HuangGH #ambiguity #memory management: Software-hardware cooperative memory disambiguation (RH, AG, MCH), pp. 244–253.
ISMM-2006-Meyer #hardware: A true hardware read barrier (MM), pp. 3–16.
LCTES-2006-DanneP #configuration management #hardware #scheduling: An EDF schedulability test for periodic tasks on reconfigurable hardware devices (KD, MP), pp. 93–102.
LCTES-2006-Martonosi #case study #deployment #embedded #experience #hardware: Embedded systems in the wild: ZebraNet software, hardware, and deployment experiences (MM), p. 1.
PPoPP-2006-MaratheM #automation #hardware: Hardware profile-guided automatic page placement for ccNUMA systems (JM, FM), pp. 90–99.
DAC-2005-HangalCNC #automation #design #hardware #invariant #named: IODINE: a tool to automatically infer dynamic invariants for hardware designs (SH, NC, SN, SC), pp. 775–778.
DAC-2005-NedevschiPB #hardware #low cost #power management #recognition #speech #user interface: Hardware speech recognition for user interfaces in low cost, low power devices (SN, RKP, EAB), pp. 684–689.
DATE-2005-AroraRRJ #embedded #monitoring #runtime: Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
DATE-2005-CoburnRR #estimation #hardware: Hardware Accelerated Power Estimation (JC, SR, AR), pp. 528–529.
DATE-2005-DykaL #encryption #hardware #implementation #performance: Area Efficient Hardware Implementation of Elliptic Curve Cryptography by Iteratively Applying Karatsuba’s Method (ZD, PL), pp. 70–75.
DATE-2005-Edwards #challenge #hardware #synthesis: The Challenges of Hardware Synthesis from C-Like Languages (SAE), pp. 66–67.
DATE-2005-EeckhautDSCS #scalability #video: A Hardware-Friendly Wavelet Entropy Codec for Scalable Video (HE, HD, BS, MC, DS), pp. 14–19.
DATE-2005-ElbazTSGABBR #bibliography #encryption #hardware: Hardware Engines for Bus Encryption: A Survey of Existing Techniques (RE, LT, GS, PG, CA, MB, CB, JBR), pp. 40–45.
DATE-2005-FahmyCL #detection #hardware #markov: Hardware Acceleration of Hidden Markov Model Decoding for Person Detection (SAF, PYKC, WL), pp. 8–13.
DATE-2005-FrancescoAM #architecture #distributed #flexibility #hardware #memory management #message passing: Flexible Hardware/Software Support for Message Passing on a Distributed Shared Memory Architecture (FP, AP, PM), pp. 736–741.
DATE-2005-FummiLMMPP #hardware #prototype: Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation (FF, ML, SM, MM, GP, MP), pp. 798–803.
DATE-2005-KavvadiasN #embedded #hardware: Hardware Support for Arbitrarily Complex Loop Structures in Embedded Applications (NK, SN), pp. 1060–1061.
DATE-2005-LeeCALK #hardware #predict #transaction: A Prediction Packetizing Scheme for Reducing Channel Traffic in Transaction-Level Hardware/Software Co-Emulation (JGL, MKC, KYA, SHL, CMK), pp. 384–389.
DATE-2005-LyseckyV #case study #clustering #hardware #using: A Study of the Speedups and Competitiveness of FPGA Soft Processor Cores using Dynamic Hardware/Software Partitioning (RLL, FV), pp. 18–23.
DATE-2005-MarkovM #encryption #hardware #logic: Uniformly-Switching Logic for Cryptographic Hardware (ILM, DM), pp. 432–433.
DATE-2005-NolletMAM #configuration management #hardware #resource management #runtime: Centralized Run-Time Resource Management in a Network-on-Chip Containing Reconfigurable Hardware Tiles (VN, TM, PA, JYM), pp. 234–239.
DATE-2005-PanainteBV #hardware #scheduling: Instruction Scheduling for Dynamic Hardware Configurations (EMP, KB, SV), pp. 100–105.
DATE-2005-RaabeBAZ #architecture #detection #hardware #simulation: Hardware Accelerated Collision Detection — An Architecture and Simulation Results (AR, BB, JKA, GZ), pp. 130–135.
DATE-2005-ResanoMC #configuration management #hardware #heuristic #hybrid #runtime #scheduling: A Hybrid Prefetch Scheduling Heuristic to Minimize at Run-Time the Reconfiguration Overhead of Dynamically Reconfigurable Hardware (JR, DM, FC), pp. 106–111.
DATE-2005-RinconMBL #design pattern #hardware #reuse: Model Reuse through Hardware Design Patterns (FR, FM, JB, JCL), pp. 324–329.
DATE-2005-SchattkowskyMR #approach #configuration management #execution #hardware #modelling #specification: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware (TS, WM, AR), pp. 692–697.
DATE-2005-StagniGLBR #design #detection: Hardware-Software Design of a Smart Sensor for Fully-Electronic DNA Hybridization Detection (CS, CG, ML, LB, BR), pp. 198–203.
DATE-2005-TakachBB #c #design #hardware: C Based Hardware Design for Wireless Applications (AT, BB, TB), pp. 124–129.
ICDAR-2005-ZaidiRM #design #hardware #online #recognition #using: Hardware Design of On-Line Jawi Character Recognition Chip using Discrete Wavelet Transform (RZ, SR, MY), pp. 91–95.
ITiCSE-2005-CasadoWM #education #hardware #network: Teaching networking hardware (MC, GW, NM), pp. 208–212.
ITiCSE-2005-GoldweberDM #hardware: The Kaya OS project and the muMPS hardware emulator (MG, RD, MM), pp. 49–53.
IFM-2005-SalaunS #algebra #hardware #process #standard: Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (GS, WS), pp. 287–306.
CGO-2005-VaswaniTS #hardware #profiling #programmable: A Programmable Hardware Path Profiler (KV, MJT, YNS), pp. 217–228.
LCTES-2005-Oi #design #hardware #java #on the #virtual machine: On the design of the local variable cache in a hardware translation-based java virtual machine (HO), pp. 87–94.
LCTES-2005-ZhuM #feedback #scalability #scheduling: Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling (YZ, FM), pp. 203–212.
PPoPP-2005-Hanrahan #hardware #performance #question #why: Why is graphics hardware so fast? (PH), p. 1.
DAC-2004-FrancescoMABCM #approach #hardware #runtime: An integrated hardware/software approach for run-time scratchpad management (FP, PM, DA, LB, FC, JMM), pp. 238–243.
DAC-2004-KimYKK #functional #hardware #performance #simulation: Communication-efficient hardware acceleration for fast functional simulation (YIK, WSY, YSK, CMK), pp. 293–298.
DAC-2004-NakamuraHKYY #c #c++ #communication #hardware #performance #using: A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication (YN, KH, IK, KY, TY), pp. 299–304.
DAC-2004-ResanoM #configuration management #hardware #scheduling: Specific scheduling support to minimize the reconfiguration overhead of dynamically reconfigurable hardware (JR, DM), pp. 119–124.
DAC-2004-VermeulenUG #automation #debugging #generative #hardware: Automatic generation of breakpoint hardware for silicon debug (BV, MZU, SKG), pp. 514–517.
DATE-DF-2004-BannowH #design #evaluation #hardware #object-oriented: Evaluation of an Object-Oriented Hardware Design Methodology for Automotive Applications (NB, KH), pp. 268–273.
DATE-DF-2004-CilardoMRS #composition #configuration management #hardware: Carry-Save Montgomery Modular Exponentiation on Reconfigurable Hardware (AC, AM, LR, GPS), pp. 206–211.
DATE-v1-2004-LyseckyV #architecture #clustering #configuration management #hardware #logic: A Configurable Logic Architecture for Dynamic Hardware/Software Partitioning (RLL, FV), pp. 480–485.
DATE-v1-2004-WolffPM #hardware: Test Compression and Hardware Decompression for Scan-Based SoCs (FGW, CAP, DRM), pp. 716–717.
DATE-v1-2004-ZambrenoCSN #flexibility #hardware #using: Flexible Software Protection Using Hardware/Software Codesign Techniques (JZ, ANC, RS, BN), pp. 636–641.
DATE-v2-2004-GuilleyHMPP #hardware: CMOS Structures Suitable for Secured Hardware (SG, PH, YM, RP, JP), pp. 1414–1415.
DATE-v2-2004-WangLC #fault #hardware #hybrid #testing: Hybrid Delay Scan: A Low Hardware Overhead Scan-Based Delay Test Technique for High Fault Coverage and Compact Test Sets (SW, XL, STC), pp. 1296–1301.
DATE-v2-2004-YooYBJD #concept #design #multi #using: Multi-Processor SoC Design Methodology Using a Concept of Two-Layer Hardware-Dependent Software (SY, MWY, AB, AAJ, MDN), pp. 1382–1383.
DATE-2005-UllmannJB04 #configuration management #hardware: Hardware Support for QoS-based Function Allocation in Reconfigurable Systems (MU, WJ, JB), pp. 259–264.
VLDB-2004-Ailamaki #architecture #database #hardware: Database Architecture for New Hardware (AA), p. 1241.
VLDB-2004-BandiSAA #case study #database #hardware: Hardware Acceleration in Commercial Databases: A Case Study of Spatial Operations (NB, CS, AEA, DA), pp. 1021–1032.
WCRE-2004-RocheC #comprehension #hardware #reverse engineering: Combined Software and Hardware Comprehension in Reverse Engineering (PLR, AC), pp. 234–243.
PLDI-2004-Adl-TabatabaiHSS #hardware #metadata #monitoring: Prefetch inection based on hardware monitoring and object metadata (ARAT, RLH, MJS, SS), pp. 267–276.
IFM-2004-PuHHY #approach #clustering #hardware: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model (GP, DVH, JH, WY), pp. 363–381.
SEFM-2004-GeguangXSZHY #approach #clustering #hardware #multi: An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model (GP, XZ, SW, ZQ, JH, WY), pp. 376–385.
SEFM-2004-NaiyongJ #co-evolution #design #hardware #modelling #specification: Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language (NJ, JH), pp. 132–141.
ICPR-v1-2004-WoetzelK #estimation #hardware #multi #realtime: Multi-Camera Real-Time Depth Estimation with Discontinuity Handling on PC Graphics Hardware (JW, RK), pp. 741–744.
SAC-2004-MortonL #design #hardware #kernel: A hardware/software kernel for system on chip designs (AM, WML), pp. 869–875.
SAC-2004-PanagopoulosPP #attribute grammar #evaluation #hardware: A hardware extension of the RISC microprocessor for Attribute Grammar evaluation (IP, CP, GKP), pp. 897–904.
ASPLOS-2004-CherHV #analysis #garbage collection #hardware: Software prefetching for mark-sweep garbage collection: hardware analysis and software redesign (CYC, ALH, TNV), pp. 199–210.
HPCA-2004-AamodtCHWS #hardware: Hardware Support for Prescient Instruction Prefetch (TMA, PC, PH, HW, JPS), pp. 84–95.
LCTES-2004-GuoBN #compilation #configuration management #hardware #reuse: Input data reuse in compiling window operations onto reconfigurable hardware (ZG, BB, WAN), pp. 249–256.
LCTES-2004-ZhuangZP #embedded: Hardware-managed register allocation for embedded processors (XZ, TZ, SP), pp. 192–201.
DAC-2003-DamaseviciusMS #design pattern #hardware: Application of design patterns for hardware design (RD, GM, VS), pp. 48–53.
DAC-2003-LekatsasHCJS #agile #framework #hardware #named #prototype: CoCo: a hardware/software platform for rapid prototyping of code compression technologies (HL, JH, STC, VJ, MS), pp. 306–311.
DAC-2003-StittLV #approach #clustering #hardware: Dynamic hardware/software partitioning: a first approach (GS, RLL, FV), pp. 250–255.
DATE-2003-BesanaB #automation #case study #code generation #design #framework #hardware: Application Mapping to a Hardware Platform through Automated Code Generation Targeting a RTOS: A Design Case Study (MB, MB), pp. 20041–20044.
DATE-2003-Castro-LopezFMR #behaviour #hardware #modelling #simulation #using: Behavioural Modelling and Simulation of SigmaDelta Modulators Using Hardware Description Languages (RCL, FVF, FM, ÁRV), pp. 10168–10175.
DATE-2003-IndrusiakLRG #configuration management #hardware #implementation #ubiquitous: Ubiquitous Access to Reconfigurable Hardware: Application Scenarios and Implementation Issues (LSI, FL, RAdLR, MG), pp. 10940–10945.
DATE-2003-LangeK #configuration management #design #embedded #framework #hardware: Virtual Hardware Byte Code as a Design Platform for Reconfigurable Embedded Systems (SL, UK), pp. 10302–10309.
DATE-2003-MolinaMH #hardware: High-Level Allocation to Minimize Internal Hardware Wastage (MCM, JMM, RH), pp. 10264–10269.
DATE-2003-Mooney #clustering #hardware #operating system: Hardware/Software Partitioning of Operating Systems (VJM), pp. 10338–10339.
DATE-2003-Pirola #hardware #memory management: A Solution for Hardware Emulation of Non Volatile Memory Macrocells (AP), pp. 20262–20267.
DATE-2003-RosaLP #configuration management #design #hardware: Hardware/Software Design Space Exploration for a Reconfigurable Processor (ALR, LL, CP), pp. 10570–10575.
DATE-2003-YooBBPJ #abstraction #hardware #modelling #performance #simulation: Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer (SY, IB, AB, YP, AAJ), pp. 10550–10555.
DATE-2003-YooJ #abstraction #hardware: Introduction to Hardware Abstraction Layers for SoC (SY, AAJ), pp. 10336–10337.
SIGMOD-2003-SunAA #hardware: Hardware Acceleration for Spatial Selections and Joins (CS, DA, AEA), pp. 455–466.
ICSM-2003-ForbesB #deployment #hardware #process: Improving Hardware, Software, and Training Deployment Processes (JAF, ERB), pp. 377–380.
FME-2003-QinC #hardware: Mapping Statecharts to Verilog for Hardware/Software Co-specification (SQ, WNC), pp. 282–300.
CHI-2003-FriedmanKH #hardware #online #what: Hardware companions?: what online AIBO discussion forums reveal about the human-robotic relationship (BF, PHKJ, JH), pp. 273–280.
SIGIR-2003-AgunF #component #hardware #named: HAT: a hardware assisted TOP-DOC inverted index component (SKA, OF), pp. 447–448.
GPCE-2003-Kastner #analysis #hardware #named #optimisation: TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses (DK), pp. 18–36.
SAC-2003-ScerriMST #algorithm #case study #constraints #distributed #hardware #multi: Are Multiagent Algorithms Relevant for Real Hardware? A Case Study of Distributed Constraint Algorithms (PS, PJM, WMS, MT), pp. 38–44.
SAC-2003-Wainer #hardware #interactive #standard #using #visualisation: Interactive Computation and Visualization of Fetch Using Standard Computer Graphics Hardware (MW), pp. 961–965.
CGO-2003-ChenHC #hardware #monitoring #performance #using: Dynamic Trace Selection Using Performance Monitoring Hardware Sampling (HC, WCH, DyC), pp. 79–90.
HPCA-2003-NarayanasamySSCV: Catching Accurate Profiles in Hardwar (SN, TS, SS, BC, GV), pp. 269–280.
LCTES-2003-SureshNVVS #clustering #embedded #hardware #profiling #tool support: Profiling tools for hardware/software partitioning of embedded applications (DCS, WAN, FV, JRV, GS), pp. 189–198.
SOSP-2003-LieTH #hardware #implementation #operating system: Implementing an untrusted operating system on trusted hardware (DL, CAT, MH), pp. 178–192.
FATES-2003-SungC #embedded #fault #hardware #injection #interactive #testing #using: Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation (AS, BC), pp. 192–204.
SAT-2003-ClarkeTVW #abstraction #hardware #satisfiability #verification: SAT Based Predicate Abstraction for Hardware Verification (EMC, MT, HV, DW), pp. 78–92.
DAC-2002-CadambiMA #functional #hardware #performance #scalability #simulation: A fast, inexpensive and scalable hardware acceleration technique for functional simulation (SC, CM, PA), pp. 570–575.
DAC-2002-HortaLTP #configuration management #hardware #plugin #runtime: Dynamic hardware plugins in an FPGA with partial run-time reconfiguration (ELH, JWL, DET, DBP), pp. 343–348.
DAC-2002-LekatsasHJ #design #embedded #hardware #performance: Design of an one-cycle decompression hardware for performance increase in embedded systems (HL, JH, VJ), pp. 34–39.
DAC-2002-RaganSS #co-evolution #concurrent #cost analysis #design #hardware: A detailed cost model for concurrent use with hardware/software co-design (DR, PS, PS), pp. 269–274.
DAC-2002-SiegmundM #communication #declarative #hardware #novel #protocol #specification #synthesis: A novel synthesis technique for communication controller hardware from declarative data communication protocol specifications (RS, DM), pp. 602–607.
DATE-2002-BeniniBMM #embedded #energy: Hardware-Assisted Data Compression for Energy Minimization in Systems with Embedded Processors (LB, DB, AM, EM), pp. 449–453.
DATE-2002-MichelWWM #hardware #trade-off: Hardware/Software Trade-Offs for Advanced 3G Channel Coding (HM, AW, NW, MM), pp. 396–401.
DATE-2002-SkliarovaF #configuration management #hardware #satisfiability #using: A SAT Solver Using Software and Reconfigurable Hardware (IS, AdBF), p. 1094.
PLDI-2002-SoHD #approach #compilation #design #hardware #performance: A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems (BS, MWH, PCD), pp. 165–176.
AdaEurope-2002-WardA #ada #compilation #hardware: Language Issues of Compiling Ada to Hardware (MW, NCA), pp. 88–99.
ASPLOS-2002-SasankaHA #adaptation #energy #hardware: Joint local and global hardware adaptations for energy (RS, CJH, SVA), pp. 144–155.
TestCom-2002-Peleska #hardware #integration #product line #testing: Hardware/Software Integration Testing for the new Airbus Aircraft Families (JP), p. 335–?.
DAC-2001-KoushanfarQ #hardware: Hardware Metering (FK, GQ), pp. 490–493.
DAC-2001-KuhnOWREK #framework #hardware #object-oriented #specification #synthesis #verification: A Framework for Object Oriented Hardware Specification, Verification, and Synthesis (TK, TO, MW, WR, ME, YK), pp. 413–418.
DAC-2001-ReyneriCSL #co-evolution #design #hardware #library: A Hardware/Software Co-design Flow and IP Library Based of SimulinkTM (LMR, FC, AS, LL), pp. 593–598.
DAC-2001-WangKMR #hardware #set: Hardware/Software Instruction Set Configurability for System-on-Chip Processors (AW, EK, DEM, CR), pp. 184–188.
DATE-2001-AkgulM #hardware: System-on-a-chip processor synchronization support in hardware (BSA, VJMI), pp. 633–641.
DATE-2001-Doboli #constraints #design #embedded #latency: Integrated hardware-software co-synthesis for design of embedded systems under power and latency constraints (AD), pp. 612–619.
DATE-2001-HoffmanKM #framework #performance: A framework for fast hardware-software co-simulation (AH, TK, HM), pp. 760–765.
DATE-2001-MoyaML #design #operating system: A hardware-software operating system for heterogeneous designs (JMM, FM, JCL), p. 820.
DATE-2001-NayakHCB #analysis #automation #fault #hardware #matlab #precise #synthesis: Precision and error analysis of MATLAB applications during automated hardware synthesis for FPGAs (AN, MH, ANC, PB), pp. 722–728.
DATE-2001-Parameswaran #hardware #performance: Code placement in hardware/software co-synthesis to improve performance and reduce cost (SP), pp. 626–632.
DATE-2001-Wilson #challenge #design #hardware: Managing the SoC design challenge with “Soft” hardware (RW), pp. 610–611.
DATE-2001-XieW #graph #hardware #scheduling: Allocation and scheduling of conditional task graph in hardware/software co-synthesis (YX, WW), pp. 620–625.
TACAS-2001-MycroftS #co-evolution #design #functional #hardware #using: Hardware/Software Co-Design Using Functional Languages (AM, RS), pp. 236–251.
SAS-2001-SharpM #hardware #scheduling: Soft Scheduling for Hardware (RS, AM), pp. 57–72.
FME-2001-SilvaSJ #clustering #hardware #parallel #process: Serialising Parallel Processes in a Hardware/Software Partitioning Context (LS, AS, GJ), pp. 344–363.
HPCA-2001-AbaliFSPS #hardware #in memory #memory management #performance: Performance of Hardware Compressed Main Memory (BA, HF, XS, DEP, TBS), pp. 73–81.
HPCA-2001-DelaluzKVSI #energy #hardware #using: DRAM Energy Management Using Software and Hardware Directed Power Mode Control (VD, MTK, NV, AS, MJI), pp. 159–169.
HPCA-2001-FangZCHM #hardware #online: Reevaluating Online Superpage Promotion with Hardware Support (ZF, LZ, JBC, WCH, SAM), pp. 63–72.
LCTES-OM-2001-MerillonM #embedded #framework #hardware: Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language (FM, GM), pp. 121–127.
DAC-2000-BoulisS #configuration management #design #hardware: System design of active basestations based on dynamically reconfigurable hardware (AB, MBS), pp. 501–506.
DAC-2000-ChenDSSC #embedded #hardware #self: Embedded hardware and software self-testing methodologies for processor cores (LC, SD, PS, KS, YC), pp. 625–630.
DAC-2000-DalpassoBB #hardware: Hardware/software IP protection (MD, AB, LB), pp. 593–596.
DAC-2000-EisnerSHNNV #design #hardware #protocol: A methodology for formal design of hardware control with application to cache coherence protocols (CE, IS, RH, WGN, KLN, KV), pp. 724–729.
DAC-2000-KatagiriYKHT #communication #concurrent #hardware #implementation #multi #protocol: Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization (HK, KY, AK, TH, KT), pp. 762–767.
DAC-2000-LiCDHKS #architecture #co-evolution #configuration management #design #embedded: Hardware-software co-design of embedded reconfigurable architectures (YL, TC, ED, REH, UK, JS), pp. 507–512.
DAC-2000-PaulPT #hardware #modelling #virtual machine: A codesign virtual machine for hierarchical, balanced hardware/software system modeling (JMP, SNP, DET), pp. 390–395.
DATE-2000-CataldoCPW #functional #generative #hardware: Optimal Hardware Pattern Generation for Functional BIST (SC, SC, PP, HJW), pp. 292–297.
DATE-2000-HaugKR #design #framework #hardware: A Hardware Platform for VLIW Based Emulation of Digital Designs (GH, UK, WR), p. 747.
DATE-2000-MoyaMLD #flexibility #framework #specification: A Flexible Specification Framework for Hardware-Software Codesign (JMM, FM, JCL, SD), p. 753.
DATE-2000-SilvaDM #configuration management #correlation #hardware #using: Mixed-Signal BIST Using Correlation and Reconfigurable Hardware (JMdS, JSD, JSM), p. 744.
DATE-2000-YooLJRCC #execution #performance: Fast Hardware-Software Coverification by Optimistic Execution of Real Processor (SY, JeL, JJ, KR, YC, KC), pp. 663–668.
IFM-2000-Bowen #animation #hardware #logic programming #semantics #specification: Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language (JPB), pp. 277–296.
ICFP-2000-Seger #functional #hardware #programming #verification: Combining functional programming and hardware verification (abstract of invited talk) (CJHS), p. 244.
TOOLS-USA-2000-Pour00a #hardware #named #towards: JINI: Towards Seamless Connectivity of Hardware and Software Services [Abstract] (GP), pp. 463–464.
ASPLOS-2000-ConnorsHCH #hardware #reuse: Hardware Support for Dynamic Management of Compiler-Directed Computation Reuse (DAC, HCH, BCC, WmWH), pp. 222–233.
ASPLOS-2000-KawahitoKN #effectiveness #hardware #null #pointer: Effective Null Pointer Check Elimination Utilizing Hardware Trap (MK, HK, TN), pp. 139–149.
ASPLOS-2000-NandaMSSSS #design #hardware #multi #named #programmable #realtime: MemorIES: A Programmable, Real-Time Hardware Emulation Tool for Multiprocessor Server Design (AKN, KKM, KS, RKS, VS, TBS), pp. 37–48.
ISMM-2000-HeilS #concurrent #garbage collection #profiling: Concurrent Garbage Collection UsingHardware-Assisted Profiling (THH, JES), pp. 80–93.
OSDI-2000-MerillonRCMM #hardware #named #programming: Devil: An IDL for Hardware Programming (FM, LR, CC, RM, GM), pp. 17–30.
DAC-1999-AbramoviciSS #configuration management #hardware #satisfiability #using: A Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware (MA, JTdS, DGS), pp. 684–690.
DAC-1999-Harbison #hardware #trade-off: System-Level Hardware/Software Trade-offs (SPH), pp. 258–259.
DAC-1999-Henkel #approach #clustering #embedded #hardware #power management: A Low Power Hardware/Software Partitioning Approach for Core-Based Embedded Systems (JH), pp. 122–127.
DAC-1999-KocanS #configuration management #fault #hardware: Dynamic Fault Diagnosis on Reconfigurable Hardware (FK, DGS), pp. 691–696.
DAC-1999-KuhnRK #hardware #java #simulation: Description and Simulation of Hardware/Software Systems with Java (TK, WR, UK), pp. 790–793.
DAC-1999-SchaumontCVEB #behaviour #hardware #reuse: Hardware Reuse at the Behavioral Level (PS, RC, SV, ME, IB), pp. 784–789.
DAC-1999-WilkesH #design #hardware #interface: Application of High Level Interface-Based Design to Telecommunications System Hardware (DW, MMKH), pp. 778–783.
DAC-1999-ZhuL #compilation #configuration management #hardware: Hardware Compilation for FPGA-Based Configurable Computing Machines (XZ, BL), pp. 697–702.
DATE-1999-Dav #configuration management #distributed #embedded #hardware #named #realtime: CRUSADE: Hardware/Software Co-Synthesis of Dynamically Reconfigurable Heterogeneous Real-Time Distributed Embedded Systems (BPD), pp. 97–104.
DATE-1999-FleischmannBK #component #configuration management #embedded #hardware #java: Codesign of Embedded Systems Based on Java and Reconfigurable Hardware Components (JF, KB, RK), pp. 768–769.
DATE-1999-GhoshKL #c #c++ #hardware #synthesis: Hardware Synthesis from C/C++ (AG, JK, SYL), pp. 387–389.
DATE-1999-MaestroMH #approach #hardware #problem: The Heterogeneous Structure Problem in Hardware/Software Codesign: A Macroscopic Approach (JAM, DM, RH), pp. 766–767.
DATE-1999-Micheli #c #c++ #hardware #modelling #synthesis: Hardware Synthesis from C/C++ Models (GDM), pp. 382–383.
DATE-1999-NicoliciA #hardware #performance: Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data Paths (NN, BMAH), p. 289–?.
DATE-1999-RadetzkiSPN #analysis #data type #hardware #modelling #object-oriented #synthesis: Data Type Analysis for Hardware Synthesis from Object-Oriented Models (MR, AS, WPR, WN), p. 491–?.
DATE-1999-TabbaraSSFL #modelling #performance #using: Fast Hardware-Software Co-simulation Using VHDL Models (BT, MS, ALSV, EF, LL), p. 309–?.
DATE-1999-VercauterenSV #constraints #generative #hardware #interface #realtime #synthesis: Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints (SV, JvdS, DV), pp. 556–561.
TACAS-1999-KahloucheVZ #communication #consistency #hardware #protocol #testing #using: Hardware Testing Using a Communication Protocol Conformance Testing Tool (HK, CV, MZ), pp. 315–329.
TACAS-1999-KernOG #framework #hardware #verification: A Light-Weight Framework for Hardware Verification (CK, TOT, MRG), pp. 330–344.
FM-v1-1999-LotzKW #hardware #security: A Formal Security Model for Microprocessor Hardware (VL, VK, GW), pp. 718–737.
IFM-1999-He #framework #hardware: A Common Framework for Mixed Hardware/Software Systems (JH), pp. 3–25.
AdaEurope-1999-LopezVV #ada #design #embedded #hardware #using: Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL (AL, MV, EV), pp. 356–370.
HPCA-1999-TanakaMH #distributed #hardware #lightweight #memory management: Lightweight Hardware Distributed Shared Memory Supported by Generalized Combining (KT, TM, KH), pp. 90–99.
HPCA-1999-ZhangRT #hardware #parallel: Hardware for Speculative Parallelization of Partially-Parallel Loops in DSM Multiprocessors (YZ, LR, JT), pp. 135–139.
CAV-1999-Dill #hardware #verification: Alternative Approaches to Hardware Verification (abstract) (DLD), p. 1.
IWTCS-1999-HeT #hardware #testing: Protocol-Inspired Hardware Testing (JH, KJT), pp. 131–148.
DAC-1998-SmithM #automation #component #composition #hardware: Automated Composition of Hardware Components (JS, GDM), pp. 14–19.
DATE-1998-DaveJ #architecture #concurrent #embedded #named #realtime #specification: CASPER: Concurrent Hardware-Software Co-Synthesis of Hard Real-Time Aperiodic and Periodic Specifications of Embedded System Architectures (BPD, NKJ), pp. 118–124.
DATE-1998-GrodeKM #clustering #hardware #resource management: Hardware Resource Allocation for Hardware/Software Partitioning in the LYCOS System (JG, PVK, JM), pp. 22–27.
DATE-1998-Lopez-VallejoIL #clustering #knowledge-based: A Knowledge-based System for Hardware-Software Partitioning (MLLV, CAI, JCL), pp. 914–915.
DATE-1998-MaestroMM #clustering #estimation #hardware #parallel #process: A Macroscopic Time and Cost Estimation Model Allowing Task Parallelism and Hardware Sharing for the Codesign Partitioning Process (JAM, DM, HM), pp. 218–225.
DATE-1998-NiemannM #communication #concurrent #hardware #synthesis: Synthesis of Communicating Controllers for Concurrent Hardware/Software Systems (RN, PM), pp. 912–913.
DATE-1998-ObergHK #communication #grammarware #hardware #protocol #scheduling #synthesis: Scheduling of Outputs in Grammar-based Hardware Synthesis of Data Communication Protocols (JÖ, AH, AK), pp. 596–603.
DATE-1998-PostMG #design #hardware: A System-Level Co-Verification Environment for ATM Hardware Design (GP, AM, TG), pp. 424–428.
DATE-1998-ReetzSK #hardware #specification #verification: Formal Specification in VHDL for Hardware Verification (RR, KS, TK), pp. 257–263.
DATE-1998-SalapuraG #co-evolution #design #fuzzy #hardware: Hardware/Software Co-Design of a Fuzzy RISC Processor (VS, MG), pp. 875–882.
DATE-1998-SchneiderKHD #algorithm #architecture #comparison #hardware: From Algorithms to Hardware Architectures: A Comparison of Regular and Irregular Structured IDCT Algorithms (CS, MK, TH, JD), pp. 186–190.
DATE-1998-SchumacherN #hardware #modelling #object-oriented #parallel: Object-Oriented Modelling of Parallel Hardware Systems (GS, WN), pp. 234–241.
DATE-1998-SrinivasanRV #clustering #design #hardware: Hardware Software Partitioning with Integrated Hardware Design Space Exploration (VS, SR, RV), pp. 28–35.
DATE-1998-SungH #hardware: Optimized Timed Hardware Software Cosimulation without Roll-back (WS, SH), pp. 945–946.
ICFP-1998-BjesseCSS #design #hardware #haskell #named: Lava: Hardware Design in Haskell (PB, KC, MS, SS), pp. 174–184.
SIGAda-1998-MillsP #ada #analysis #co-evolution #design #hardware #migration: Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis (MM, GP), pp. 18–27.
SIGAda-1998-WongL #ada #design #hardware #kernel: Kernel Ada to Unify Hardware and Software Design (SW, GL), pp. 28–38.
ASPLOS-1998-MachanickSP #implementation #memory management #trade-off: Hardware-Software Trade-Offs in a Direct Rambus Implementation of the RAMpage Memory Hierarchy (PM, PS, LP), pp. 105–114.
HPCA-1998-ZhangRT #distributed #hardware #parallel #runtime: Hardware for Speculative Run-Time Parallelization in Distributed Shared-Memory Multiprocessors (YZ, LR, JT), pp. 162–173.
ASE-1997-DevanbuS #automation #hardware #research #using #verification: Research Directions for Automated Software Verification: Using Trusted Hardware (PTD, SGS), pp. 274–279.
DAC-1997-BakshiG #clustering #hardware #pipes and filters: Hardware/Software Partitioning and Pipelining (SB, DG), pp. 713–716.
DAC-1997-BauerE #approach #hardware: Hardware/Software Co-Simulation in a VHDL-Based Test Bench Approach (MB, WE), pp. 774–779.
DAC-1997-DaveLJ #embedded #named: COSYN: Hardware-Software Co-Synthesis of Embedded Systems (BPD, GL, NKJ), pp. 703–708.
DAC-1997-HartoogRRDDHK #generative #hardware #tool support: Generation of Software Tools from Processor Descriptions for Hardware/Software Codesign (MRH, JAR, PDR, SD, DDD, EAH, NK), pp. 303–306.
DAC-1997-HenkelE #hardware #using: A Hardware/Software Partitioner Using a Dynamically Determined Granularity (JH, RE), pp. 691–696.
DAC-1997-LiaoTG #design #hardware #implementation #modelling #performance: An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment (SYL, SWKT, RKG), pp. 70–75.
DAC-1997-PasseroneLCS #analysis #hardware #performance #prototype #trade-off: Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis (CP, LL, MC, ALSV), pp. 389–394.
EDTC-1997-MirandaKCM #architecture #generative #hardware #optimisation: Architectural exploration and optimization for counter based hardware address generation (MM, MK, FC, HDM), pp. 293–298.
EDTC-1997-RomanowiczLLRABMP #hardware #modelling #simulation #transducer #using: Modeling and simulation of electromechanical transducers in microsystems using an analog hardware description language (BR, ML, PL, PR, HPA, AB, VM, FP), pp. 119–123.
EDTC-1997-Schneider #abstraction #architecture #hardware #trade-off: A methodology for hardware architecture trade-off at different levels of abstraction (CS), pp. 537–541.
TACAS-1997-Berry #hardware #optimisation #source code #synthesis #verification: Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs (GB), pp. 1–3.
CSMR-1997-Meltz #assessment: Assessment of the options for Hardware-/Software-Reengineering of two KSG/GfS Full-Scope-Simulators (PM), pp. 140–143.
PLDI-1997-AmmonsBL #hardware #performance #profiling: Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling (GA, TB, JRL), pp. 85–96.
FME-1997-SilvaSB #clustering #hardware #normalisation #reduction: A Normal Form Reduction Strategy for Hardware/Software Partitioning (LS, AS, EB), pp. 624–643.
HCI-SEC-1997-Breinholt #hardware #interface #prototype: Software Prototyping of Hardware Interfaces (GB), pp. 585–588.
PPoPP-1997-JiangSS #memory management #multi #performance: Application Restructuring and Performance Portability on Shared Virtual Memory and Hardware-Coherent Multiprocessors (DJ, HS, JPS), pp. 217–229.
CAV-1997-McMillan #composition #design #hardware #refinement: A Compositional Rule for Hardware Design Refinement (KLM), pp. 24–35.
DAC-1996-AdamsT #design #hardware: The Design of Mixed Hardware/Software Systems (JKA, DET), pp. 515–520.
DAC-1996-BinhISH #algorithm #clustering #design #hardware #pipes and filters: A Hardware/Software Partitioning Algorithm for Designing Pipelined ASIPs with Least Gate Counts (NNB, MI, AS, NH), pp. 527–532.
DAC-1996-GanapathyNJFWN #functional #hardware #verification: Hardware Emulation for Functional Verification of K5 (GG, RN, GJ, DF, MW, JN), pp. 315–318.
DAC-1996-Lin #design #hardware #network: A System Design Methodology for Software/Hardware Co-Development of Telecommunication Network Applications (BL), pp. 672–677.
DAC-1996-SchnaiderY #development #hardware #simulation: Software Development in a Hardware Simulation Environment (BS, EY), pp. 684–689.
DAC-1996-SuzukiS #estimation #hardware #performance: Efficient Software Performance Estimation Methods for Hardware/Software Codesign (KS, ALSV), pp. 605–610.
HPCA-1996-GovindarajanAG #hardware #pipes and filters: Co-Scheduling Hardware and Software Pipelines (RG, ERA, GRG), pp. 52–61.
DAC-1995-BormannLPV #design #hardware #industrial #model checking: Model Checking in Industrial Hardware Design (JB, JL, MP, GV), pp. 298–303.
DAC-1995-SilburtPBNDW #behaviour #concurrent #design #hardware #modelling #simulation: Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation (AS, IP, JB, SN, MD, GW), pp. 528–533.
ICDAR-v2-1995-KimLK #architecture #array #hardware #implementation #parallel #recognition: Parallel hardware implementation of handwritten character recognition system on wavefront array processor architecture (YJK, SWL, MWK), pp. 715–718.
CHI-1995-PiernotFSMY #design #hardware #interface: Designing the PenPal: Blending Hardware and Software in a User-Interface for Children (PP, RMF, RS, JM, MPY), pp. 511–518.
ECOOP-1995-HolzleU #hardware #object-oriented #question: Do Object-Oriented Languages Need Special Hardware Support? (UH, DU), pp. 283–302.
HPCA-1995-DahlgrenS #effectiveness #multi: Effectiveness of Hardware-Based Stride and Sequential Prefetching in Shared-Memory Multiprocessors (FD, PS), pp. 68–77.
IWMM-1995-Nilsen #garbage collection #realtime: Progress in Hardware-Assisted Real-Time Garbage Collection (KDN), pp. 355–379.
CAV-1995-BasinK #hardware #higher-order #logic #monad #using #verification: Hardware Verification using Monadic Second-Order Logic (DAB, NK), pp. 31–41.
CAV-1995-HojatiB #abstraction #automation #hardware: Automatic Datapath Abstraction In Hardware Systems (RH, RKB), pp. 98–113.
LICS-1995-Tronci #functional #hardware #logic programming #verification: Hardware Verification, Boolean Logic Programming, Boolean Functional Programming (ET), pp. 408–418.
DAC-1994-KalavadeeL #co-evolution #design #hardware: Manifestations of Heterogeneity in Hardware/Software Co-Design (AK, EAL), pp. 437–438.
DAC-1994-Keutzer #co-evolution #design: Hardware-Software Co-Design and ESDA (KK), pp. 435–436.
DAC-1994-Radtke #design #hardware #process #scalability: The AT&T 5ESS Hardware Design Environment: A Large System’s Hardware design Process (KAR), pp. 527–531.
DAC-1994-Rowson #hardware: Hardware/Software Co-Simulation (JAR), pp. 439–440.
EDAC-1994-EdwardsF #development #embedded #hardware: A Development Environment for the Cosynthesis of Embedded Software/Hardware Systems (ME, JF), pp. 469–473.
EDAC-1994-GrantML #generative #hardware #optimisation: Optimization of Address Generator Hardware (DMG, JLvM, PERL), pp. 325–329.
SAC-1994-RondogiannisW #data flow #hardware #higher-order #implementation: Higher-order dataflow and its implementation on stock hardware (PR, WWW), pp. 431–435.
ASPLOS-1994-CarterKD #hardware #performance: Hardware Support for Fast Capability-based Addressing (NPC, SWK, WJD), pp. 319–327.
ASPLOS-1994-SchmidtN #garbage collection #performance #realtime: Performance of a Hardware-Assisted Real-Time Garbage Collector (WJS, KDN), pp. 76–85.
ASPLOS-1994-ThekkathE #effectiveness #hardware #multi: The Effectiveness of Multiple Hardware Contexts (RT, SJE), pp. 328–337.
ASPLOS-1994-ThekkathL #exception #hardware #performance: Hardware and Software Support for Efficient Exception Handling (CAT, HML), pp. 110–119.
CAV-1994-BeerBGGY #hardware #verification: Methodology and System for Practical Formal Verification of Reactive Hardware (IB, SBD, DG, RG, MY), pp. 182–193.
CAV-1994-CyrlukN #hardware #logic #verification: Ground Temporal Logic: A Logic for Hardware Verification (DC, PN), pp. 247–259.
CAV-1994-Schubert #hardware #hybrid #reasoning: A Hybrid Model for Reasoning about Composed Hardware Systems (ETS), pp. 260–272.
CAV-1994-ZhuS #hardware: The Completeness of a Hardware Inference System (ZZ, CJHS), pp. 286–298.
ICLP-1994-BreuerSK #design #hardware #proving: Proving Hardware Designs (PTB, LS, CDK), p. 745.
DAC-1993-Kra #co-evolution #design #hardware: A Cross-Debugging Method for Hardware/Software Co-design Environments (YK), pp. 673–677.
SIGMOD-1993-FushimiK #database #hardware #named #pipes and filters: GREO: A Commercial Database Processor Based on A Pipelined Hardware Sorter (SF, MK), pp. 449–452.
STOC-1993-BorodinRSU #hardware #how #question: How much can hardware help routing? (AB, PR, BS, EU), pp. 573–582.
FPCA-1993-Feeley #hardware: Polling Efficiently on Stock Hardware (MF), pp. 179–190.
INTERCHI-1993-Wenzel #design #hardware #interface #performance: Perceptual vs. hardware performance in advanced acoustic interface design (EMW), pp. 363–366.
HPDC-1993-Coddington #analysis #distributed #hardware #physics: An Analysis of Distributed Computing Software and Hardware for Applications in Computational Physics (PDC), pp. 179–186.
DAC-1992-BeckerST #hardware: An Engineering Environment for Hardware/Software Co-Simulation (DB, RKS, SGT), pp. 129–134.
DAC-1992-GuptaCM #component #hardware #simulation #synthesis: Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components (RKG, CJNCJ, GDM), pp. 225–230.
TRI-Ada-C-1992-FayadHRST #development #object-oriented #simulation: Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert’s Object-Oriented Software Development Method (MF, LJH, MAR, JWS, WTT), pp. 176–188.
TRI-Ada-C-1992-HummerB #ada #design #hardware #safety: When Hardware Becomes Software: Designing a Safety-Critical System with Ada (JH, LB), pp. 538–544.
ASPLOS-1992-HillLRW #hardware #memory management #multi #scalability: Cooperative Shared Memory: Software and Hardware Support for Scalable Multiprocesors (MDH, JRL, SKR, DAW), pp. 262–273.
DAC-1991-BryantBS #evaluation #hardware #verification: Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation (REB, DLB, CJHS), pp. 397–402.
DAC-1991-BuschV #design #hardware: Proof-Aided Design of Verified Hardware (HB, GV), pp. 391–396.
DAC-1991-Hafer #constraints #hardware #synthesis: Constraint improvements for MILP-based hardware synthesis (LJH), pp. 14–19.
DAC-1991-JainB #hardware #simulation: Mapping Switch-Level Simulation onto Gate-Level Hardware Accelerators (AJ, REB), pp. 219–222.
ICSE-1991-FrankeP #hardware #perspective: Hardware/Software Codesign: A Perspective (DWF, MKP), pp. 344–352.
ASPLOS-1991-BhandarkarC #architecture #hardware #performance: Performance From Architecture: Comparing a RISC and CISC with Similar Hardware Organization (DB, DWC), pp. 310–319.
ASPLOS-1991-CullerSSEW #automaton #hardware #parallel #thread: Fine-Grain Parallelism with Minimal Hardware Support: A Compiler-Controlled Threaded Abstract Machine (DEC, AS, KES, TvE, JW), pp. 164–175.
CAV-1991-SchneiderKK #automation #hardware #proving: Automating Most Parts of Hardware Proofs in HOL (KS, RK, TK), pp. 365–375.
DAC-1990-IshiuraYY #behaviour #design #hardware #named #semantics: NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I (NI, HY, SY), pp. 8–13.
DAC-1990-SatoKO #hardware #implementation #memory management: A Hardware Implementation of Gridless Routing Based on Content Addressable Memory (MS, KK, TO), pp. 646–649.
DAC-1990-ScheichenzuberGLM #behaviour #data flow #hardware #synthesis: Global Hardware Synthesis from Behavioral Dataflow Descriptions (JS, WG, UL, SM), pp. 456–461.
CAV-1990-Eveking #automation #hardware #verification: Automatic Verification of Extensions of Hardware Descriptions (HE), pp. 2–12.
CAV-1990-Pixley #equivalence #hardware #implementation: Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence (CP), pp. 54–64.
DAC-1989-AgrawalTD #algorithm #hardware #logic: Algorithms for Accuracy Enhancement in a Hardware Logic Simulator (PA, RT, WJD), pp. 645–648.
DAC-1989-George #hardware #modelling #simulation: Evaluating Hardware Models in DIGITAL’s System Simulation Environment (AKG), pp. 642–644.
DAC-1989-Norrod #algorithm #automation #generative #hardware #testing: An Automatic Test Generation Algorithm for Hardware Description Languages (FEN), pp. 429–434.
DAC-1989-NowakM #code generation #hardware #verification: Verification of Hardware Descriptions by Retargetable Code Generation (LN, PM), pp. 441–447.
DAC-1989-YasuuraI #design #hardware #semantics #standard: Semantics of a Hardware Design Language for Japanese Standardization (HY, NI), pp. 836–839.
DAC-1988-DrongowskiBRIW #design #hardware #visual notation: A Graphical Hardware Design Language (PJD, JRB, RR, SI, THW), pp. 108–114.
DAC-1988-Hansen #compilation #hardware #logic #simulation: Hardware Logic Simulation by Compilation (CH), pp. 712–716.
DAC-1988-KimTH #automation #hardware #using: Automatic Insertion of BIST Hardware Using VHDL (KK, JGT, DSH), pp. 9–15.
DAC-1988-Lewis #hardware #programmable #simulation: A Programmable Hardware Accelerator for Compiled Electrical Simulation (DML), pp. 172–177.
DAC-1988-StavridouBE #case study #comparative #hardware #specification #verification: Formal Specification and Verification of Hardware: A Comparative Case Study (VS, HB, DAE), pp. 197–204.
PLDI-1988-KeutzerW #compilation #hardware: Anatomy of a Hardware Compiler (KK, WW), pp. 95–104.
LFP-1988-Norman #combinator #hardware #performance #reduction #using: Faster Combinator Reduction Using stock Hardware (ACN), pp. 235–243.
OOPSLA-1988-Rose #hardware #performance: Fast Dispatch Mechanisms for Stock Hardware (JRR), pp. 27–35.
ICSE-1988-Wasserman #development #hardware: Implications of Hardware Advances for Software Development (AIW), pp. 250–253.
DAC-1987-AgrawalDEFJK #architecture #design #hardware: Architecture and Design of the MARS Hardware Accelerator (PA, WJD, AKE, WCF, HVJ, ASK), pp. 101–107.
DAC-1987-ChandrasekharPC #design #hardware #term rewriting #verification: Application of Term Rewriting Techniques to Hardware Design Verification (MSC, JPP, KWC), pp. 277–282.
DAC-1987-LeungS #concept #design #framework #hardware: A Conceptual Framework for Designing ASIC Hardware (SSL, MAS), pp. 592–595.
DAC-1987-Smith #hardware #scalability: A Hardware Switch Level Simulator for Large MOS Circuits (MTS), pp. 95–100.
DAC-1987-VladimirescuWKBKDNJL #hardware #simulation: A Vector Hardware Accelerator with Circuit Simulation Emphasis (AV, DW, MK, ZB, AK, KD, KCN, NJ, SL), pp. 89–94.
DAC-1987-WonSE #hardware: A Hardware Accelerator for Maze Routing (YW, SS, YMEZ), pp. 800–806.
FPCA-1987-NorthR #concurrent #garbage collection #hardware: Concurrent garbage collection on stock hardware (SCN, JHR), pp. 113–133.
ICSE-1987-Matsumoto #case study #experience #hardware: Ten Years Experiences of a Software/Hardware Producing Environment (YM), p. 291.
ICSE-1987-Roman #distributed #hardware #interactive #specification: Specifying Software/Hardware Interactions in Distributed Systems (GCR), pp. 126–141.
ASPLOS-1987-CargillL #debugging #hardware #profiling: Cheap Hardware Support for Software Debugging and Profiling (TAC, BNL), pp. 82–83.
ASPLOS-1987-SteenkisteH #hardware #lisp #type checking: Tags and Type Checking in Lisp: Hardware and Software Approaches (PS, JLH), pp. 50–59.
ASPLOS-1987-Wirth #architecture #hardware #programming language: Hardware Architectures for Programming Languages and Programming Languages for Hardware Architectures (NW), pp. 2–8.
SLP-1987-BushCMD87 #experience #hardware #prolog #specification: Experience with Prolog as a Hardware Specification Language (WRB, GC, PCM, AMD), pp. 490–498.
SLP-1987-NakashimaN87 #architecture #hardware: Hardware Architecture of the Sequential Inference Machine: PSI-II (HN, KN), pp. 104–113.
DAC-1986-McFarland #behaviour #bottom-up #design #hardware #synthesis #using: Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions (MCM), pp. 474–480.
DAC-1986-TakasakiSNIK #hardware #logic #simulation: HAL II: a mixed level hardware logic simulation system (ST, TS, NN, HI, NK), pp. 581–587.
DAC-1986-WatanabeS #algorithm #hardware #implementation: A new routing algorithm and its hardware implementation (TW, YS), pp. 574–580.
DAC-1985-Lewis #hardware #simulation: A hardware engine for analogue mode simulation of MOS digital circuits (DML), pp. 345–351.
DAC-1985-SmithFC #architecture #assessment #design #hardware: An architecture design and assessment system for software/hardware codesign (CUS, GAF, JLC), pp. 417–424.
DAC-1985-SpiraH #array #hardware #layout: Hardware acceleration of gate array layout (PMS, CH), pp. 359–366.
SIGMOD-1985-Robinson #hardware #performance: A Fast General-Purpose Hardware Synchronisation Mechanism (JTR), pp. 122–130.
FPCA-1985-PatelSE85 #algorithm #analysis #hardware #multi #named #specification #synthesis: vFP: An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms (DP, MDFS, MDE), pp. 238–255.
DAC-1984-Banin #automation #design #hardware: Hardware accelerators in the design automation environment (RB), p. 648.
DAC-1984-Dewey #hardware: The VHSIC hardware description language (VHDL) program (AD), pp. 556–557.
DAC-1984-GlazierA #hardware #logic #named #simulation: Ultimate: A hardware logic simulation engine (MEG, APA), pp. 336–342.
DAC-1984-Lieberherr #hardware #standard #towards: Towards a standard hardware description language (KJL), pp. 265–272.
DAC-1984-Milne #hardware #verification: A model for hardware description and verification (GJM), pp. 251–257.
DAC-1984-VeigaL #hardware #multi #named: HARPA: A hierarchical multi-level hardware description language (PV, ML), pp. 59–65.
ICALP-1984-RonRP #csp #hardware #implementation #verification: A Hardware Implementation of the CSP Primitives and its Verification (DR, FR, AP), pp. 423–435.
LFP-1984-Brooks #garbage collection #hardware #realtime: Trading Data Space for Reduced Time and Code Space in Real-Time Garbage Collection on Stock Hardware (RAB), pp. 256–262.
DAC-1983-Dewey #development #hardware: VHSIC hardware description (VHDL) development program (AD), pp. 625–628.
DAC-1983-LieberherrK #hardware #named: Zeus: A hardware description language for VLSI (KJL, SEK), pp. 17–23.
DAC-1983-McFarland #behaviour #clustering #hardware: Computer-aided partitioning of behavioral hardware descriptions (MCM), pp. 472–478.
DAC-1983-RobinsonD #hardware: Programmimg languages for hardware description (PR, JD), pp. 12–16.
DAC-1983-UmrigarP #design #hardware #realtime #verification: Formal verification of a real-time hardware design (ZDU, VP), pp. 221–227.
ICALP-1983-HalpernMM #hardware #semantics: A Hardware Semantics Based on Temporal Intervals (JYH, ZM, BCM), pp. 278–291.
SIGIR-1983-Hollaar #hardware #information retrieval: Hardware Systems for Text Information Retrieval (LAH), pp. 3–9.
DAC-1982-Adshead #algorithm #complexity #hardware #problem #question #scalability #towards: Towards VLSI complexity: The DA algorithm scaling problem: can special DA hardware help? (HGA), pp. 339–344.
DAC-1982-Bruggere #hardware: Special purpose vs. general purpose hardware for da (THB), p. 338.
DAC-1982-DammGK #automation #hardware: Hardware support for automatic routing (ED, HG, KK), pp. 219–223.
DAC-1982-MaisselO #approach #design #documentation #hardware #interactive #simulation #synthesis: Interactive design language: A unified approach to hardware simulation, synthesis and documentation (LIM, DLO), pp. 193–201.
DAC-1982-MaruyamaUKS #design #hardware #verification: A verification technique for hardware designs (FM, TU, NK, TS), pp. 832–841.
DAC-1982-Seiler #architecture #design #hardware: A hardware assisted design rule check architecture (LS), pp. 232–238.
DAC-1982-TraceyK #hardware: A hardware description language for processor based digital systems (JHT, KSK), pp. 330–337.
ASPLOS-1982-AhujaA #architecture #communication #hardware #multi #scheduling: A Multi-Microprocessor Architecture with Hardware Support for Communication and Scheduling (SA, AA), pp. 205–209.
ASPLOS-1982-FusaokaH #compilation #hardware #implementation: Compiler Chip: A Hardware Implementation of Compiler (AF, MH), pp. 92–95.
ASPLOS-1982-HennessyJBGG #hardware #performance #trade-off: Hardware/Software Tradeoffs for Increased Performance (JLH, NPJ, FB, TRG, JG), pp. 2–11.
ASPLOS-1982-Rattner #hardware: Hardware/Software Cooperation in the iAPX-423 (JRR), p. 1.
ASPLOS-1982-Wilkes #hardware #implementation #memory management: Hardware Support for Memory Protection: Capability Implementations (MVW), pp. 107–116.
DAC-1981-BellonSG #hardware: Hardware description levels and test for complex circuits (CB, GS, JMG), pp. 213–219.
DAC-1981-NagleP #algorithm #design #hardware #multi: Algorithms for multiple-criterion design of microprogrammed control hardware (AWN, ACP), pp. 486–493.
VLDB-1981-Pramanik #hardware: Hardware Organization for Nonnumeric Processing (SP), pp. 66–75.
SIGIR-1980-KracsonyKM #analysis #comparative #hardware: Comparative Analysis of Hardware Versus Software Text Search (PK, GJK, AM), pp. 268–279.
DAC-1979-Cleemput #hardware: Computer hardware description languages and their applications (WMvC), pp. 554–560.
DAC-1979-Darringer #hardware #verification: The application of program verification techniques to hardware verification (JAD), pp. 375–381.
FM-1979-Berg #design #hardware #towards: Towards a Uniform Design Methodology for Software, Firmware, and Hardware (HKB), pp. 1–38.
DAC-1977-HeathCC #concurrent #development #hardware #named: CDL — A tool for concurrent hardware and software development (JRH, BDC, TTC), pp. 445–449.
DAC-1977-Rammig #automation #concept #editing #hardware: A concept for the editing of hardware resulting in an automatic hardware-editor (FJR), pp. 187–193.
DAC-1976-AzemaVD #design #hardware #petri net #simulation #verification: Petri nets as a common tool for design verification and hardware simulation (PA, RV, MD), pp. 109–116.
VLDB-1976-McGregorTD #database #hardware #performance: High Performance Hardware for Database Systems (DRM, RGT, WND), pp. 103–116.
DAC-1975-Rajlich #design: A CAD system for unified hardware-software design (VR), pp. 224–230.
DAC-1975-RoseA #design #hardware #modelling: Modeling and design description of hierarchical hardware/software systems (CWR, MA), pp. 421–430.
VLDB-1975-HealeyH #architecture #database #hardware #scalability: Hardware and System Architecture for a Very Large Database (RH, BH), pp. 520–522.
SOSP-J-1973-SchroederS72 #architecture #hardware #implementation: A Hardware Architecture for Implementing Protection Rings (MDS, JHS), pp. 157–170.
DAC-1971-Sherman #hardware #testing: Computer-controlled hardware testing: A programmer’s view of the test center (JWS), pp. 267–272.
SOSP-1971-SchroederS #architecture #hardware #implementation: A Hardware Architecture for Implementing Protection Rings (Abstract) (MDS, JHS), pp. 42–54.
DAC-1968-FreemanR #automation #composition #design #hardware #named: GENDA — a generalized design automation system for modular hardware (MFF, MR).