BibSLEIGH — embedded tag

embedded

embedded

Tag #embedded

1246 papers:

ICSA-2019-JahicEMA #architecture #development: Mitigating the Influence of Embedded Software Development Environments and Toolsets (ESDT) on Software Architecture (JJ, PE, UM, POA), pp. 111–120.
ICSA-2019-TelschigK #configuration management #distributed: Synchronous Reconfiguration of Distributed Embedded Applications During Operation (KT, AK), pp. 121–130.
ICPC-2019-SaidQK #modelling #question #state machine: Do extracted state machine models help to understand embedded software? (WS, JQ, RK), pp. 191–196.
SANER-2019-SaidQK #state machine #towards: Towards Understandable Guards of Extracted State Machines from Embedded Software (WS, JQ, RK), pp. 264–274.
IFM-2019-Benoit0 #alias #performance #programming: Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming (TB, BJ0), pp. 46–64.
FDG-2019-Kao #java #named #programming: JavaStrike: a Java programming engine embedded in virtual worlds (DK), p. 5.
CIKM-2019-ZhangTXZ #clustering #robust: Robust Embedded Deep K-means Clustering (RZ0, HT, YX, YZ), pp. 1181–1190.
ICML-2019-GuralM #classification: Memory-Optimal Direct Convolutions for Maximizing Classification Accuracy in Embedded Applications (AG, BM), pp. 2515–2524.
ICML-2019-NayebiMP #framework #optimisation: A Framework for Bayesian Optimization in Embedded Subspaces (AN, AM, MP), pp. 4752–4761.
ASE-2019-KimC #model checking #using: Model Checking Embedded Control Software using OS-in-the-Loop CEGAR (DK, YC), pp. 565–576.
ICSE-2019-LazregCCH0 #analysis #automation #multi #variability: Multifaceted automated analyses for variability-intensive embedded systems (SL, MC, PC, PH, SM0), pp. 854–865.
GPCE-2019-ShaikhhaJK #compilation #domain-specific language #generative: Compiler generation for performance-oriented embedded DSLs (short paper) (AS, VJ, CEK), pp. 94–101.
ASPLOS-2019-GobieskiLB: Intelligence Beyond the Edge: Inference on Intermittent Embedded Systems (GG, BL, NB), pp. 199–213.
CASE-2019-SubramanianC #automation #network #normalisation: Mean Spectral Normalization of Deep Neural Networks for Embedded Automation (AKS, NYC), pp. 249–256.
CC-2019-RenwickSF #c++ #exception #low cost: Low-cost deterministic C++ exceptions for embedded systems (JR, TS, BF), pp. 76–86.
ECSA-2018-Antonino0MFBBKN #architecture #prototype #re-engineering: Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes (POA, MJ0, AM, FF, TB, AB, TK0, EYN), pp. 115–130.
ECSA-2018-SprayS #abstraction #architecture: Abstraction Layered Architecture: Writing Maintainable Embedded Code (JS, RS), pp. 131–146.
ICSME-2018-AbukwaikBAB #automation #traceability: Semi-Automated Feature Traceability with Embedded Annotations (HA, AB, BKA, TB), pp. 529–533.
ICSME-2018-SaidQK #mining #on the #state machine: On State Machine Mining from Embedded Control Software (WS, JQ, RK), pp. 138–148.
SEFM-2018-Campeanu #component #reuse #usability: Facilitating Component Reusability in Embedded Systems with GPUs (GC), pp. 287–301.
AIIDE-2018-Horswill #named #runtime #satisfiability: CatSAT: A Practical, Embedded, SAT Language for Runtime PCG (IDH), pp. 38–44.
ICPR-2018-HuangZL #clustering #multi: Spectral Embedded Clustering on Multi-Manifold (SH, LZ, FL), pp. 391–396.
ICPR-2018-SunZY #automation #generative #network: Pyramid Embedded Generative Adversarial Network for Automated Font Generation (DS, QZ, JY), pp. 976–981.
ICPR-2018-WuLPL #named #performance #robust: Em-SLAM: a Fast and Robust Monocular SLAM Method for Embedded Systems (YW, ZL, SP, TL), pp. 1882–1887.
MoDELS-2018-AhmadiPD #modelling #realtime #slicing #uml: Slicing UML-based Models of Real-time Embedded Systems (RA, EP, JD), pp. 346–356.
MoDELS-2018-BesnardBJTD #execution #ltl #modelling #uml #verification: Unified LTL Verification and Embedded Execution of UML Models (VB, MB, FJ, CT, PD), pp. 112–122.
MoDELS-2018-KusmenkoRSW #c++ #compilation #component #modelling #multi: Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc (EK, BR, SS, MvW), pp. 447–457.
SAS-2018-BagnaraBH #analysis #c #development #standard: The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software (RB, AB, PMH), pp. 5–23.
ESEC-FSE-2018-HenkelLLR #comprehension #source code: Code vectors: understanding programs through embedded abstracted symbolic traces (JH, SKL, BL, TWR), pp. 163–174.
CASE-2018-TanziniJSNA #architecture: Embedded Architecture of a Hydraulic Demolition Machine for Robotic Teleoperation in the Construction Sector (MT, JMJV, MS, MN, CAA), pp. 506–513.
CASE-2018-TelschigSK #architecture #distributed #realtime: A Real-Time Container Architecture for Dependable Distributed Embedded Applications (KT, AS, AK), pp. 1367–1374.
ICTSS-2018-PetrenkoA #component #consistency #testing: Conformance Testing and Inference of Embedded Components (AP, FA), pp. 119–134.
SCAM-2017-NagyC #detection #java #query #smell #sql: A Static Code Smell Detector for SQL Queries Embedded in Java Code (CN0, AC), pp. 147–152.
SEFM-2017-GioulekasPKKBBP #dependence #design: Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper) (FG, PP, RK, PK, MB, SB, PP), pp. 401–407.
SEFM-2017-MahmudSL #analysis #logic #requirements #semantics #specification: Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic (NM, CS, OL), pp. 332–348.
ICFP-2017-ProtzenkoZRRWBD #low level #programming: Verified low-level programming embedded in F (JP, JKZ, AR, TR, PW, SZB, ADL, CH, KB, CF, NS), p. 29.
KDD-2017-DadkhahiM #detection #learning #network: Learning Tree-Structured Detection Cascades for Heterogeneous Networks of Embedded Devices (HD, BMM), pp. 1773–1781.
ECMFA-2017-KlugeSGSM #c #generative #modelling #named #network: cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks (RK, MS, DG, AS, MM), pp. 109–125.
GPCE-2017-CaldwellC #object-oriented #platform #programming: Reducing calling convention overhead in object-oriented programming on embedded ARM thumb-2 platforms (JC, SC), pp. 146–156.
CAV-2017-AdimoolamDDKJ #classification: Classification and Coverage-Based Falsification for Embedded Control Systems (ASA, TD, AD, JK, XJ), pp. 483–503.
ICST-2017-JeongLKKH #fault #framework #injection #kernel #linux #named: FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System (EJ, NL, JK, DK, SH), pp. 23–34.
CBSE-2016-MubeenNSLGL #abstraction #distributed #legacy #modelling: Modeling of Legacy Distributed Embedded Systems at Vehicle Abstraction Level (SM, TN, MS, JL, MG, KLL), pp. 7–12.
CBSE-2016-SapienzaSCS #clustering: Extra-Functional Properties Composability for Embedded Systems Partitioning (GS, SS, IC, TS), pp. 69–78.
WICSA-2016-MonotOSW #architecture #realtime: Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead (AM, MO, CS, MW), pp. 201–210.
WICSA-2016-MubeenN #abstraction #analysis #component #distributed #on the: On Timing Analysis of Component-Based Vehicular Distributed Embedded Systems at Various Abstraction Levels (SM, TN), pp. 277–278.
EDM-2016-BuffumFBWML #assessment #collaboration #learning #mining #sequence: Mining Sequences of Gameplay for Embedded Assessment in Collaborative Learning (PSB, MF, KEB, ENW, BWM, JCL), pp. 575–576.
FM-2016-CavadaCCRT #design #energy #modelling #using: Model-Based Design of an Energy-System Embedded Controller Using Taste (RC, AC, LC, MR, ST), pp. 741–747.
ICPR-2016-PassalisT #learning #retrieval #word: Bag of Embedded Words learning for text retrieval (NP, AT), pp. 2416–2421.
ICPR-2016-TianMO #detection #low cost #recognition #using: Spoofing detection for embedded face recognition system using a low cost stereo camera (GT, TM, YO), pp. 1017–1022.
KDD-2016-Schneider #learning #optimisation: Bayesian Optimization and Embedded Learning Systems (JS), p. 413.
MoDELS-2016-Blache #bound #c #development #modelling #safety #using: Handling index-out-of-bounds in safety-critical embedded C code using model-based development (GB), pp. 143–149.
MoDELS-2016-DasGJBHD #animation #code generation #development #modelling #monitoring #realtime #runtime: Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation (ND, SG, LJ, MB, NH, JD), pp. 36–43.
ECOOP-2016-BolzKT: Making an Embedded DBMS JIT-friendly (CFB, DK, LT), p. 24.
ASE-2016-ZhangJLZGS #design #modelling: Model driven design of heterogeneous synchronous embedded systems (HZ, YJ, HL, HZ, MG, JGS), pp. 774–779.
GPCE-2016-AdamKS #automation #case study #code generation #experience: Automatic code generation in practice: experiences with embedded robot controllers (SA, MK, UPS), pp. 104–108.
CASE-2016-MaP #approach #named #programmable #testing: DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers (CM, JP), pp. 878–884.
CASE-2016-YirmibesogluM #hybrid: Hybrid soft sensor with embedded IMUs to measure motion (ODY, YM), pp. 798–804.
ESOP-2016-SerranoH #domain-specific language #fault: Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules (AS0, JH), pp. 672–698.
ICST-2016-EnoiuCSP #empirical #safety #testing: A Controlled Experiment in Testing of Safety-Critical Embedded Software (EPE, AC, DS, PP), pp. 1–11.
ICTSS-2016-EnoiuSCFP #generative #model checking #testing #using: Mutation-Based Test Generation for PLC Embedded Software Using Model Checking (EPE, DS, AC, RF, PP), pp. 155–171.
QoSA-2015-FeitosaAAN #open source #quality #trade-off: Investigating Quality Trade-offs in Open Source Critical Embedded Systems (DF, AA, PA, EYN), pp. 113–122.
MSR-2015-AltingerSDW #dataset #fault #industrial #modelling #novel #predict: A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software (HA, SS, YD, FW), pp. 494–497.
CEFP-2015-KoopmanP #domain-specific language #type safety: Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors (PK, RP), pp. 283–340.
DiGRA-2015-KaufmanFS #behaviour #design #game studies: Creating Stealth Game Interventions for Attitude and Behavior Change: An “Embedded Design” Model (GFK, MF, MS).
ICGT-2015-Horn #clojure #domain-specific language #graph #pattern matching: Graph Pattern Matching as an Embedded Clojure DSL (TH), pp. 189–204.
HCI-IT-2015-BhanushaliMV #gesture #interface #low cost #recognition: A Dome-Shaped Interface Embedded with Low-Cost Infrared Sensors for Car-Game Control by Gesture Recognition (JB, SPM, KV), pp. 575–583.
ICEIS-v1-2015-GharbiGB #approach #configuration management #hybrid #realtime #scheduling #search-based: A Hybrid Genetic based Approach for Real-time Reconfigurable Scheduling of OS Tasks in Uniprocessor Embedded Systems (IG, HG, SB), pp. 385–390.
SEKE-2015-SalehianF #detection #monitoring #realtime: Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.
ECMFA-J-2012-BaresiBKMMPRR15 #approach #uml #validation #verification: Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
MoDELS-2015-HajriGBS #approach #case study #industrial #lessons learnt #modelling #product line: Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (IH, AG, LCB, TS), pp. 338–347.
SPLC-2015-JiBAC #maintenance #traceability: Maintaining feature traceability with embedded annotations (WJ, TB, MA, KC), pp. 61–70.
OOPSLA-2015-VoelterDKE #c #case study #using: Using C language extensions for developing embedded software: a case study (MV, AvD, BK, SE), pp. 655–674.
REFSQ-2015-DaunWP #detection #requirements: Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems (MD, TW, KP), pp. 65–80.
ICSE-v2-2015-NguyenKN #ide #named #php #web: Varis: IDE Support for Embedded Client Code in PHP Web Applications (HVN, CK, TNN), pp. 693–696.
SAC-2015-JoshiSIY #architecture #behaviour #design #functional #modelling: Mapping functional behavior onto architectural model in a model driven embedded system design (PJ, SKS, JPT, HY), pp. 1624–1630.
SAC-2015-Jung0B #analysis #encoding #identification #power management: Identification of embedded control units by state encoding and power consumption analysis (EJ, CM, LB), pp. 1957–1959.
GPCE-2015-ScherrC #domain-specific language #staged: Almost first-class language embedding: taming staged embedded DSLs (MS, SC), pp. 21–30.
CGO-2015-PallisterEH #energy #optimisation #trade-off: Optimizing the flash-RAM energy trade-off in deeply embedded systems (JP, KE, SJH), pp. 115–124.
DAC-2015-CavigelliMB #network #realtime: Accelerating real-time embedded scene labeling with convolutional networks (LC, MM, LB), p. 6.
DAC-2015-GuSZCH #memory management #performance: Area and performance co-optimization for domain wall memory in application-specific embedded systems (SG, EHMS, QZ, YC, JH), p. 6.
DAC-2015-JungC #multi #named #performance #platform #simulation: ΣVP: host-GPU multiplexing for efficient simulation of multiple embedded GPUs on virtual platforms (YJ, LPC), p. 6.
DAC-2015-LukasiewyczSS #design #performance #platform: Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DAC-2015-RahimiCMGB #clustering #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-SantosVK #adaptation #configuration management #reliability: Dynamically adaptive scrubbing mechanism for improved reliability in reconfigurable embedded systems (RS, SV, AK), p. 6.
DAC-2015-ShreejithF #generative #network #security: Security aware network controllers for next generation automotive embedded systems (SS, SAF), p. 6.
DAC-2015-YoonSMC #behaviour #detection #heatmap #memory management #realtime #using: Memory heat map: anomaly detection in real-time embedded systems using memory behavior (MKY, LS, SM, JC), p. 6.
DAC-2015-ZhouAZYUGUJ #detection #hardware #using: Detecting hardware trojans using backside optical imaging of embedded watermarks (BZ, RA, MZ, TY, AU, BBG, MSÜ, AJ), p. 6.
DATE-2015-0001KVSMA #adaptation #energy #nondeterminism #scalability: Workload uncertainty characterization and adaptive frequency scaling for energy minimization of embedded systems (AD, AK, BV, RAS, GVM, BMAH), pp. 43–48.
DATE-2015-KyrtatasSP #algebra #compilation #linear: A basic linear algebra compiler for embedded processors (NK, DGS, MP), pp. 1054–1059.
DATE-2015-MunchPHH #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-PeemenMC #optimisation #reuse: Inter-tile reuse optimization applied to bandwidth constrained embedded accelerators (MP, BM, HC), pp. 169–174.
DATE-2015-PhilippeCBP #algorithm #design: Exploration and design of embedded systems including neural algorithms (JMP, AC, OB, MP), pp. 986–991.
DATE-2015-TaatizadehN #automation #design #detection #validation: A methodology for automated design of embedded bit-flips detectors in post-silicon validation (PT, NN), pp. 73–78.
DATE-2015-TemanKGMB #energy #logic #trade-off: Energy versus data integrity trade-offs in embedded high-density logic compatible dynamic memories (AT, GK, RG, PAM, APB), pp. 489–494.
DATE-2015-YangRMDV #framework #generative #on the fly #platform #random #testing: Embedded HW/SW platform for on-the-fly testing of true random number generators (BY, VR, NM, WD, IV), pp. 345–350.
LCTES-2015-StilkerichLES #analysis #realtime: A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems (IS, CL, CE, MS), p. 11.
PDP-2015-DkhilDLR #algorithm #hybrid #scheduling #self #streaming: A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming Applications (AD, XD, SL, CR), pp. 711–715.
PDP-2015-Eisserer #framework #image #parallel #performance #platform #realtime: Portable Framework for Real-Time Parallel Image Processing on High Performance Embedded Platforms (CE), pp. 721–724.
PDP-2015-KorotaevaN #manycore: Impact of Data Sharing on Co-Running Embedded Applications in Multi-core System (AK, WN), pp. 716–720.
PDP-2015-PatelDSE #analysis #comparative: Embedded Hypervisor Xvisor: A Comparative Analysis (AP, MD, MS, MWEK), pp. 682–691.
PDP-2015-SayutiI #optimisation #realtime: Simultaneous Optimisation of Task Mapping and Priority Assignment for Real-Time Embedded NoCs (MNSMS, LSI), pp. 692–695.
TACAS-2015-AledoE #contest #framework #verification: FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.
ICLP-J-2015-BlackmoreRE #approach #compilation #effectiveness #logic programming #predict: A logic programming approach to predict effective compiler settings for embedded software (CB, OR, KE), pp. 481–494.
ICST-2015-Holleis #development #industrial #testing #workflow: Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.
ICST-2015-Oriol #legacy #re-engineering #testing: Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.
ICST-2015-YuC #generative #stack #testing #worst-case: Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.
CBSE-2014-PresslerVBR #component #deployment #estimation #execution: Execution cost estimation for software deployment in component-based embedded systems (MP, AV, OB, WR), pp. 123–128.
ECSA-2014-ChiprianovFSP #architecture #distributed #modelling #performance #predict #realtime: Architectural Support for Model-Driven Performance Prediction of Distributed Real-Time Embedded Systems of Systems (VC, KEF, CS, GP), pp. 357–364.
CSMR-WCRE-2014-ZhangPNMELWCT #architecture #experience: Experience on applying software architecture recovery to automotive embedded systems (XZ, MP, MN, BM, AE, HL, JW, DJC, MT), pp. 379–382.
ICSME-2014-VieiraFC #maintenance #metric #performance #using: Using Software Metrics to Estimate the Impact of Maintenance in the Performance of Embedded Software (AV, PF, ÉFC), pp. 521–525.
IFM-2014-PatcasLM: A Separation Principle for Embedded System Interfacing (LMP, ML, TSEM), pp. 373–388.
ICFP-2014-HickeyPEBL #domain-specific language: Building embedded systems with embedded DSLs (PCH, LP, TE, JB, JL), pp. 3–9.
IFL-2014-AronssonAS #domain-specific language: Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
DHM-2014-Delgado-GonzaloRCSLBL #algorithm #energy #modelling #state of the art: Human Energy Expenditure Models: Beyond State-of-the-Art Commercialized Embedded Algorithms (RDG, PR, EMC, JS, CL, MB, ML), pp. 3–14.
HIMI-DE-2014-KimH14a #interactive: Label Embedded Treemapping: A Label Overlap Prevention Technique for Zoomable Treemaps and a User Interaction Technique (KK, JH), pp. 44–53.
ICEIS-v2-2014-AntonioRF #modelling #process #validation #verification: Verification and Validation Activities for Embedded Systems — A Feasibility Study on a Reading Technique for SysML Models (EAA, RR, SCPFF), pp. 233–240.
KDD-2014-TayebiEGB #learning #predict #using: Spatially embedded co-offence prediction using supervised learning (MAT, ME, UG, PLB), pp. 1789–1798.
KEOD-2014-AndreasenN #knowledge base #logic #ontology: A Case for Embedded Natural Logic for Ontological Knowledge Bases (TA, JFN), pp. 423–427.
SEKE-2014-QueirozB #approach #modelling #product line: A Critical Embedded System Product Line Model-based Approach (PGGQ, RTVB), pp. 71–75.
MoDELS-2014-LiebelMTLH #modelling: Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
AdaEurope-2014-Shawky #challenge #design #framework: Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems (MS), pp. 7–10.
AdaEurope-2014-ZhouLL #approach #requirements #safety #validation: A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.
HILT-2014-SzaboVKRS #development #named: mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
POPL-2014-SwamyFRBCSB #javascript #type system: Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
RE-2014-Zhou #development #realtime #requirements: Requirements development and management of embedded real-time systems (JZ), pp. 479–484.
FSE-2014-JiangZZZLSSGS #modelling #multi #named #synthesis #tool support #validation: Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems (YJ, HZ, HZ, XZ, HL, CS, XS, MG, JGS), pp. 711–714.
FSE-2014-NguyenKN #graph #web: Building call graphs for embedded client-side code in dynamic web applications (HVN, CK, TNN), pp. 518–529.
SAC-2014-DouglasL #database #named #sql: LittleD: a SQL database for sensor nodes and embedded applications (GD, RL), pp. 827–832.
SAC-2014-JangJL #component #generative #prototype #simulation: Virtual prototype generation by shockwave flash for simulating HW components of embedded system (SYJ, AKJ, WJL), pp. 1755–1756.
SAC-2014-MartorellFRV #adaptation: Improving adaptiveness of AUTOSAR embedded applications (HM, JCF, MR, RV), pp. 384–390.
SAC-2014-NguyenJ0B #automation #diagrams #modelling #realtime #uml: Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
GPCE-2014-ShiodaIS #domain-specific language #library #metaprogramming #named: LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming (MS, HI, SS), pp. 63–72.
DAC-2014-AgostaBPS #approach #encryption #execution #multi: A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
DAC-2014-Chandra #monitoring #multi #perspective #reliability: Monitoring Reliability in Embedded Processors — A Multi-layer View (VC), p. 6.
DAC-2014-DaviKS #control flow #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-IyengarG #analysis #memory management #modelling #power management #robust: Modeling and Analysis of Domain Wall Dynamics for Robust and Low-Power Embedded Memory (AI, SG), p. 6.
DAC-2014-KongKPSW #framework #named #novel #platform: PUFatt: Embedded Platform Attestation Based on Novel Processor-Based PUFs (JK, FK, PKP, ARS, CW), p. 6.
DAC-2014-KuanCHL #database #multi: Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
DAC-2014-LeeL #runtime: Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DATE-2014-AlordaCB #power management #reliability: Word-line power supply selector for stability improvement of embedded SRAMs in high reliability applications (BA, CC, SAB), pp. 1–6.
DATE-2014-Braak #adaptation #scalability #using: Using guided local search for adaptive resource reservation in large-scale embedded systems (TDtB), pp. 1–4.
DATE-2014-BurgioTCMB #clustering #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-EbrahimiETSCA #analysis #fault: Comprehensive analysis of alpha and neutron particle-induced soft errors in an embedded processor at nanoscales (ME, AE, MBT, RS, EC, DA), pp. 1–6.
DATE-2014-EusseLASLS #architecture #component #flexibility: A flexible ASIP architecture for connected components labeling in embedded vision applications (JFE, RL, GA, PS, BL, TS), pp. 1–6.
DATE-2014-Fuller #challenge #design #generative: System design challenges for next generation wireless and embedded systems (DF), p. 1.
DATE-2014-GrafGTL #design #multi: Multi-variant-based design space exploration for automotive embedded systems (SG, MG, JT, CL), pp. 1–6.
DATE-2014-GuarnieriPSVBFMP #monitoring #verification: A cross-level verification methodology for digital IPs augmented with embedded timing monitors (VG, MP, AS, SV, NB, FF, EM, MP), pp. 1–6.
DATE-2014-KauerSGCA #distributed #fault tolerance #synthesis #verification: Fault-tolerant control synthesis and verification of distributed embedded systems (MK, DS, DG, SC, AMA), pp. 1–6.
DATE-2014-KondoKSWTNWAMKUKN #design #evaluation #fine-grained: Design and evaluation of fine-grained power-gating for embedded microprocessors (MK, HK, RS, MW, JT, MN, WW, HA, KM, MK, KU, TK, HN), pp. 1–6.
DATE-2014-KufelWHAWM: Clock-modulation based watermark for protection of embedded processors (JK, PRW, SH, BMAH, PNW, JM), pp. 1–6.
DATE-2014-LiHCXJX #memory management #stack: A wear-leveling-aware dynamic stack for PCM memory in embedded systems (QL, YH, YC, CJX, NJ, CX), pp. 1–4.
DATE-2014-LiuW #configuration management #design #logic #obfuscation: Embedded reconfigurable logic for ASIC design obfuscation against supply chain attacks (BL, BW), pp. 1–6.
DATE-2014-MembarthRHT #android #architecture #code generation: Code generation for embedded heterogeneous architectures on android (RM, OR, FH, JT), pp. 1–6.
DATE-2014-NikitakisPP #novel: A novel embedded system for vision tracking (AN, TP, IP), pp. 1–4.
DATE-2014-WanK: An embedded offset and gain instrument for OpAmp IPs (JW, HGK), pp. 1–4.
HPDC-2014-MittalVL #energy #performance: Improving energy efficiency of embedded DRAM caches for high-end computing systems (SM, JSV, DL), pp. 99–110.
PDP-2014-VinckeWLSB #effectiveness #parallel: Writing Parallel Embedded Software Effectively (RV, NDW, SVL, ES, JB), pp. 474–477.
ICST-2014-WeisslederS #evaluation #modelling #testing: An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
ICST-2014-YuSCR #framework #named #testing #worst-case: SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software (TY, WSa, MBC, GR), pp. 313–322.
ICTSS-2014-AbdelmoulaGA #automation #generative #named #testing: AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSS-2014-ChabotP #framework #hardware #monitoring: A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
ICTSS-2014-DoganayEAB #search-based #testing: Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
CBSE-2013-CiccozziSCS #assessment #automation #component #deployment #towards: An automated round-trip support towards deployment assessment in component-based embedded systems (FC, MS, AC, MS), pp. 179–188.
ICDAR-2013-Saabni #distance #image #performance #retrieval #using #word: Efficient Word Image Retrieval Using Earth Movers Distance Embedded to Wavelets Coefficients Domain (RS), pp. 314–318.
ITiCSE-2013-QianM #android: A fostering embedded system educationwith android sensory embedded system labware (KQ, KM), p. 336.
ITiCSE-2013-TsompanoudiSX #collaboration #distributed #programming: Exploring the effects of collaboration scripts embedded in a distributed pair programming system (DT, MS, SX), pp. 225–230.
ICSM-2013-MillerCW #developer #legacy #maintenance #scalability: Assuming Software Maintenance of a Large, Embedded Legacy System from the Original Developer (WLM, LBC, BLW), pp. 552–555.
CEFP-2013-Brady #dependent type #domain-specific language #implementation #programming language: The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.
ICFP-2013-SvenningssonS #composition #monad: Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.
FDG-2013-Rentschler #design #game studies #video: An examination of human values embedded in commercial video game design (KR), pp. 488–489.
HIMI-D-2013-UrokoharaH #development #quality: Managing HMI Quality in Embedded System Development (HU, NH), pp. 143–150.
HIMI-LCCB-2013-Hirasawa #challenge #development #quality: Challenges for Incorporating “Quality in Use” in Embedded System Development (NH), pp. 467–474.
VISSOFT-2013-BeckHDW #monitoring #source code #visual notation: Visual monitoring of numeric variables embedded in source code (FB, FH, SD, DW), pp. 1–4.
ICEIS-v2-2013-FragalSGJ #approach #product line #specification: Application Engineering for Embedded Systems — Transforming SysML Specification to Simulink within a Product-Line based Approach (VHF, RFS, IMdSG, EAdOJ), pp. 94–101.
ICEIS-v2-2013-SilvaFJGO #approach #named #product line: SyMPLES — A SysML-based Approach for Developing Embedded Systems Software Product Lines (RFS, VHF, EAdOJ, IMdSG, FO), pp. 257–264.
RecSys-2013-KoenigsteinP #feature model #matrix #recommendation: Xbox movies recommendations: variational bayes matrix factorization with embedded feature selection (NK, UP), pp. 129–136.
SEKE-2013-SantosGGFN #architecture #evaluation: A Checklist for Evaluation of Reference Architectures of Embedded Systems (JFMS, MG, MG, DF, EYN), pp. 451–454.
MoDELS-2013-PiresPWD #behaviour #source code #verification: Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
HILT-2013-DoranA #development #modelling #named #tool support: Reddo: a model driven engineering toolset for embedded software development (SD, SEA), pp. 47–48.
ER-BR-2013-MartinsOB #process #requirements #towards: Towards Requirements Engineering Process for Embedded Systems (LEGM, JCO, AB).
RE-2013-SavolainenHM #challenge #specification: Challenges in balancing the amount of solution information in requirement specifications for embedded products (JS, DH, MM), pp. 256–260.
SAC-PL-J-2011-DinkelakerEM13 #compilation #incremental #syntax: Incremental concrete syntax for embedded languages with support for separate compilation (TD, ME, MM), pp. 615–632.
ASE-2013-KimKKLJK #automation #industrial #scalability #testing #using: Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
ASE-2013-NejatiABHBC #cpu #risk management: Minimizing CPU time shortage risks in integrated embedded software (SN, MA, LCB, JH, JB, YC), pp. 529–539.
ESEC-FSE-2013-JiangLZDSGS #design #multi #optimisation #using: Design and optimization of multi-clocked embedded systems using formal technique (YJ, ZL, HZ, YD, XS, MG, JS), pp. 703–706.
SAC-2013-AguiarFMH #communication #design #multi: Communication support at the OS level to enhance design space exploration in multiprocessed embedded systems (AA, SJF, FGM, FH), pp. 1555–1556.
SAC-2013-FanTCS #energy #manycore #realtime: Energy-aware real-time task synchronization in multi-core embedded systems (LFF, THT, YSC, SSS), pp. 1493–1498.
SAC-2013-GroppeSW #xml: Eliminating the XML overhead in embedded XML languages (SG, BS, SW), pp. 542–547.
SAC-2013-PougetSCM #approach #data flow #debugging #interactive #novel: A novel approach for interactive debugging of dynamic dataflow embedded applications (KP, MS, PLC, JFM), pp. 1547–1549.
SAC-2013-SolankiRBGB #parsing #performance: Improving the performance of message parsers for embedded systems (JS, LR, YDB, BLG, TFB), pp. 1505–1510.
ASPLOS-2013-MittalBBS #architecture #performance #platform: Efficient virtualization on embedded power architecture® platforms (AM, DB, SB, VS), pp. 445–458.
ASPLOS-2013-SchulteDWF #assembly #automation #source code: Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.
CASE-2013-CuiVM #adaptation #architecture #named #self: ReFrESH: A self-adaptive architecture for autonomous embedded systems (YC, RMV, MHM), pp. 850–855.
DAC-2013-GaribottiOBkASR #distributed #memory management #multi #thread: Simultaneous multithreading support in embedded distributed memory MPSoCs (RG, LO, RB, Mk, CAJ, GS, MR), p. 7.
DAC-2013-JungPPC #distributed #framework #named #platform #scalability: netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems (YJ, JP, MP, LPC), p. 10.
DAC-2013-KimOCHH #distributed #estimation #novel: A novel analytical method for worst case response time estimation of distributed embedded systems (JK, HO, JC, HH, SH), p. 10.
DAC-2013-LiSARHP #adaptation #fault #named #runtime: RASTER: runtime adaptive spatial/temporal error resiliency for embedded processors (TL, MS, JAA, SR, JH, SP), p. 7.
DAC-2013-RellermeyerLK #operating system #platform: Cloud platforms and embedded computing: the operating systems of the future (JSR, SWL, MK), p. 6.
DAC-2013-ZhangGQ #energy #performance #scheduling: Improving charging efficiency with workload scheduling in energy harvesting embedded systems (YZ, YG, QQ), p. 8.
DAC-2013-ZhanSOTNX #design #energy #optimisation #realtime: Designing energy-efficient NoC for real-time embedded systems through slack optimization (JZ, NS, JO, LT, VN, YX), p. 6.
DAC-2013-ZhengHB #array #named #physics #robust: RESP: a robust physical unclonable function retrofitted into embedded SRAM array (YZ, MH, SB), p. 9.
DATE-2013-BernardiBSRB #fault #identification #online: On-line functionally untestable fault identification in embedded processor cores (PB, MB, ES, MSR, OB), pp. 1462–1467.
DATE-2013-BraojosAA #classification #random #using: A methodology for embedded classification of heartbeats using random projections (RB, GA, DA), pp. 899–904.
DATE-2013-ChenLSCCAN #modelling #synthesis: High-level modeling and synthesis for embedded FPGAs (XC, SL, JS, TC, AC, GA, TGN), pp. 1565–1570.
DATE-2013-CoppolaFGK #manycore: From embedded multi-core SoCs to scale-out processors (MC, BF, JG, GK), pp. 947–951.
DATE-2013-DoganBCABA #analysis #execution #multi #platform #power management: Synchronizing code execution on ultra-low-power embedded multi-channel signal analysis platforms (AYD, RB, JC, GA, AB, DA), pp. 396–399.
DATE-2013-HuZXTS #hybrid #in memory #memory management: Software enabled wear-leveling for hybrid PCM main memory on embedded systems (JH, QZ, CJX, WCT, EHMS), pp. 599–602.
DATE-2013-JiangEP #optimisation #set: Optimization of secure embedded systems with dynamic task sets (KJ, PE, ZP), pp. 1765–1770.
DATE-2013-LuMS #performance #simulation: Fast cache simulation for host-compiled simulation of embedded software (KL, DMG, US), pp. 637–642.
DATE-2013-NiakiS #automation #parallel #simulation: An automated parallel simulation flow for heterogeneous embedded systems (SHAN, IS), pp. 27–30.
DATE-2013-OjailDLG #framework #lightweight #manycore #named: ARTM: a lightweight fork-join framework for many-core embedded systems (MO, RD, YL, AG), pp. 1510–1515.
DATE-2013-PaoneVZSMHL #manycore #modelling #platform #simulation: Improving simulation speed and accuracy for many-core embedded platforms with ensemble models (EP, NV, VZ, CS, DM, GH, TL), pp. 671–676.
DATE-2013-ParkQPC #logic #self: 40.4fJ/bit/mm low-swing on-chip signaling with self-resetting logic repeaters embedded within a mesh NoC in 45nm SOI CMOS (SP, MQ, LSP, APC), pp. 1637–1642.
DATE-2013-SabooriA #hybrid #manycore #prototype: Hybrid prototyping of multicore embedded systems (ES, SA), pp. 1627–1630.
DATE-2013-SchneiderP #adaptation: An extremely compact JPEG encoder for adaptive embedded systems (JS, SP), pp. 1063–1064.
DATE-2013-StanisicVCDMLM #analysis #performance #platform #power management: Performance analysis of HPC applications on low-power embedded platforms (LS, BV, JC, AD, VMM, AL, JFM), pp. 475–480.
DATE-2013-WangH #modelling #performance #simulation: Fast and accurate cache modeling in source-level simulation of embedded software (ZW, JH), pp. 587–592.
DATE-2013-WangSCC #design #estimation #performance #reliability: Accurate and efficient reliability estimation techniques during ADL-driven embedded processor design (ZW, KS, CC, AC), pp. 547–552.
LCTES-2013-MorenoFH #analysis #debugging: Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis (CM, SF, MAH), pp. 77–88.
LCTES-2013-StilkerichSEHLSS #virtual machine: A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.
LCTES-2013-WangCSCH #api #manycore #using: Portable mapping of openMP to multicore embedded systems using MCA APIs (CW, SC, PS, BMC, JH), pp. 153–162.
CBSE-2012-Carlson #analysis #component: Timing analysis of component-based embedded systems (JC), pp. 151–156.
WICSA-ECSA-2012-NewmanK #architecture #resource management #runtime: A Runtime Resource-aware Architecture for Service-oriented Embedded Systems (PN, GK), pp. 61–70.
DRR-2012-LinGTHL #documentation #identification #using: Identification of embedded mathematical formulas in PDF documents using SVM (XL, LG, ZT, XH, XL).
ITiCSE-2012-SchaferBBJSFKS #empirical: The empirically refined competence structure model for embedded micro- and nanosystems (AS, RB, SB, SJ, SES, DF, BK, HS), pp. 57–62.
ICSM-2012-ThumsQ #re-engineering: Reengineering embedded automotive software (AT, JQ), pp. 493–502.
ICFP-2012-Axelsson #syntax: A generic abstract syntax model for embedded languages (EA), pp. 323–334.
ICFP-2012-Olukotun #domain-specific language #performance: High performance embedded domain specific languages (KO), pp. 139–140.
IFL-2012-TsushimaA #debugging: An Embedded Type Debugger (KT, KA), pp. 190–206.
CHI-2012-ArroyoBV #behaviour #interactive: Embedded interaction in a water fountain for motivating behavior change in public space (EA, LB, NV), pp. 685–688.
CHI-2012-LeeKFR #case study #social: Ripple effects of an embedded social agent: a field study of a social robot in the workplace (MKL, SBK, JF, PER), pp. 695–704.
ICEIS-v2-2012-AbdallahR #performance #testing: Performance Impact of Fuzz Testing Windows Embedded Handheld Applications (NA, SR), pp. 371–376.
ICPR-2012-RingJKE #analysis #classification #complexity #design #performance: Software-based performance and complexity analysis for the design of embedded classification systems (MR, UJ, PK, BE), pp. 2266–2269.
SEKE-2012-ConradoC #domain-specific language #visual notation: Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications (DBFC, VVdC), pp. 495–498.
SEKE-2012-DuarteN #development #overview #perspective: Aspect-Orientation in the Development of Embedded Systems: A Systematic Review (LSD, EYN), pp. 158–161.
ECMFA-2012-BehjatiNYGB #automation #modelling: Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
ECMFA-2012-RadjenovicMPRMBK #automation #modelling #named #uml #verification: MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.
MoDELS-2012-NejatiASB #analysis #cpu #modelling #safety #testing: Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.
ECOOP-2012-KossakowskiARO #domain-specific language #javascript: JavaScript as an Embedded DSL (GK, NA, TR, MO), pp. 409–434.
HILT-2012-LevesonFT #safety: Safety of embedded software (NGL, CHF, JT), pp. 7–8.
PADL-2012-BradyH #domain-specific language #programming: Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
ASE-2012-FalconeC #android #aspect-oriented #in the cloud #programming: Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud (YF, SC), pp. 350–353.
ASE-2012-NguyenNNNN #detection #smell #web: Detection of embedded code smells in dynamic web applications (HVN, HAN, TTN, ATN, TNN), pp. 282–285.
SAC-2012-El-ShambakeyR #bound #concurrent #manycore #realtime #trade-off: STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs (MES, BR), pp. 1602–1609.
DAC-2012-BachrachVRLWAWA #hardware #named #scala: Chisel: constructing hardware in a Scala embedded language (JB, HV, BR, YL, AW, RA, JW, KA), pp. 1216–1225.
DAC-2012-CheC #manycore: Unrolling and retiming of stream applications onto embedded multicore processors (WC, KSC), pp. 1272–1277.
DAC-2012-DonohooOPA #energy #mobile: Exploiting spatiotemporal and device contexts for energy-efficient mobile embedded systems (BKD, CO, SP, CA), pp. 1278–1283.
DAC-2012-El-ShambakeyR #bound #concurrent #realtime: STM concurrency control for embedded real-time software with tighter time bounds (MES, BR), pp. 437–446.
DAC-2012-HuangCBK #consistency #realtime #runtime: Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
DAC-2012-HuangHRBK #detection #fault tolerance #towards: Towards fault-tolerant embedded systems with imperfect fault detection (JH, KH, AR, CB, AK), pp. 188–196.
DAC-2012-JiangZZY #multi #performance #scalability: Constructing large and fast multi-level cell STT-MRAM based cache for embedded processors (LJ, BZ, YZ, JY), pp. 907–912.
DAC-2012-MelpignanoBFJLHCD #evaluation #framework #manycore #performance #platform #visual notation: Platform 2012, a many-core computing accelerator for embedded SoCs: performance evaluation of visual analytics applications (DM, LB, EF, BJ, TL, GH, FC, DD), pp. 1137–1142.
DAC-2012-UkhovBEP #analysis #multi #optimisation #reliability: Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems (IU, MB, PE, ZP), pp. 197–204.
DATE-2012-BamakhramaZNS #automation #design #realtime #streaming: A methodology for automated design of hard-real-time embedded streaming systems (MB, JTZ, HN, TS), pp. 941–946.
DATE-2012-BeckerDFMPV #evolution #modelling #named #scalability #verification: MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution (MB, GBD, FF, WM, GP, SV), pp. 296–299.
DATE-2012-BeniniFFM #composition #ecosystem #named #scalability: P2012: Building an ecosystem for a scalable, modular and high-efficiency embedded computing accelerator (LB, EF, DF, DM), pp. 983–987.
DATE-2012-BozgaDHHLLT #analysis #modelling #state of the art #tool support: State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (MB, AD, AH, HH, KGL, AL, JT), pp. 370–375.
DATE-2012-ChakrabortyLBFCPKLA #challenge: Embedded systems and software challenges in electric vehicles (SC, ML, CB, SAF, NC, SP, YK, PL, HA), pp. 424–429.
DATE-2012-DenizSH #manycore #verification: Verification coverage of embedded multicore applications (ED, AS, JH), pp. 252–255.
DATE-2012-EbeidFQS #design #modelling #refinement #uml: Refinement of UML/MARTE models for the design of networked embedded systems (ESME, FF, DQ, FS), pp. 1072–1077.
DATE-2012-EllenEO #automation #development #process #safety: Automatic transition between structural system views in a safety relevant embedded systems development process (CE, CE, MO), pp. 820–823.
DATE-2012-FaruqueC #automation #collaboration: Intelligent and collaborative embedded computing in automation engineering (MAAF, AC), pp. 344–345.
DATE-2012-GuglielmoGFP #design #modelling #verification: Enabling dynamic assertion-based verification of embedded software through model-driven design (GDG, LDG, FF, GP), pp. 212–217.
DATE-2012-HamoucheK #aspect-oriented #component #design #realtime: Component-based and aspect-oriented methodology and tool for Real-Time Embedded Control Systems Design (RH, RK), pp. 1421–1424.
DATE-2012-JiangEP #co-evolution #communication #constraints #design #distributed #realtime #security: Co-design techniques for distributed real-time embedded systems with communication security constraints (KJ, PE, ZP), pp. 947–952.
DATE-2012-LafayePBGF #modelling #resource management #simulation: Model driven resource usage simulation for critical embedded systems (ML, LP, EB, MG, DF), pp. 312–315.
DATE-2012-LevequePLACSMC #feedback #modelling #multi: Holistic modeling of embedded systems with multi-discipline feedback: Application to a Precollision Mitigation Braking System (AL, FP, MML, HA, FC, SS, AM, LC), pp. 739–744.
DATE-2012-LiRP #hardware #named: Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.
DATE-2012-LiuWWQS #memory management #process: A block-level flash memory management scheme for reducing write activities in PCM-based embedded systems (DL, TW, YW, ZQ, ZS), pp. 1447–1450.
DATE-2012-MakosiejTVA #design #optimisation #power management: Stability and yield-oriented ultra-low-power embedded 6T SRAM cell design optimization (AM, OT, AV, AA), pp. 93–98.
DATE-2012-MarongiuBB #clustering #lightweight #parallel #performance: Fast and lightweight support for nested parallelism on cluster-based embedded many-cores (AM, PB, LB), pp. 105–110.
DATE-2012-RajeevMR #architecture #constraints #distributed #verification: Verifying timing synchronization constraints in distributed embedded architectures (ACR, SM, SR), pp. 200–205.
DATE-2012-SabryAC #approach #fault #hybrid: A hybrid HW-SW approach for intermittent error mitigation in streaming-based embedded systems (MMS, DA, FC), pp. 1110–1113.
DATE-2012-Sun #automation #functional #generative #modelling: Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
DATE-2012-TurturiciSFF #power management #realtime: Low-power embedded system for real-time correction of fish-eye automotive cameras (MT, SS, LF, EF), pp. 340–341.
DATE-2012-WangH #compilation #optimisation #simulation: Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
DATE-2012-WanK #monitoring: Monitoring active filters under automotive aging scenarios with embedded instrument (JW, HGK), pp. 1096–1101.
LCTES-2012-AslamBQUFTSH #design #java #stack: Rethinking Java call stack design for tiny embedded devices (FA, GB, MAQ, ZAU, LF, PT, CS, EH), pp. 1–10.
LCTES-2012-Gal-OnL #benchmark #challenge #metric: Creating portable, repeatable, realistic benchmarks for embedded systems and the challenges thereof (SGO, ML), pp. 149–152.
LCTES-2012-HashemiFGE #named #scalability #streaming: FORMLESS: scalable utilization of embedded manycores in streaming applications (MH, MHF, SG, CE), pp. 71–78.
LCTES-2012-HuangZX #architecture #clustering #realtime: WCET-aware re-scheduling register allocation for real-time embedded systems with clustered VLIW architecture (YH, MZ, CJX), pp. 31–40.
LCTES-2012-KhudiaWM #fault #performance #using: Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.
LCTES-2012-KyleBFLT #manycore #set #simulation #using: Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation (SCK, IB, BF, HL, NPT), pp. 21–30.
LCTES-2012-LiZXH #hybrid: Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.
LCTES-2012-SallenaveD #lightweight #static analysis: Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.
PDP-2012-RuizHMDKC #analysis #component #modelling #security: A Methodology for the Analysis and Modeling of Security Threats and Attacks for Systems of Embedded Components (JFR, RH, AM, VD, IVK, AC), pp. 261–268.
PPoPP-2012-AnderschCJ #parallel #programming: Programming parallel embedded and consumer applications in OpenMP superscalar (MA, CCC, BHHJ), pp. 281–282.
PPoPP-2012-KamilCBCGHMF #domain-specific language #effectiveness #parallel #performance: Portable parallel performance from sequential, productive, embedded domain-specific languages (SK, DC, SB, HC, EG, JH, JM, AF), pp. 303–304.
FASE-2012-HatvaniPS #adaptation #automaton #framework #verification: Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (LH, PP, CCS), pp. 115–129.
ICST-2012-CaliebeHG #dependence #testing: Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.
ICST-2012-KimKJ #case study #industrial #testing: Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
ICST-2012-WahlerFSJN #automation #named #testing: CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
ICTSS-2012-YangHF #logic #parametricity #query: Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.
ISSTA-2012-IqbalAB #algorithm #empirical #modelling #realtime #testing: Empirical investigation of search algorithms for environment model-based testing of real-time embedded software (MZZI, AA, LCB), pp. 199–209.
CBSE-2011-BordeC #component #realtime #synthesis #towards: Towards verified synthesis of ProCom, a component model for real-time embedded systems (EB, JC), pp. 129–138.
CBSE-2011-CicchettiCLS #component #evolution: Evolution management of extra-functional properties in component-based embedded systems (AC, FC, TL, SS), pp. 93–102.
CBSE-2011-HeinzemannH #adaptation #architecture #communication #component #protocol #reuse #self: Reusing dynamic communication protocols in self-adaptive embedded component architectures (CH, SH), pp. 109–118.
CBSE-2011-OtteGS #component #deployment #distributed #enterprise #predict #realtime: Predictable deployment in component-based enterprise distributed real-time and embedded systems (WO, ASG, DCS), pp. 21–30.
CBSE-2011-TambeG #component #distributed #realtime #using: Rectifying orphan components using group-failover in distributed real-time and embedded systems (ST, ASG), pp. 139–148.
ECSA-2011-Axelsson #architecture #how #nondeterminism #on the: On How to Deal with Uncertainty When Architecting Embedded Software and Systems (JA), pp. 199–202.
QoSA-ISARCS-2011-KhanZ #component #monitoring #security: Building components with embedded security monitors (MUAK, MZ), pp. 133–142.
WICSA-2011-BordeCFLLMPS #component #development #distributed #named #realtime: PRIDE — An Environment for Component-Based Development of Distributed Real-Time Embedded Systems (EB, JC, JF, LL, TL, JM, AP, SS), pp. 351–354.
WICSA-2011-NewmanK #framework #runtime: A Runtime Resource-Management Framework for Embedded Service-Oriented Systems (PN, GK), pp. 123–126.
ICDAR-2011-WangHL #novel #segmentation: A Novel Method for Embedded Text Segmentation Based on Stroke and Color (XW, LH, CL), pp. 151–155.
ITiCSE-2011-SchaferBJSFKS #development: A normative competence structure model for embedded micro- and nanosystems development (AS, RB, SJ, SES, DF, BK, HS), p. 375.
CSMR-2011-KraftKNCH #maintenance #predict #research: Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems (JK, HMK, TN, IC, HH), pp. 335–338.
ICPC-2011-BegelQ #challenge #comprehension #industrial: Industrial Program Comprehension Challenge 2011: Archeology and Anthropology of Embedded Control Systems (AB, JQ), pp. 227–229.
Haskell-2011-DuregardJ #generative #parsing: Embedded parser generators (JD, PJ), pp. 107–117.
IFL-2011-PerssonAS #monad: Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.
GCM-2010-PicardM11 #graph #induction #problem #representation: Coinductive Graph Representation: the Problem of Embedded Lists (CP, RM).
DHM-2011-PaulickDB #monitoring #named: StabilitySole: Embedded Sensor Insole for Balance and Gait Monitoring (PP, HD, MB), pp. 171–177.
IDGD-2011-BrandND #interactive #network #social #using: Using Embedded Technology Badges to Derive Social Networks, Patterns of Interaction and Space Utilization in a Corporate Headquarters (JLB, GN, HD), pp. 353–360.
EDOC-2011-TongBKPL #architecture #challenge #enterprise #industrial #mobile #process: Enterprise Architecture for Addressing Business Transformation Challenges: The Case of Embedded Mobile Provisioning Process in the Telecommunications Industry (MT, HB, MK, JP, GL), pp. 35–43.
KDD-2011-Boyd #distributed #optimisation #realtime #scalability: Convex optimization: from embedded real-time to large-scale distributed (SB), p. 1.
KDIR-2011-BorcheninovO #programming #search-based #symbolic computation: Genetic Programming with Embedded Features of Symbolic Computations (YVB, YSO), pp. 476–479.
SEKE-2011-ShinM #self: Self-Management of External Device Failures in Embedded Software Systems (MES, PM), pp. 543–546.
SEKE-2011-ZengHLCHLE #named: SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems (RZ, YH, SL, PJC, XH, GWvdL, JLE), pp. 308–314.
MoDELS-2011-Al-BatranSH #clone detection #detection #development #modelling #semantics: Semantic Clone Detection for Model-Based Development of Embedded Systems (BAB, BS, BH), pp. 258–272.
MoDELS-2011-LettnerTM #identification #migration #overview #problem: A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice (ML, MT, RM), pp. 228–242.
MoDELS-2011-LindH #approach #automation #component #estimation #modelling: A Model-Based and Automated Approach to Size Estimation of Embedded Software Components (KL, RH), pp. 334–348.
PEPM-2011-WangG #programming #protocol: An embedded language for programming protocol stacks in embedded systems (YW, VG), pp. 63–72.
SIGAda-2011-BrosterC #how #reliability: How to measure and optimize reliable embedded software (IB, AC), pp. 1–2.
SIGAda-2011-McCormickS #realtime: Building embedded real-time applications (JWM, FS), pp. 15–16.
RE-2011-UbayashiKHT #analysis #bound: A context analysis method for embedded systems — Exploring a requirement boundary between a system and its context (NU, YK, MH, TT), pp. 143–152.
REFSQ-2011-SikoraTP #industrial #requirements: Requirements Engineering for Embedded Systems: An Investigation of Industry Needs (ES, BT, KP), pp. 151–165.
ESEC-FSE-2011-KimK #named #reliability #scalability #testing: SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
ICSE-2011-Petricic #component #deployment #predict: Predictable dynamic deployment of components in embedded systems (AP), pp. 1128–1129.
SAC-2011-AhnLK #development #energy #network: Development of the wireless embedded sensor network for energy-efficient flooding (SA, YL, SK), pp. 621–622.
SAC-2011-ChiangH #operating system: Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.
SAC-2011-DinkelakerEM #incremental #syntax: Incremental concrete syntax for embedded languages (TD, ME, MM), pp. 1309–1316.
SAC-2011-KookHLJK #linux #memory management #optimisation: Optimization of out of memory killer for embedded Linux environments (JK, SH, WL, EJ, JK), pp. 633–634.
SAC-2011-LuKNB #analysis #approach #realtime #simulation #statistics #validation: A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems (YL, JK, TN, IB), pp. 711–716.
SAC-2011-MitakeKCN #manycore #realtime: Coexisting real-time OS and general purpose OS on an embedded virtualization layer for a multicore processor (HM, YK, AC, TN), pp. 629–630.
SAC-2011-ShimadaKLCN #composition #design #functional #kernel: Design issues in composition kernels for highly functional embedded systems (HS, YK, THL, AC, TN), pp. 338–345.
SAC-2011-SimKM #adaptation #approach #fuzzing #linux #random: Fuzzing the out-of-memory killer on embedded Linux: an adaptive random approach (KYS, FCK, RGM), pp. 387–392.
SAC-2011-ZellerWEK #adaptation #approach #distributed #self: An approach for providing dependable self-adaptation in distributed embedded systems (MZ, GW, DE, RK), pp. 236–237.
CASE-2011-KuoSTC #architecture: An embedded robotic wheelchair control architecture with reactive navigations (CHK, YSS, TCT, TSC), pp. 810–815.
CASE-2011-SaddemTT: Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems (RS, AT, MT), pp. 163–168.
CGO-2011-NewburnSLMGTWDCWGLZ #array #compilation: Intel’s Array Building Blocks: A retargetable, dynamic compiler and embedded language (CJN, BS, ZL, MDM, AMG, SDT, ZGW, ZD, YC, GW, PG, ZL, DZ), pp. 224–235.
DAC-2011-CheC #compilation #manycore #memory management #source code: Compilation of stream programs onto scratchpad memory based embedded multicore processors through retiming (WC, KSC), pp. 122–127.
DAC-2011-ClemonsJPSA #feature model #named: EFFEX: an embedded processor for computer vision based feature extraction (JC, AJ, RP, SS, TMA), pp. 1020–1025.
DAC-2011-FajardoFIGLZ #architecture #effectiveness #named #platform: Buffer-integrated-Cache: a cost-effective SRAM architecture for handheld and embedded platforms (CFF, ZF, RI, GFG, SEL, LZ), pp. 966–971.
DAC-2011-Hazelwood #adaptation #runtime: Process-level virtualization for runtime adaptation of embedded software (KMH), pp. 895–900.
DAC-2011-Heiser #question #why: Virtualizing embedded systems: why bother? (GH), pp. 901–905.
DAC-2011-HenrySN #power management: A case for NEMS-based functional-unit power gating of low-power embedded microprocessors (MBH, MS, LN), pp. 872–877.
DAC-2011-HeRK #concept analysis #generative #testing: Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.
DAC-2011-NadeemBS #java #named: RJOP: a customized Java processor for reactive embedded systems (MN, MBA, ZS), pp. 1038–1043.
DAC-2011-ThieleSYB #analysis #multi #synthesis: Thermal-aware system analysis and software synthesis for embedded multi-processors (LT, LS, HY, IB), pp. 268–273.
DAC-2011-Vitek #java #realtime: Virtualizing real-time embedded systems with Java (JV), pp. 906–911.
DAC-2011-YangBC #detection #energy #fault #using: Energy-efficient MIMO detection using unequal error protection for embedded joint decoding system (YSY, PB, GC), pp. 579–584.
DAC-2011-YunKKH #manycore #parallel #simulation: Simulation environment configuration for parallel simulation of multicore embedded systems (DY, JK, SK, SH), pp. 345–350.
DAC-2011-ZhaoAZ #energy #realtime: Generalized reliability-oriented energy management for real-time embedded applications (BZ, HA, DZ), pp. 381–386.
DATE-2011-AlordaTBS #optimisation #using: Stability optimization of embedded 8T SRAMs using Word-Line Voltage modulation (BA, GT, SAB, JS), pp. 986–991.
DATE-2011-BaiocchiC: Demand code paging for NAND flash in MMU-less embedded systems (JB, BRC), pp. 517–532.
DATE-2011-BathenD #distributed #named #power management #reliability: E-RoC: Embedded RAIDs-on-Chip for low power distributed dynamically managed reliable memories (LADB, NDD), pp. 1141–1146.
DATE-2011-BehrendLHRKR #hybrid #scalability #verification: Scalable hybrid verification for embedded software (JB, DL, PH, JR, TK, WR), pp. 179–184.
DATE-2011-ClermidyDDLV #3d #manycore: 3D Embedded multi-core: Some perspectives (FC, FD, DD, WL, PV), pp. 1327–1332.
DATE-2011-FalkZHT #algorithm #clustering #data flow #performance #rule-based #synthesis: A rule-based static dataflow clustering algorithm for efficient embedded software synthesis (JF, CZ, CH, JT), pp. 521–526.
DATE-2011-HuangWSLXL #low cost: A specialized low-cost vectorized loop buffer for embedded processors (LH, ZW, LS, HL, NX, CL), pp. 1200–1203.
DATE-2011-KapoorJ #design #power management #tutorial #verification: Embedded tutorial: Addressing critical power management verification issues in low power designs (BK, KMJ), p. 124.
DATE-2011-KernST #automation #concept #data type #migration: An automated data structure migration concept — From CAN to Ethernet/IP in automotive embedded systems (CANoverIP) (AK, TS, JT), pp. 112–117.
DATE-2011-KimYLAJ #3d #analysis #mobile #performance: A quantitative analysis of performance benefits of 3D die stacking on mobile and embedded SoC (DK, SY, SL, JHA, HJ), pp. 1333–1338.
DATE-2011-MichelFP #simulation: Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation (LM, NF, FP), pp. 277–280.
DATE-2011-MuWLLZCXD #performance: Evaluating the potential of graphics processors for high performance embedded computing (SM, CW, ML, DL, MZ, XC, XX, YD), pp. 709–714.
DATE-2011-Niu #energy #realtime #scheduling: System-level energy-efficient scheduling for hard real-time embedded systems (LN), pp. 281–284.
DATE-2011-RazaghiG #development #manycore #realtime: Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
DATE-2011-SieglHGB #modelling #specification #testing: Formal specification and systematic model-driven testing of embedded automotive systems (SS, KSJH, RG, CB), pp. 118–123.
DATE-2011-WangLH #approach: An approach to improve accuracy of source-level TLMs of embedded software (ZW, KL, AH), pp. 216–221.
DATE-2011-WannerBZAGS #scheduling #variability: Variability-aware duty cycle scheduling in long running embedded sensing systems (LFW, RB, SZ, CA, PG, MBS), pp. 131–136.
DATE-2011-Winterholer #debugging #requirements: Embedded software debug and test: Needs and requirements for innovations in debugging (MW), p. 721.
DATE-2011-YoonLJPKPC #configuration management #incremental #named: I2CRF: Incremental interconnect customization for embedded reconfigurable fabrics (JWY, JL, JJ, SP, YK, YP, DC), pp. 1346–1351.
LCTES-2011-BerthierMM #operating system #programming: Synchronous programming of device drivers for global resource control in embedded operating systems (NB, FM, LM), pp. 81–90.
LCTES-2011-GamatieG #design #multi #performance #source code #static analysis: Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems (AG, LG), pp. 71–80.
LCTES-2011-GrayA #api #architecture #manycore: Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation (IG, NCA), pp. 51–60.
PPoPP-2011-CatanzaroGK #compilation #named #parallel: Copperhead: compiling an embedded data parallel language (BCC, MG, KK), pp. 47–56.
ESOP-2011-Mine #c #fault #parallel #runtime #source code #static analysis: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
ICST-2011-HanselRHG #algorithm #generative #realtime: An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
ICST-2011-YuSSR #testing #using: Using Property-Based Oracles when Testing Embedded System Applications (TY, AS, WSa, GR), pp. 100–109.
ISSTA-2011-ShahbazSE #component #refinement #specification: Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.
VMCAI-2011-ChengRKB #fault tolerance #game studies #synthesis #theory and practice #using: Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (CHC, HR, AK, CB), pp. 118–133.
CBSE-2010-HosekPBHM #comparison #component #framework #realtime: Comparison of Component Frameworks for Real-Time Embedded Systems (PH, TP, TB, PH, MM), pp. 21–36.
CBSE-2010-LoiretSDS #approach #composition #realtime: A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks (FL, LS, LD, DS), pp. 37–54.
CBSE-2010-SuryadevaraKSP #modelling #semantic gap: Bridging the Semantic Gap between Abstract Models of Embedded Systems (JS, EYK, CCS, PP), pp. 55–73.
ECSA-2010-LoukilKZJ #aspect-oriented #towards: Toward an Aspect Oriented ADL for Embedded Systems (SL, SK, BZ, MJ), pp. 489–492.
QoSA-2010-MeedeniyaBAG #architecture #energy #optimisation #reliability: Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (IM, BB, AA, LG), pp. 52–67.
CSEET-2010-Zalewski #development #education: A Comprehensive Embedded Systems Lab for Teaching Web-Based Remote Software Development (JZ), pp. 113–120.
ITiCSE-2010-QianLH #education: Portable labs in a box for embedded system education (KQ, CTDL, XH), p. 318.
IFM-2010-FitzgeraldLPVW #collaboration #development #modelling: Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems (JSF, PGL, KGP, MV, SW), pp. 12–26.
IFL-2010-AxelssonCSSEP #design #implementation: The Design and Implementation of Feldspar — An Embedded Language for Digital Signal Processing (EA, KC, MS, JS, DE, AP), pp. 121–136.
CIKM-2010-DingSBVWLC #automation #detection #feature model #framework #image #using: Automatic detection of craters in planetary images: an embedded framework using feature selection and boosting (WD, TFS, LPCB, RV, YW, ZL, TC), pp. 749–758.
CIKM-2010-HaLSL #comprehension #mobile #named: EUI: an embedded engine for understanding user intents from mobile devices (JH, JHL, KSS, SL), pp. 1935–1936.
SEKE-2010-FeitosaFOWN #development #mobile #re-engineering: Software Engineering in the Embedded Software and Mobile Robot Software Development: A Systematic Mapping (DF, KRF, LBRdO, DW, EYN), pp. 738–741.
ECMFA-2010-OnoTKSNF #abstraction #execution #modelling #performance: A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces (KO, MT, RK, YS, TN, NF), pp. 233–244.
MoDELS-v1-2010-IqbalAB #black box #case study #industrial #modelling #realtime #testing #uml: Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.
MoDELS-v2-2010-Voelter #development #language workbench #projectional: Embedded Software Development with Projectional Language Workbenches (MV), pp. 32–46.
SPLC-2010-BelategiSE #product line #variability: MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines (LB, GS, LE), pp. 466–470.
SPLC-2010-UbayashiNH #product line #reliability: Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems (NU, SN, MH), pp. 1–15.
TOOLS-EUROPE-2010-HundtSG #aspect-oriented #optimisation: Optimizing Aspect-Oriented Mechanisms for Embedded Applications (CH, DS, SG), pp. 137–153.
TOOLS-EUROPE-2010-Xu #domain-specific language #generative #named: EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
SIGAda-2010-McCormick #ada #parallel #realtime: Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.
SIGAda-2010-Pettit #ada #concurrent #design #realtime #uml #using: Designing real-time, concurrent, and embedded software systems using UML and Ada (RGPI), pp. 7–8.
ASE-2010-IvanovOSV #analysis #behaviour #modelling #set #tool support: REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems (DI, MO, CCS, AV), pp. 361–362.
ICSE-2010-Cordeiro #bound #concurrent #model checking #multi #smt #thread: SMT-based bounded model checking for multi-threaded software in embedded systems (LC), pp. 373–376.
SAC-2010-ChangLHCSYHK #manycore #modelling: SysML-based requirement modeling environment for multicore embedded system (CHC, CWL, NLH, WCC, CS, CTY, PAH, CSK), pp. 2224–2228.
SAC-2010-FacchinettiSG #design #development #metric #realtime: Design and development of a real-time embedded inertial measurement unit (TF, AS, EG), pp. 491–495.
SAC-2010-FahndrichBL #contract: Embedded contract languages (MF, MB, FL), pp. 2103–2110.
SAC-2010-ForgetBLP #architecture #design #multi #realtime: A real-time architecture design language for multi-rate embedded control systems (JF, FB, DL, CP), pp. 527–534.
SAC-2010-LarcherBM #recognition: Constrained Viterbi decoding for embedded user-customised password speaker recognition (AL, JFB, JSDM), pp. 1501–1502.
GPCE-2010-NavasBP #component #evolution #framework #runtime: A component-based run-time evolution infrastructure for resource-constrained embedded systems (JFN, JPB, JP), pp. 73–82.
CASE-2010-DingSPS: Improving motion of robotic manipulators by an embedded optimizer (HD, GS, BP, OS), pp. 204–209.
DAC-2010-BombieriFP #abstraction: Abstraction of RTL IPs into embedded software (NB, FF, GP), pp. 24–29.
DAC-2010-ChouMM #design #experience: Find your flow: increasing flow experience by designing “human” embedded systems (CLC, AMM, RM), pp. 619–620.
DAC-2010-CohenR #compilation #manycore: Processor virtualization and split compilation for heterogeneous multicore embedded systems (AC, ER), pp. 102–107.
DAC-2010-ElizehN #memory management: Embedded memory binding in FPGAs (KE, NN), pp. 457–462.
DAC-2010-HaquePJP #approach #named #performance #policy #simulation: SCUD: a fast single-pass L1 cache simulation approach for embedded processors with round-robin replacement policy (MSH, JP, AJ, SP), pp. 356–361.
DAC-2010-HuXTHQS #migration #process: Reducing write activities on non-volatile memories in embedded CMPs via data migration and recomputation (JH, CJX, WCT, YH, MQ, EHMS), pp. 350–355.
DAC-2010-SridharanM #power management #realtime #reliability: Reliability aware power management for dual-processor real-time embedded systems (RS, RNM), pp. 819–824.
DAC-2010-ZhangC: Thermal aware task sequencing on embedded processors (SZ, KSC), pp. 585–590.
DATE-2010-BalaschVP #framework #privacy: An embedded platform for privacy-friendly road charging applications (JB, IV, BP), pp. 867–872.
DATE-2010-Cota #problem #question #testing #what: Embedded software testing: What kind of problem is this? (ÉFC), p. 1486.
DATE-2010-DixitDR #component #realtime: Taming the component timing: A CBD methodology for real-time embedded systems (MGD, PD, SR), pp. 1649–1652.
DATE-2010-EckerESSV #modelling: TLM+ modeling of embedded HW/SW systems (WE, VE, RS, TS, MV), pp. 75–80.
DATE-2010-FerentSGD #approach #linear #network #programming: Linear programming approach for performance-driven data aggregation in networks of embedded sensors (CF, VS, MG, AD), pp. 1456–1461.
DATE-2010-HaquePJP #approach #named #performance #policy #simulation: DEW: A fast level 1 cache simulation approach for embedded processors with FIFO replacement policy (MSH, JP, AJ, SP), pp. 496–501.
DATE-2010-Jara-BerrocalG #architecture #configuration management #named: VAPRES: A Virtual Architecture for Partially Reconfigurable Embedded Systems (AJB, AGR), pp. 837–842.
DATE-2010-KlemmF #c++ #metaprogramming #using: Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
DATE-2010-KootiBLB #configuration management #realtime #scheduling: Transition-aware real-time task scheduling for reconfigurable embedded systems (HK, EB, SL, LB), pp. 232–237.
DATE-2010-LeeYCC #metric: An embedded wide-range and high-resolution CLOCK jitter measurement circuit (YL, CYY, NCDC, JJC), pp. 1637–1640.
DATE-2010-LukasiewyczGT #design #robust: Robust design of embedded systems (ML, MG, JT), pp. 1578–1583.
DATE-2010-ShafikAC #design #optimisation #power management: Soft error-aware design optimization of low power and time-constrained embedded systems (RAS, BMAH, KC), pp. 1462–1467.
DATE-2010-VidalLGDS #configuration management #design #multi #uml: UML design for dynamically reconfigurable multiprocessor embedded systems (JV, FdL, GG, JPD, PS), pp. 1195–1200.
DATE-2010-ZengGA #debugging #framework #visual notation: Graphical Model Debugger Framework for embedded systems (KZ, YG, CA), pp. 87–92.
ISMM-2010-UgawaIY #garbage collection #incremental: Improved replication-based incremental garbage collection for embedded systems (TU, HI, TY), pp. 73–82.
LCTES-2010-BiehlCT #analysis #development #modelling #safety: Integrating safety analysis into the model-based development toolchain of automotive embedded systems (MB, DJC, MT), pp. 125–132.
LCTES-2010-LiZ #mobile #performance: An efficient code update scheme for DSP applications in mobile embedded systems (WL, YZ), pp. 105–114.
LCTES-2010-PykaKMM #approach #framework #platform: Versatile system-level memory-aware platform description approach for embedded MPSoCs (RP, FK, PM, SM), pp. 9–16.
LCTES-2010-ShrivastavaLJ #equation #fault: Cache vulnerability equations for protecting data in embedded processor caches from soft errors (AS, JL, RJ), pp. 143–152.
PDP-2010-RayoBMPD #manycore #parallel #power management #requirements #thread: Balancing Task Resource Requirements in Embedded Multithreaded Multicore Processors to Reduce Power Consumption (DBR, JSB, HHM, SP, JD), pp. 200–204.
TACAS-2010-Sifakis #challenge #design: Embedded Systems Design — Scientific Challenges and Work Directions (JS), p. 1.
CAV-2010-MazoDT #named #synthesis: PESSOA: A Tool for Embedded Controller Synthesis (MMJ, AD, PT), pp. 566–569.
ICTSS-2010-ArcuriIB #black box #random #realtime #search-based #testing #using: Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing (AA, MZZI, LCB), pp. 95–110.
CBSE-2009-LoiretNBL #component #operating system #realtime: Component-Based Real-Time Operating System for Embedded Applications (FL, JFN, JPB, OL), pp. 209–226.
WICSA-ECSA-2009-Axelsson #architecture #case study #industrial #product line: Evolutionary architecting of embedded automotive product lines: An industrial case study (JA), pp. 101–110.
WICSA-ECSA-2009-Capilla #architecture #design: Embedded design rationale in software architecture (RC), pp. 305–308.
WICSA-ECSA-2009-RooSA #adaptation #architecture #multi #optimisation #using: An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization (AdR, HS, MA), pp. 349–352.
ICDAR-2009-GimenezJ #recognition #word: Embedded Bernoulli Mixture HMMs for Handwritten Word Recognition (AG, AJ), pp. 896–900.
ICDAR-2009-SunK #detection: Detecting Printed and Handwritten Partial Copies of Line Drawings Embedded in Complex Backgrounds (WS, KK), pp. 341–345.
PODS-2009-ChirkovaG #dependence #equivalence #query #sql: Equivalence of SQL queries in presence of embedded dependencies (RC, MRG), pp. 217–226.
ITiCSE-2009-QianLT #education #online #realtime: Teach real-time embedded system online with real hands-on labs (KQ, JL, LT), p. 367.
ICPC-J-2008-DaltonWDH09 #behaviour #network #runtime #tool support #visualisation: Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS (ARD, SKW, SD, JOH), pp. 446–469.
Haskell-2009-PikeBG #experience #haskell #protocol #realtime: Roll your own test bed for embedded real-time protocols: a haskell experience (LP, GMB, AG), pp. 61–68.
ICFP-2009-NewtonK #case study #domain-specific language #experience #functional #parallel: Experience report: embedded, parallel computer-vision with a functional DSL (RN, TK), pp. 59–64.
ICFP-2009-PaganoAMCCWMC #case study #certification #experience #framework #ml #safety #tool support #using: Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (BP, OA, TM, BC, EC, PW, PM, JLC), pp. 215–220.
HIMI-DIE-2009-Ocenasek09a #approach #communication #design: An Approach for the Design of Secure Communication in Embedded Systems (PO), pp. 579–586.
HIMI-II-2009-NishinoH #learning #named #visualisation: Minato: Integrated Visualization Environment for Embedded Systems Learning (YN, EH), pp. 325–333.
ICEIS-J-2009-CarrascoHRSE #interface #monitoring #safety #using: Remote Controlling and Monitoring of Safety Devices Using Web-Interface Embedded Systems (AC, MDH, MCR, FS, JIE), pp. 737–744.
SEKE-2009-ChenZLLYLGW #approach #development #ontology: An Ontology-based Approach to Portable Embedded System Development (FC, HZ, JL, RL, HY, HL, HG, YW), pp. 569–574.
ECMDA-FA-2009-EspinozaCSG #challenge #design #modelling: Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems (HE, DC, BS, SG), pp. 98–113.
ECMDA-FA-2009-Trew #platform #question: Creating Embedded Platforms with MDA: Where’s the Sweet Spot? (TT), p. 1.
PADL-2009-DukeBWR #design #domain-specific language #multi #source code #visualisation: Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs (DJD, RB, MW, CR), pp. 31–45.
PEPM-2009-MoretBV09a #java #named: CProf: customizable calling context cross-profiling for embedded java processors (PM, WB, AV), pp. 161–164.
PPDP-2009-Tarau #data transformation #declarative #model transformation #transformation language: An embedded declarative data transformation language (PT), pp. 171–182.
SIGAda-2009-Gluch #analysis #modelling: Embedded systems engineering with the AADL: modeling & analysis (DPG), pp. 7–8.
SIGAda-2009-LosebyCB #using: Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.
SIGAda-2009-Rogers #ada #realtime: Embedded, hard, real-time systems with Ada (PR), pp. 17–18.
REFSQ-2009-Berntsson-SvenssonGR #quality #requirements: Quality Requirements in Practice: An Interview Study in Requirements Engineering for Embedded Systems (RBS, TG, BR), pp. 218–232.
ASE-2009-CordeiroFM #bound #model checking #smt: SMT-Based Bounded Model Checking for Embedded ANSI-C Software (LCC, BF, JMS), pp. 137–148.
GTTSE-2009-DinizC #architecture #configuration management #program transformation: Code Transformations for Embedded Reconfigurable Computing Architectures (PCD, JMPC), pp. 322–344.
ICSE-2009-SentillesPNNPC #analysis #component #design #implementation #named: Save-IDE — A tool for design, analysis and implementation of component-based embedded systems (SS, AP, DN, TN, PP, IC), pp. 607–610.
SAC-2009-AndradeMCNA #constraints #diagrams #energy #petri net #realtime #sequence chart #uml #validation: Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.
SAC-2009-AraujoS #integration #web #web service: The device service bus: a solution for embedded device integration through web services (GMA, FS), pp. 185–189.
SAC-2009-ChoudhuriG #named #nondeterminism: FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
SAC-2009-DohLMKCLN #file system #metadata #performance: Impact of NVRAM write cache for file system metadata on I/O performance in embedded systems (IHD, HJL, YJM, EK, JC, DL, SHN), pp. 1658–1663.
SAC-2009-KatoriSNN #multi #self: Building a self-healing embedded system in a multi-OS environment (TK, LS, DKN, TN), pp. 293–298.
SAC-2009-KimYCH: Impact of function inlining on resource-constrained embedded systems (BK, SY, YC, JH), pp. 287–292.
SAC-2009-KiyoharaMMNK #performance: Method for fast compression of program codes for remote updates in embedded systems (RK, SM, MM, MN, SK), pp. 1683–1684.
SAC-2009-LaiRC #on the #realtime #scheduling: On scheduling soft real-time tasks with lock-free synchronization for embedded devices (SL, BR, HC), pp. 1685–1686.
SAC-2009-LiangZSZ #adaptation #architecture #distributed #realtime #resource management: Adaptive resource management architecture for distributed real-time embedded systems (KL, XZ, RS, KZ), pp. 1050–1055.
SAC-2009-MaengKSR #architecture #debugging #named #realtime: RT-replayer: a record-replay architecture for embedded real-time software debugging (JCM, JIK, MKS, MR), pp. 1670–1675.
SAC-2009-MoserCT: Optimal service level allocation in environmentally powered embedded systems (CM, JJC, LT), pp. 1650–1657.
SAC-2009-ParkH #fine-grained #operating system #programming #using: Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment (JP, SH), pp. 1952–1956.
SAC-2009-QiuLS #framework #hardware #optimisation #platform #realtime: Heterogeneous real-time embedded software optimization considering hardware platform (MQ, HL, EHMS), pp. 1637–1641.
SAC-2009-RodriguesSC #composition #functional #set #using #verification: Improving functional verification of embedded systems using hierarchical composition and set theory (CLR, KRGdS, HdNC), pp. 1632–1636.
SAC-2009-YounM09a #email #image: Improved spam filtering by extraction of information from text embedded image e-mail (SY, DM), pp. 1754–1755.
CASE-2009-ArcherSRR #automation #profiling: Profiling primitives of networked embedded automation (BA, SS, AR, RR), pp. 531–536.
CASE-2009-PintoKX #network #synthesis: Synthesis of wireless time-triggered embedded networks for networked control systems (AP, RK, SX), pp. 397–402.
CGO-2009-ChoiLCMM #compilation #manycore #realtime: Stream Compilation for Real-Time Embedded Multicore Systems (YC, YL, NC, SAM, TNM), pp. 210–220.
CGO-2009-CollinB #taxonomy: Two-Level Dictionary Code Compression: A New Scheme to Improve Instruction Code Density of Embedded Applications (MC, MB), pp. 231–242.
DAC-2009-BaumannSP #architecture #assessment #design #robust: Architectural assessment of design techniques to improve speed and robustness in embedded microprocessors (TB, DSL, CP), pp. 947–950.
DAC-2009-KimM #array #configuration management #performance: Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.
DAC-2009-SamiiEPC #multi #quality #synthesis: Quality-driven synthesis of embedded multi-mode control systems (SS, PE, ZP, AC), pp. 864–869.
DAC-2009-WangH #approach #performance #simulation: An efficient approach for system-level timing simulation of compiler-optimized embedded software (ZW, AH), pp. 220–225.
DATE-2009-AnsaloniBP #architecture: Heterogeneous coarse-grained processing elements: A template architecture for embedded processing acceleration (GA, PB, LP), pp. 542–547.
DATE-2009-ChangHL #adaptation #concurrent #manycore #named #testing: pTest: An adaptive testing tool for concurrent software on embedded multicore processors (SWC, KYH, JKL), pp. 1012–1017.
DATE-2009-CostaM #approach: A MILP-based approach to path sensitization of embedded software (JCC, JCM), pp. 1568–1571.
DATE-2009-FummiPR #design #middleware: Networked embedded system applications design driven by an abstract middleware environment (FF, GP, NR), pp. 1024–1029.
DATE-2009-GarciaO #fault #information management #self: Making DNA self-assembly error-proof: Attaining small growth error rates through embedded information redundancy (SG, AO), pp. 898–901.
DATE-2009-GlassLHT #design: Incorporating graceful degradation into embedded system design (MG, ML, CH, JT), pp. 320–323.
DATE-2009-HuynhM #configuration management #realtime #runtime: Runtime reconfiguration of custom instructions for real-time embedded systems (HPH, TM), pp. 1536–1541.
DATE-2009-IzosimovPPEP #analysis #fault tolerance #optimisation: Analysis and optimization of fault-tolerant embedded systems with hardened processors (VI, IP, PP, PE, ZP), pp. 682–687.
DATE-2009-JerrayaN #comprehension #manycore #tutorial: Embedded tutorial — Understanding multicore technologies (AAJ, GN), p. 1051.
DATE-2009-KonigBSMNW #behaviour #evaluation #performance #realtime: Application specific performance indicators for quantitative evaluation of the timing behavior for embedded real-time systems (FK, DB, FS, UM, MN, GW), pp. 519–523.
DATE-2009-LeonardiPC #case study #deployment #distributed #network: A case study in distributed deployment of embedded software for camera networks (FL, AP, LPC), pp. 1006–1011.
DATE-2009-ReordaVMR #low cost: A low-cost SEE mitigation solution for soft-processors embedded in Systems on Pogrammable Chips (MSR, MV, CM, RR), pp. 352–357.
DATE-2009-SamiiCEP #distributed #scheduling #synthesis: Integrated scheduling and synthesis of control applications on distributed embedded systems (SS, AC, PE, ZP), pp. 57–62.
DATE-2009-Sifakis #challenge #design: Embedded systems design — Scientific challenges and work directions (JS), p. 2.
DATE-2009-SinghPHMM #power management: Single ended 6T SRAM with isolated read-port for low-power embedded systems (JS, DKP, SH, SPM, JM), pp. 917–922.
DATE-2009-SubramanianGD #adaptation #configuration management #design #grid #network #online #policy: Online adaptation policy design for grid sensor networks with reconfigurable embedded nodes (VS, MG, AD), pp. 1273–1278.
DATE-2009-VidalLGSD #approach #co-evolution #code generation #design #modelling #uml: A co-design approach for embedded system modeling and code generation with UML and MARTE (JV, FdL, GG, PS, JPD), pp. 226–231.
LCTES-2009-GracioliF: Tracing interrupts in embedded software (GG, SF), pp. 137–146.
LCTES-2009-MankinKA #manycore #memory management #transaction: Software transactional memory for multicore embedded systems (JM, DRK, JA), pp. 90–98.
LCTES-2009-ZouABL #flexibility #graph #realtime #theory and practice: PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice (JZ, JSA, DFB, EAL), pp. 31–40.
ICST-2009-GrossmannSS #realtime #testing: Testing Embedded Real Time Systems with TTCN-3 (JG, DAS, IS), pp. 81–90.
CBSE-2008-SentillesVBCC #component #distributed: A Component Model for Control-Intensive Distributed Embedded Systems (SS, AV, TB, JC, IC), pp. 310–317.
ICPC-2008-Parr #reuse #semantics #using: The Reuse of Grammars with Embedded Semantic Actions (TP), pp. 5–10.
ICSM-2008-KarimKSCTOJ #industrial #maintenance: Positioning embedded software maintenance within industrial maintenance (RK, MKM, PS, OC, TT, HO, JJ), pp. 440–443.
SCAM-2008-FehnkerHRS #assembly #program analysis: Some Assembly Required — Program Analysis of Embedded System Code (AF, RH, FR, SS), pp. 15–24.
SEFM-2008-SchaeferP #adaptation #composition #modelling #reasoning #verification: Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.
SEFM-2008-TavaresSM #constraints #energy #scheduling: An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints (ET, BS, PRMM), pp. 291–300.
ICFP-2008-AugustssonMS #domain-specific language #haskell #named: Paradise: a two-stage DSL embedded in Haskell (LA, HM, GS), pp. 225–228.
IFL-2008-SvenssonSC #named #parallel #programming: Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors (JS, MS, KC), pp. 156–173.
ICPR-2008-GuoYZZY #markov #random #using: Face super-resolution using 8-connected Markov Random Fields with embedded prior (KG, XY, RZ, GZ, SY), pp. 1–4.
SEKE-2008-HansenZS #generative #web #web service: Ontology-Enabled Generation of Embedded Web Services (KMH, WZ, GS), pp. 345–350.
ECMDA-FA-2008-Scheidgen #modelling #visual notation: Textual Modelling Embedded into Graphical Modelling (MS), pp. 153–168.
MoDELS-2008-ParetoSE #evolution #ontology: Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.
SPLC-2008-GustavssonA #flexibility #product line #using: Evaluating Flexibility in Embedded Automotive Product Lines Using Real Options (HG, JA), pp. 235–242.
MoDELS-2008-ParetoSE #evolution #ontology: Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.
AdaEurope-2008-Natale #component #design #development: Design and Development of Component-Based Embedded Systems for Automotive Applications (MDN), pp. 15–29.
SIGAda-2008-Doran #ada #development #named #programming language #realtime: Anima: a Ada derived programming language for real-time embedded software development (SD), pp. 121–132.
RE-2008-VillelaDG #evolution #requirements: Proactively Managing the Evolution of Embedded System Requirements (KV, JD, AG), pp. 13–22.
REFSQ-2008-MarincicMW #requirements #verification: Classifying Assumptions Made during Requirements Verification of Embedded Systems (JM, AM, RW), pp. 141–146.
ASE-2008-SentillesPCH #component #development #ide #named #predict: Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems (SS, PP, IC, JH), pp. 493–494.
SAC-2008-AndronickN #protocol: Certifying an embedded remote method invocation protocol (JA, QHN), pp. 352–359.
SAC-2008-AtoofianB #behaviour #latency #memory management: Exploiting program cyclic behavior to reduce memory latency in embedded processors (EA, AB), pp. 1482–1486.
SAC-2008-CartaxoANM #functional #named #testing: LTS-BT: a tool to generate and select functional test cases for embedded systems (EGC, WdLA, FGON, PDLM), pp. 1540–1544.
SAC-2008-CruzBC #approach #modelling #realtime #towards: Towards a model-driven engineering approach for developing embedded hard real-time software (FC, RSB, LC), pp. 308–314.
SAC-2008-GruianW #architecture #case study #java: VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture (FG, MW), pp. 1492–1497.
SAC-2008-GuiFSB #component #configuration management #hybrid #realtime: A hybrid real-time component model for reconfigurable embedded systems (NG, VDF, HS, CB), pp. 1590–1596.
SAC-2008-LuCL #hybrid #self: A hybrid software-based self-testing methodology for embedded processor (THL, CHC, KJL), pp. 1528–1534.
SAC-2008-PerngCK #configuration management #hardware #platform: The minimization of hardware size in reconfigurable embedded platforms (NCP, JJC, TWK), pp. 1517–1522.
SAC-2008-RochaO08a #agile #development #file system: An environment for the rapid development of embedded file systems (FRdlR, RSdO), pp. 694–699.
SAC-2008-SykoraAS #pipes and filters: Dynamic configuration of application-specific implicit instructions for embedded pipelined processors (MS, GA, CS), pp. 1509–1516.
SAC-2008-WeiYLX #memory management #predict #realtime: Flash memory management based on predicted data expiry-time in embedded real-time systems (PW, LY, ZL, XX), pp. 1477–1481.
SLE-2008-FritzscheJAMGSBK #automation #model transformation #modelling: Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains (MF, JJ, UA, SM, WG, ITAS, TJB, PK), pp. 134–150.
DAC-2008-BauerSH #runtime #set: Run-time instruction set selection in a transmutable embedded processor (LB, MS, JH), pp. 56–61.
DAC-2008-BournoutianO #design #reduction: Miss reduction in embedded processors through dynamic, power-friendly cache design (GB, AO), pp. 304–309.
DAC-2008-ChaudhuriGFHD #configuration management #runtime: An 8x8 run-time reconfigurable FPGA embedded in a SoC (SC, SG, FF, PH, JLD), pp. 120–125.
DAC-2008-GoraczkoLLMPZ #clustering #energy #multi: Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems (MG, JL, DL, SM, BP, FZ), pp. 191–196.
DAC-2008-HomayounPMV #energy #performance #scalability: Dynamic register file resizing and frequency scaling to improve embedded processor performance and energy-delay efficiency (HH, SP, MAM, AVV), pp. 68–71.
DAC-2008-HsiehH #debugging #framework #interface #platform: An embedded infrastructure of debug and trace interface for the DSP platform (MCH, CTH), pp. 866–871.
DAC-2008-MohalikRDRSPJ #analysis #latency #model checking #realtime: Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts (SM, ACR, MGD, SR, PVS, PKP, SJ), pp. 296–299.
DAC-2008-SchnerrBVR #simulation: High-performance timing simulation of embedded software (JS, OB, AV, WR), pp. 290–295.
DAC-2008-SridharanGM #power management #realtime: Feedback-controlled reliability-aware power management for real-time embedded systems (RS, NG, RNM), pp. 185–190.
DAC-2008-YuP #communication #latency #multi #performance: Latency and bandwidth efficient communication through system customization for embedded multiprocessors (CY, PP), pp. 766–771.
DATE-2008-BaiLD #adaptation: Adaptive Filesystem Compression for Embedded Systems (LSB, HL, RPD), pp. 1374–1377.
DATE-2008-BatcherW #scheduling: Dynamic Round-Robin Task Scheduling to Reduce Cache Misses for Embedded Systems (KWB, RAW), pp. 260–263.
DATE-2008-BauerSKH #runtime #set: Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set (LB, MS, SK, JH), pp. 752–757.
DATE-2008-BeckRGC #configuration management: Transparent Reconfigurable Acceleration for Heterogeneous Embedded Applications (ACSB, MBR, GG, LC), pp. 1208–1213.
DATE-2008-BeutelBDL #tutorial: Embedded Tutorial — Software for Wireless Networked Embedded Systems (JB, MB, AD, KL), p. 372.
DATE-2008-BonnyH #encoding: Instruction Re-encoding Facilitating Dense Embedded Code (TB, JH), pp. 770–775.
DATE-2008-ClothH #design #evaluation #mobile #predict: Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices (LC, BRH), pp. 90–91.
DATE-2008-CosteGHHTZ #architecture #design #evaluation #parallel #thread #validation: Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures (NC, HG, HH, RH, YT, MZ), pp. 88–89.
DATE-2008-CruzBCM #modelling #named #realtime #synthesis: ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis (FC, RSB, LCC, PRMM), pp. 1510–1515.
DATE-2008-ElesIPP #fault tolerance #synthesis: Synthesis of Fault-Tolerant Embedded Systems (PE, VI, PP, ZP), pp. 1117–1122.
DATE-2008-ElmW: Scan Chain Organization for Embedded Diagnosis (ME, HJW), pp. 468–473.
DATE-2008-GaidKSH #design #lifecycle: A methodology for improving software design lifecycle in embedded control systems (MEMBG, RK, YS, RH), pp. 533–536.
DATE-2008-IsrarH #design #reliability #specification: Specification and Design Considerations for Reliable Embedded Systems (AI, SAH), pp. 1111–1116.
DATE-2008-IzosimovPEP #constraints #fault tolerance #scheduling: Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints (VI, PP, PE, ZP), pp. 915–920.
DATE-2008-Katoen #analysis #design #evaluation #modelling #roadmap: Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques (JPK), pp. 86–87.
DATE-2008-LettninNRKRKSR #verification: Verification of Temporal Properties in Automotive Embedded Software (DL, PKN, JR, TK, WR, TK, VS, SR), pp. 164–169.
DATE-2008-LindgrenEAN #c #realtime: TinyTimber, Reactive Objects in C for Real-Time Embedded Systems (PL, JE, SA, JN), pp. 1382–1385.
DATE-2008-MolnosHC #composition #multi: Compositional, dynamic cache management for embedded chip multiprocessors (AMM, MJMH, SDC), pp. 991–996.
DATE-2008-MostermanOSJKRCM #automation #functional #modelling: Automatically Realising Embedded Systems from High-Level Functional Models (PJM, DO, JS, AAJ, WK, VR, CGC, GM).
DATE-2008-NeumannSBN #architecture #design #flexibility: Design flow for embedded FPGAs based on a flexible architecture template (BN, TvS, HB, TGN), pp. 56–61.
DATE-2008-ParkSP #execution #using: Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors (SP, AS, YP), pp. 1190–1195.
DATE-2008-SchutzGBG #approach #research #tutorial: Embedded Tutorial — ARTEMIS and ENIAC Joint Undertakings: A New Approach to Conduct Research in Europe (ES, KG, DB, LG), p. 658.
DATE-2008-Vernay #challenge #research: Perspective on Embedded Systems: Challenges, Solutions and Research Priorities (DV), p. 2.
LCTES-2008-AnandL #analysis #robust #scheduling: Robust and sustainable schedulability analysis of embedded software (MA, IL), pp. 61–70.
LCTES-2008-BadeaNV #energy #virtual machine: Impact of JVM superoperators on energy consumption in resource-constrained embedded systems (CB, AN, AVV), pp. 23–30.
LCTES-2008-HomayounPMV #adaptation #energy #performance: Improving performance and reducing energy-delay with adaptive resource resizing for out-of-order embedded processors (HH, SP, MAM, AVV), pp. 71–78.
LCTES-2008-LeeKJKEKH #architecture #named #performance: FaCSim: a fast and cycle-accurate architecture simulator for embedded systems (JL, JK, CJ, SK, BE, KK, SH), pp. 89–100.
LCTES-2008-LeeMK #compilation #detection #heuristic #java: Enhanced hot spot detection heuristics for embedded java just-in-time compilers (SWL, SMM, SMK), pp. 13–22.
LCTES-2008-NewtonGCMM #compilation #design #evaluation #source code: Design and evaluation of a compiler for embedded stream programs (RN, LG, MBC, SM, JGM), pp. 131–140.
OSDI-2008-FonsecaDLS #energy #named: Quanto: Tracking Energy in Networked Embedded Systems (RF, PD, PL, IS), pp. 323–338.
CAV-2008-GadkariYSRMS #automation #generative #named: AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems (AAG, AY, JS, SR, SM, KCS), pp. 204–208.
VMCAI-2008-BouissouM #abstract interpretation #physics #source code: Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.
CBSE-2007-PolakovicMSD #component #configuration management #experience: Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems (JP, SM, JBS, PCD), pp. 242–257.
QoSA-2007-KuzL #component #modelling: Extending the Capabilities of Component Models for Embedded Systems (IK, YL), pp. 182–196.
DocEng-2007-TriebseesB #automation #documentation #migration #query #semantics #towards: Towards automatic document migration: semantic preservation of embedded queries (TT, UMB), pp. 209–218.
ICDAR-2007-KimPK #architecture: An Embedded OCR Software Architecture for Enhancing Portability (SK, JP, YBK), pp. 1004–1008.
ICDAR-2007-UchidaSIOK: Extraction of Embedded Class Information from Universal Character Pattern (SU, MS, MI, SO, KK), pp. 437–441.
JCDL-2007-BorgmanWMP #architecture #library #network #using: Drowning in data: digital library architecture to support scientific use of embedded sensor networks (CLB, JCW, MSM, AP), pp. 269–277.
SIGMOD-2007-Nori #database #mobile: Mobile and embedded databases (AN), pp. 1175–1177.
VLDB-2007-ShenDNR #datalog #declarative #information management #using: Declarative Information Extraction Using Datalog with Embedded Extraction Predicates (WS, AD, JFN, RR), pp. 1033–1044.
CSEET-2007-Yimei #re-engineering: A Graduate Program on Embedded Software Engineering in China (KY), pp. 3–10.
ITiCSE-2007-MillerS #agile #approach #programming #student: A TDD approach to introducing students to embedded programming (JM, MRS), pp. 33–37.
SCAM-2007-BrinkLV #assessment #quality #sql: Quality Assessment for Embedded SQL (HvdB, RvdL, JV), pp. 163–170.
IFM-2007-VerhoefVHB #distributed #realtime: Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
SEFM-2007-BujorianuB #framework #specification: An Integrated Specification Framework for Embedded Systems (MCB, MLB), pp. 161–172.
CHI-2007-KumaraguruRACHN #design #email #evaluation #people: Protecting people from phishing: the design and evaluation of an embedded training email system (PK, YR, AA, LFC, JIH, EN), pp. 905–914.
HCI-IPT-2007-NoguchiMS: Attentive Information Support with Massive Embedded Sensors in Room (HN, TM, TS), pp. 883–892.
HIMI-MTT-2007-ShinyashikiMHKUN #analysis: A Suggestion for Analysis of Unexpected Obstacles in Embedded System (YS, TM, MH, KK, NU, TN), pp. 755–768.
SEKE-2007-GuD #component #execution #integration #multi: QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution (ZG, QD), pp. 320–325.
TOOLS-EUROPE-2007-CancianSSF #automation #component #development: A Tool for Supporting and Automating the Development of Component-based Embedded Systems (RLC, MRS, AS, AAF), pp. 399–416.
AdaEurope-2007-ElleuchKA #approach #development #realtime: ArchMDE Approach for the Development of Embedded Real Time Systems (NE, AK, SBA), pp. 142–154.
RE-2007-Nicholson #development: Embedded Knowledge and Offshore Software Development (BN), p. 269.
ICSE-2007-MalekSRPM #architecture #concept #product line: Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support (SM, CS, SR, BP, NM), pp. 591–601.
SAC-2007-GilPFM: Embedded system for diagnosing dysfunctions in the lower urinary tract (DGM, ASP, DRF, CAM), pp. 1695–1699.
SAC-2007-GustafssonTDH #approach #aspect-oriented #behaviour #evolution #performance: Engineering active behavior of embedded software to improve performance and evolution: an aspect-oriented approach (TG, AT, YD, JH), pp. 673–679.
SAC-2007-HiserDW #design #memory management #performance: Fast, accurate design space exploration of embedded systems memory configurations (JH, JWD, DBW), pp. 699–706.
SAC-2007-KimCLNM #framework #reliability #testing: Virtual framework for testing the reliability of system software on embedded systems (SKK, JC, DL, SHN, SLM), pp. 1192–1196.
SAC-2007-NazKOF #configuration management #novel: Reconfigurable split data caches: a novel scheme for embedded systems (AN, KMK, JHO, PF), pp. 707–712.
SAC-2007-Nguyen #component #design: Component-based version management for embedded computing system design (TNN), pp. 685–692.
SAC-2007-SchreinerG #component #modelling #uml: Modeling component based embedded systems applications with explicit connectors in UML 2.0 (DS, KMG), pp. 1494–1495.
GPCE-2007-MaraninchiB #approach #component #modelling #named #programmable: 42: programmable models of computation for a component-based approach to heterogeneous embedded systems (FM, TB), pp. 53–62.
CASE-2007-Sastry: The Engineering and Societal Impact of Embedded and Autonomous Systems: Beyond Sensor Webs (SS), p. 96–?.
DAC-2007-ChuKCCG #multi #programming #thread: An Embedded Coherent-Multithreading Multimedia Processor and Its Programming Model (JCC, WCK, SHC, TFC, JIG), pp. 652–657.
DAC-2007-GuHY #distributed #model checking #optimisation: Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking (ZG, XH, MY), pp. 294–299.
DAC-2007-KaoHL #integration #multi: An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration (CFK, IJH, CHL), pp. 477–482.
DAC-2007-KocKEO #memory management #multi #using: Reducing Off-Chip Memory Access Costs Using Data Recomputation in Embedded Chip Multi-processors (HK, MTK, EE, ÖÖ), pp. 224–229.
DAC-2007-KumarSCKS #memory management: A System For Coarse Grained Memory Protection In Tiny Embedded Processors (RK, AS, AC, EK, MBS), pp. 218–223.
DAC-2007-MaoW #hardware: Hardware Support for Secure Processing in Embedded Systems (SM, TW), pp. 483–488.
DAC-2007-ZhouLS #bound #hybrid #multi #performance #using: Fast Capacitance Extraction in Multilayer, Conformal and Embedded Dielectric using Hybrid Boundary Element Method (NYZ, ZL, WS), pp. 835–840.
DATE-2007-AitkenI #design #worst-case: Worst-case design and margin for embedded SRAM (RCA, SI), pp. 1289–1294.
DATE-2007-AlessioFQT #design #modelling #simulation: Modeling and simulation alternatives for the design of networked embedded systems (EA, FF, DQ, MT), pp. 1030–1035.
DATE-2007-BondarevCW #analysis #component #design #named #performance #tool support: CARAT: a toolkit for design and performance analysis of component-based embedded systems (ERVB, MRVC, PHNdW), pp. 1024–1029.
DATE-2007-Botti #challenge #industrial: Flying embedded: the industrial scene and challenges for embedded systems in aeronautics and space (JB), p. 1246.
DATE-2007-ChattopadhyayAKKLAM #configuration management #design: Design space exploration of partially re-configurable embedded processors (AC, WA, KK, DK, RL, GA, HM), pp. 319–324.
DATE-2007-DuboisMAWLW #analysis #quality: Test quality analysis and improvement for an embedded asynchronous FIFO (TD, EJM, MA, PW, EL, CW), pp. 859–864.
DATE-2007-FummiPPQ #design #interactive #middleware: Interactive presentation: A middleware-centric design flow for networked embedded systems (FF, GP, RP, DQ), pp. 1048–1053.
DATE-2007-GeWL #configuration management #memory management #named #power management: DRIM: a low power dynamically reconfigurable instruction memory hierarchy for embedded systems (ZG, WFW, HBL), pp. 1343–1348.
DATE-2007-GodardDTS #design #evaluation #reliability: Evaluation of design for reliability techniques in embedded flash memories (BG, JMD, LT, GS), pp. 1593–1598.
DATE-2007-HuynhM #realtime: Instruction-set customization for real-time embedded systems (HPH, TM), pp. 1472–1477.
DATE-2007-Kopetz #architecture: The ARTEMIS cross-domain architecture for embedded systems (HK), pp. 1468–1469.
DATE-2007-Lysecky #performance #power management: Low-power warp processor for power efficient high-performance embedded systems (RLL), pp. 141–146.
DATE-2007-PardessusDA: The methodological and technological dimensions of technology transfer for embedded systems in aeronautics and space (TP, HD, RA), pp. 1108–1109.
DATE-2007-ParkPBBKD #architecture #performance #pointer: Register pointer architecture for efficient embedded processors (JP, SBP, JDB, DBS, CK, WJD), pp. 600–605.
DATE-2007-PopPEP #distributed #optimisation: Bus access optimisation for FlexRay-based distributed embedded systems (TP, PP, PE, ZP), pp. 51–56.
DATE-2007-QiuXSS #energy #multi #realtime: Energy minimization with soft real-time and DVS for uniprocessor and multiprocessor embedded systems (MQ, CX, ZS, EHMS), pp. 1641–1646.
DATE-2007-RaghavanLJCVC #power management #symmetry: Very wide register: an asymmetric register file organization for low power embedded processors (PR, AL, MJ, FC, DV, HC), pp. 1066–1071.
DATE-2007-ReshadiG #architecture #low level #programming: Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems (MR, DG), pp. 1337–1342.
DATE-2007-WielageMAW #design #performance: Design and DfT of a high-speed area-efficient embedded asynchronous FIFO (PW, EJM, MA, CW), pp. 853–858.
LCTES-2007-BennettMFT #automation #set #text-to-text: Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems (RVB, ACM, BF, NPT), pp. 83–92.
LCTES-2007-ChenTCLYLL #compilation #distributed: Enabling compiler flow for embedded VLIW DSP processors with distributed register files (CKC, LHT, SCC, YJL, YPY, CHL, JKL), pp. 146–148.
LCTES-2007-HongKSMOLC #compilation #java: Java client ahead-of-time compiler for embedded systems (SH, JCK, JWS, SMM, HSO, JL, HKC), pp. 63–72.
LCTES-2007-HuangHG #energy #execution #optimisation #pipes and filters #streaming #throughput: Joint throughput and energy optimization for pipelined execution of embedded streaming applications (PKH, MH, SG), pp. 137–139.
LCTES-2007-NingK #memory management #multi: External memory page remapping for embedded multimedia systems (KN, DRK), pp. 185–194.
LCTES-2007-ViskicAG #automation #communication #generative #platform: Automatic generation of embedded communication SW for heterogeneous MPSoC platforms (IV, SA, DDG), pp. 143–145.
LCTES-2007-WaltherHN #behaviour #realtime: Analyzing the real-time behaviour of deeply embedded event driven systems (KW, RH, JN), pp. 149–151.
TestCom-FATES-2007-LuukkalaO #modelling #protocol #testing: Model Based Testing of an Embedded Session and Transport Protocol (VL, IO), pp. 212–227.
CBSE-2006-AngelovSMM #component #distributed #framework: A Formal Component Framework for Distributed Embedded Systems (CA, KS, NM, JM), pp. 206–221.
CBSE-2006-LudersFWC #component #prototype #realtime: A Prototype Tool for Software Component Services in Embedded Real-Time Systems (FL, DF, AW, IC), pp. 222–237.
QoSA-2006-FlorentzH #analysis #architecture #evaluation: Embedded Systems Architecture: Evaluation and Analysis (BF, MH), pp. 145–162.
VLDB-2006-KimBLLJ #memory management #named: LGeDBMS: A Small DBMS for Embedded System with Flash Memory (GJK, SCB, HSL, HDL, MJJ), pp. 1255–1258.
ITiCSE-2006-Bruce-LockhartN #interactive: Interactive embedded examples: a demonstration (MBL, TSN), p. 357.
WCRE-2006-Ribic #concept #decompiler #equivalence #execution #implementation #programming language: Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code (SR), pp. 307–308.
FM-2006-HenzingerS #challenge #design: The Embedded Systems Design Challenge (TAH, JS), pp. 1–15.
FM-2006-VerhoefLH #distributed #modelling #realtime #validation: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
CHI-2006-Moher #distributed #learning #simulation: Embedded phenomena: supporting science learning with classroom-sized distributed simulations (TM), pp. 691–700.
EDOC-2006-Gilart-IglesiasMGM #network: Services and Networks management through embedded devices and SOA (VGI, FMP, JAGMA, DMJ), pp. 395–398.
ICEIS-DISI-2006-RabaeyVVTT #adaptation #flexibility #information management #process: Business Process Embedded Information Systems — For Flexibility and Adaptability (MR, EV, KV, HT, MT), pp. 144–150.
ICEIS-ISAS-2006-ChengP #aspect-oriented #development #overview #realtime #resource management #scheduling #using: Using Aspect-Oriented Software Development in Real-Time Embedded Systems Software — A Review of Scheduling, Resource Allocation and Synchronization (PLC, GAP), pp. 388–393.
ICPR-v4-2006-LeiDW #adaptation: AdaBoost Tracker Embedded in Adaptive Particle Filtering (YL, XD, SW), pp. 939–943.
ICPR-v4-2006-LinHH #video: An embedded watermark technique in video for copyright protection (YRL, HYH, WHH), pp. 795–798.
SEKE-2006-LiuBGRTOA #distributed #framework #named #product line #realtime: QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems (SHL, BRB, JGG, RRR, MT, AMO, MA), pp. 724–729.
SEKE-2006-WongRLO #testing: Coverage Testing Embedded Software on Symbian/OMAP (WEW, SR, JL, JO), pp. 473–478.
SPLC-2006-BrownGBSKG #behaviour #feature model #modelling #product line #weaving: Weaving Behavior into Feature Models for Embedded System Families (TJB, RG, RB, ITAS, PK, CG), pp. 52–64.
SPLC-2006-KolbJKMHM #case study #development #experience #product line: Experiences with Product Line Development of Embedded Systems at Testo AG (RK, IJ, JK, DM, UH, GM), pp. 172–181.
SPLC-2006-Scheidemann #distributed #evolution #optimisation #product line #verification: Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems (KDS), pp. 75–84.
POPL-2006-NiS #assembly #pointer #programming: Certified assembly programming with embedded code pointers (ZN, ZS), pp. 320–333.
SAS-2006-AllamigeonGH #c #source code #static analysis #string: Static Analysis of String Manipulations in Critical Embedded C Programs (XA, WG, CH), pp. 35–51.
SIGAda-2006-Mosley #legacy: When to migrate legacy embedded applications (DM), pp. 77–80.
ICSE-2006-DengSG #aspect-oriented #deployment #development #distributed #modelling #realtime: Addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems via aspect-oriented & model-driven software development (GD, DCS, ASG), pp. 811–814.
ICSE-2006-Sakamura #case study #challenge #development #framework #platform #ubiquitous: Challenges in the age of ubiquitous computing: a case study of T-Engine, an open development platform for embedded systems (KS), pp. 713–720.
ICSE-2006-WashizakiKWNHHF #contest #design #evaluation #quality: Experiments on quality evaluation of embedded software in Japan robot software design contest (HW, YK, HW, EN, YH, KH, KF), pp. 551–560.
SAC-2006-Chang #scalability #scheduling: Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems (LPC), pp. 1462–1466.
SAC-2006-ChoRJ #on the #realtime #scheduling: On utility accrual processor scheduling with wait-free synchronization for embedded real-time software (HC, BR, EDJ), pp. 918–922.
SAC-2006-DerisB #predict: Branchless cycle prediction for embedded processors (KJD, AB), pp. 928–932.
SAC-2006-DorneichNPT #database #modelling #parallel #predict #relational: Embedded predictive modeling in a parallel relational database (AD, RN, EPDP, FT), pp. 569–574.
SAC-2006-GuesmiR #design #implementation #realtime: Design and implementation of a real-time notification service within the context of embedded ORB and the CAN bus (TG, HR), pp. 773–777.
SAC-2006-LejdforsO #generative #gpu #implementation: Implementing an embedded GPU language by combining translation and generation (CL, LO), pp. 1610–1614.
SAC-2006-NooriM #adaptation #evaluation #performance: Preliminary performance evaluation of an adaptive dynamic extensible processor for embedded applications (HN, KM), pp. 937–938.
SAC-2006-ShankaranBSBLMD #component #distributed #framework #realtime: A framework for (re)deploying components in distributed real-time and embedded systems (NS, JB, DCS, GB, PJL, EM, TD), pp. 737–738.
SAC-2006-WuRJ #bound #energy #on the #realtime: On bounding energy consumption in dynamic, embedded real-time systems (HW, BR, EDJ), pp. 933–934.
ASPLOS-2006-LiBH #concurrent #multi #thread: Mapping esterel onto a multi-threaded embedded processor (XL, MB, RvH), pp. 303–314.
ASPLOS-2006-MillerA: Software-based instruction caching for embedded processors (JEM, AA), pp. 293–302.
CASE-2006-LuLYW #design: Design of Bio-fermentation Control System Based on the Embedded Microprocessor (XL, YL, HY, WW), pp. 540–545.
DAC-2006-ChoCCV #cost analysis #energy #power management: High-level power management of embedded systems with application-specific energy cost functions (YC, NC, CC, SBKV), pp. 568–573.
DAC-2006-HerreraV #framework #modelling #specification: A framework for embedded system specification under different models of computation in SystemC (FH, EV), pp. 911–914.
DAC-2006-HuangG #scalability: Leakage-aware intraprogram voltage scaling for embedded processors (PKH, SG), pp. 364–369.
DAC-2006-MengSK #power management #reduction: Leakage power reduction of embedded memories on FPGAs through location assignment (YM, TS, RK), pp. 612–617.
DAC-2006-RiccobeneSRB #design #modelling: A model-driven design environment for embedded systems (ER, PS, AR, SB), pp. 915–918.
DAC-2006-ZhouP #agile #low cost #realtime: Rapid and low-cost context-switch through embedded processor customization for real-time and control applications (XZ, PP), pp. 352–357.
DATE-2006-ChakrapaniACKPS #architecture #probability: Ultra-efficient (embedded) SOC architectures based on probabilistic CMOS (PCMOS) technology (LNC, BESA, SC, PK, KVP, BS), pp. 1110–1115.
DATE-2006-ChattopadhyayGKWSILAM #automation: Automatic ADL-based operand isolation for embedded processors (AC, BG, DK, EMW, OS, HI, RL, GA, HM), pp. 600–605.
DATE-2006-ChoRJ #realtime: Lock-free synchronization for dynamic embedded real-time systems (HC, BR, EDJ), pp. 438–443.
DATE-2006-EyermanEB #design #performance: Efficient design space exploration of high performance embedded out-of-order processors (SE, LE, KDB), pp. 351–356.
DATE-2006-HuangG06a #adaptation #compilation #power management #scalability: Power-aware compilation for embedded processors with dynamic voltage scaling and adaptive body biasing capabilities (PKH, SG), pp. 943–944.
DATE-2006-IzosimovPEP #distributed #fault tolerance #performance #synthesis #trade-off: Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems (VI, PP, PE, ZP), pp. 706–711.
DATE-2006-KogelB #multi #platform #prototype: Virtual prototyping of embedded platforms for wireless and multimedia (TK, MB), pp. 488–490.
DATE-2006-KranitisMLTPGH #fault #pipes and filters #testing: Optimal periodic testing of intermittent faults in embedded pipelined processor applications (NK, AM, NL, GT, AMP, DG, CH), pp. 65–70.
DATE-2006-LeupersKKP #configuration management #design #set #synthesis: A design flow for configurable embedded processors based on optimized instruction set extension synthesis (RL, KK, SK, MP), pp. 581–586.
DATE-2006-LiCY #adaptation #energy #optimisation #performance #realtime: Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems (ZL, HC, SY), pp. 678–683.
DATE-2006-MaC #energy #multi #platform #realtime #scalability #trade-off: Scalable performance-energy trade-off exploration of embedded real-time systems on multiprocessor platforms (ZM, FC), pp. 1073–1078.
DATE-2006-MamagkakisAPCSM #automation #memory management: Automated exploration of pareto-optimal configurations in parameterized dynamic memory allocation for embedded systems (SM, DA, CP, FC, DS, JMM), pp. 874–875.
DATE-2006-ParkESNDP #automation #generative #performance: Automatic generation of operation tables for fast exploration of bypasses in embedded processors (SP, EE, AS, AN, ND, YP), pp. 1197–1202.
DATE-2006-ParkOPSH #source code: Dynamic code overlay of SDF-modeled programs on low-end embedded systems (HwP, KO, SP, MmS, SH), pp. 945–946.
DATE-2006-ShinKKH #memory management: Restructuring field layouts for embedded memory systems (KS, JK, SK, HH), pp. 937–942.
DATE-2006-Stanley-MarbellLR #adaptation #concurrent #library #multi #thread: Adaptive data placement in an embedded multiprocessor thread library (PSM, KL, AR), pp. 698–699.
DATE-2006-WangYIG #image #verification: Disjunctive image computation for embedded software verification (CW, ZY, FI, AG), pp. 1205–1210.
DATE-2006-WehrmeisterPB #generative #java #object-oriented #optimisation #realtime #specification: Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java (MAW, CEP, LBB), pp. 806–811.
DATE-2006-XueOLKK #architecture #clustering #memory management: Dynamic partitioning of processing and memory resources in embedded MPSoC architectures (LX, ÖÖ, FL, MTK, IK), pp. 690–695.
DATE-2006-ZmilyK #energy #performance: Simultaneously improving code size, performance, and energy in embedded processors (AZ, CK), pp. 224–229.
DATE-DF-2006-AarajRRJ #architecture #authentication #performance: Architectures for efficient face authentication in embedded systems (NA, SR, AR, NKJ), pp. 1–6.
DATE-DF-2006-Daglio #design #verification: A complete and fully qualified design flow for verification of mixed-signal SoC with embedded flash memories (PD), pp. 94–99.
LCTES-2006-CoopriderR #abstract domain: Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.
LCTES-2006-Martonosi #case study #deployment #experience #hardware: Embedded systems in the wild: ZebraNet software, hardware, and deployment experiences (MM), p. 1.
LCTES-2006-Mine #analysis #c #pointer #source code: Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics (AM), pp. 54–63.
LCTES-2006-RegehrD: Deriving abstract transfer functions for analyzing embedded software (JR, UD), pp. 34–43.
MBT-2006-ConradK #classification: An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events (MC, AK), pp. 3–11.
WICSA-2005-BrownBGSK #architecture #development #product line: Feature-Guided Architecture Development for Embedded System Families (TJB, RB, CG, ITAS, PK), pp. 223–226.
WICSA-2005-LudersFW #component #realtime: Software Components Services for Embedded Real-Time Systems (FL, DF, AW), pp. 278–279.
WICSA-2005-Rosso #architecture #memory management #product line #realtime: Dynamic Memory Management for Software Product Family Architectures in Embedded Real-Time Systems (CDR), pp. 211–212.
PODS-2005-NashBM #composition #dependence: Composition of mappings given by embedded dependencies (AN, PAB, SM), pp. 172–183.
CSEET-2005-HabermanT: An Undergraduate Program in Embedded Systems Engineering (BH, MT), pp. 103–110.
CSMR-2005-GraafDD #architecture #case study #experience #industrial: Evaluating an Embedded Software Reference Architecture — Industrial Experience Report (BG, HWvD, AvD), pp. 354–363.
FM-2005-AndronickCP #security #smarttech #source code #verification: Formal Verification of Security Properties of Smart Card Embedded Source Code (JA, BC, CPM), pp. 302–317.
IFM-2005-MalikR #adaptation #case study #comparative #specification: Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study (RM, PSR), pp. 33–52.
ICEIS-v3-2005-MenkhausA #analysis #metric: Metric Suite Directing the Failure Mode Analysis of Embedded Software Systems (GM, BA), pp. 266–273.
ICML-2005-PaiementEBB #visual notation: A graphical model for chord progressions embedded in a psychoacoustic space (JFP, DE, SB, DB), pp. 641–648.
SEKE-2005-Aoyama #challenge #re-engineering #ubiquitous: Challenges of Embedded and Ubiquitous Software Engineering from the Perspective of Networked Ecological Systems (MA), p. 792.
SEKE-2005-ParkKYH #development #mobile: Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices (JWP, JJK, JKY, KJH), pp. 683–688.
MoDELS-2005-Schmidt #development #distributed #modelling #realtime: Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
SPLC-2005-Trew #architecture #delivery #integration #product line: Enabling the Smooth Integration of Core Assets: Defining and Packaging Architectural Rules for a Family of Embedded Products (TT), pp. 137–149.
MoDELS-2005-Schmidt #development #distributed #modelling #realtime: Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
AdaEurope-2005-AyavooPP #development #reliability: Observing the Development of a Reliable Embedded System (DA, MJP, SP), pp. 167–179.
LOPSTR-2005-PasarellaOPN #logic programming #semantics #source code: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (EP, FO, EP, MN), pp. 133–146.
RE-2005-Aoyama #requirements: Persona-and-Scenario Based Requirements Engineering for Software Embedded in Digital Consumer Products (MA), pp. 85–94.
ASE-2005-Tan #logic #modelling #self #source code #specification: Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.
ICSE-2005-Crnkovic #component #re-engineering: Component-based software engineering for embedded systems (IC), pp. 712–713.
ICSE-2005-SchmidJKM #approach: Introducing the puLSE approach to an embedded system population at testo AG (KS, IJ, RK, GM), pp. 544–552.
SAC-2005-DebbabiMT #compilation #java #virtual machine: Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors (MD, AM, NT), pp. 874–878.
SAC-2005-GorappaK #distributed #empirical #evaluation #realtime: Empirical evaluation of OpenCCM for Java-based distributed, real-time, and embedded systems (SG, RK), pp. 1288–1292.
SAC-2005-GriffinSC #case study #design #garbage collection #java #on the #power management: On designing a low-power garbage collector for java embedded devices: a case study (PAG, WSa, JMC), pp. 868–873.
SAC-2005-JuurlinkSV: Avoiding data conversions in embedded media processors (BHHJ, AS, SV), pp. 901–902.
SAC-2005-LiuBGROA #assurance #distributed #realtime #requirements: Two-level assurance of QoS requirements for distributed real-time and embedded systems (SHL, BRB, JGG, RRR, AMO, MA), pp. 903–904.
SAC-2005-MenonS: A code compression advisory tool for embedded processors (SKM, PS), pp. 863–867.
SAC-2005-TournierBO #architecture #component #evaluation: An evaluation of Qinna, a component-based QoS architecture for embedded systems (JCT, JPB, VO), pp. 998–1002.
CASE-2005-0001G: Embedded supervisory control of discrete-event systems (YY, PG), pp. 410–415.
DAC-2005-ChenK #java #reliability #virtual machine: Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
DAC-2005-ChoiCK #power management: DC-DC converter-aware power management for battery-operated embedded systems (YC, NC, TK), pp. 895–900.
DAC-2005-Goldfeder #multi: Frequency-based code placement for embedded multiprocessors (CG), pp. 696–699.
DAC-2005-GuptaRRJ #authentication #performance: Efficient fingerprint-based user authentication for embedded systems (PG, SR, AR, NKJ), pp. 244–247.
DAC-2005-JejurikarG #realtime #scheduling: Dynamic slack reclamation with procrastination scheduling in real-time embedded systems (RJ, RKG), pp. 111–116.
DAC-2005-KimK #array #design #memory management #optimisation #scheduling: Memory access optimization through combined code scheduling, memory allocation, and array binding in embedded system design (JK, TK), pp. 105–110.
DAC-2005-LiC #architecture: Application/architecture power co-optimization for embedded systems powered by renewable sources (DL, PHC), pp. 618–623.
DAC-2005-MuttrejaRRJ #energy #estimation #hybrid #simulation: Hybrid simulation for embedded software energy estimation (AM, AR, SR, NKJ), pp. 23–26.
DAC-2005-PetrovTO #energy #memory management: Energy-effcient physically tagged caches for embedded processors with virtual memory (PP, DT, AO), pp. 17–22.
DAC-2005-SauerGS #composition #framework #implementation #platform: Modular domain-specific implementation and exploration framework for embedded software platforms (CS, MG, SS), pp. 254–259.
DAC-2005-SuWKLK #analysis #effectiveness #functional #performance: A noise-driven effective capacitance method with fast embedded noise rule calculation for functional noise analysis (HS, DW, CVK, FL, BK), pp. 186–189.
DAC-2005-TiriHHLYSV #encryption: A side-channel leakage free coprocessor IC in 0.18µm CMOS for embedded AES-based cryptographic and biometric processing (KT, DDH, AH, BCL, SY, PS, IV), pp. 222–227.
DAC-2005-XuNC #constraints #design #multi #optimisation: Multi-frequency wrapper design and optimization for embedded cores under average power constraints (QX, NN, KC), pp. 123–128.
DATE-2005-AhmedM #design #performance #refinement: Design Refinement for Efficient Cluste ing of Objects in Embedded Systems (WA, DM), pp. 718–719.
DATE-2005-AroraRRJ #monitoring #runtime: Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
DATE-2005-BaleaniFMSFSW #design #development #modelling: Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development (MB, AF, LM, ALSV, UF, ES, HJW), pp. 1044–1049.
DATE-2005-BarrettaFSB #clustering #parallel #thread: Multithreaded Extension to Multicluster VLIW Processors for Embedded Applications (DB, WF, MS, DB), pp. 748–749.
DATE-2005-CheongL #named: galsC: A Language for Event-Driven Embedded Systems (EC, JL), pp. 1050–1055.
DATE-2005-GanaiGA #memory management #modelling #performance #using #verification: Verification of Embedded Memory Systems using Efficient Memory Modeling (MKG, AG, PA), pp. 1096–1101.
DATE-2005-HeckmannF #abstract interpretation #safety: erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation (RH, CF), pp. 618–619.
DATE-2005-HungXVKI #scheduling: Thermal-Aware Task Allocation and Scheduling for Embedded Systems (WLH, YX, NV, MTK, MJI), pp. 898–899.
DATE-2005-IzosimovPEP #design #distributed #fault tolerance #optimisation: Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems (VI, PP, PE, ZP), pp. 864–869.
DATE-2005-JhumkaKH #approach #design: A Dependability-Driven System-Level Design Approach for Embedded Systems (AJ, SK, SAH), pp. 372–377.
DATE-2005-KandemirC #process #scheduling: Locality-Aware Process Scheduling for Embedded MPSoCs (MTK, GC), pp. 870–875.
DATE-2005-KandemirLCCO #in memory #trade-off: Studying Storage-Recomputation Tradeoffs in Memory-Constrained Embedded Processing (MTK, FL, GC, GC, ÖÖ), pp. 1026–1031.
DATE-2005-KavvadiasN #hardware: Hardware Support for Arbitrarily Complex Loop Structures in Embedded Applications (NK, SN), pp. 1060–1061.
DATE-2005-Klingauf #modelling #transaction: Systematic Transaction Level Modeling of Embedded Systems with SystemC (WK), pp. 566–567.
DATE-2005-KruseTEVS #contract #design #distributed #flexibility #process: Introducing Flexible Quantity Contracts into Distributed SoC and Embedded System Design Processes (JK, CT, RE, TV, TS), pp. 938–943.
DATE-2005-KukkalaRHHK #design #uml: UML 2.0 Profile for Embedded System Design (PK, JR, MH, TDH, KK), pp. 710–715.
DATE-2005-Langenwalter #development #process: Embedded Automotive System Development Process (JL), pp. 538–539.
DATE-2005-LiTW #performance: An Efficient Transparent Test Scheme for Embedded Word-Oriented Memories (JFL, TWT, CLW), pp. 574–579.
DATE-2005-LopezPN #metric: A New Embedded Measurement Structure for eDRAM Capacitor (LL, JMP, DN), pp. 462–463.
DATE-2005-Lyons #design: Meeting the Embedded Design Needs of Automotive Applications (WL), pp. 142–147.
DATE-2005-MarinissenPKZ #challenge #design #memory management: Challenges in Embedded Memory Design and Test (EJM, BP, DKS, YZ), pp. 722–727.
DATE-2005-NaculG #compilation #lightweight #multi #using: Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler (ACN, TG), pp. 742–747.
DATE-2005-OzturkSKK: Access Pattern-Based Code Compression for Memory-Constrained Embedded Systems (ÖÖ, HS, MTK, IK), pp. 882–887.
DATE-2005-ShrivastavaDNE #framework #named: PBExplore: A Framework for Compiler-in-the-Loop Exploration of Partial Bypassing in Embedded Processors (AS, NDD, AN, EE), pp. 1264–1269.
DATE-2005-StreichertHT #clustering #configuration management #distributed #network: Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks (TS, CH, JT), pp. 894–895.
DATE-2005-ThullS #implementation #performance: Performance Considerations for an Embedded Implementation of OMA DRM 2 (DT, RS), pp. 46–51.
DATE-2005-WangMDCM #analysis #energy #process #variability: Systematic Analysis of Energy and Delay Impact of Very Deep Submicron Process Variability Effects in Embedded SRAM Modules (HW, MM, WD, FC, KM), pp. 914–919.
DATE-2005-WangWI #distributed #performance: A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.
DATE-2005-WehmeyerM #memory management #predict: nfluence of Memory Hierarchies on Predictability for Time Constrained Embedded Software (LW, PM), pp. 600–605.
LCTES-2005-FrankeOTF #optimisation #probability #source code: Probabilistic source-level optimisation of embedded programs (BF, MFPO, JT, GF), pp. 78–86.
LCTES-2005-GriffinSC #energy #garbage collection #java #performance: An energy efficient garbage collector for java embedded devices (PAG, WSa, JMC), pp. 230–238.
LCTES-2005-SassoneWL #dependence #performance: Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.
LCTES-2005-XuZRMM #clustering #energy #policy: Energy-efficient policies for embedded clusters (RX, DZ, CR, RGM, DM), pp. 1–10.
PDP-2005-LioupisS #distributed #web #web service: A Web Service for Embedded Distributed Computation (DL, MS), pp. 20–25.
CBSE-2004-Maydl #analysis #component #design: Design Accompanying Analysis of Component-Based Embedded Software (WM), pp. 178–193.
CBSE-2004-MollerFN #component #industrial #requirements: Industrial Requirements on Component Technologies for Embedded Systems (AM, JF, MN), pp. 146–161.
CBSE-2004-SandstromFA #component #realtime #safety: Introducing a Component Technology for Safety Critical Embedded Real-Time Systems (KS, JF, MÅ), pp. 194–208.
WICSA-2004-Purhonen #architecture #case study #optimisation #performance: Performance Optimization of Embedded Software Architecture — A Case Study (AP), pp. 112–121.
HT-2004-PanWG #hypermedia #modelling #version control: Hypertext versioning for embedded link models (KP, EJWJ, GG), pp. 195–204.
SFM-2004-KatoenBKH #analysis: Embedded Software Analysis with MOTOR (JPK, HCB, RK, HH), pp. 268–294.
ICFP-2004-HermanM #partial evaluation #static analysis: Improving the static analysis of embedded languages via partial evaluation (DH, PM), pp. 16–27.
ICEIS-v3-2004-Baranauskas #case study #development: Organisational Semiotics Embedded in a System Development Cycle: A Case Study in a Business Organisation (CACS, MCCB), pp. 519–522.
ICML-2004-SminchisescuJ #generative #modelling #visual notation: Generative modeling for continuous non-linearly embedded visual inference (CS, ADJ).
ICPR-v1-2004-BrahimiS #image: Color Image Coding based on Embedded Wavelet Zerotree and Scalar Quantization (ZB, KAS), pp. 504–507.
ICPR-v1-2004-GarainCC #documentation #identification: Identification of Embedded Mathematical Expressions in Scanned Documents (UG, BBC, ARC), pp. 384–387.
ICPR-v3-2004-ChiuDS #realtime: An Embedded Real-time Vision System for 24-hour Indoor/Outdoor Car-Counting Applications (MYC, RD, TS), pp. 338–341.
AdaEurope-2004-CamposGH #ada #realtime: The Chance for Ada to Support Distribution and Real-Time in Embedded Systems (JLC, JJG, MGH), pp. 91–105.
PLDI-2004-VenetB #array #bound #c #performance #precise #scalability #source code: Precise and efficient static array bound checking for large embedded C programs (AV, GPB), pp. 231–242.
SAS-2004-Venet #analysis #pointer #scalability #source code: A Scalable Nonuniform Pointer Analysis for Embedded Programs (AV), pp. 149–164.
RE-2004-Minakata #mobile #requirements #ubiquitous: Requirements for Ubiquitous/Embedded Products — Digital TV, Mobile Phones and Consumer Products (IM), p. 3.
RE-2004-PuschnigK #development #requirements: Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems (AP, RTK), pp. 328–333.
FSE-2004-LevesonW #reuse: Making embedded software reuse practical and safe (NGL, KAW), pp. 171–178.
ICSE-2004-Kang #analysis #approximate #parametricity #realtime: Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
ICSE-2004-ManhartS #agile #case study #development #experience #industrial: Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report (PM, KS), pp. 378–386.
SAC-2004-AgostaPS #architecture #design #multi #power management #program transformation #source code: Multi-objective co-exploration of source code transformations and design space architectures for low-power embedded systems (GA, GP, CS), pp. 891–896.
SAC-2004-Engelen #code generation #web #web service #xml: Code generation techniques for developing light-weight XML Web services for embedded devices (RvE), pp. 854–861.
SAC-2004-PanisHLLN #design #named: DSPxPlore: design space exploration methodology for an embedded DSP core (CP, UH, GL, WL, JN), pp. 876–883.
SAC-2004-ParkKLK #architecture #energy #memory management #performance: An energy efficient cache memory architecture for embedded systems (JWP, CGK, JHL, SDK), pp. 884–890.
SAC-2004-SheldonJ #reliability: Assessing the effect of failure severity, coincident failures and usage-profiles on the reliability of embedded control systems (FTS, KJ), pp. 826–833.
SAC-2004-TangMC #fixpoint #implementation #mobile #performance #using #verification: Efficient implementation of fingerprint verification for mobile embedded systems using fixed-point arithmetic (TYT, YSM, KCC), pp. 821–825.
GPCE-2004-SeefriedCK #domain-specific language #haskell #optimisation #using: Optimising Embedded DSLs Using Template Haskell (SS, MMTC, GK), pp. 186–205.
ASPLOS-2004-RegehrR #automation #named: HOIST: a system for automatically deriving static analyzers for embedded systems (JR, AR), pp. 133–143.
CGO-2004-DupreDT #architecture #named: VHC: Quickly Building an Optimizer for Complex Embedded Architectures (MD, ND, OT), pp. 53–64.
DAC-2004-ChengTM #named #synthesis: FITS: framework-based instruction-set tuning synthesis for embedded application specific processors (ACC, GST, TNM), pp. 920–923.
DAC-2004-ChoudhuriM #energy: Energy characterization of filesystems for diskless embedded systems (SC, RNM), pp. 566–569.
DAC-2004-JejurikarPG #realtime #scalability: Leakage aware dynamic voltage scaling for real-time embedded systems (RJ, CP, RKG), pp. 275–280.
DAC-2004-MuttrejaRRJ #automation #energy #megamodelling #performance: Automated energy/performance macromodeling of embedded software (AM, AR, SR, NKJ), pp. 99–102.
DAC-2004-OhbaT #design #using: An SoC design methodology using FPGAs and embedded microprocessors (NO, KT), pp. 747–752.
DAC-2004-RaviKLMR #design #security: Security as a new dimension in embedded system design (SR, PCK, RBL, GM, AR), pp. 753–760.
DAC-2004-YuM: Characterizing embedded applications for instruction-set extensible processors (PY, TM), pp. 723–728.
DAC-2004-ZhangDC #distributed #energy #fault tolerance #realtime: Energy-aware deterministic fault tolerance in distributed real-time embedded systems (YZ, RPD, KC), pp. 550–555.
DATE-DF-2004-FummiMPPRT: Heterogeneous Co-Simulation of Networked Embedded Systems (FF, SM, GP, MP, FR, MT), pp. 168–173.
DATE-DF-2004-LettninBBGR #case study #design #network #synthesis: Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks (DL, AGB, MB, JG, WR), pp. 248–255.
DATE-DF-2004-LinXW: LZW-Based Code Compression for VLIW Embedded Systems (CHL, YX, WW), pp. 76–81.
DATE-DF-2004-VarmaB #compilation #java: Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems (AV, SSB), pp. 161–167.
DATE-v1-2004-Gordon-RossVD #automation: Automatic Tuning of Two-Level Caches to Embedded Applications (AGR, FV, ND), pp. 208–213.
DATE-v1-2004-HounsellT #synthesis: Co-Processor Synthesis: A New Methodology for Embedded Software Acceleration (BIH, RT), pp. 682–683.
DATE-v1-2004-PaschalisG #effectiveness #online #self #testing: Effective Software-Based Self-Test Strategies for On-Line Periodic Testing of Embedded Processors (AMP, DG), pp. 578–583.
DATE-v1-2004-ZhangVL #architecture #self: A Self-Tuning Cache Architecture for Embedded Systems (CZ, FV, RLL), pp. 142–147.
DATE-v2-2004-AragonNVB #design #energy: Energy-Efficient Design for Highly Associative Instruction Caches in Next-Generation Embedded Processors (JLA, DN, AVV, AMB), pp. 1374–1375.
DATE-v2-2004-CrisuCVL #development #framework #named: GRAAL — A Development Framework for Embedded Graphics Accelerators (DC, SC, SV, PL), pp. 1366–1367.
DATE-v2-2004-JersakHE #analysis #design #performance: Context-Aware Performance Analysis for Efficient Embedded System Design (MJ, RH, RE), pp. 1046–1051.
DATE-v2-2004-KumarBK #algorithm #analysis #array #memory management #named #reduction #using: MemMap: Technology Mapping Algorithm for Area Reduction in FPGAs with Embedded Memory Arrays Using Reconvergence Analysis (AMK, JB, VK), pp. 922–929.
DATE-v2-2004-PinelloCS #deployment #fault tolerance #realtime: Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications (CP, LPC, ALSV), pp. 1164–1169.
DATE-v2-2004-PopEPIHB #clustering #design #multi #optimisation #realtime: Design Optimization of Multi-Cluster Embedded Systems for Real-Time Application (PP, PE, ZP, VI, MH, OB), pp. 1027–1033.
DATE-v2-2004-RizkPW #design #source code: Designing Self Test Programs for Embedded DSP Cores (HR, CAP, FGW), pp. 816–823.
DATE-v2-2004-SbeytiNE #adaptation #multi: Adaptive Prefetching for Multimedia Applications in Embedded Systems (HS, SN, LE), pp. 1350–1351.
DATE-v2-2004-SchattkowskyM #execution #modelling #realtime #specification: Model-Based Specification and Execution of Embedded Real-Time Systems (TS, WM), pp. 1392–1393.
DATE-v2-2004-TiwariT #finite #memory management #state machine: Saving Power by Mapping Finite-State Machines into Embedded Memory Blocks in FPGAs (AT, KAT), pp. 916–921.
DATE-v2-2004-UedaSTI #architecture #estimation #performance: Architecture-Level Performance Estimation for IP-Based Embedded Systems (KU, KS, YT, MI), pp. 1002–1007.
DATE-v2-2004-VerbauwhedeSPK #architecture #design #energy #multi #performance: Architectures and Design Techniques for Energy Efficient Embedded DSP and Multimedia Processing (IV, PS, CP, BK), pp. 988–995.
DATE-v2-2004-XuWHCL #case study #design #video: A Case Study in Networks-on-Chip Design for Embedded Video (JX, WW, JH, STC, TL), pp. 770–777.
DATE-v2-2004-ZhangC #analysis #fault tolerance #realtime #scalability: Task Feasibility Analysis and Dynamic Voltage Scaling in Fault-Tolerant Real-Time Embedded Systems (YZ, KC), pp. 1170–1175.
DATE-v2-2004-ZhouCK: Profile Guided Management of Code Partitions for Embedded Systems (SZ, BRC, NK), pp. 1396–1399.
ISMM-2004-ChenKVI #analysis #java #optimisation: Field level analysis for heap space optimization in embedded java environments (GC, MTK, NV, MJI), pp. 131–142.
LCTES-2004-DaveauTLS #framework: A retargetable register allocation framework for embedded processors (JMD, TT, TL, MS), pp. 202–210.
LCTES-2004-LapalmeANCBDB #modelling #simulation: ESys.Net: a new solution for embedded systems modeling and simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 107–114.
LCTES-2004-SaputraCBVKI: Code protection for resource-constrained embedded devices (HS, GC, RRB, NV, MTK, MJI), pp. 240–248.
LCTES-2004-ZhuangP #power management: Power-efficient prefetching via bit-differential offset assignment on embedded processors (XZ, SP), pp. 67–77.
LCTES-2004-ZhuangZP: Hardware-managed register allocation for embedded processors (XZ, TZ, SP), pp. 192–201.
PDP-2004-AlbrechtHD #multi #network #thread: Cooperative Software Multithreading to Enhance Utilization of Embedded Processors for Network Applications (CA, RH, ACD), pp. 300–307.
PDP-2004-LioupisPS #power of: Exporting Processing Power of Home Embedded Devices to Global Computing Applications (DL, DP, MS), pp. 274–281.
DATE-2005-RissaDL04 #configuration management #evaluation #modelling: Evaluation of SystemC Modelling of Reconfigurable Embedded Systems (TR, AD, WL), pp. 253–258.
CAV-2004-GanaiGA #bound #model checking #modelling #performance: Efficient Modeling of Embedded Memories in Bounded Model Checking (MKG, AG, PA), pp. 440–452.
IJCAR-2004-MouraORRS #deduction: The ICS Decision Procedures for Embedded Deduction (LMdM, SO, HR, JMR, NS), pp. 218–222.
FME-2003-BertBPRV #adaptation #c #source code #specification: Adaptable Translator of B Specifications to Embedded C Programs (DB, SB, MLP, AR, LV), pp. 94–113.
ECOOP-2003-Gunter #api #security: Open APIs for Embedded Security (CAG), pp. 225–247.
PLDI-2003-GayLBWBC #approach: The nesC language: A holistic approach to networked embedded systems (DG, PL, JRvB, MW, EAB, DEC), pp. 1–11.
SIGAda-2003-Potratz #ada #comparison #implementation #java #realtime: A practical comparison between Java and Ada in implementing a real-time embedded system (EP), pp. 71–83.
ICSE-2003-RussellJ #architecture #evaluation #performance: Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software (JTR, MFJ), pp. 824–825.
SAC-2003-BeattyCGN #interpreter #java: An Optimized Java Interpreter for Connected Devices and Embedded Systems (AB, KC, DG, AN), pp. 692–697.
SAC-2003-CarliniB #performance #realtime #representation: An Efficient Time Representation for Real-Time Embedded Systems (AC, GCB), pp. 705–712.
SAC-2003-ChandranK #image #retrieval: Image Retrieval With Embedded Region Relationships (SC, NK), pp. 760–764.
SAC-2003-CheongLLZ #named #programming: TinyGALS: A Programming Model for Event-Driven Embedded Systems (EC, JL, JL, FZ), pp. 698–704.
SAC-2003-CofflandP #evaluation #framework #performance: A Software Framework for Efficient System-level Performance Evaluation of Embedded Systems (JEC, ADP), pp. 666–671.
SAC-2003-EngelenWY #validation: Validation of Code-Improving Transformations for Embedded Systems (RvE, DBW, XY), pp. 684–691.
SAC-2003-SaliceFVP #architecture #clustering #multi: Partitioning of Embedded Applications onto Heterogeneous Multiprocessor Architectures (FS, WF, LDV, LP), pp. 661–665.
SAC-2003-SalveminiSSSZZ #architecture #energy #performance #trade-off: A Methodology for the Efficient Architectural Exploration of Energy-Delay Trade-offs for Embedded Systems (LS, MS, DS, CS, VZ, RZ), pp. 672–678.
GPCE-2003-HammondM #domain-specific language #named #realtime: Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
DAC-2003-BorgattiCSFILMPPR #configuration management #memory management #multi: A reconfigurable signal processing IC with embedded FPGA and multi-port flash memory (MB, LC, GDS, BF, DI, FL, GM, MP, MP, PLR), pp. 691–695.
DAC-2003-ChoiK #design #layout #memory management #performance: Memory layout techniques for variables utilizing efficient DRAM access modes in embedded system design (YC, TK), pp. 881–886.
DAC-2003-FummiPGPMR #modelling #simulation: A timing-accurate modeling and simulation environment for networked embedded systems (FF, GP, PG, MP, SM, FR), pp. 42–47.
DAC-2003-Givargis #reduction: Improved indexing for cache miss reduction in embedded systems (TG), pp. 875–880.
DAC-2003-HuangC #framework #using #verification: Using embedded infrastructure IP for SOC post-silicon verification (YH, WTC), pp. 674–677.
DAC-2003-HwangLSSFYHV #design: Design flow for HW / SW acceleration transparency in the thumbpod secure embedded system (DDH, BCL, PS, KS, YF, SY, AH, IV), pp. 60–65.
DAC-2003-JainSD: Embedded intelligent SRAM (PJ, GES, SD), pp. 869–874.
DAC-2003-RamachandranJ #energy #memory management #named #performance: Xtream-Fit: an energy-delay efficient data memory subsystem for embedded media processing (AR, MFJ), pp. 137–142.
DAC-2003-RussellJ #architecture #component #evaluation #performance: Architecture-level performance evaluation of component-based embedded systems (JTR, MFJ), pp. 396–401.
DAC-2003-ZhangCKK #interprocedural #optimisation #performance: Interprocedural optimizations for improving data cache performance of array-intensive embedded applications (WZ, GC, MTK, MK), pp. 887–892.
DATE-2003-BernardiRRV #approach #programmable: A P1500-Compatible Programmable BIST Approach for the Test of Embedded Flash Memories (PB, MR, MSR, MV), pp. 10720–10725.
DATE-2003-BertozziRBR #energy #optimisation #performance #protocol: Transport Protocol Optimization for Energy Efficient Wireless Embedded Systems (DB, AR, LB, SR), pp. 10706–10713.
DATE-2003-BlodgetML #approach #configuration management #lightweight: A Lightweight Approach for Embedded Reconfiguration of FPGAs (BB, SM, PL), pp. 10399–10401.
DATE-2003-BurbidgeTR #automation #monitoring: Techniques for Automatic On Chip Closed Loop Transfer Function Monitoring For Embedded Charge Pump Phase Locked Loops (MJB, JT, AR), pp. 10496–10503.
DATE-2003-ChakrabortyKT #design #framework #platform: A General Framework for Analysing System Properties in Platform-Based Embedded System Designs (SC, SK, LT), pp. 10190–10195.
DATE-2003-DebOJ #analysis #simulation #using: Simulation and Analysis of Embedded DSP Systems Using MASIC Methodology (AKD, JÖ, AJ), pp. 11100–11101.
DATE-2003-DragoFMPP #architecture #estimation #performance #tuple: Estimation of Bus Performance for a Tuplespace in an Embedded Architecture (ND, FF, MM, GP, MP), pp. 20188–20195.
DATE-2003-GhoshG #design: Analytical Design Space Exploration of Caches for Embedded Systems (AG, TG), pp. 10650–10655.
DATE-2003-GilbertTW #architecture #communication #multi: Communication Centric Architectures for Turbo-Decoding on Embedded Multiprocessors (FG, MJT, NW), pp. 10356–10363.
DATE-2003-HerreraPSV #generative: Systemic Embedded Software Generation from SystemC (FH, HP, PS, EV), pp. 10142–10149.
DATE-2003-JanDE #case study #development #encryption #migration #network: Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development (SJ, PdD, SAE), pp. 20150–20157.
DATE-2003-KandemirCZK #scheduling: Data Space Oriented Scheduling in Embedded Systems (MTK, GC, WZ, IK), pp. 10416–10421.
DATE-2003-KodaseWS #constraints #realtime #runtime: Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints (SK, SW, KGS), pp. 20170–20175.
DATE-2003-LangeK #configuration management #design #framework #hardware #platform: Virtual Hardware Byte Code as a Design Platform for Reconfigurable Embedded Systems (SL, UK), pp. 10302–10309.
DATE-2003-LuoPJ #communication #distributed #realtime #scalability: Simultaneous Dynamic Voltage Scaling of Processors and Communication Links in Real-Time Distributed Embedded Systems (JL, LSP, NKJ), pp. 11150–11151.
DATE-2003-MaciiMCZ #algorithm #energy: A New Algorithm for Energy-Driven Data Compression in VLIW Embedded Processors (AM, EM, FC, RZ), pp. 10024–10029.
DATE-2003-MamidipakaD #architecture #memory management #power management #stack: On-chip Stack Based Memory Organization for Low Power Embedded Architectures (MM, NDD), pp. 11082–11089.
DATE-2003-MangerucaFSPP #case study #design #detection: System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain (LM, AF, ALSV, AP, MP), pp. 20232–20237.
DATE-2003-NicolaescuVN #power management: Reducing Power Consumption for High-Associativity Data Caches in Embedded Processors (DN, AVV, AN), pp. 11064–11069.
DATE-2003-PalermoSZ #architecture: Power-Performance System-Level Exploration of a MicroSPARC2-Based Embedded Architecture (GP, CS, VZ), pp. 20182–20187.
DATE-2003-PopEP #analysis #clustering #distributed #multi #optimisation #scheduling #synthesis: Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems (PP, PE, ZP), pp. 10184–10189.
DATE-2003-RapakaM #analysis #performance: Pre-Characterization Free, Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications (VSPR, DM), pp. 10504–10509.
DATE-2003-RettbergZBL #architecture #pipes and filters #self: A Fully Self-Timed Bit-Serial Pipeline Architecture for Embedded Systems (AR, MCZ, CB, TL), pp. 11130–11131.
DATE-2003-RinnerSW #agile #architecture #flexibility #multi #prototype: Rapid Prototyping of Flexible Embedded Systems on Multi-DSP Architectures (BR, MS, RW), pp. 10204–10211.
DATE-2003-SarlotteCQM: Embedded Software in Digital AM-FM Chipset (MS, BC, JQ, DM), pp. 10340–10343.
DATE-2003-SchmitzAE #co-evolution #design #energy #execution #multi: A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities (MTS, BMAH, PE), pp. 10960–10965.
DATE-2003-TanRJ #approach #architecture #energy: Software Architectural Transformations: A New Approach to Low Energy Embedded Software (TKT, AR, NKJ), pp. 11046–11051.
DATE-2003-Tarnick #self: Self-Testing Embedded Checkers for Bose-Lin, Bose, and a Class of Borden Codes (ST), pp. 11162–11163.
DATE-2003-WangMB #integration #modelling: Modeling and Integration of Peripheral Devices in Embedded Systems (SW, SM, RAB), pp. 10136–10141.
DATE-2003-WuAE #graph #power management #scheduling #synthesis: Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems (DW, BMAH, PE), pp. 10090–10095.
DATE-2003-ZhangC #adaptation #energy #realtime: Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems (YZ, KC), pp. 10918–10925.
LCTES-2003-AbouGhazalehCMMC #compilation #energy #realtime: Energy management for real-time embedded applications with compiler support (NA, BRC, DM, RGM, MC), pp. 284–293.
LCTES-2003-AlurIKLS #generative #hybrid #modelling: Generating embedded software from hierarchical hybrid models (RA, FI, JK, IL, OS), pp. 171–182.
LCTES-2003-AmeurBBPW #analysis #robust: Robustness analysis of avionics embedded systems (YAA, GB, FB, SP, VW), pp. 123–132.
LCTES-2003-CaspiCMSTN #approach #distributed: From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications (PC, AC, AM, CS, ST, PN), pp. 153–162.
LCTES-2003-NizR #framework #realtime: Time weaver: a software-through-models framework for embedded real-time systems (DdN, RR), pp. 133–143.
LCTES-2003-PopEP #clustering #distributed #multi: Schedulability-driven frame packing for multi-cluster distributed embedded systems (PP, PE, ZP), pp. 113–122.
LCTES-2003-PratapCSP #abstraction: Transport layer abstraction in event channels for embedded systems (RP, RC, DCS, EP), pp. 144–152.
LCTES-2003-RobertzH #adaptation #garbage collection #realtime #robust #scheduling: Time-triggered garbage collection: robust and adaptive real-time GC scheduling for embedded systems (SGR, RH), pp. 93–102.
LCTES-2003-SchultzBCK #compilation #java: Compiling java for low-end embedded systems (UPS, KB, FGC, JLK), pp. 42–50.
LCTES-2003-SureshNVVS #clustering #hardware #profiling #tool support: Profiling tools for hardware/software partitioning of embedded applications (DCS, WAN, FV, JRV, GS), pp. 189–198.
LCTES-2003-YuP #collaboration #energy: Energy-balanced task allocation for collaborative processing in networked embedded systems (YY, VKP), pp. 265–274.
LCTES-2003-ZhaoCS #impact analysis #optimisation #predict: Predicting the impact of optimizations for embedded systems (MZ, BRC, MLS), pp. 1–11.
LCTES-2003-ZhuangLP #optimisation: Storage assignment optimizations through variable coalescence for embedded processors (XZ, CL, SP), pp. 220–231.
FASE-2003-ReichmannKM #approach #design #modelling #object-oriented: An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems (CR, MK, KDMG), pp. 52–66.
FATES-2003-SungC #fault #hardware #injection #interactive #testing #using: Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation (AS, BC), pp. 192–204.
CBSE-2002-LarssonWNC #architecture #predict #product line #using: Using Prediction Enabled Technologies for Embedded Product Line Architectures (ML, AW, CN, IC), p. 12.
SCAM-J-2001-BartoliniP02 #program transformation: A cache-aware program transformation technique suitable for embedded systems (SB, CAP), pp. 783–795.
ICSM-2002-Knethen #evolution #requirements #traceability: Change-Oriented Requirements Traceability: Support for Evolution of Embedded Systems (AvK), pp. 482–485.
ICSM-2002-VandewoudeB #component #evolution #runtime: Run-time Evolution for Embedded Component-Oriented Systems (YV, YB), pp. 242–245.
FME-2002-Casset #development #formal method #java #using #verification: Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods (LC), pp. 290–309.
CHI-2002-FukayamaOMSH #interface: Messages embedded in gaze of interface agents — impression management with agent’s gaze (AF, TO, NM, MS, NH), pp. 41–48.
ICPR-v3-2002-GarciaFRF02a: Optimized Rate Control in Embedded Wavelet Coding (JAG, JFV, RRS, XRFV), pp. 849–854.
ICPR-v3-2002-ZhangHHYW #approach #recognition #robust: A Robust Approach for Recognition of Text Embedded in Natural Scenes (JZ, XC, AH, JY, AW), pp. 204–207.
KR-2002-Provan #distributed #framework #modelling: A Model-Based Diagnosis Framework for Distributed Embedded Systems (GMP), pp. 341–352.
Ada-2002-BarrM #ada #named #open source #operating system #safety: Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT) (VB, SM), pp. 53–66.
AdaEurope-2002-BinderL #execution #java #kernel #reliability #using: Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications (WB, BL), pp. 125–135.
AdaEurope-2002-Boasson #object-oriented: Embedded Systems Unsuitable for Object Orientation (MB), pp. 1–12.
AdaEurope-2002-ChatzigeorgiouS #object-oriented #performance #power of #programming: Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors (AC, GS), pp. 65–75.
PADL-2002-Rhiger #compilation #source code: Compiling Embedded Programs to Byte Code (MR), pp. 120–136.
PLDI-2002-HenzingerK #predict #realtime: The Embedded Machine: Predictable, Portable Real-Time Code (TAH, CMK), pp. 315–326.
PPDP-2002-SztipanovitsK #generative #programming: Generative programming for embedded systems (JS, GK), p. 180.
RE-2002-BeeckBRS #modelling #requirements: Model Based Requirements Engineering for Embedded Software (MvdB, PB, MR, CS), pp. 92–94.
RE-2002-KonradC #requirements: Requirements Patterns for Embedded Systems (SK, BHCC), pp. 127–136.
ICSE-2002-Knight02a #dependence: Dependability of embedded systems (JCK), pp. 685–686.
SAC-2002-FerreiraD #mobile: Blinded-key signatures: securing private keys embedded in mobile agents (LCF, RD), pp. 82–86.
GPCE-2002-CzarneckiBUE #case study #experience #generative #industrial #programming: Generative Programming for Embedded Software: An Industrial Experience Report (KC, TB, PU, UWE), pp. 156–172.
GPCE-2002-NeemaBGG #adaptation #distributed #generative #realtime #synthesis: Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems (SN, TB, JG, ASG), pp. 236–251.
GPCE-2002-SztipanovitsK #generative #programming: Generative Programming for Embedded Systems (JS, GK), pp. 32–49.
DAC-2002-AbramoviciSE #using: Using embedded FPGAs for SoC yield improvement (MA, CES, ME), pp. 713–724.
DAC-2002-BonaSSZSZ #clustering #energy #estimation #optimisation: Energy estimation and optimization of embedded VLIW processors based on instruction clustering (AB, MS, DS, VZ, CS, RZ), pp. 886–891.
DAC-2002-ChakrabortyEKT #realtime #scheduling: Schedulability of event-driven code blocks in real-time embedded systems (SC, TE, SK, LT), pp. 616–621.
DAC-2002-GharsalliMRJ #automation #generative #memory management #multi: Automatic generation of embedded memory wrapper for multiprocessor SoC (FG, SM, FR, AAJ), pp. 596–601.
DAC-2002-KandemirRC #memory management #multi: Exploiting shared scratch pad memory space in embedded multiprocessor systems (MTK, JR, ANC), pp. 219–224.
DAC-2002-KayCM: Embedded test control schemes for compression in SOCs (DK, SC, SM), pp. 679–684.
DAC-2002-KrsticLCCD #design #self: Embedded software-based self-testing for SoC design (AK, WCL, KTC, LC, SD), pp. 355–360.
DAC-2002-LeeP #analysis #design #performance #simulation: Timed compiled-code simulation of embedded software for performance analysis of SOC design (JYL, ICP), pp. 293–298.
DAC-2002-LekatsasHJ #design #hardware #performance: Design of an one-cycle decompression hardware for performance increase in embedded systems (HL, JH, VJ), pp. 34–39.
DAC-2002-PeymandoustMS #algebra #library #using: Complex library mapping for embedded software using symbolic algebra (AP, GDM, TS), pp. 325–330.
DAC-2002-SmithNMCFKMB #question #tool support: Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? (GS, DN, SM, RC, JF, KK, GM, BB), p. 479.
DATE-2002-BeniniBMM #energy: Hardware-Assisted Data Compression for Energy Minimization in Systems with Embedded Processors (LB, DB, AM, EM), pp. 449–453.
DATE-2002-BonaSSZSZ #estimation #optimisation: An Instruction-Level Methodology for Power Estimation and Optimization of Embedded VLIW Cores (AB, MS, DS, VZ, CS, RZ), p. 1128.
DATE-2002-DupontNR #robust: Embedded Robustness Ips (ED, MN, PR), pp. 244–245.
DATE-2002-EdwardsG #modelling #using: The Modelling of Embedded Systems Using HASoC (MDE, PNG), pp. 752–759.
DATE-2002-Jong #design #realtime #uml: A UML-Based Design Methodology for Real-Time and Embedded Sytems (GGdJ), pp. 776–779.
DATE-2002-KumarMB #testing: IDDT Testing of Embedded CMOS SRAMs (SAK, RZM, DMB), p. 1117.
DATE-2002-Martin #how: How to Choose Semiconductor IP: Embedded Software (GM), p. 16.
DATE-2002-Martin02a #design #motivation #overview #perspective #specification #uml: UML for Embedded Systems Specification and Design: Motivation and Overview (GM), pp. 773–775.
DATE-2002-MunzenbergerDSH #design #realtime #specification #synthesis #validation: A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems (RM, MD, FS, RH), p. 1095.
DATE-2002-Nicolaidis #robust: IP for Embedded Robustness (MN), pp. 240–241.
DATE-2002-NitschK #runtime #using: The Use of Runtime Configuration Capabilities for Networked Embedded Systems (CN, UK), p. 1093.
DATE-2002-Pateras: Embedded Diagnosis IP (SP), pp. 242–243.
DATE-2002-PetrovO #performance: Power Efficient Embedded Processor Ip’s through Application-Specific Tag Compression in Data Caches (PP, AO), pp. 1065–1071.
DATE-2002-PeymandoustSM #algebra #optimisation #power management #using: Low Power Embedded Software Optimization Using Symbolic Algebra (AP, TS, GDM), pp. 1052–1058.
DATE-2002-Phillips #how: How to Choose Semiconductor IP? — Embedded Processor (IP), p. 14.
DATE-2002-PozziVI #automation #identification: Automatic Topology-Based Identification of Instruction-Set Extensions for Embedded Processors (LP, MV, PI), p. 1138.
DATE-2002-RettbergT #design: Embedded System Design Based On Webservices (AR, WT), pp. 232–236.
DATE-2002-SchmitzAE #distributed #energy #scheduling: Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems (MTS, BMAH, PE), pp. 514–521.
DATE-2002-TangGN #power management: Power Savings in Embedded Processors through Decode Filer Cache (WT, RKG, AN), pp. 443–448.
HPCA-2002-ChenSKVIW #garbage collection #java: Tuning Garbage Collection in an Embedded Java Environment (GC, RS, MTK, NV, MJI, MW), pp. 92–103.
LCTES-SCOPES-2002-DudaniMZ #constraints #energy #feedback #realtime #scheduling: Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints (AD, FM, YZ), pp. 213–222.
LCTES-SCOPES-2002-JhumkaHCS #consistency #design #execution #on the: On systematic design of globally consistent executable assertions in embedded software (AJ, MH, VC, NS), pp. 75–84.
LCTES-SCOPES-2002-Magarshack #development #industrial #perspective: Systems-on-chip needs for embedded software development: an industrial perspective (PM), p. 1.
LCTES-SCOPES-2002-MohantyPND #agile #design #multi #simulation #using: Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation (SM, VKP, SN, JRD), pp. 18–27.
LCTES-SCOPES-2002-PalemRMKP #design #memory management #optimisation: Design space optimization of embedded memory systems via data remapping (KVP, RMR, VJM, PK, KP), pp. 28–37.
TACAS-2002-AmnellFMPY #implementation #modelling #named: TIMES — A Tool for Modelling and Implementation of Embedded Systems (TA, EF, LM, PP, WY), pp. 460–464.
CBSE-2001-GenßlerZ #component #composition: Rule-driven Component Composition for Embedded Systems (TG, CZ), p. 12.
WICSA-2001-Laine #architecture #development #object-oriented #problem #scalability: The Role of SW Architectures in Solving Fundamental Problems in Object-Oriented Development of Large Embedded SW Systems (PKL), pp. 14–23.
VLDB-2001-Sol #database #network #ubiquitous: Ambient Intelligence with the Ubiquitous Network, the Embedded Computer Devices and the Hidden Databases (EJS), p. 14.
ICSM-2001-ChungS #architecture #case study #evolution #semantics: Architecture-Based Semantic Evolution: A Study of Remotely Controlled Embedded Systems (LC, NS), pp. 663–666.
SCAM-2001-BartoliniP #performance: An Object Level Transformation Technique to Improve the Performance of Embedded Applications (SB, CAP), pp. 26–34.
SVIS-2001-Evstiougov-Babaev #control flow #developer #graph #visualisation: Call Graph and Control Flow Graph Visualization for Developers of Embedded Applications (AAEB), pp. 337–346.
ICML-2001-EngelM #learning #markov #process: Learning Embedded Maps of Markov Processes (YE, SM), pp. 138–145.
UML-2001-LatronicoK #diagrams #formal method #representation #sequence chart: Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.
TOOLS-EUROPE-2001-PreeP #architecture #framework #object-oriented: Object-Oriented Framework Architectures for Embedded Systems (WP, AP), pp. 199–200.
AdaEurope-2001-Rivas #ada #kernel #realtime: Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.
ESEC-FSE-2001-Jahnke #component: Engineering component-based net-centric systems for embedded applications (JHJ), pp. 218–228.
CC-2001-OttoniRARM #source code: Optimal Live Range Merge for Address Register Allocation in Embedded Programs (GO, SR, GA, SR, SM), pp. 274–288.
DAC-2001-BeniniMMMP #architecture #layout #memory management #synthesis: From Architecture to Layout: Partitioned Memory Synthesis for Embedded Systems-on-Chip (LB, LM, AM, EM, MP), pp. 784–789.
DAC-2001-ChenBD #fault #testing #using: Testing for Interconnect Crosstalk Defects Using On-Chip Embedded Processor Cores (LC, XB, SD), pp. 317–320.
DAC-2001-ChoiYLR #industrial #model checking: Model Checking of S3C2400X Industrial Embedded SOC Product (HC, BWY, YTL, HR), pp. 611–616.
DAC-2001-Gebotys #memory management: Utilizing Memory Bandwidth in DSP Embedded Processors (CHG), pp. 347–352.
DAC-2001-LiuCBK #constraints #power management #scheduling: Power-Aware Scheduling under Timing Constraints for Mission-Critical Embedded Systems (JL, PHC, NB, FJK), pp. 840–845.
DAC-2001-LuoJ #distributed #realtime #scheduling: Battery-Aware Static Scheduling for Distributed Real-Time Embedded Systems (JL, NKJ), pp. 444–449.
DAC-2001-NandiM #analysis #design #performance: System-Level Power/Performance Analysis for Embedded Systems Design (AN, RM), pp. 599–604.
DAC-2001-PetrovO #architecture: Speeding Up Control-Dominated Applications through Microarchitectural Customizations in Embedded Processors (PP, AO), pp. 512–517.
DAC-2001-PopEPP #approach #design #distributed #incremental: An Approach to Incremental Design of Distributed Embedded Systems (PP, PE, TP, ZP), pp. 450–455.
DAC-2001-RamanujamHKN #memory management #requirements: Reducing Memory Requirements of Nested Loops for Embedded Systems (JR, JH, MTK, AN), pp. 359–364.
DATE-2001-Al-ArsG #array #behaviour #memory management: Static and dynamic behavior of memory cell array opens and shorts in embedded DRAMs (ZAA, AJvdG), pp. 496–503.
DATE-2001-Doboli #constraints #design #latency: Integrated hardware-software co-synthesis for design of embedded systems under power and latency constraints (AD), pp. 612–619.
DATE-2001-DorschW #logic #testing #using: Using mission logic for embedded testing (RD, HJW), p. 805.
DATE-2001-GauthierYJ #automation #generative #operating system: Automatic generation and targeting of application specific operating systems and embedded systems software (LG, SY, AAJ), pp. 679–685.
DATE-2001-GiustoMH #estimation #execution #reliability: Reliable estimation of execution time of embedded software (PG, GM, EAH), pp. 580–589.
DATE-2001-GrunDN #memory management #power management: Access pattern based local memory customization for low power embedded systems (PG, NDD, AN), pp. 778–784.
DATE-2001-JingnanVH #library: A Skill-based library for retargetable embedded analog cores (XJ, JCV, NH), pp. 768–769.
DATE-2001-KulkarniGMCM #layout #multi: Cache conscious data layout organization for embedded multimedia applications (CK, CG, MM, FC, HDM), pp. 686–693.
DATE-2001-PaschalisGKPZ #self: Deterministic software-based self-testing of embedded processor cores (AMP, DG, NK, MP, YZ), pp. 92–96.
DATE-2001-PaulinKB #architecture #network #requirements #tool support: Network processors: a perspective on market requirements, processor architectures and embedded S/W tools (PGP, FK, PB), pp. 420–429.
DATE-2001-RoussellePBMV #fault: A register-transfer-level fault simulator for permanent and transient faults in embedded processors (CR, MP, AB, TM, HTV), p. 811.
DATE-2001-SamiSSZZ: Exploiting data forwarding to reduce the power budget of VLIW embedded processors (MS, DS, CS, VZ, RZ), pp. 252–257.
DATE-2001-StaaB #design #roadmap #tutorial: Embedded tutorial: current trends in the design of automotive electronic systems (PvS, TB), pp. 38–39.
DATE-2001-SvarstadNJ #communication #design #specification: A model for describing communication between aggregate objects in the specification and design of embedded systems (KS, GN, AAJ), pp. 77–85.
DATE-2001-VareaA #modelling #petri net #specification: Dual transitions petri net based modelling technique for embedded systems specification (MV, BMAH), pp. 566–571.
DATE-2001-ZorianPTTPDSMR #tutorial: Embedded tutorial: TRP: integrating embedded test and ATE (YZ, PP, JPT, ICT, CEP, OPD, JS, PM, WR), pp. 34–37.
LCTES-OM-2001-BakshiPL #framework #modelling #named #simulation: MILAN: A Model Based Integrated Simulation Framework for Desgin of Embedded Suystems (AB, VKP, ÁL), pp. 82–87.
LCTES-OM-2001-CadotKLRS #communication #multi #named: ENSEMBLE: A Communication Layer for Embedded Multi-Processor Systems (SC, FK, KL, KvR, HJS), pp. 56–63.
LCTES-OM-2001-HenzingerHK #development: Embedded Control Systems Development with Giotto (TAH, BH, CMK), pp. 64–72.
LCTES-OM-2001-KimH #hybrid #power management #realtime #runtime #scalability: Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor (MK, SH), pp. 11–19.
LCTES-OM-2001-LeeEMC #energy: An Accurate Instruction-Level Energy Consumption Model for Embedded RISC Processors (SL, AE, SLM, NC), pp. 1–10.
LCTES-OM-2001-MerillonM #framework #hardware: Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language (FM, GM), pp. 121–127.
LCTES-OM-2001-PalopoliLANAC #performance #prototype #simulation: A Tool for Simulation and Fast Prototyping of Embedded Control Systems (LP, GL, LA, MDN, PA, FC), pp. 73–81.
PDP-2001-SchmidtR #information retrieval #memory management #using: Content-Based Information Retrieval Using an Embedded Neural Associative Memory (MS, UR), pp. 443–450.
SOSP-2001-PillaiS #operating system #power management #realtime #scalability: Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems (PP, KGS), pp. 89–102.
FASE-J-1998-GrieskampHD01 #component #specification: Specifying embedded systems with statecharts and Z: an agenda for cyclic software components (WG, MH, HD), pp. 31–57.
FoSSaCS-2001-AmbroiseABR #verification: MARRELLA and the Verification of an Embedded System (DA, PA, KB, BR), pp. 409–412.
CAV-2001-ClossePPSVWY #development #named #realtime #verification: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems (EC, MP, JP, JS, PV, DW, SY), pp. 391–395.
ICLP-2001-OrejasPP #logic programming #semantics #source code: Semantics of Normal Logic Programs with Embedded Implications (FO, EP, EP), pp. 255–268.
IWPC-2000-JahnkeNW #analysis #automation #component #quality: Automated Quality Analysis of Component Software for Embedded Systems (JHJ, JN, JPW), pp. 18–26.
ICPR-v1-2000-KacemBA: Embedded Formulas Extraction (AK, AB, MBA), pp. 1676–1680.
ICPR-v4-2000-HatteryCLG #migration: Optical Signatures of Small, Deeply Embedded, Tumor-Like Inclusions in Tissue-Like Turbid Media Based on a Random-Walk Theory of Photon Migration (DH, VC, MHL, AG), pp. 4348–4351.
SPLC-2000-Dager #architecture #experience #product line #realtime: Cummins’s experience in developing a software product line architecture for real-time embedded diesel engine controls (JCD), pp. 23–46.
TOOLS-EUROPE-2000-BeucheSSS #object-oriented: Streamlining Object-Oriented Software for Deeply Embedded Applications (DB, WSP, OS, US), pp. 33–44.
TOOLS-USA-2000-ColbertL #realtime #uml: Building Real-Time Embedded Systems with MetaH and UML [Abstract] (EC, BAL), pp. 445–446.
TOOLS-USA-2000-Khwaja #concurrent #multi #testing #thread #validation: An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller (AAK), pp. 15–24.
TOOLS-USA-2000-LewisCV #evolution: Developing Evolvable, Embedded, Time-Critical Systems with MetaH (BAL, EC, SV), pp. 447–456.
AdaEurope-2000-MauriS #analysis #reliability #safety #using: Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.
SAIG-2000-ElliottFM #compilation: Compiling Embedded Languages (CE, SF, OdM), pp. 9–27.
SAC-2000-BlooHJ #architecture #aspect-oriented #distributed #semantics: Semantical Aspects of an Architecture for Distributed Embedded Systems (RB, JH, EDdJ), pp. 149–155.
CC-2000-Kim #compilation #optimisation: Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor (DHK), pp. 173–188.
DAC-2000-BeniniMMP #optimisation #synthesis: Synthesis of application-specific memories for power optimization in embedded systems (LB, AM, EM, MP), pp. 300–303.
DAC-2000-ChenDSSC #hardware #self: Embedded hardware and software self-testing methodologies for processor cores (LC, SD, PS, KS, YC), pp. 625–630.
DAC-2000-ChiouJRD #memory management #using: Application-specific memory management for embedded systems using software-controlled caches (DC, PJ, LR, SD), pp. 416–419.
DAC-2000-ChouB #coordination #distributed #optimisation #synthesis: Synthesis and optimization of coordination controllers for distributed embedded systems (PHC, GB), pp. 410–415.
DAC-2000-CortadellaKLMMPWS #generative #scheduling: Task generation and compile-time scheduling for mixed data-control embedded software (JC, AK, LL, MM, SM, CP, YW, ALSV), pp. 489–494.
DAC-2000-DickLRJ #analysis #operating system: Power analysis of embedded operating systems (RPD, GL, AR, NKJ), pp. 312–315.
DAC-2000-HsiehBLS #design #performance: Efficient methods for embedded system design space exploration (HH, FB, LL, ALSV), pp. 607–612.
DAC-2000-LekatsasHW #design #power management: Code compression for low power embedded system design (HL, JH, WW), pp. 294–299.
DAC-2000-LiCDHKS #architecture #co-evolution #configuration management #design: Hardware-software co-design of embedded reconfigurable architectures (YL, TC, ED, REH, UK, JS), pp. 507–512.
DAC-2000-OmnesFC #co-evolution #design #interactive #multi #throughput: Interactive co-design of high throughput embedded multimedia (TJFO, TF, FC), pp. 328–331.
DAC-2000-ShinKC #analysis #multi #performance #realtime: Schedulability-driven performance analysis of multiple mode embedded real-time systems (YS, DK, KC), pp. 495–500.
DATE-2000-BergfeldNR #testing #using: Diagnostic Testing of Embedded Memories Using BIST (TJB, DN, EMR), pp. 305–309.
DATE-2000-CarroKWO #multi #synthesis: System Synthesis for Multiprocessor Embedded Applications (LC, MEK, FRW, MO), pp. 697–702.
DATE-2000-HergenhanR #analysis #architecture: Static Timing Analysis of Embedded Software on Advanced Processor Architectures (AH, WR), pp. 552–559.
DATE-2000-IshiharaY #reduction: A Power Reduction Technique with Object Code Merging for Application Specific Embedded Processors (TI, HY), pp. 617–623.
DATE-2000-KimLS #optimisation: Free MDD-Based Software Optimization Techniques for Embedded Systems (CK, LL, ALSV), pp. 14–18.
DATE-2000-NiemegeersJ #incremental #realtime #specification: An Incremental Specification Flow for Real Time Embedded Systems (AN, GGdJ), p. 761.
DATE-2000-PopEP #analysis #distributed #optimisation #scheduling: Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis (PP, PE, ZP), pp. 567–574.
DATE-2000-RustSAT #implementation #parallel #realtime #specification: From High-Level Specifications Down to Software Implementations of Parallel Embedded Real-Time Systems (CR, FS, PA, JT), pp. 686–691.
DATE-2000-Veelenturf #reliability #tool support: The Road to Better Reliability and Yield Embedded DfM Tools (KV), pp. 67–68.
DATE-2000-VermeulenCMV #reuse: Formalized Three-Layer System-Level Reuse Model and Methodology for Embedded Data-Dominated Applications (FV, FC, HDM, DV), pp. 92–98.
DATE-2000-Zorian #scalability #trade-off: Yield Improvement and Repair Trade-Off for Large Embedded Memories (YZ), pp. 69–70.
HPDC-2000-PlaleS #data flow #named #query #scalability #using: dQUOB: Managing Large Data Flows using Dynamic Embedded Queries (BP, KS), pp. 263–270.
LCTES-2000-BairagiPA #framework #quality #set: A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors (DB, SP, DPA), pp. 81–95.
LCTES-2000-JeonKHK #corba #fault tolerance: A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems (GJ, THK, SH, SK), pp. 114–133.
LCTES-2000-LeeLKK #debugging #design #implementation #internet: A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software (KL, CL, KK, HNK), pp. 199–203.
LCTES-2000-ParkLLHK #performance: A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure (GHP, KWL, JHL, TDH, SDK), pp. 162–177.
WICSA-1999-BartthallR #architecture #design #product line: Architecture Design Recovery of a Family of Embedded Software Systems (LB, PR), pp. 3–14.
CSMR-1999-RaysideK #deployment #java #library #set: Extracting Java Library Subsets for Deployment on Embedded Systems (DR, KK), pp. 102–110.
ICFP-1999-HughesP #bound #ml #programming #recursion #towards: Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming (JH, LP), pp. 70–81.
UML-1999-Herzberg #modelling #realtime #uml: UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain (DH), pp. 330–338.
TOOLS-PACIFIC-1999-Caspersen #c++ #framework #implementation #modelling #realtime: A C++ Framework for Active Objects in Embedded Real-time Systems-Bridging the Gap Between Modeling and Implementation (MEC), pp. 52–65.
AdaEurope-1999-FornaciariS #co-evolution #design: HW/SW Co-design of Embedded Systems (WF, DS), pp. 344–355.
AdaEurope-1999-Frost #ada #certification #safety: An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
AdaEurope-1999-LopezVV #ada #design #hardware #using: Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL (AL, MV, EV), pp. 356–370.
AdaEurope-1999-VardanegaCP #case study #realtime #reuse #using: A Case Study in the Reuse of On-board Embedded Real-Time Software (TV, GC, JSP), pp. 425–436.
PLDI-1999-CooperM: Enhanced Code Compression for Embedded RISC Processors (KDC, NM), pp. 139–149.
PLDI-1999-RaoP #optimisation #performance: Storage Assignment Optimizations to Generate Compact and Efficient Code on Embedded DSPs (AR, SP), pp. 128–138.
SIGAda-1999-Lowe #ada #development #multi: Extending Ada to assist multiprocessor embedded development (TL), pp. 125–132.
ASE-1999-LingamarlaSLWEG #automation #multi #validation: System for Automated Validation of Embedded Software in Multiple Operating Configurations (SL, GBS, JL, MW, GE, SG), pp. 323–326.
ESEC-FSE-1999-Fierz #component #modelling: The CIP Method: Component- and Model-Based Construction of Embedded Systems (HF), pp. 375–392.
ESEC-FSE-1999-ThompsonHM #prototype: Specification-Based Prototyping for Embedded Systems (JMT, MPEH, SPM), pp. 163–179.
DAC-1999-CamposanoKFSL #design: HW and SW in Embedded System Design: Loveboat, Shipwreck, or Ships Passing in the Night (RC, KK, JF, ALSV, JL), pp. 76–77.
DAC-1999-ChoiYLPK #design: Exploiting Intellectual Properties in ASIP Designs for Embedded DSP Software (HC, JHY, JYL, ICP, CMK), pp. 939–944.
DAC-1999-ChouOHPB #design #distributed #framework #named: ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems (PHC, RBO, KH, KP, GB), pp. 44–49.
DAC-1999-Fisher: Customized Instruction-Sets for Embedded Processors (JAF), pp. 253–257.
DAC-1999-FleischmannBK #java #prototype: Java Driven Codesign and Prototyping of Networked Embedded Systems (JF, KB, RK), pp. 794–797.
DAC-1999-GoodmanCD #design #encryption #implementation #scalability: Design and Implementation of a Scalable Encryption Processor with Embedded Variable DC/DC Converter (JG, AC, APD), pp. 855–860.
DAC-1999-Henkel #approach #clustering #hardware #power management: A Low Power Hardware/Software Partitioning Approach for Core-Based Embedded Systems (JH), pp. 122–127.
DAC-1999-HuangL #named: ICEBERG: An Embedded In-Circuit Emulator Synthesizer for Microcontrollers (IJH, TAL), pp. 580–585.
DAC-1999-NotbauerANR #design #multi #verification: Verification and Management of a Multimillion-Gate Embedded Core Design (JN, TWA, GN, SR), pp. 425–428.
DAC-1999-RichterZETT #optimisation #representation #synthesis: Representation of Function Variants for Embedded System Optimization and Synthesis (KR, DZ, RE, LT, JT), pp. 517–522.
DAC-1999-SgroiL #petri net #synthesis #using: Synthesis of Embedded Software Using Free-Choice Petri Nets (MS, LL), pp. 805–810.
DAC-1999-ShiueC #memory management #power management: Memory Exploration for Low Power, Embedded Systems (WTS, CC), pp. 140–145.
DAC-1999-SimunicBM #energy #simulation: Cycle-Accurate Simulation of Energy Consumption in Embedded Systems (TS, LB, GDM), pp. 867–872.
DAC-1999-StepnerRH #design #realtime #using: Embedded Application Design Using a Real-Time OS (DS, NR, DH), pp. 151–156.
DATE-1999-Dav #configuration management #distributed #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 #hardware #java: Codesign of Embedded Systems Based on Java and Reconfigurable Hardware Components (JF, KB, RK), pp. 768–769.
DATE-1999-FornaciariSS #encoding: Influence of Caching and Encoding on Power Dissipation of System-Level Buses for Embedded Systems (WF, DS, CS), pp. 762–763.
DATE-1999-Leupers #code generation: Exploiting Conditional Instructions in Code Generation for Embedded VLIW Processors (RL), p. 105–?.
DATE-1999-MoserN #case study: Case Study: System Model of Crane and Embedded Control (EM, WN), p. 721.
DATE-1999-NikolosVHT #fault #testing: Path Delay Fault Testing of ICs with Embedded Intellectual Property Blocks (DN, HTV, TH, YT), pp. 112–116.
DATE-1999-OchiaiINEO #framework #performance #platform #video: High-speed Software-based Platform for Embedded Software of a Single-chip MPEG-2 Video Encoder LSI with HDTV Scalabilit (KO, HI, JN, ME, TO), pp. 303–308.
DATE-1999-RayaneVN #detection: A One-Bit-Signature BIST for Embedded Operational Amplifiers in Mixed-Signal Circuits Based on the Slew-Rate Detection (IR, JVM, MN), p. 792–?.
DATE-1999-WeissSR #operating system #performance #realtime #using: Emulation of a Fast Reactive Embedded System using a Real Time Operating System (KW, TS, WR), pp. 764–765.
HPDC-1999-CoadyOF #clustering #memory management #network #using: Using Embedded Network Processors to Implement Global Memory Management in a Workstation Cluster (YC, JSO, MJF), pp. 319–328.
LCTES-1999-Engblom #benchmark #metric #tool support #why: Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools (JE), pp. 96–103.
LCTES-1999-KangGGHS #design #distributed #synthesis: A Software Synthesis Tool for Distributed Embedded System Design (DIK, RG, LG, JKH, MS), pp. 87–95.
LCTES-1999-KimCKS #garbage collection #realtime #scheduling: Scheduling Garbage Collector for Embedded Real-Time Systems (TK, NC, NK, HS), pp. 55–64.
LCTES-1999-Persson #analysis #garbage collection #memory management: Live Memory Analysis for Garbage Collection in Embedded Systems (PP), pp. 45–54.
LCTES-1999-Ryu #challenge: Issues and Challenges in Developing Embedded Software for Information Appliances and Telecommunication Terminals (IR), pp. 104–120.
LCTES-1999-RyuPKSH #performance #re-engineering #realtime: Performance Re-engineering of Embedded Real-Time Systems (MR, JP, KK, YS, SH), pp. 80–86.
LCTES-1999-TomoyoshiK #realtime: Table-based QoS Control for Embedded Real-Time Systems (TS, KT), pp. 65–72.
PDP-1999-DeconinckTFRLB #fault tolerance #framework #parallel: A framework backbone for software fault tolerance in embedded parallel applications (GD, MT, VDF, WR, RL, RB), pp. 189–195.
FoSSaCS-1999-ArruabarrenaLN #logic programming: A Strong Logic Programming View for Static Embedded Implications (RA, PL, MN), pp. 56–72.
TACAS-1999-BakhmurovKS #analysis #design #named: DYANA: An Environment for Embedded System Design and Analysis (AGB, APK, RLS), pp. 390–404.
IWTCS-1999-LatvakoskiH #communication #protocol #simulation #testing: Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems (JL, HH), pp. 379–394.
IWTCS-1999-YevtushenkoCA #finite #nondeterminism #state machine #testing: Test Suite Minimization for Embedded Nondeterministic Finite State Machines (NY, ARC, RA), pp. 237–250.
AdaEurope-1998-Gasperoni: Embedded Opportunities (FG), pp. 1–13.
SIGAda-1998-LeifL #ada: Ada in Embedded Boards for Scientific and Medical Instruments (RCL, SBL), pp. 114–120.
REFSQ-1998-MaseraM #challenge #requirements: Dependable Embedded Systems: The Challenges for Requirements Engineering (MM, PM), pp. 187–192.
DAC-1998-AlbrechtNR #benchmark #design #estimation #metric #performance: HW/SW CoVerification Performance Estimation and Benchmark for a 24 Embedded RISC Core Design (TWA, JN, SR), pp. 808–811.
DAC-1998-ChouB #composition #distributed #process #towards: Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems (PHC, GB), pp. 88–93.
DAC-1998-CuattoPLJDSS #case study #design: A Case Study in Embedded System Design: An Engine Control Unit (TC, CP, LL, AJ, AD, CS, ALSV), pp. 804–807.
DAC-1998-DasdanRG #realtime: Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems (AD, DR, RKG), pp. 263–268.
DAC-1998-HinesB #design #distributed #framework #validation: A Geographically Distributed Framework for Embedded System Design and Validation (KH, GB), pp. 140–145.
DAC-1998-HongBLS: Don’t Care-Based BDD Minimization for Embedded Software (YH, PAB, LL, ES), pp. 506–509.
DAC-1998-KalavadeM #estimation #performance: A Tool for Performance Estimation of Networked Embedded End-systems (AK, PM), pp. 257–262.
DAC-1998-KarkowskiC #algorithm #design #multi: Design Space Exploration Algorithm for Heterogeneous Multi-Processor Embedded System Design (IK, HC), pp. 82–87.
DAC-1998-LekatsasW: Code Compression for Embedded Systems (HL, WW), pp. 516–521.
DAC-1998-LiH #energy #estimation #framework: A Framework for Estimation and Minimizing Energy Dissipation of Embedded HW/SW Systems (YL, JH), pp. 188–193.
DAC-1998-YoungMSTHN #design #java #refinement #specification #using: Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement (JSY, JM, MS, AT, PNH, ARN), pp. 70–75.
DATE-1998-DaveJ #architecture #concurrent #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-ElesKPDP #graph #process #scheduling #synthesis: Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems (PE, KK, ZP, AD, PP), pp. 132–138.
DATE-1998-PandaDN: Data Cache Sizing for Embedded Processor Applications (PRP, NDD, AN), pp. 925–926.
DATE-1998-WehnH #architecture #trade-off: Embedded DRAM Architectural Trade-Offs (NW, SH), pp. 704–708.
LCTES-1998-AnantharamanP #clustering #memory management #performance: An Efficient Data Partitioning Method for Limited Memory Embedded Systems (SA, SP), pp. 108–222.
LCTES-1998-AroraS #debugging #realtime: A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems (GA, DBS), pp. 83–97.
LCTES-1998-Balarin #realtime: Priority Assignment for Embedded Reactive Real-Time Systems (FB), pp. 146–155.
LCTES-1998-Campbell #architecture: Evaluating ASIC, DSP, and RISC Architectures for Embedded Applications (MC), p. 261.
LCTES-1998-KollochF #case study #network #realtime #specification: Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network — A Case Study (TK, GF), pp. 156–165.
LCTES-1998-RamseyD #tool support: Machine Descriptions to Build Tools for Embedded Systems (NR, JWD), pp. 176–192.
PDP-1998-AlonsoGEGGM #analysis #parallel #performance #prototype #realtime #tool support #visualisation: A toolset for visualization and analysis of parallel real-time embedded systems based on fast prototyping techniques (FJSA, JG, JE, DFG, SG, PDM), pp. 186–194.
PDP-1998-Bass #design #towards: Proposals toward an integrated design environment for complex embedded systems (JMB), pp. 273–278.
PDP-1998-FlorioDTRL #distributed #fault tolerance #hypermedia #injection #monitoring #parallel #source code: A hypermedia distributed application for monitoring and fault-injection in embedded fault-tolerant parallel programs (VDF, GD, MT, WR, RL), pp. 349–355.
FASE-1998-BussowGK #case study #safety #specification: Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study (RB, RG, MK), pp. 71–87.
FASE-1998-GrieskampHD #component #specification: Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components (WG, MH, HD), pp. 88–106.
STOC-1998-PeinadoL #generative #graph #random: Random Generation of Embedded Graphs and an Extension to Dobrushin Uniqueness (MP, TL), pp. 176–185.
IWTCS-1998-ZhuVC #evaluation #test coverage #testing: Evaluation of Test Coverage for Embedded System Testing (JZ, STV, STC), pp. 111–126.
LICS-1998-BaldwinB #finite #modelling #order: Embedded Finite Models, Stability Theory and the Impact of Order (JTB, MB), pp. 490–500.
TOOLS-USA-1997-IkedaMKKNI #object-oriented: Applying Object-Oriented Technology to Embedded Software (NI, KM, YK, TK, HN, MI), pp. 6–15.
ASE-1997-SetliffSM #design #distributed #towards: Towards a Design Assistant for Distributed Embedded Systems (DES, JKS, JAM), pp. 311–312.
ICSE-1997-EixelsbergerWKG #architecture: Software Architecture Recovery of Embedded Software (WE, LW, RK, HG), pp. 558–559.
DAC-1997-AgrawalG #behaviour #clustering #data flow: Data-Flow Assisted Behavioral Partitioning for Embedded Systems (SA, RKG), pp. 709–712.
DAC-1997-BalarinS #realtime #validation: Schedule Validation for Embedded Reactive Real-Time Systems (FB, ALSV), pp. 52–57.
DAC-1997-DaveLJ #named: COSYN: Hardware-Software Co-Synthesis of Embedded Systems (BPD, GL, NKJ), pp. 703–708.
DAC-1997-HinesB #communication #modelling: Dynamic Communication Models in Embedded System Co-Simulation (KH, GB), pp. 395–400.
DAC-1997-LiemCSPJGLFB #case study #development #multi: Am Embedded System Case Study: The Firm Ware Development Environment for a Multimedia Audio Processor (CL, MC, MS, PGP, AAJ, JMG, JL, XF, LB), pp. 780–785.
DAC-1997-MalikML #analysis: Static Timing Analysis of Embedded Software (SM, MM, YTSL), pp. 147–152.
DAC-1997-SambandamH #architecture #behaviour #design #predict #realtime: Predicting Timing Behavior in Architectural Design Exploration of Real-Time Embedded Systems (RSS, XH), pp. 157–160.
DAC-1997-ShacklefordYOKTY #design #optimisation: Memory-CPU Size Optimization for Embedded System Designs (BS, MY, EO, HK, HT, HY), pp. 246–251.
EDTC-1997-AbdullaRK #multi: A scheme for multiple on-chip signature checking for embedded SRAMs (MFA, CPR, AK), p. 625.
EDTC-1997-DasdanMG #analysis #constraints #debugging #named: RATAN: A tool for rate analysis and rate constraint debugging for embedded systems (AD, AM, RKG), pp. 2–6.
EDTC-1997-LiemPJ #design #named: ReCode: the design and re-design of the instruction codes for embedded instruction-set processors (CL, PGP, AAJ), p. 612.
EDTC-1997-PandaDN #memory management #performance: Efficient utilization of scratch-pad memory in embedded processor applications (PRP, NDD, AN), pp. 7–11.
EDTC-1997-ThoenSJGM #graph #multi #realtime #synthesis #thread: Multi-thread graph: a system model for real-time embedded software synthesis (FT, JVDS, GGdJ, GG, HDM), pp. 476–481.
TAPSOFT-1997-PhillipsS #composition #specification: Compositional Specification of Embedded Systems with Statecharts (JP, PS), pp. 637–651.
CAV-1997-CimattiGPPPRTY #certification #safety #verification: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software (AC, FG, PP, BP, JP, DR, PT, BY), pp. 202–213.
ICLP-1997-Petukhin: Embedded Implications as a Generalization of Negation as Failure (VP), p. 420.
HT-1996-GronbaekT #hypermedia #towards: Toward a Dexter-Based Model for Open Hypermedia: Unifying Embedded References and Link Objects (KG, RHT), pp. 149–160.
WCRE-1996-LewisM #framework #parallel #platform #re-engineering #realtime: Reengineering Real-Time Embedded Software onto a Parallel Processing Platform (BL, DJM), p. 11–?.
FME-1996-ArnoldBR #debugging #formal method #using: An Example of Use of Formal Methods to Debug an Embedded Software (AA, DB, JPR), pp. 649–661.
FME-1996-Jackson #case study #experience #scheduling: Experiences in Embedded Scheduling (DMJ), pp. 445–464.
AdaEurope-1996-MundieFK #implementation: Implementing Protected Types on Embedded Targets (DM, JF, EK), pp. 287–297.
POPL-1996-FegarasS #data type #morphism #source code: Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (LF, TS), pp. 284–294.
TRI-Ada-1996-MeyerR #design #safety: Design and Test Strategies for a Safety-Critical Embedded Executive (CAM, MGR), pp. 29–37.
DAC-1996-BalarinHJLS #network #verification: Formal Verification of Embedded Systems based on CFSM Networks (FB, HH, AJ, LL, ALSV), pp. 568–571.
DAC-1996-Gupta #analysis #constraints #execution: Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems (RKG), pp. 601–604.
DAC-1996-VercauterenLM #architecture: Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications (SV, BL, HDM), pp. 521–526.
DAC-1996-VercauterenLM96a #architecture #kernel #realtime: A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures (SV, BL, HDM), pp. 678–683.
FPCA-1995-WallaceR #architecture #functional #programming: λs in the Liftshaft — Functional Programming and an Embedded Architecture (MW, CR), pp. 249–258.
DAC-1995-ChiodoGJLHSSS #source code #synthesis: Synthesis of Software Programs for Embedded Control Applications (MC, PG, AJ, LL, HH, KS, ALSV, ES), pp. 587–592.
DAC-1995-ChouB #fine-grained #scheduling: Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems (PHC, GB), pp. 462–467.
DAC-1995-LiaoDKTW #optimisation: Code Optimization Techniques for Embedded DSP Microprocessors (SYL, SD, KK, SWKT, ARW), pp. 599–604.
DAC-1995-LiM #analysis #performance #using: Performance Analysis of Embedded Software Using Implicit Path Enumeration (YTSL, SM), pp. 456–461.
LCT-RTS-1995-LiM #analysis #performance #using: Performance Analysis of Embedded Software Using Implicit Path Enumeration (YTSL, SM), pp. 88–98.
LCT-RTS-1995-Wilner #comprehension #named #realtime #visualisation: WindView: A Tool for Understanding Real-time Embedded Software Through System Visualization (DW), pp. 117–123.
TRI-Ada-1994-GreeneL #cpu #migration: Embedded CPU Target Migration, Doing More With Less (RG, GL), pp. 429–436.
ICRE-1994-White #analysis #comparative #requirements: Comparative analysis of embedded computer system requirements methods (SMW), pp. 126–134.
ICSE-1994-Vardanega #ada #development #experience #realtime: Experience with the Development of Hard Real-Time Embedded Ada Software (TV), pp. 301–308.
EDAC-1994-EdwardsF #development #hardware: A Development Environment for the Cosynthesis of Embedded Software/Hardware Systems (ME, JF), pp. 469–473.
PDP-1994-CiccarellaP #architecture #distributed: A Distributed System Architecture For Embedded Control Systems (GC, FP), pp. 392–399.
HCI-SHI-1993-Kakola #comprehension #coordination: Doing by Understanding: Embedded Systems for Understanding Coordinated Work (TK), pp. 973–978.
CAiSE-1993-PuigjanerBA #constraints #design #estimation #performance #process #realtime: Estimation Process of Performance Constraints during the design of Real-Time & Embedded Systems (RP, AB, SA), pp. 629–648.
TRI-Ada-1993-KoehnemannL #debugging #testing #tool support #towards: Towards Target-Level Testing and Debugging Tools for Embedded Software (HK, TEL), pp. 288–298.
RE-1993-Lutz #fault #requirements #safety: Analyzing software requirements errors in safety-critical, embedded systems (RRL), pp. 126–133.
CHI-1992-HoppeS #information retrieval #modelling #towards: Towards Task Models for Embedded Information Retrieval (HUH, FS), pp. 173–180.
TOOLS-EUROPE-1992-BlakN #object-oriented #tool support: OO Methods and Tools for Embedded Applications, The Mjolner BETA System (LB, JN), pp. 359–367.
AdaEurope-1992-Maymir-Ducharme #ada #migration #realtime: Porting Embedded Real-Time Ada Software (FAMD), pp. 92–103.
TRI-Ada-C-1992-BarlinL #effectiveness #realtime #reuse: Effective Software Reuse in an Embedded Real-Time System (BB, JML), pp. 281–287.
TRI-Ada-C-1992-Moore92a #ada #sql: Minimizing the Disadvantages of Embedded SQL/Ada (JWM), pp. 407–414.
TRI-Ada-T1-1992-Rogers #ada #programming #realtime: Embedded/Real-Time Programming in Ada (PR), pp. 105–260.
DAC-1992-Gebotys #scheduling: Optimal Scheduling and Allocation of Embedded VLSI Chips (CHG), pp. 116–119.
SIGMOD-1991-Neugebauer #database #evaluation #optimisation #query: Optimization and Evaluation of Database Queries Including Embedded Interpolation Procedures (LN), pp. 118–127.
AdaEurope-1991-GilbertTB #ada #experience #process #realtime #using: Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes (BG, MT, GB), pp. 394–403.
AdaEurope-1991-LippensA #realtime #scalability #testing: Testing and Integrating a Large Embedded Real-Time System (JML, JA), pp. 404–411.
IWPTS-1991-CorbiS #protocol #testing: Common Abstract Test Suite for the Connection Oriented Presentation Protocol Embedded Under Different Application Contexts (CC, GS), pp. 143–149.
SEI-1990-ReedD #re-engineering: An Undergraduate Software Engineering Major Embedded in a Computer Systems Engineering Degree (KR, TSD), pp. 49–66.
FPCA-1989-Mauny #functional #parsing: Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages (MM), pp. 360–370.
CAiSE-1989-HakkarainenIO #analysis #knowledge-based: A Knowledge-Based Support System for Embedded Computer Software Analysis (KH, TI, MO).
CAiSE-1989-Ihme #design #knowledge-based #reuse #specification #using: A Knowledge-based Support System for the Reuse of Structured Specifications and Designs of Embedded Computer Systems (TI).
ML-1989-Kaelbling #framework #learning: A Formal Framework for Learning in Embedded Systems (LPK), pp. 350–353.
ML-1989-Kokar #concept: Concept Discovery Through Utilization of Invariance Embedded in the Description Language (MMK), pp. 478–479.
OOPSLA-1989-Barry #prototype #realtime #smalltalk: Prototyping a Real-Time Embedded System in Smalltalk (BMB), pp. 255–265.
SEI-1988-LaviW #analysis #industrial #requirements #specification: Embedded Computer Systems. Requirements Analysis & Specification — An Industrial Course (JZL, MW), pp. 81–105.
PODS-1987-Gottlob #dependence #functional: Computing Covers for Embedded Functional Dependencies (GG), pp. 58–69.
VLDB-1987-ChristensenZ #comparison #database #self: A Comparison of Self-Contained and Embedded Database Languages (AC, TUZ), pp. 209–216.
ESEC-1987-HennellHR #automation #realtime #testing: Automated Testing Techniques for Real-Time Embedded Software (MAH, DH, IJR), pp. 244–253.
PODS-1985-Gyssens #dependence: Embedded Join Dependencies as a Tool for Decomposing Full Join Dependencies (MG), pp. 205–214.
ICSE-1985-ShimizuS #automation #multi #realtime #source code: Automatic Tuning of Multi-Task Programs for Real-Time Embedded Systems (TS, KS), pp. 350–357.
POPL-1983-NagleJ #automation #proving #realtime #verification: Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software (JN, SJ), pp. 48–58.
ICSE-1982-RudmikCC #consistency #design: Consistency Checking within Embedded Design Languages (AR, BEC, HC), pp. 236–245.
ICSE-1981-ZaveY #execution #requirements: Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.
STOC-1981-ChandraLM #dependence #problem: Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.
SIGMOD-1980-ParkerP #dependence #multi #transitive: Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies (DSPJ, KPG), pp. 52–57.
LISP-1980-EmanuelsonH #compilation #lisp #on the: On Compiling Embedded Languages in LISP (PE, AH), pp. 208–215.