BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
embedded
Google embedded

Tag #embedded

1246 papers:

ICSAICSA-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.
ICSAICSA-2019-TelschigK #configuration management #distributed
Synchronous Reconfiguration of Distributed Embedded Applications During Operation (KT, AK), pp. 121–130.
ICPCICPC-2019-SaidQK #modelling #question #state machine
Do extracted state machine models help to understand embedded software? (WS, JQ, RK), pp. 191–196.
SANERSANER-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.
FDGFDG-2019-Kao #java #named #programming
JavaStrike: a Java programming engine embedded in virtual worlds (DK), p. 5.
CIKMCIKM-2019-ZhangTXZ #clustering #robust
Robust Embedded Deep K-means Clustering (RZ0, HT, YX, YZ), pp. 1181–1190.
ICMLICML-2019-GuralM #classification
Memory-Optimal Direct Convolutions for Maximizing Classification Accuracy in Embedded Applications (AG, BM), pp. 2515–2524.
ICMLICML-2019-NayebiMP #framework #optimisation
A Framework for Bayesian Optimization in Embedded Subspaces (AN, AM, MP), pp. 4752–4761.
ASEASE-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.
GPCEGPCE-2019-ShaikhhaJK #compilation #domain-specific language #generative
Compiler generation for performance-oriented embedded DSLs (short paper) (AS, VJ, CEK), pp. 94–101.
ASPLOSASPLOS-2019-GobieskiLB
Intelligence Beyond the Edge: Inference on Intermittent Embedded Systems (GG, BL, NB), pp. 199–213.
CASECASE-2019-SubramanianC #automation #network #normalisation
Mean Spectral Normalization of Deep Neural Networks for Embedded Automation (AKS, NYC), pp. 249–256.
CCCC-2019-RenwickSF #c++ #exception #low cost
Low-cost deterministic C++ exceptions for embedded systems (JR, TS, BF), pp. 76–86.
ECSAECSA-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.
ECSAECSA-2018-SprayS #abstraction #architecture
Abstraction Layered Architecture: Writing Maintainable Embedded Code (JS, RS), pp. 131–146.
ICSMEICSME-2018-AbukwaikBAB #automation #traceability
Semi-Automated Feature Traceability with Embedded Annotations (HA, AB, BKA, TB), pp. 529–533.
ICSMEICSME-2018-SaidQK #mining #on the #state machine
On State Machine Mining from Embedded Control Software (WS, JQ, RK), pp. 138–148.
SEFMSEFM-2018-Campeanu #component #reuse #usability
Facilitating Component Reusability in Embedded Systems with GPUs (GC), pp. 287–301.
AIIDEAIIDE-2018-Horswill #named #runtime #satisfiability
CatSAT: A Practical, Embedded, SAT Language for Runtime PCG (IDH), pp. 38–44.
ICPRICPR-2018-HuangZL #clustering #multi
Spectral Embedded Clustering on Multi-Manifold (SH, LZ, FL), pp. 391–396.
ICPRICPR-2018-SunZY #automation #generative #network
Pyramid Embedded Generative Adversarial Network for Automated Font Generation (DS, QZ, JY), pp. 976–981.
ICPRICPR-2018-WuLPL #named #performance #robust
Em-SLAM: a Fast and Robust Monocular SLAM Method for Embedded Systems (YW, ZL, SP, TL), pp. 1882–1887.
MoDELSMoDELS-2018-AhmadiPD #modelling #realtime #slicing #uml
Slicing UML-based Models of Real-time Embedded Systems (RA, EP, JD), pp. 346–356.
MoDELSMoDELS-2018-BesnardBJTD #execution #ltl #modelling #uml #verification
Unified LTL Verification and Embedded Execution of UML Models (VB, MB, FJ, CT, PD), pp. 112–122.
MoDELSMoDELS-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.
SASSAS-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-FSEESEC-FSE-2018-HenkelLLR #comprehension #source code
Code vectors: understanding programs through embedded abstracted symbolic traces (JH, SKL, BL, TWR), pp. 163–174.
CASECASE-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.
CASECASE-2018-TelschigSK #architecture #distributed #realtime
A Real-Time Container Architecture for Dependable Distributed Embedded Applications (KT, AS, AK), pp. 1367–1374.
ICTSSICTSS-2018-PetrenkoA #component #consistency #testing
Conformance Testing and Inference of Embedded Components (AP, FA), pp. 119–134.
SCAMSCAM-2017-NagyC #detection #java #query #smell #sql
A Static Code Smell Detector for SQL Queries Embedded in Java Code (CN0, AC), pp. 147–152.
SEFMSEFM-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.
SEFMSEFM-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.
KDDKDD-2017-DadkhahiM #detection #learning #network
Learning Tree-Structured Detection Cascades for Heterogeneous Networks of Embedded Devices (HD, BMM), pp. 1773–1781.
ECMFAECMFA-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.
GPCEGPCE-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.
CAVCAV-2017-AdimoolamDDKJ #classification
Classification and Coverage-Based Falsification for Embedded Control Systems (ASA, TD, AD, JK, XJ), pp. 483–503.
ICSTICST-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.
CBSECBSE-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.
CBSECBSE-2016-SapienzaSCS #clustering
Extra-Functional Properties Composability for Embedded Systems Partitioning (GS, SS, IC, TS), pp. 69–78.
WICSAWICSA-2016-MonotOSW #architecture #realtime
Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead (AM, MO, CS, MW), pp. 201–210.
WICSAWICSA-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.
EDMEDM-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.
FMFM-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.
ICPRICPR-2016-PassalisT #learning #retrieval #word
Bag of Embedded Words learning for text retrieval (NP, AT), pp. 2416–2421.
ICPRICPR-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.
KDDKDD-2016-Schneider #learning #optimisation
Bayesian Optimization and Embedded Learning Systems (JS), p. 413.
MoDELSMoDELS-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.
MoDELSMoDELS-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.
ECOOPECOOP-2016-BolzKT
Making an Embedded DBMS JIT-friendly (CFB, DK, LT), p. 24.
ASEASE-2016-ZhangJLZGS #design #modelling
Model driven design of heterogeneous synchronous embedded systems (HZ, YJ, HL, HZ, MG, JGS), pp. 774–779.
GPCEGPCE-2016-AdamKS #automation #case study #code generation #experience
Automatic code generation in practice: experiences with embedded robot controllers (SA, MK, UPS), pp. 104–108.
CASECASE-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.
CASECASE-2016-YirmibesogluM #hybrid
Hybrid soft sensor with embedded IMUs to measure motion (ODY, YM), pp. 798–804.
ESOPESOP-2016-SerranoH #domain-specific language #fault
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules (AS0, JH), pp. 672–698.
ICSTICST-2016-EnoiuCSP #empirical #safety #testing
A Controlled Experiment in Testing of Safety-Critical Embedded Software (EPE, AC, DS, PP), pp. 1–11.
ICTSSICTSS-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.
QoSAQoSA-2015-FeitosaAAN #open source #quality #trade-off
Investigating Quality Trade-offs in Open Source Critical Embedded Systems (DF, AA, PA, EYN), pp. 113–122.
MSRMSR-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.
CEFPCEFP-2015-KoopmanP #domain-specific language #type safety
Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors (PK, RP), pp. 283–340.
DiGRADiGRA-2015-KaufmanFS #behaviour #design #game studies
Creating Stealth Game Interventions for Attitude and Behavior Change: An “Embedded Design” Model (GFK, MF, MS).
ICGTICGT-2015-Horn #clojure #domain-specific language #graph #pattern matching
Graph Pattern Matching as an Embedded Clojure DSL (TH), pp. 189–204.
HCIHCI-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.
ICEISICEIS-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.
SEKESEKE-2015-SalehianF #detection #monitoring #realtime
Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.
ECMFAECMFA-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.
MoDELSMoDELS-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.
SPLCSPLC-2015-JiBAC #maintenance #traceability
Maintaining feature traceability with embedded annotations (WJ, TB, MA, KC), pp. 61–70.
OOPSLAOOPSLA-2015-VoelterDKE #c #case study #using
Using C language extensions for developing embedded software: a case study (MV, AvD, BK, SE), pp. 655–674.
REFSQREFSQ-2015-DaunWP #detection #requirements
Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems (MD, TW, KP), pp. 65–80.
ICSEICSE-v2-2015-NguyenKN #ide #named #php #web
Varis: IDE Support for Embedded Client Code in PHP Web Applications (HVN, CK, TNN), pp. 693–696.
SACSAC-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.
SACSAC-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.
GPCEGPCE-2015-ScherrC #domain-specific language #staged
Almost first-class language embedding: taming staged embedded DSLs (MS, SC), pp. 21–30.
CGOCGO-2015-PallisterEH #energy #optimisation #trade-off
Optimizing the flash-RAM energy trade-off in deeply embedded systems (JP, KE, SJH), pp. 115–124.
DACDAC-2015-CavigelliMB #network #realtime
Accelerating real-time embedded scene labeling with convolutional networks (LC, MM, LB), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2015-LukasiewyczSS #design #performance #platform
Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DACDAC-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.
DACDAC-2015-SantosVK #adaptation #configuration management #reliability
Dynamically adaptive scrubbing mechanism for improved reliability in reconfigurable embedded systems (RS, SV, AK), p. 6.
DACDAC-2015-ShreejithF #generative #network #security
Security aware network controllers for next generation automotive embedded systems (SS, SAF), p. 6.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-2015-KyrtatasSP #algebra #compilation #linear
A basic linear algebra compiler for embedded processors (NK, DGS, MP), pp. 1054–1059.
DATEDATE-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.
DATEDATE-2015-PeemenMC #optimisation #reuse
Inter-tile reuse optimization applied to bandwidth constrained embedded accelerators (MP, BM, HC), pp. 169–174.
DATEDATE-2015-PhilippeCBP #algorithm #design
Exploration and design of embedded systems including neural algorithms (JMP, AC, OB, MP), pp. 986–991.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
LCTESLCTES-2015-StilkerichLES #analysis #realtime
A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems (IS, CL, CE, MS), p. 11.
PDPPDP-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.
PDPPDP-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.
PDPPDP-2015-KorotaevaN #manycore
Impact of Data Sharing on Co-Running Embedded Applications in Multi-core System (AK, WN), pp. 716–720.
PDPPDP-2015-PatelDSE #analysis #comparative
Embedded Hypervisor Xvisor: A Comparative Analysis (AP, MD, MS, MWEK), pp. 682–691.
PDPPDP-2015-SayutiI #optimisation #realtime
Simultaneous Optimisation of Task Mapping and Priority Assignment for Real-Time Embedded NoCs (MNSMS, LSI), pp. 692–695.
TACASTACAS-2015-AledoE #contest #framework #verification
FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.
ICLPICLP-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.
ICSTICST-2015-Holleis #development #industrial #testing #workflow
Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.
ICSTICST-2015-Oriol #legacy #re-engineering #testing
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.
ICSTICST-2015-YuC #generative #stack #testing #worst-case
Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.
CBSECBSE-2014-PresslerVBR #component #deployment #estimation #execution
Execution cost estimation for software deployment in component-based embedded systems (MP, AV, OB, WR), pp. 123–128.
ECSAECSA-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.
SANERCSMR-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.
ICSMEICSME-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.
IFMIFM-2014-PatcasLM
A Separation Principle for Embedded System Interfacing (LMP, ML, TSEM), pp. 373–388.
ICFPICFP-2014-HickeyPEBL #domain-specific language
Building embedded systems with embedded DSLs (PCH, LP, TE, JB, JL), pp. 3–9.
IFLIFL-2014-AronssonAS #domain-specific language
Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
HCIDHM-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.
HCIHIMI-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.
ICEISICEIS-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.
KDDKDD-2014-TayebiEGB #learning #predict #using
Spatially embedded co-offence prediction using supervised learning (MAT, ME, UG, PLB), pp. 1789–1798.
KEODKEOD-2014-AndreasenN #knowledge base #logic #ontology
A Case for Embedded Natural Logic for Ontological Knowledge Bases (TA, JFN), pp. 423–427.
SEKESEKE-2014-QueirozB #approach #modelling #product line
A Critical Embedded System Product Line Model-based Approach (PGGQ, RTVB), pp. 71–75.
MODELSMoDELS-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.
AdaEuropeAdaEurope-2014-Shawky #challenge #design #framework
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems (MS), pp. 7–10.
AdaEuropeAdaEurope-2014-ZhouLL #approach #requirements #safety #validation
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.
HILTHILT-2014-SzaboVKRS #development #named
mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
POPLPOPL-2014-SwamyFRBCSB #javascript #type system
Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
RERE-2014-Zhou #development #realtime #requirements
Requirements development and management of embedded real-time systems (JZ), pp. 479–484.
FSEFSE-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.
FSEFSE-2014-NguyenKN #graph #web
Building call graphs for embedded client-side code in dynamic web applications (HVN, CK, TNN), pp. 518–529.
SACSAC-2014-DouglasL #database #named #sql
LittleD: a SQL database for sensor nodes and embedded applications (GD, RL), pp. 827–832.
SACSAC-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.
SACSAC-2014-MartorellFRV #adaptation
Improving adaptiveness of AUTOSAR embedded applications (HM, JCF, MR, RV), pp. 384–390.
SACSAC-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.
GPCEGPCE-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.
DACDAC-2014-AgostaBPS #approach #encryption #execution #multi
A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
DACDAC-2014-Chandra #monitoring #multi #perspective #reliability
Monitoring Reliability in Embedded Processors — A Multi-layer View (VC), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2014-KongKPSW #framework #named #novel #platform
PUFatt: Embedded Platform Attestation Based on Novel Processor-Based PUFs (JK, FK, PKP, ARS, CW), p. 6.
DACDAC-2014-KuanCHL #database #multi
Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
DACDAC-2014-LeeL #runtime
Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DATEDATE-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.
DATEDATE-2014-Braak #adaptation #scalability #using
Using guided local search for adaptive resource reservation in large-scale embedded systems (TDtB), pp. 1–4.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-Fuller #challenge #design #generative
System design challenges for next generation wireless and embedded systems (DF), p. 1.
DATEDATE-2014-GrafGTL #design #multi
Multi-variant-based design space exploration for automotive embedded systems (SG, MG, JT, CL), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-KufelWHAWM
Clock-modulation based watermark for protection of embedded processors (JK, PRW, SH, BMAH, PNW, JM), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-LiuW #configuration management #design #logic #obfuscation
Embedded reconfigurable logic for ASIC design obfuscation against supply chain attacks (BL, BW), pp. 1–6.
DATEDATE-2014-MembarthRHT #android #architecture #code generation
Code generation for embedded heterogeneous architectures on android (RM, OR, FH, JT), pp. 1–6.
DATEDATE-2014-NikitakisPP #novel
A novel embedded system for vision tracking (AN, TP, IP), pp. 1–4.
DATEDATE-2014-WanK
An embedded offset and gain instrument for OpAmp IPs (JW, HGK), pp. 1–4.
HPDCHPDC-2014-MittalVL #energy #performance
Improving energy efficiency of embedded DRAM caches for high-end computing systems (SM, JSV, DL), pp. 99–110.
PDPPDP-2014-VinckeWLSB #effectiveness #parallel
Writing Parallel Embedded Software Effectively (RV, NDW, SVL, ES, JB), pp. 474–477.
ICSTICST-2014-WeisslederS #evaluation #modelling #testing
An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
ICSTICST-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.
ICTSSICTSS-2014-AbdelmoulaGA #automation #generative #named #testing
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSSICTSS-2014-ChabotP #framework #hardware #monitoring
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
ICTSSICTSS-2014-DoganayEAB #search-based #testing
Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
CBSECBSE-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.
ICDARICDAR-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.
ITiCSEITiCSE-2013-QianM #android
A fostering embedded system educationwith android sensory embedded system labware (KQ, KM), p. 336.
ITiCSEITiCSE-2013-TsompanoudiSX #collaboration #distributed #programming
Exploring the effects of collaboration scripts embedded in a distributed pair programming system (DT, MS, SX), pp. 225–230.
ICSMEICSM-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.
CEFPCEFP-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.
ICFPICFP-2013-SvenningssonS #composition #monad
Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.
FDGFDG-2013-Rentschler #design #game studies #video
An examination of human values embedded in commercial video game design (KR), pp. 488–489.
HCIHIMI-D-2013-UrokoharaH #development #quality
Managing HMI Quality in Embedded System Development (HU, NH), pp. 143–150.
HCIHIMI-LCCB-2013-Hirasawa #challenge #development #quality
Challenges for Incorporating “Quality in Use” in Embedded System Development (NH), pp. 467–474.
VISSOFTVISSOFT-2013-BeckHDW #monitoring #source code #visual notation
Visual monitoring of numeric variables embedded in source code (FB, FH, SD, DW), pp. 1–4.
ICEISICEIS-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.
ICEISICEIS-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.
RecSysRecSys-2013-KoenigsteinP #feature model #matrix #recommendation
Xbox movies recommendations: variational bayes matrix factorization with embedded feature selection (NK, UP), pp. 129–136.
SEKESEKE-2013-SantosGGFN #architecture #evaluation
A Checklist for Evaluation of Reference Architectures of Embedded Systems (JFMS, MG, MG, DF, EYN), pp. 451–454.
MODELSMoDELS-2013-PiresPWD #behaviour #source code #verification
Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
HILTHILT-2013-DoranA #development #modelling #named #tool support
Reddo: a model driven engineering toolset for embedded software development (SD, SEA), pp. 47–48.
REER-BR-2013-MartinsOB #process #requirements #towards
Towards Requirements Engineering Process for Embedded Systems (LEGM, JCO, AB).
RERE-2013-SavolainenHM #challenge #specification
Challenges in balancing the amount of solution information in requirement specifications for embedded products (JS, DH, MM), pp. 256–260.
SACSAC-PL-J-2011-DinkelakerEM13 #compilation #incremental #syntax
Incremental concrete syntax for embedded languages with support for separate compilation (TD, ME, MM), pp. 615–632.
ASEASE-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.
ASEASE-2013-NejatiABHBC #cpu #risk management
Minimizing CPU time shortage risks in integrated embedded software (SN, MA, LCB, JH, JB, YC), pp. 529–539.
ESEC-FSEESEC-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.
SACSAC-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.
SACSAC-2013-FanTCS #energy #manycore #realtime
Energy-aware real-time task synchronization in multi-core embedded systems (LFF, THT, YSC, SSS), pp. 1493–1498.
SACSAC-2013-GroppeSW #xml
Eliminating the XML overhead in embedded XML languages (SG, BS, SW), pp. 542–547.
SACSAC-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.
SACSAC-2013-SolankiRBGB #parsing #performance
Improving the performance of message parsers for embedded systems (JS, LR, YDB, BLG, TFB), pp. 1505–1510.
ASPLOSASPLOS-2013-MittalBBS #architecture #performance #platform
Efficient virtualization on embedded power architecture® platforms (AM, DB, SB, VS), pp. 445–458.
ASPLOSASPLOS-2013-SchulteDWF #assembly #automation #source code
Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.
CASECASE-2013-CuiVM #adaptation #architecture #named #self
ReFrESH: A self-adaptive architecture for autonomous embedded systems (YC, RMV, MHM), pp. 850–855.
DACDAC-2013-GaribottiOBkASR #distributed #memory management #multi #thread
Simultaneous multithreading support in embedded distributed memory MPSoCs (RG, LO, RB, Mk, CAJ, GS, MR), p. 7.
DACDAC-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.
DACDAC-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.
DACDAC-2013-LiSARHP #adaptation #fault #named #runtime
RASTER: runtime adaptive spatial/temporal error resiliency for embedded processors (TL, MS, JAA, SR, JH, SP), p. 7.
DACDAC-2013-RellermeyerLK #operating system #platform
Cloud platforms and embedded computing: the operating systems of the future (JSR, SWL, MK), p. 6.
DACDAC-2013-ZhangGQ #energy #performance #scheduling
Improving charging efficiency with workload scheduling in energy harvesting embedded systems (YZ, YG, QQ), p. 8.
DACDAC-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.
DACDAC-2013-ZhengHB #array #named #physics #robust
RESP: a robust physical unclonable function retrofitted into embedded SRAM array (YZ, MH, SB), p. 9.
DATEDATE-2013-BernardiBSRB #fault #identification #online
On-line functionally untestable fault identification in embedded processor cores (PB, MB, ES, MSR, OB), pp. 1462–1467.
DATEDATE-2013-BraojosAA #classification #random #using
A methodology for embedded classification of heartbeats using random projections (RB, GA, DA), pp. 899–904.
DATEDATE-2013-ChenLSCCAN #modelling #synthesis
High-level modeling and synthesis for embedded FPGAs (XC, SL, JS, TC, AC, GA, TGN), pp. 1565–1570.
DATEDATE-2013-CoppolaFGK #manycore
From embedded multi-core SoCs to scale-out processors (MC, BF, JG, GK), pp. 947–951.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-JiangEP #optimisation #set
Optimization of secure embedded systems with dynamic task sets (KJ, PE, ZP), pp. 1765–1770.
DATEDATE-2013-LuMS #performance #simulation
Fast cache simulation for host-compiled simulation of embedded software (KL, DMG, US), pp. 637–642.
DATEDATE-2013-NiakiS #automation #parallel #simulation
An automated parallel simulation flow for heterogeneous embedded systems (SHAN, IS), pp. 27–30.
DATEDATE-2013-OjailDLG #framework #lightweight #manycore #named
ARTM: a lightweight fork-join framework for many-core embedded systems (MO, RD, YL, AG), pp. 1510–1515.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-SabooriA #hybrid #manycore #prototype
Hybrid prototyping of multicore embedded systems (ES, SA), pp. 1627–1630.
DATEDATE-2013-SchneiderP #adaptation
An extremely compact JPEG encoder for adaptive embedded systems (JS, SP), pp. 1063–1064.
DATEDATE-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.
DATEDATE-2013-WangH #modelling #performance #simulation
Fast and accurate cache modeling in source-level simulation of embedded software (ZW, JH), pp. 587–592.
DATEDATE-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.
LCTESLCTES-2013-MorenoFH #analysis #debugging
Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis (CM, SF, MAH), pp. 77–88.
LCTESLCTES-2013-StilkerichSEHLSS #virtual machine
A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.
LCTESLCTES-2013-WangCSCH #api #manycore #using
Portable mapping of openMP to multicore embedded systems using MCA APIs (CW, SC, PS, BMC, JH), pp. 153–162.
CBSECBSE-2012-Carlson #analysis #component
Timing analysis of component-based embedded systems (JC), pp. 151–156.
WICSA-ECSAWICSA-ECSA-2012-NewmanK #architecture #resource management #runtime
A Runtime Resource-aware Architecture for Service-oriented Embedded Systems (PN, GK), pp. 61–70.
DRRDRR-2012-LinGTHL #documentation #identification #using
Identification of embedded mathematical formulas in PDF documents using SVM (XL, LG, ZT, XH, XL).
ITiCSEITiCSE-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.
ICSMEICSM-2012-ThumsQ #re-engineering
Reengineering embedded automotive software (AT, JQ), pp. 493–502.
ICFPICFP-2012-Axelsson #syntax
A generic abstract syntax model for embedded languages (EA), pp. 323–334.
ICFPICFP-2012-Olukotun #domain-specific language #performance
High performance embedded domain specific languages (KO), pp. 139–140.
IFLIFL-2012-TsushimaA #debugging
An Embedded Type Debugger (KT, KA), pp. 190–206.
CHICHI-2012-ArroyoBV #behaviour #interactive
Embedded interaction in a water fountain for motivating behavior change in public space (EA, LB, NV), pp. 685–688.
CHICHI-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.
ICEISICEIS-v2-2012-AbdallahR #performance #testing
Performance Impact of Fuzz Testing Windows Embedded Handheld Applications (NA, SR), pp. 371–376.
ICPRICPR-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.
SEKESEKE-2012-ConradoC #domain-specific language #visual notation
Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications (DBFC, VVdC), pp. 495–498.
SEKESEKE-2012-DuarteN #development #overview #perspective
Aspect-Orientation in the Development of Embedded Systems: A Systematic Review (LSD, EYN), pp. 158–161.
ECMFAECMFA-2012-BehjatiNYGB #automation #modelling
Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
ECMFAECMFA-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.
MODELSMoDELS-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.
ECOOPECOOP-2012-KossakowskiARO #domain-specific language #javascript
JavaScript as an Embedded DSL (GK, NA, TR, MO), pp. 409–434.
HILTHILT-2012-LevesonFT #safety
Safety of embedded software (NGL, CHF, JT), pp. 7–8.
PADLPADL-2012-BradyH #domain-specific language #programming
Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
ASEASE-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.
ASEASE-2012-NguyenNNNN #detection #smell #web
Detection of embedded code smells in dynamic web applications (HVN, HAN, TTN, ATN, TNN), pp. 282–285.
SACSAC-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.
DACDAC-2012-BachrachVRLWAWA #hardware #named #scala
Chisel: constructing hardware in a Scala embedded language (JB, HV, BR, YL, AW, RA, JW, KA), pp. 1216–1225.
DACDAC-2012-CheC #manycore
Unrolling and retiming of stream applications onto embedded multicore processors (WC, KSC), pp. 1272–1277.
DACDAC-2012-DonohooOPA #energy #mobile
Exploiting spatiotemporal and device contexts for energy-efficient mobile embedded systems (BKD, CO, SP, CA), pp. 1278–1283.
DACDAC-2012-El-ShambakeyR #bound #concurrent #realtime
STM concurrency control for embedded real-time software with tighter time bounds (MES, BR), pp. 437–446.
DACDAC-2012-HuangCBK #consistency #realtime #runtime
Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
DACDAC-2012-HuangHRBK #detection #fault tolerance #towards
Towards fault-tolerant embedded systems with imperfect fault detection (JH, KH, AR, CB, AK), pp. 188–196.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-ChakrabortyLBFCPKLA #challenge
Embedded systems and software challenges in electric vehicles (SC, ML, CB, SAF, NC, SP, YK, PL, HA), pp. 424–429.
DATEDATE-2012-DenizSH #manycore #verification
Verification coverage of embedded multicore applications (ED, AS, JH), pp. 252–255.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-FaruqueC #automation #collaboration
Intelligent and collaborative embedded computing in automation engineering (MAAF, AC), pp. 344–345.
DATEDATE-2012-GuglielmoGFP #design #modelling #verification
Enabling dynamic assertion-based verification of embedded software through model-driven design (GDG, LDG, FF, GP), pp. 212–217.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-LafayePBGF #modelling #resource management #simulation
Model driven resource usage simulation for critical embedded systems (ML, LP, EB, MG, DF), pp. 312–315.
DATEDATE-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.
DATEDATE-2012-LiRP #hardware #named
Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-RajeevMR #architecture #constraints #distributed #verification
Verifying timing synchronization constraints in distributed embedded architectures (ACR, SM, SR), pp. 200–205.
DATEDATE-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.
DATEDATE-2012-Sun #automation #functional #generative #modelling
Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
DATEDATE-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.
DATEDATE-2012-WangH #compilation #optimisation #simulation
Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
DATEDATE-2012-WanK #monitoring
Monitoring active filters under automotive aging scenarios with embedded instrument (JW, HGK), pp. 1096–1101.
LCTESLCTES-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.
LCTESLCTES-2012-Gal-OnL #benchmark #challenge #metric
Creating portable, repeatable, realistic benchmarks for embedded systems and the challenges thereof (SGO, ML), pp. 149–152.
LCTESLCTES-2012-HashemiFGE #named #scalability #streaming
FORMLESS: scalable utilization of embedded manycores in streaming applications (MH, MHF, SG, CE), pp. 71–78.
LCTESLCTES-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.
LCTESLCTES-2012-KhudiaWM #fault #performance #using
Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.
LCTESLCTES-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.
LCTESLCTES-2012-LiZXH #hybrid
Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.
LCTESLCTES-2012-SallenaveD #lightweight #static analysis
Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.
PDPPDP-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.
PPoPPPPoPP-2012-AnderschCJ #parallel #programming
Programming parallel embedded and consumer applications in OpenMP superscalar (MA, CCC, BHHJ), pp. 281–282.
PPoPPPPoPP-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.
FASEFASE-2012-HatvaniPS #adaptation #automaton #framework #verification
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (LH, PP, CCS), pp. 115–129.
ICSTICST-2012-CaliebeHG #dependence #testing
Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.
ICSTICST-2012-KimKJ #case study #industrial #testing
Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
ICSTICST-2012-WahlerFSJN #automation #named #testing
CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
ICTSSICTSS-2012-YangHF #logic #parametricity #query
Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.
ISSTAISSTA-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.
CBSECBSE-2011-BordeC #component #realtime #synthesis #towards
Towards verified synthesis of ProCom, a component model for real-time embedded systems (EB, JC), pp. 129–138.
CBSECBSE-2011-CicchettiCLS #component #evolution
Evolution management of extra-functional properties in component-based embedded systems (AC, FC, TL, SS), pp. 93–102.
CBSECBSE-2011-HeinzemannH #adaptation #architecture #communication #component #protocol #reuse #self
Reusing dynamic communication protocols in self-adaptive embedded component architectures (CH, SH), pp. 109–118.
CBSECBSE-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.
CBSECBSE-2011-TambeG #component #distributed #realtime #using
Rectifying orphan components using group-failover in distributed real-time and embedded systems (ST, ASG), pp. 139–148.
ECSAECSA-2011-Axelsson #architecture #how #nondeterminism #on the
On How to Deal with Uncertainty When Architecting Embedded Software and Systems (JA), pp. 199–202.
QoSAQoSA-ISARCS-2011-KhanZ #component #monitoring #security
Building components with embedded security monitors (MUAK, MZ), pp. 133–142.
WICSAWICSA-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.
WICSAWICSA-2011-NewmanK #framework #runtime
A Runtime Resource-Management Framework for Embedded Service-Oriented Systems (PN, GK), pp. 123–126.
ICDARICDAR-2011-WangHL #novel #segmentation
A Novel Method for Embedded Text Segmentation Based on Stroke and Color (XW, LH, CL), pp. 151–155.
ITiCSEITiCSE-2011-SchaferBJSFKS #development
A normative competence structure model for embedded micro- and nanosystems development (AS, RB, SJ, SES, DF, BK, HS), p. 375.
CSMRCSMR-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.
ICPCICPC-2011-BegelQ #challenge #comprehension #industrial
Industrial Program Comprehension Challenge 2011: Archeology and Anthropology of Embedded Control Systems (AB, JQ), pp. 227–229.
HaskellHaskell-2011-DuregardJ #generative #parsing
Embedded parser generators (JD, PJ), pp. 107–117.
IFLIFL-2011-PerssonAS #monad
Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.
GCMGCM-2010-PicardM11 #graph #induction #problem #representation
Coinductive Graph Representation: the Problem of Embedded Lists (CP, RM).
HCIDHM-2011-PaulickDB #monitoring #named
StabilitySole: Embedded Sensor Insole for Balance and Gait Monitoring (PP, HD, MB), pp. 171–177.
HCIIDGD-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.
EDOCEDOC-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.
KDDKDD-2011-Boyd #distributed #optimisation #realtime #scalability
Convex optimization: from embedded real-time to large-scale distributed (SB), p. 1.
KDIRKDIR-2011-BorcheninovO #programming #search-based #symbolic computation
Genetic Programming with Embedded Features of Symbolic Computations (YVB, YSO), pp. 476–479.
SEKESEKE-2011-ShinM #self
Self-Management of External Device Failures in Embedded Software Systems (MES, PM), pp. 543–546.
SEKESEKE-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
PEPMPEPM-2011-WangG #programming #protocol
An embedded language for programming protocol stacks in embedded systems (YW, VG), pp. 63–72.
AdaSIGAda-2011-BrosterC #how #reliability
How to measure and optimize reliable embedded software (IB, AC), pp. 1–2.
AdaSIGAda-2011-McCormickS #realtime
Building embedded real-time applications (JWM, FS), pp. 15–16.
RERE-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.
REFSQREFSQ-2011-SikoraTP #industrial #requirements
Requirements Engineering for Embedded Systems: An Investigation of Industry Needs (ES, BT, KP), pp. 151–165.
ESEC-FSEESEC-FSE-2011-KimK #named #reliability #scalability #testing
SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
ICSEICSE-2011-Petricic #component #deployment #predict
Predictable dynamic deployment of components in embedded systems (AP), pp. 1128–1129.
SACSAC-2011-AhnLK #development #energy #network
Development of the wireless embedded sensor network for energy-efficient flooding (SA, YL, SK), pp. 621–622.
SACSAC-2011-ChiangH #operating system
Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.
SACSAC-2011-DinkelakerEM #incremental #syntax
Incremental concrete syntax for embedded languages (TD, ME, MM), pp. 1309–1316.
SACSAC-2011-KookHLJK #linux #memory management #optimisation
Optimization of out of memory killer for embedded Linux environments (JK, SH, WL, EJ, JK), pp. 633–634.
SACSAC-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.
SACSAC-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.
SACSAC-2011-ShimadaKLCN #composition #design #functional #kernel
Design issues in composition kernels for highly functional embedded systems (HS, YK, THL, AC, TN), pp. 338–345.
SACSAC-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.
SACSAC-2011-ZellerWEK #adaptation #approach #distributed #self
An approach for providing dependable self-adaptation in distributed embedded systems (MZ, GW, DE, RK), pp. 236–237.
CASECASE-2011-KuoSTC #architecture
An embedded robotic wheelchair control architecture with reactive navigations (CHK, YSS, TCT, TSC), pp. 810–815.
CASECASE-2011-SaddemTT
Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems (RS, AT, MT), pp. 163–168.
CGOCGO-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.
DACDAC-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.
DACDAC-2011-ClemonsJPSA #feature model #named
EFFEX: an embedded processor for computer vision based feature extraction (JC, AJ, RP, SS, TMA), pp. 1020–1025.
DACDAC-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.
DACDAC-2011-Hazelwood #adaptation #runtime
Process-level virtualization for runtime adaptation of embedded software (KMH), pp. 895–900.
DACDAC-2011-Heiser #question #why
Virtualizing embedded systems: why bother? (GH), pp. 901–905.
DACDAC-2011-HenrySN #power management
A case for NEMS-based functional-unit power gating of low-power embedded microprocessors (MBH, MS, LN), pp. 872–877.
DACDAC-2011-HeRK #concept analysis #generative #testing
Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.
DACDAC-2011-NadeemBS #java #named
RJOP: a customized Java processor for reactive embedded systems (MN, MBA, ZS), pp. 1038–1043.
DACDAC-2011-ThieleSYB #analysis #multi #synthesis
Thermal-aware system analysis and software synthesis for embedded multi-processors (LT, LS, HY, IB), pp. 268–273.
DACDAC-2011-Vitek #java #realtime
Virtualizing real-time embedded systems with Java (JV), pp. 906–911.
DACDAC-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.
DACDAC-2011-YunKKH #manycore #parallel #simulation
Simulation environment configuration for parallel simulation of multicore embedded systems (DY, JK, SK, SH), pp. 345–350.
DACDAC-2011-ZhaoAZ #energy #realtime
Generalized reliability-oriented energy management for real-time embedded applications (BZ, HA, DZ), pp. 381–386.
DATEDATE-2011-AlordaTBS #optimisation #using
Stability optimization of embedded 8T SRAMs using Word-Line Voltage modulation (BA, GT, SAB, JS), pp. 986–991.
DATEDATE-2011-BaiocchiC
Demand code paging for NAND flash in MMU-less embedded systems (JB, BRC), pp. 517–532.
DATEDATE-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.
DATEDATE-2011-BehrendLHRKR #hybrid #scalability #verification
Scalable hybrid verification for embedded software (JB, DL, PH, JR, TK, WR), pp. 179–184.
DATEDATE-2011-ClermidyDDLV #3d #manycore
3D Embedded multi-core: Some perspectives (FC, FD, DD, WL, PV), pp. 1327–1332.
DATEDATE-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.
DATEDATE-2011-HuangWSLXL #low cost
A specialized low-cost vectorized loop buffer for embedded processors (LH, ZW, LS, HL, NX, CL), pp. 1200–1203.
DATEDATE-2011-KapoorJ #design #power management #tutorial #verification
Embedded tutorial: Addressing critical power management verification issues in low power designs (BK, KMJ), p. 124.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-MichelFP #simulation
Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation (LM, NF, FP), pp. 277–280.
DATEDATE-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.
DATEDATE-2011-Niu #energy #realtime #scheduling
System-level energy-efficient scheduling for hard real-time embedded systems (LN), pp. 281–284.
DATEDATE-2011-RazaghiG #development #manycore #realtime
Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
DATEDATE-2011-SieglHGB #modelling #specification #testing
Formal specification and systematic model-driven testing of embedded automotive systems (SS, KSJH, RG, CB), pp. 118–123.
DATEDATE-2011-WangLH #approach
An approach to improve accuracy of source-level TLMs of embedded software (ZW, KL, AH), pp. 216–221.
DATEDATE-2011-WannerBZAGS #scheduling #variability
Variability-aware duty cycle scheduling in long running embedded sensing systems (LFW, RB, SZ, CA, PG, MBS), pp. 131–136.
DATEDATE-2011-Winterholer #debugging #requirements
Embedded software debug and test: Needs and requirements for innovations in debugging (MW), p. 721.
DATEDATE-2011-YoonLJPKPC #configuration management #incremental #named
I2CRF: Incremental interconnect customization for embedded reconfigurable fabrics (JWY, JL, JJ, SP, YK, YP, DC), pp. 1346–1351.
LCTESLCTES-2011-BerthierMM #operating system #programming
Synchronous programming of device drivers for global resource control in embedded operating systems (NB, FM, LM), pp. 81–90.
LCTESLCTES-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.
LCTESLCTES-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.
PPoPPPPoPP-2011-CatanzaroGK #compilation #named #parallel
Copperhead: compiling an embedded data parallel language (BCC, MG, KK), pp. 47–56.
ESOPESOP-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.
ICSTICST-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.
ICSTICST-2011-YuSSR #testing #using
Using Property-Based Oracles when Testing Embedded System Applications (TY, AS, WSa, GR), pp. 100–109.
ISSTAISSTA-2011-ShahbazSE #component #refinement #specification
Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.
VMCAIVMCAI-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.
CBSECBSE-2010-HosekPBHM #comparison #component #framework #realtime
Comparison of Component Frameworks for Real-Time Embedded Systems (PH, TP, TB, PH, MM), pp. 21–36.
CBSECBSE-2010-LoiretSDS #approach #composition #realtime
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks (FL, LS, LD, DS), pp. 37–54.
CBSECBSE-2010-SuryadevaraKSP #modelling #semantic gap
Bridging the Semantic Gap between Abstract Models of Embedded Systems (JS, EYK, CCS, PP), pp. 55–73.
ECSAECSA-2010-LoukilKZJ #aspect-oriented #towards
Toward an Aspect Oriented ADL for Embedded Systems (SL, SK, BZ, MJ), pp. 489–492.
QoSAQoSA-2010-MeedeniyaBAG #architecture #energy #optimisation #reliability
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (IM, BB, AA, LG), pp. 52–67.
CSEETCSEET-2010-Zalewski #development #education
A Comprehensive Embedded Systems Lab for Teaching Web-Based Remote Software Development (JZ), pp. 113–120.
ITiCSEITiCSE-2010-QianLH #education
Portable labs in a box for embedded system education (KQ, CTDL, XH), p. 318.
IFMIFM-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.
IFLIFL-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.
CIKMCIKM-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.
CIKMCIKM-2010-HaLSL #comprehension #mobile #named
EUI: an embedded engine for understanding user intents from mobile devices (JH, JHL, KSS, SL), pp. 1935–1936.
SEKESEKE-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.
ECMFAECMFA-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.
MODELSMoDELS-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.
MODELSMoDELS-v2-2010-Voelter #development #language workbench #projectional
Embedded Software Development with Projectional Language Workbenches (MV), pp. 32–46.
SPLCSPLC-2010-BelategiSE #product line #variability
MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines (LB, GS, LE), pp. 466–470.
SPLCSPLC-2010-UbayashiNH #product line #reliability
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems (NU, SN, MH), pp. 1–15.
TOOLSTOOLS-EUROPE-2010-HundtSG #aspect-oriented #optimisation
Optimizing Aspect-Oriented Mechanisms for Embedded Applications (CH, DS, SG), pp. 137–153.
TOOLSTOOLS-EUROPE-2010-Xu #domain-specific language #generative #named
EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
AdaSIGAda-2010-McCormick #ada #parallel #realtime
Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.
AdaSIGAda-2010-Pettit #ada #concurrent #design #realtime #uml #using
Designing real-time, concurrent, and embedded software systems using UML and Ada (RGPI), pp. 7–8.
ASEASE-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.
ICSEICSE-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.
SACSAC-2010-ChangLHCSYHK #manycore #modelling
SysML-based requirement modeling environment for multicore embedded system (CHC, CWL, NLH, WCC, CS, CTY, PAH, CSK), pp. 2224–2228.
SACSAC-2010-FacchinettiSG #design #development #metric #realtime
Design and development of a real-time embedded inertial measurement unit (TF, AS, EG), pp. 491–495.
SACSAC-2010-FahndrichBL #contract
Embedded contract languages (MF, MB, FL), pp. 2103–2110.
SACSAC-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.
SACSAC-2010-LarcherBM #recognition
Constrained Viterbi decoding for embedded user-customised password speaker recognition (AL, JFB, JSDM), pp. 1501–1502.
GPCEGPCE-2010-NavasBP #component #evolution #framework #runtime
A component-based run-time evolution infrastructure for resource-constrained embedded systems (JFN, JPB, JP), pp. 73–82.
CASECASE-2010-DingSPS
Improving motion of robotic manipulators by an embedded optimizer (HD, GS, BP, OS), pp. 204–209.
DACDAC-2010-BombieriFP #abstraction
Abstraction of RTL IPs into embedded software (NB, FF, GP), pp. 24–29.
DACDAC-2010-ChouMM #design #experience
Find your flow: increasing flow experience by designing “human” embedded systems (CLC, AMM, RM), pp. 619–620.
DACDAC-2010-CohenR #compilation #manycore
Processor virtualization and split compilation for heterogeneous multicore embedded systems (AC, ER), pp. 102–107.
DACDAC-2010-ElizehN #memory management
Embedded memory binding in FPGAs (KE, NN), pp. 457–462.
DACDAC-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.
DACDAC-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.
DACDAC-2010-SridharanM #power management #realtime #reliability
Reliability aware power management for dual-processor real-time embedded systems (RS, RNM), pp. 819–824.
DACDAC-2010-ZhangC
Thermal aware task sequencing on embedded processors (SZ, KSC), pp. 585–590.
DATEDATE-2010-BalaschVP #framework #privacy
An embedded platform for privacy-friendly road charging applications (JB, IV, BP), pp. 867–872.
DATEDATE-2010-Cota #problem #question #testing #what
Embedded software testing: What kind of problem is this? (ÉFC), p. 1486.
DATEDATE-2010-DixitDR #component #realtime
Taming the component timing: A CBD methodology for real-time embedded systems (MGD, PD, SR), pp. 1649–1652.
DATEDATE-2010-EckerESSV #modelling
TLM+ modeling of embedded HW/SW systems (WE, VE, RS, TS, MV), pp. 75–80.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-Jara-BerrocalG #architecture #configuration management #named
VAPRES: A Virtual Architecture for Partially Reconfigurable Embedded Systems (AJB, AGR), pp. 837–842.
DATEDATE-2010-KlemmF #c++ #metaprogramming #using
Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
DATEDATE-2010-KootiBLB #configuration management #realtime #scheduling
Transition-aware real-time task scheduling for reconfigurable embedded systems (HK, EB, SL, LB), pp. 232–237.
DATEDATE-2010-LeeYCC #metric
An embedded wide-range and high-resolution CLOCK jitter measurement circuit (YL, CYY, NCDC, JJC), pp. 1637–1640.
DATEDATE-2010-LukasiewyczGT #design #robust
Robust design of embedded systems (ML, MG, JT), pp. 1578–1583.
DATEDATE-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.
DATEDATE-2010-VidalLGDS #configuration management #design #multi #uml
UML design for dynamically reconfigurable multiprocessor embedded systems (JV, FdL, GG, JPD, PS), pp. 1195–1200.
DATEDATE-2010-ZengGA #debugging #framework #visual notation
Graphical Model Debugger Framework for embedded systems (KZ, YG, CA), pp. 87–92.
ISMMISMM-2010-UgawaIY #garbage collection #incremental
Improved replication-based incremental garbage collection for embedded systems (TU, HI, TY), pp. 73–82.
LCTESLCTES-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.
LCTESLCTES-2010-LiZ #mobile #performance
An efficient code update scheme for DSP applications in mobile embedded systems (WL, YZ), pp. 105–114.
LCTESLCTES-2010-PykaKMM #approach #framework #platform
Versatile system-level memory-aware platform description approach for embedded MPSoCs (RP, FK, PM, SM), pp. 9–16.
LCTESLCTES-2010-ShrivastavaLJ #equation #fault
Cache vulnerability equations for protecting data in embedded processor caches from soft errors (AS, JL, RJ), pp. 143–152.
PDPPDP-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.
TACASTACAS-2010-Sifakis #challenge #design
Embedded Systems Design — Scientific Challenges and Work Directions (JS), p. 1.
CAVCAV-2010-MazoDT #named #synthesis
PESSOA: A Tool for Embedded Controller Synthesis (MMJ, AD, PT), pp. 566–569.
ICTSSICTSS-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.
CBSECBSE-2009-LoiretNBL #component #operating system #realtime
Component-Based Real-Time Operating System for Embedded Applications (FL, JFN, JPB, OL), pp. 209–226.
WICSA-ECSAWICSA-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-ECSAWICSA-ECSA-2009-Capilla #architecture #design
Embedded design rationale in software architecture (RC), pp. 305–308.
WICSA-ECSAWICSA-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.
ICDARICDAR-2009-GimenezJ #recognition #word
Embedded Bernoulli Mixture HMMs for Handwritten Word Recognition (AG, AJ), pp. 896–900.
ICDARICDAR-2009-SunK #detection
Detecting Printed and Handwritten Partial Copies of Line Drawings Embedded in Complex Backgrounds (WS, KK), pp. 341–345.
PODSPODS-2009-ChirkovaG #dependence #equivalence #query #sql
Equivalence of SQL queries in presence of embedded dependencies (RC, MRG), pp. 217–226.
ITiCSEITiCSE-2009-QianLT #education #online #realtime
Teach real-time embedded system online with real hands-on labs (KQ, JL, LT), p. 367.
ICPCICPC-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.
HaskellHaskell-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.
ICFPICFP-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.
ICFPICFP-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.
HCIHIMI-DIE-2009-Ocenasek09a #approach #communication #design
An Approach for the Design of Secure Communication in Embedded Systems (PO), pp. 579–586.
HCIHIMI-II-2009-NishinoH #learning #named #visualisation
Minato: Integrated Visualization Environment for Embedded Systems Learning (YN, EH), pp. 325–333.
ICEISICEIS-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.
SEKESEKE-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.
ECMFAECMDA-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.
ECMFAECMDA-FA-2009-Trew #platform #question
Creating Embedded Platforms with MDA: Where’s the Sweet Spot? (TT), p. 1.
PADLPADL-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.
PEPMPEPM-2009-MoretBV09a #java #named
CProf: customizable calling context cross-profiling for embedded java processors (PM, WB, AV), pp. 161–164.
PPDPPPDP-2009-Tarau #data transformation #declarative #model transformation #transformation language
An embedded declarative data transformation language (PT), pp. 171–182.
AdaSIGAda-2009-Gluch #analysis #modelling
Embedded systems engineering with the AADL: modeling & analysis (DPG), pp. 7–8.
AdaSIGAda-2009-LosebyCB #using
Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.
AdaSIGAda-2009-Rogers #ada #realtime
Embedded, hard, real-time systems with Ada (PR), pp. 17–18.
REFSQREFSQ-2009-Berntsson-SvenssonGR #quality #requirements
Quality Requirements in Practice: An Interview Study in Requirements Engineering for Embedded Systems (RBS, TG, BR), pp. 218–232.
ASEASE-2009-CordeiroFM #bound #model checking #smt
SMT-Based Bounded Model Checking for Embedded ANSI-C Software (LCC, BF, JMS), pp. 137–148.
GTTSEGTTSE-2009-DinizC #architecture #configuration management #program transformation
Code Transformations for Embedded Reconfigurable Computing Architectures (PCD, JMPC), pp. 322–344.
ICSEICSE-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.
SACSAC-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.
SACSAC-2009-AraujoS #integration #web #web service
The device service bus: a solution for embedded device integration through web services (GMA, FS), pp. 185–189.
SACSAC-2009-ChoudhuriG #named #nondeterminism
FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
SACSAC-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.
SACSAC-2009-KatoriSNN #multi #self
Building a self-healing embedded system in a multi-OS environment (TK, LS, DKN, TN), pp. 293–298.
SACSAC-2009-KimYCH
Impact of function inlining on resource-constrained embedded systems (BK, SY, YC, JH), pp. 287–292.
SACSAC-2009-KiyoharaMMNK #performance
Method for fast compression of program codes for remote updates in embedded systems (RK, SM, MM, MN, SK), pp. 1683–1684.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2009-MoserCT
Optimal service level allocation in environmentally powered embedded systems (CM, JJC, LT), pp. 1650–1657.
SACSAC-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.
SACSAC-2009-QiuLS #framework #hardware #optimisation #platform #realtime
Heterogeneous real-time embedded software optimization considering hardware platform (MQ, HL, EHMS), pp. 1637–1641.
SACSAC-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.
SACSAC-2009-YounM09a #email #image
Improved spam filtering by extraction of information from text embedded image e-mail (SY, DM), pp. 1754–1755.
CASECASE-2009-ArcherSRR #automation #profiling
Profiling primitives of networked embedded automation (BA, SS, AR, RR), pp. 531–536.
CASECASE-2009-PintoKX #network #synthesis
Synthesis of wireless time-triggered embedded networks for networked control systems (AP, RK, SX), pp. 397–402.
CGOCGO-2009-ChoiLCMM #compilation #manycore #realtime
Stream Compilation for Real-Time Embedded Multicore Systems (YC, YL, NC, SAM, TNM), pp. 210–220.
CGOCGO-2009-CollinB #taxonomy
Two-Level Dictionary Code Compression: A New Scheme to Improve Instruction Code Density of Embedded Applications (MC, MB), pp. 231–242.
DACDAC-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.
DACDAC-2009-KimM #array #configuration management #performance
Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.
DACDAC-2009-SamiiEPC #multi #quality #synthesis
Quality-driven synthesis of embedded multi-mode control systems (SS, PE, ZP, AC), pp. 864–869.
DACDAC-2009-WangH #approach #performance #simulation
An efficient approach for system-level timing simulation of compiler-optimized embedded software (ZW, AH), pp. 220–225.
DATEDATE-2009-AnsaloniBP #architecture
Heterogeneous coarse-grained processing elements: A template architecture for embedded processing acceleration (GA, PB, LP), pp. 542–547.
DATEDATE-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.
DATEDATE-2009-CostaM #approach
A MILP-based approach to path sensitization of embedded software (JCC, JCM), pp. 1568–1571.
DATEDATE-2009-FummiPR #design #middleware
Networked embedded system applications design driven by an abstract middleware environment (FF, GP, NR), pp. 1024–1029.
DATEDATE-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.
DATEDATE-2009-GlassLHT #design
Incorporating graceful degradation into embedded system design (MG, ML, CH, JT), pp. 320–323.
DATEDATE-2009-HuynhM #configuration management #realtime #runtime
Runtime reconfiguration of custom instructions for real-time embedded systems (HPH, TM), pp. 1536–1541.
DATEDATE-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.
DATEDATE-2009-JerrayaN #comprehension #manycore #tutorial
Embedded tutorial — Understanding multicore technologies (AAJ, GN), p. 1051.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2009-SamiiCEP #distributed #scheduling #synthesis
Integrated scheduling and synthesis of control applications on distributed embedded systems (SS, AC, PE, ZP), pp. 57–62.
DATEDATE-2009-Sifakis #challenge #design
Embedded systems design — Scientific challenges and work directions (JS), p. 2.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
LCTESLCTES-2009-GracioliF
Tracing interrupts in embedded software (GG, SF), pp. 137–146.
LCTESLCTES-2009-MankinKA #manycore #memory management #transaction
Software transactional memory for multicore embedded systems (JM, DRK, JA), pp. 90–98.
LCTESLCTES-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.
ICSTICST-2009-GrossmannSS #realtime #testing
Testing Embedded Real Time Systems with TTCN-3 (JG, DAS, IS), pp. 81–90.
CBSECBSE-2008-SentillesVBCC #component #distributed
A Component Model for Control-Intensive Distributed Embedded Systems (SS, AV, TB, JC, IC), pp. 310–317.
ICPCICPC-2008-Parr #reuse #semantics #using
The Reuse of Grammars with Embedded Semantic Actions (TP), pp. 5–10.
ICSMEICSM-2008-KarimKSCTOJ #industrial #maintenance
Positioning embedded software maintenance within industrial maintenance (RK, MKM, PS, OC, TT, HO, JJ), pp. 440–443.
SCAMSCAM-2008-FehnkerHRS #assembly #program analysis
Some Assembly Required — Program Analysis of Embedded System Code (AF, RH, FR, SS), pp. 15–24.
SEFMSEFM-2008-SchaeferP #adaptation #composition #modelling #reasoning #verification
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.
SEFMSEFM-2008-TavaresSM #constraints #energy #scheduling
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints (ET, BS, PRMM), pp. 291–300.
ICFPICFP-2008-AugustssonMS #domain-specific language #haskell #named
Paradise: a two-stage DSL embedded in Haskell (LA, HM, GS), pp. 225–228.
IFLIFL-2008-SvenssonSC #named #parallel #programming
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors (JS, MS, KC), pp. 156–173.
ICPRICPR-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.
SEKESEKE-2008-HansenZS #generative #web #web service
Ontology-Enabled Generation of Embedded Web Services (KMH, WZ, GS), pp. 345–350.
ECMFAECMDA-FA-2008-Scheidgen #modelling #visual notation
Textual Modelling Embedded into Graphical Modelling (MS), pp. 153–168.
MODELSMoDELS-2008-ParetoSE #evolution #ontology
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.
SPLCSPLC-2008-GustavssonA #flexibility #product line #using
Evaluating Flexibility in Embedded Automotive Product Lines Using Real Options (HG, JA), pp. 235–242.
MODELSMoDELS-2008-ParetoSE #evolution #ontology
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.
AdaEuropeAdaEurope-2008-Natale #component #design #development
Design and Development of Component-Based Embedded Systems for Automotive Applications (MDN), pp. 15–29.
AdaSIGAda-2008-Doran #ada #development #named #programming language #realtime
Anima: a Ada derived programming language for real-time embedded software development (SD), pp. 121–132.
RERE-2008-VillelaDG #evolution #requirements
Proactively Managing the Evolution of Embedded System Requirements (KV, JD, AG), pp. 13–22.
REFSQREFSQ-2008-MarincicMW #requirements #verification
Classifying Assumptions Made during Requirements Verification of Embedded Systems (JM, AM, RW), pp. 141–146.
ASEASE-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.
SACSAC-2008-AndronickN #protocol
Certifying an embedded remote method invocation protocol (JA, QHN), pp. 352–359.
SACSAC-2008-AtoofianB #behaviour #latency #memory management
Exploiting program cyclic behavior to reduce memory latency in embedded processors (EA, AB), pp. 1482–1486.
SACSAC-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.
SACSAC-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.
SACSAC-2008-GruianW #architecture #case study #java
VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture (FG, MW), pp. 1492–1497.
SACSAC-2008-GuiFSB #component #configuration management #hybrid #realtime
A hybrid real-time component model for reconfigurable embedded systems (NG, VDF, HS, CB), pp. 1590–1596.
SACSAC-2008-LuCL #hybrid #self
A hybrid software-based self-testing methodology for embedded processor (THL, CHC, KJL), pp. 1528–1534.
SACSAC-2008-PerngCK #configuration management #hardware #platform
The minimization of hardware size in reconfigurable embedded platforms (NCP, JJC, TWK), pp. 1517–1522.
SACSAC-2008-RochaO08a #agile #development #file system
An environment for the rapid development of embedded file systems (FRdlR, RSdO), pp. 694–699.
SACSAC-2008-SykoraAS #pipes and filters
Dynamic configuration of application-specific implicit instructions for embedded pipelined processors (MS, GA, CS), pp. 1509–1516.
SACSAC-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.
SLESLE-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.
DACDAC-2008-BauerSH #runtime #set
Run-time instruction set selection in a transmutable embedded processor (LB, MS, JH), pp. 56–61.
DACDAC-2008-BournoutianO #design #reduction
Miss reduction in embedded processors through dynamic, power-friendly cache design (GB, AO), pp. 304–309.
DACDAC-2008-ChaudhuriGFHD #configuration management #runtime
An 8x8 run-time reconfigurable FPGA embedded in a SoC (SC, SG, FF, PH, JLD), pp. 120–125.
DACDAC-2008-GoraczkoLLMPZ #clustering #energy #multi
Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems (MG, JL, DL, SM, BP, FZ), pp. 191–196.
DACDAC-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.
DACDAC-2008-HsiehH #debugging #framework #interface #platform
An embedded infrastructure of debug and trace interface for the DSP platform (MCH, CTH), pp. 866–871.
DACDAC-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.
DACDAC-2008-SchnerrBVR #simulation
High-performance timing simulation of embedded software (JS, OB, AV, WR), pp. 290–295.
DACDAC-2008-SridharanGM #power management #realtime
Feedback-controlled reliability-aware power management for real-time embedded systems (RS, NG, RNM), pp. 185–190.
DACDAC-2008-YuP #communication #latency #multi #performance
Latency and bandwidth efficient communication through system customization for embedded multiprocessors (CY, PP), pp. 766–771.
DATEDATE-2008-BaiLD #adaptation
Adaptive Filesystem Compression for Embedded Systems (LSB, HL, RPD), pp. 1374–1377.
DATEDATE-2008-BatcherW #scheduling
Dynamic Round-Robin Task Scheduling to Reduce Cache Misses for Embedded Systems (KWB, RAW), pp. 260–263.
DATEDATE-2008-BauerSKH #runtime #set
Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set (LB, MS, SK, JH), pp. 752–757.
DATEDATE-2008-BeckRGC #configuration management
Transparent Reconfigurable Acceleration for Heterogeneous Embedded Applications (ACSB, MBR, GG, LC), pp. 1208–1213.
DATEDATE-2008-BeutelBDL #tutorial
Embedded Tutorial — Software for Wireless Networked Embedded Systems (JB, MB, AD, KL), p. 372.
DATEDATE-2008-BonnyH #encoding
Instruction Re-encoding Facilitating Dense Embedded Code (TB, JH), pp. 770–775.
DATEDATE-2008-ClothH #design #evaluation #mobile #predict
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices (LC, BRH), pp. 90–91.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2008-ElesIPP #fault tolerance #synthesis
Synthesis of Fault-Tolerant Embedded Systems (PE, VI, PP, ZP), pp. 1117–1122.
DATEDATE-2008-ElmW
Scan Chain Organization for Embedded Diagnosis (ME, HJW), pp. 468–473.
DATEDATE-2008-GaidKSH #design #lifecycle
A methodology for improving software design lifecycle in embedded control systems (MEMBG, RK, YS, RH), pp. 533–536.
DATEDATE-2008-IsrarH #design #reliability #specification
Specification and Design Considerations for Reliable Embedded Systems (AI, SAH), pp. 1111–1116.
DATEDATE-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.
DATEDATE-2008-Katoen #analysis #design #evaluation #modelling #roadmap
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques (JPK), pp. 86–87.
DATEDATE-2008-LettninNRKRKSR #verification
Verification of Temporal Properties in Automotive Embedded Software (DL, PKN, JR, TK, WR, TK, VS, SR), pp. 164–169.
DATEDATE-2008-LindgrenEAN #c #realtime
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems (PL, JE, SA, JN), pp. 1382–1385.
DATEDATE-2008-MolnosHC #composition #multi
Compositional, dynamic cache management for embedded chip multiprocessors (AMM, MJMH, SDC), pp. 991–996.
DATEDATE-2008-MostermanOSJKRCM #automation #functional #modelling
Automatically Realising Embedded Systems from High-Level Functional Models (PJM, DO, JS, AAJ, WK, VR, CGC, GM).
DATEDATE-2008-NeumannSBN #architecture #design #flexibility
Design flow for embedded FPGAs based on a flexible architecture template (BN, TvS, HB, TGN), pp. 56–61.
DATEDATE-2008-ParkSP #execution #using
Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors (SP, AS, YP), pp. 1190–1195.
DATEDATE-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.
DATEDATE-2008-Vernay #challenge #research
Perspective on Embedded Systems: Challenges, Solutions and Research Priorities (DV), p. 2.
LCTESLCTES-2008-AnandL #analysis #robust #scheduling
Robust and sustainable schedulability analysis of embedded software (MA, IL), pp. 61–70.
LCTESLCTES-2008-BadeaNV #energy #virtual machine
Impact of JVM superoperators on energy consumption in resource-constrained embedded systems (CB, AN, AVV), pp. 23–30.
LCTESLCTES-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.
LCTESLCTES-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.
LCTESLCTES-2008-LeeMK #compilation #detection #heuristic #java
Enhanced hot spot detection heuristics for embedded java just-in-time compilers (SWL, SMM, SMK), pp. 13–22.
LCTESLCTES-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.
OSDIOSDI-2008-FonsecaDLS #energy #named
Quanto: Tracking Energy in Networked Embedded Systems (RF, PD, PL, IS), pp. 323–338.
CAVCAV-2008-GadkariYSRMS #automation #generative #named
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems (AAG, AY, JS, SR, SM, KCS), pp. 204–208.
VMCAIVMCAI-2008-BouissouM #abstract interpretation #physics #source code
Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.
CBSECBSE-2007-PolakovicMSD #component #configuration management #experience
Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems (JP, SM, JBS, PCD), pp. 242–257.
QoSAQoSA-2007-KuzL #component #modelling
Extending the Capabilities of Component Models for Embedded Systems (IK, YL), pp. 182–196.
DocEngDocEng-2007-TriebseesB #automation #documentation #migration #query #semantics #towards
Towards automatic document migration: semantic preservation of embedded queries (TT, UMB), pp. 209–218.
ICDARICDAR-2007-KimPK #architecture
An Embedded OCR Software Architecture for Enhancing Portability (SK, JP, YBK), pp. 1004–1008.
ICDARICDAR-2007-UchidaSIOK
Extraction of Embedded Class Information from Universal Character Pattern (SU, MS, MI, SO, KK), pp. 437–441.
JCDLJCDL-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.
SIGMODSIGMOD-2007-Nori #database #mobile
Mobile and embedded databases (AN), pp. 1175–1177.
VLDBVLDB-2007-ShenDNR #datalog #declarative #information management #using
Declarative Information Extraction Using Datalog with Embedded Extraction Predicates (WS, AD, JFN, RR), pp. 1033–1044.
CSEETCSEET-2007-Yimei #re-engineering
A Graduate Program on Embedded Software Engineering in China (KY), pp. 3–10.
ITiCSEITiCSE-2007-MillerS #agile #approach #programming #student
A TDD approach to introducing students to embedded programming (JM, MRS), pp. 33–37.
SCAMSCAM-2007-BrinkLV #assessment #quality #sql
Quality Assessment for Embedded SQL (HvdB, RvdL, JV), pp. 163–170.
IFMIFM-2007-VerhoefVHB #distributed #realtime
Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
SEFMSEFM-2007-BujorianuB #framework #specification
An Integrated Specification Framework for Embedded Systems (MCB, MLB), pp. 161–172.
CHICHI-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.
HCIHCI-IPT-2007-NoguchiMS
Attentive Information Support with Massive Embedded Sensors in Room (HN, TM, TS), pp. 883–892.
HCIHIMI-MTT-2007-ShinyashikiMHKUN #analysis
A Suggestion for Analysis of Unexpected Obstacles in Embedded System (YS, TM, MH, KK, NU, TN), pp. 755–768.
SEKESEKE-2007-GuD #component #execution #integration #multi
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution (ZG, QD), pp. 320–325.
TOOLSTOOLS-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.
AdaEuropeAdaEurope-2007-ElleuchKA #approach #development #realtime
ArchMDE Approach for the Development of Embedded Real Time Systems (NE, AK, SBA), pp. 142–154.
RERE-2007-Nicholson #development
Embedded Knowledge and Offshore Software Development (BN), p. 269.
ICSEICSE-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.
SACSAC-2007-GilPFM
Embedded system for diagnosing dysfunctions in the lower urinary tract (DGM, ASP, DRF, CAM), pp. 1695–1699.
SACSAC-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.
SACSAC-2007-HiserDW #design #memory management #performance
Fast, accurate design space exploration of embedded systems memory configurations (JH, JWD, DBW), pp. 699–706.
SACSAC-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.
SACSAC-2007-NazKOF #configuration management #novel
Reconfigurable split data caches: a novel scheme for embedded systems (AN, KMK, JHO, PF), pp. 707–712.
SACSAC-2007-Nguyen #component #design
Component-based version management for embedded computing system design (TNN), pp. 685–692.
SACSAC-2007-SchreinerG #component #modelling #uml
Modeling component based embedded systems applications with explicit connectors in UML 2.0 (DS, KMG), pp. 1494–1495.
GPCEGPCE-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.
CASECASE-2007-Sastry
The Engineering and Societal Impact of Embedded and Autonomous Systems: Beyond Sensor Webs (SS), p. 96–?.
DACDAC-2007-ChuKCCG #multi #programming #thread
An Embedded Coherent-Multithreading Multimedia Processor and Its Programming Model (JCC, WCK, SHC, TFC, JIG), pp. 652–657.
DACDAC-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.
DACDAC-2007-KaoHL #integration #multi
An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration (CFK, IJH, CHL), pp. 477–482.
DACDAC-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.
DACDAC-2007-KumarSCKS #memory management
A System For Coarse Grained Memory Protection In Tiny Embedded Processors (RK, AS, AC, EK, MBS), pp. 218–223.
DACDAC-2007-MaoW #hardware
Hardware Support for Secure Processing in Embedded Systems (SM, TW), pp. 483–488.
DACDAC-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.
DATEDATE-2007-AitkenI #design #worst-case
Worst-case design and margin for embedded SRAM (RCA, SI), pp. 1289–1294.
DATEDATE-2007-AlessioFQT #design #modelling #simulation
Modeling and simulation alternatives for the design of networked embedded systems (EA, FF, DQ, MT), pp. 1030–1035.
DATEDATE-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.
DATEDATE-2007-Botti #challenge #industrial
Flying embedded: the industrial scene and challenges for embedded systems in aeronautics and space (JB), p. 1246.
DATEDATE-2007-ChattopadhyayAKKLAM #configuration management #design
Design space exploration of partially re-configurable embedded processors (AC, WA, KK, DK, RL, GA, HM), pp. 319–324.
DATEDATE-2007-DuboisMAWLW #analysis #quality
Test quality analysis and improvement for an embedded asynchronous FIFO (TD, EJM, MA, PW, EL, CW), pp. 859–864.
DATEDATE-2007-FummiPPQ #design #interactive #middleware
Interactive presentation: A middleware-centric design flow for networked embedded systems (FF, GP, RP, DQ), pp. 1048–1053.
DATEDATE-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.
DATEDATE-2007-GodardDTS #design #evaluation #reliability
Evaluation of design for reliability techniques in embedded flash memories (BG, JMD, LT, GS), pp. 1593–1598.
DATEDATE-2007-HuynhM #realtime
Instruction-set customization for real-time embedded systems (HPH, TM), pp. 1472–1477.
DATEDATE-2007-Kopetz #architecture
The ARTEMIS cross-domain architecture for embedded systems (HK), pp. 1468–1469.
DATEDATE-2007-Lysecky #performance #power management
Low-power warp processor for power efficient high-performance embedded systems (RLL), pp. 141–146.
DATEDATE-2007-PardessusDA
The methodological and technological dimensions of technology transfer for embedded systems in aeronautics and space (TP, HD, RA), pp. 1108–1109.
DATEDATE-2007-ParkPBBKD #architecture #performance #pointer
Register pointer architecture for efficient embedded processors (JP, SBP, JDB, DBS, CK, WJD), pp. 600–605.
DATEDATE-2007-PopPEP #distributed #optimisation
Bus access optimisation for FlexRay-based distributed embedded systems (TP, PP, PE, ZP), pp. 51–56.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-WielageMAW #design #performance
Design and DfT of a high-speed area-efficient embedded asynchronous FIFO (PW, EJM, MA, CW), pp. 853–858.
LCTESLCTES-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.
LCTESLCTES-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.
LCTESLCTES-2007-HongKSMOLC #compilation #java
Java client ahead-of-time compiler for embedded systems (SH, JCK, JWS, SMM, HSO, JL, HKC), pp. 63–72.
LCTESLCTES-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.
LCTESLCTES-2007-NingK #memory management #multi
External memory page remapping for embedded multimedia systems (KN, DRK), pp. 185–194.
LCTESLCTES-2007-ViskicAG #automation #communication #generative #platform
Automatic generation of embedded communication SW for heterogeneous MPSoC platforms (IV, SA, DDG), pp. 143–145.
LCTESLCTES-2007-WaltherHN #behaviour #realtime
Analyzing the real-time behaviour of deeply embedded event driven systems (KW, RH, JN), pp. 149–151.
FATESTestCom-FATES-2007-LuukkalaO #modelling #protocol #testing
Model Based Testing of an Embedded Session and Transport Protocol (VL, IO), pp. 212–227.
CBSECBSE-2006-AngelovSMM #component #distributed #framework
A Formal Component Framework for Distributed Embedded Systems (CA, KS, NM, JM), pp. 206–221.
CBSECBSE-2006-LudersFWC #component #prototype #realtime
A Prototype Tool for Software Component Services in Embedded Real-Time Systems (FL, DF, AW, IC), pp. 222–237.
QoSAQoSA-2006-FlorentzH #analysis #architecture #evaluation
Embedded Systems Architecture: Evaluation and Analysis (BF, MH), pp. 145–162.
VLDBVLDB-2006-KimBLLJ #memory management #named
LGeDBMS: A Small DBMS for Embedded System with Flash Memory (GJK, SCB, HSL, HDL, MJJ), pp. 1255–1258.
ITiCSEITiCSE-2006-Bruce-LockhartN #interactive
Interactive embedded examples: a demonstration (MBL, TSN), p. 357.
WCREWCRE-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.
FMFM-2006-HenzingerS #challenge #design
The Embedded Systems Design Challenge (TAH, JS), pp. 1–15.
FMFM-2006-VerhoefLH #distributed #modelling #realtime #validation
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
CHICHI-2006-Moher #distributed #learning #simulation
Embedded phenomena: supporting science learning with classroom-sized distributed simulations (TM), pp. 691–700.
EDOCEDOC-2006-Gilart-IglesiasMGM #network
Services and Networks management through embedded devices and SOA (VGI, FMP, JAGMA, DMJ), pp. 395–398.
ICEISICEIS-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.
ICEISICEIS-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.
ICPRICPR-v4-2006-LeiDW #adaptation
AdaBoost Tracker Embedded in Adaptive Particle Filtering (YL, XD, SW), pp. 939–943.
ICPRICPR-v4-2006-LinHH #video
An embedded watermark technique in video for copyright protection (YRL, HYH, WHH), pp. 795–798.
SEKESEKE-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.
SEKESEKE-2006-WongRLO #testing
Coverage Testing Embedded Software on Symbian/OMAP (WEW, SR, JL, JO), pp. 473–478.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-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.
POPLPOPL-2006-NiS #assembly #pointer #programming
Certified assembly programming with embedded code pointers (ZN, ZS), pp. 320–333.
SASSAS-2006-AllamigeonGH #c #source code #static analysis #string
Static Analysis of String Manipulations in Critical Embedded C Programs (XA, WG, CH), pp. 35–51.
AdaSIGAda-2006-Mosley #legacy
When to migrate legacy embedded applications (DM), pp. 77–80.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
SACSAC-2006-Chang #scalability #scheduling
Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems (LPC), pp. 1462–1466.
SACSAC-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.
SACSAC-2006-DerisB #predict
Branchless cycle prediction for embedded processors (KJD, AB), pp. 928–932.
SACSAC-2006-DorneichNPT #database #modelling #parallel #predict #relational
Embedded predictive modeling in a parallel relational database (AD, RN, EPDP, FT), pp. 569–574.
SACSAC-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.
SACSAC-2006-LejdforsO #generative #gpu #implementation
Implementing an embedded GPU language by combining translation and generation (CL, LO), pp. 1610–1614.
SACSAC-2006-NooriM #adaptation #evaluation #performance
Preliminary performance evaluation of an adaptive dynamic extensible processor for embedded applications (HN, KM), pp. 937–938.
SACSAC-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.
SACSAC-2006-WuRJ #bound #energy #on the #realtime
On bounding energy consumption in dynamic, embedded real-time systems (HW, BR, EDJ), pp. 933–934.
ASPLOSASPLOS-2006-LiBH #concurrent #multi #thread
Mapping esterel onto a multi-threaded embedded processor (XL, MB, RvH), pp. 303–314.
ASPLOSASPLOS-2006-MillerA
Software-based instruction caching for embedded processors (JEM, AA), pp. 293–302.
CASECASE-2006-LuLYW #design
Design of Bio-fermentation Control System Based on the Embedded Microprocessor (XL, YL, HY, WW), pp. 540–545.
DACDAC-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.
DACDAC-2006-HerreraV #framework #modelling #specification
A framework for embedded system specification under different models of computation in SystemC (FH, EV), pp. 911–914.
DACDAC-2006-HuangG #scalability
Leakage-aware intraprogram voltage scaling for embedded processors (PKH, SG), pp. 364–369.
DACDAC-2006-MengSK #power management #reduction
Leakage power reduction of embedded memories on FPGAs through location assignment (YM, TS, RK), pp. 612–617.
DACDAC-2006-RiccobeneSRB #design #modelling
A model-driven design environment for embedded systems (ER, PS, AR, SB), pp. 915–918.
DACDAC-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.
DATEDATE-2006-ChakrapaniACKPS #architecture #probability
Ultra-efficient (embedded) SOC architectures based on probabilistic CMOS (PCMOS) technology (LNC, BESA, SC, PK, KVP, BS), pp. 1110–1115.
DATEDATE-2006-ChattopadhyayGKWSILAM #automation
Automatic ADL-based operand isolation for embedded processors (AC, BG, DK, EMW, OS, HI, RL, GA, HM), pp. 600–605.
DATEDATE-2006-ChoRJ #realtime
Lock-free synchronization for dynamic embedded real-time systems (HC, BR, EDJ), pp. 438–443.
DATEDATE-2006-EyermanEB #design #performance
Efficient design space exploration of high performance embedded out-of-order processors (SE, LE, KDB), pp. 351–356.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2006-KogelB #multi #platform #prototype
Virtual prototyping of embedded platforms for wireless and multimedia (TK, MB), pp. 488–490.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2006-ParkOPSH #source code
Dynamic code overlay of SDF-modeled programs on low-end embedded systems (HwP, KO, SP, MmS, SH), pp. 945–946.
DATEDATE-2006-ShinKKH #memory management
Restructuring field layouts for embedded memory systems (KS, JK, SK, HH), pp. 937–942.
DATEDATE-2006-Stanley-MarbellLR #adaptation #concurrent #library #multi #thread
Adaptive data placement in an embedded multiprocessor thread library (PSM, KL, AR), pp. 698–699.
DATEDATE-2006-WangYIG #image #verification
Disjunctive image computation for embedded software verification (CW, ZY, FI, AG), pp. 1205–1210.
DATEDATE-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.
DATEDATE-2006-XueOLKK #architecture #clustering #memory management
Dynamic partitioning of processing and memory resources in embedded MPSoC architectures (LX, ÖÖ, FL, MTK, IK), pp. 690–695.
DATEDATE-2006-ZmilyK #energy #performance
Simultaneously improving code size, performance, and energy in embedded processors (AZ, CK), pp. 224–229.
DATEDATE-DF-2006-AarajRRJ #architecture #authentication #performance
Architectures for efficient face authentication in embedded systems (NA, SR, AR, NKJ), pp. 1–6.
DATEDATE-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.
LCTESLCTES-2006-CoopriderR #abstract domain
Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.
LCTESLCTES-2006-Martonosi #case study #deployment #experience #hardware
Embedded systems in the wild: ZebraNet software, hardware, and deployment experiences (MM), p. 1.
LCTESLCTES-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.
LCTESLCTES-2006-RegehrD
Deriving abstract transfer functions for analyzing embedded software (JR, UD), pp. 34–43.
MBTMBT-2006-ConradK #classification
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events (MC, AK), pp. 3–11.
WICSAWICSA-2005-BrownBGSK #architecture #development #product line
Feature-Guided Architecture Development for Embedded System Families (TJB, RB, CG, ITAS, PK), pp. 223–226.
WICSAWICSA-2005-LudersFW #component #realtime
Software Components Services for Embedded Real-Time Systems (FL, DF, AW), pp. 278–279.
WICSAWICSA-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.
PODSPODS-2005-NashBM #composition #dependence
Composition of mappings given by embedded dependencies (AN, PAB, SM), pp. 172–183.
CSEETCSEET-2005-HabermanT
An Undergraduate Program in Embedded Systems Engineering (BH, MT), pp. 103–110.
CSMRCSMR-2005-GraafDD #architecture #case study #experience #industrial
Evaluating an Embedded Software Reference Architecture — Industrial Experience Report (BG, HWvD, AvD), pp. 354–363.
FMFM-2005-AndronickCP #security #smarttech #source code #verification
Formal Verification of Security Properties of Smart Card Embedded Source Code (JA, BC, CPM), pp. 302–317.
IFMIFM-2005-MalikR #adaptation #case study #comparative #specification
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study (RM, PSR), pp. 33–52.
ICEISICEIS-v3-2005-MenkhausA #analysis #metric
Metric Suite Directing the Failure Mode Analysis of Embedded Software Systems (GM, BA), pp. 266–273.
ICMLICML-2005-PaiementEBB #visual notation
A graphical model for chord progressions embedded in a psychoacoustic space (JFP, DE, SB, DB), pp. 641–648.
SEKESEKE-2005-Aoyama #challenge #re-engineering #ubiquitous
Challenges of Embedded and Ubiquitous Software Engineering from the Perspective of Networked Ecological Systems (MA), p. 792.
SEKESEKE-2005-ParkKYH #development #mobile
Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices (JWP, JJK, JKY, KJH), pp. 683–688.
MODELSMoDELS-2005-Schmidt #development #distributed #modelling #realtime
Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
SPLCSPLC-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.
MODELSMoDELS-2005-Schmidt #development #distributed #modelling #realtime
Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
AdaEuropeAdaEurope-2005-AyavooPP #development #reliability
Observing the Development of a Reliable Embedded System (DA, MJP, SP), pp. 167–179.
LOPSTRLOPSTR-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.
RERE-2005-Aoyama #requirements
Persona-and-Scenario Based Requirements Engineering for Software Embedded in Digital Consumer Products (MA), pp. 85–94.
ASEASE-2005-Tan #logic #modelling #self #source code #specification
Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.
ICSEICSE-2005-Crnkovic #component #re-engineering
Component-based software engineering for embedded systems (IC), pp. 712–713.
ICSEICSE-2005-SchmidJKM #approach
Introducing the puLSE approach to an embedded system population at testo AG (KS, IJ, RK, GM), pp. 544–552.
SACSAC-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.
SACSAC-2005-GorappaK #distributed #empirical #evaluation #realtime
Empirical evaluation of OpenCCM for Java-based distributed, real-time, and embedded systems (SG, RK), pp. 1288–1292.
SACSAC-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.
SACSAC-2005-JuurlinkSV
Avoiding data conversions in embedded media processors (BHHJ, AS, SV), pp. 901–902.
SACSAC-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.
SACSAC-2005-MenonS
A code compression advisory tool for embedded processors (SKM, PS), pp. 863–867.
SACSAC-2005-TournierBO #architecture #component #evaluation
An evaluation of Qinna, a component-based QoS architecture for embedded systems (JCT, JPB, VO), pp. 998–1002.
CASECASE-2005-0001G
Embedded supervisory control of discrete-event systems (YY, PG), pp. 410–415.
DACDAC-2005-ChenK #java #reliability #virtual machine
Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
DACDAC-2005-ChoiCK #power management
DC-DC converter-aware power management for battery-operated embedded systems (YC, NC, TK), pp. 895–900.
DACDAC-2005-Goldfeder #multi
Frequency-based code placement for embedded multiprocessors (CG), pp. 696–699.
DACDAC-2005-GuptaRRJ #authentication #performance
Efficient fingerprint-based user authentication for embedded systems (PG, SR, AR, NKJ), pp. 244–247.
DACDAC-2005-JejurikarG #realtime #scheduling
Dynamic slack reclamation with procrastination scheduling in real-time embedded systems (RJ, RKG), pp. 111–116.
DACDAC-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.
DACDAC-2005-LiC #architecture
Application/architecture power co-optimization for embedded systems powered by renewable sources (DL, PHC), pp. 618–623.
DACDAC-2005-MuttrejaRRJ #energy #estimation #hybrid #simulation
Hybrid simulation for embedded software energy estimation (AM, AR, SR, NKJ), pp. 23–26.
DACDAC-2005-PetrovTO #energy #memory management
Energy-effcient physically tagged caches for embedded processors with virtual memory (PP, DT, AO), pp. 17–22.
DACDAC-2005-SauerGS #composition #framework #implementation #platform
Modular domain-specific implementation and exploration framework for embedded software platforms (CS, MG, SS), pp. 254–259.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DATEDATE-2005-AhmedM #design #performance #refinement
Design Refinement for Efficient Cluste ing of Objects in Embedded Systems (WA, DM), pp. 718–719.
DATEDATE-2005-AroraRRJ #monitoring #runtime
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
DATEDATE-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.
DATEDATE-2005-BarrettaFSB #clustering #parallel #thread
Multithreaded Extension to Multicluster VLIW Processors for Embedded Applications (DB, WF, MS, DB), pp. 748–749.
DATEDATE-2005-CheongL #named
galsC: A Language for Event-Driven Embedded Systems (EC, JL), pp. 1050–1055.
DATEDATE-2005-GanaiGA #memory management #modelling #performance #using #verification
Verification of Embedded Memory Systems using Efficient Memory Modeling (MKG, AG, PA), pp. 1096–1101.
DATEDATE-2005-HeckmannF #abstract interpretation #safety
erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation (RH, CF), pp. 618–619.
DATEDATE-2005-HungXVKI #scheduling
Thermal-Aware Task Allocation and Scheduling for Embedded Systems (WLH, YX, NV, MTK, MJI), pp. 898–899.
DATEDATE-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.
DATEDATE-2005-JhumkaKH #approach #design
A Dependability-Driven System-Level Design Approach for Embedded Systems (AJ, SK, SAH), pp. 372–377.
DATEDATE-2005-KandemirC #process #scheduling
Locality-Aware Process Scheduling for Embedded MPSoCs (MTK, GC), pp. 870–875.
DATEDATE-2005-KandemirLCCO #in memory #trade-off
Studying Storage-Recomputation Tradeoffs in Memory-Constrained Embedded Processing (MTK, FL, GC, GC, ÖÖ), pp. 1026–1031.
DATEDATE-2005-KavvadiasN #hardware
Hardware Support for Arbitrarily Complex Loop Structures in Embedded Applications (NK, SN), pp. 1060–1061.
DATEDATE-2005-Klingauf #modelling #transaction
Systematic Transaction Level Modeling of Embedded Systems with SystemC (WK), pp. 566–567.
DATEDATE-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.
DATEDATE-2005-KukkalaRHHK #design #uml
UML 2.0 Profile for Embedded System Design (PK, JR, MH, TDH, KK), pp. 710–715.
DATEDATE-2005-Langenwalter #development #process
Embedded Automotive System Development Process (JL), pp. 538–539.
DATEDATE-2005-LiTW #performance
An Efficient Transparent Test Scheme for Embedded Word-Oriented Memories (JFL, TWT, CLW), pp. 574–579.
DATEDATE-2005-LopezPN #metric
A New Embedded Measurement Structure for eDRAM Capacitor (LL, JMP, DN), pp. 462–463.
DATEDATE-2005-Lyons #design
Meeting the Embedded Design Needs of Automotive Applications (WL), pp. 142–147.
DATEDATE-2005-MarinissenPKZ #challenge #design #memory management
Challenges in Embedded Memory Design and Test (EJM, BP, DKS, YZ), pp. 722–727.
DATEDATE-2005-NaculG #compilation #lightweight #multi #using
Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler (ACN, TG), pp. 742–747.
DATEDATE-2005-OzturkSKK
Access Pattern-Based Code Compression for Memory-Constrained Embedded Systems (ÖÖ, HS, MTK, IK), pp. 882–887.
DATEDATE-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.
DATEDATE-2005-StreichertHT #clustering #configuration management #distributed #network
Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks (TS, CH, JT), pp. 894–895.
DATEDATE-2005-ThullS #implementation #performance
Performance Considerations for an Embedded Implementation of OMA DRM 2 (DT, RS), pp. 46–51.
DATEDATE-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.
DATEDATE-2005-WangWI #distributed #performance
A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.
DATEDATE-2005-WehmeyerM #memory management #predict
nfluence of Memory Hierarchies on Predictability for Time Constrained Embedded Software (LW, PM), pp. 600–605.
LCTESLCTES-2005-FrankeOTF #optimisation #probability #source code
Probabilistic source-level optimisation of embedded programs (BF, MFPO, JT, GF), pp. 78–86.
LCTESLCTES-2005-GriffinSC #energy #garbage collection #java #performance
An energy efficient garbage collector for java embedded devices (PAG, WSa, JMC), pp. 230–238.
LCTESLCTES-2005-SassoneWL #dependence #performance
Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.
LCTESLCTES-2005-XuZRMM #clustering #energy #policy
Energy-efficient policies for embedded clusters (RX, DZ, CR, RGM, DM), pp. 1–10.
PDPPDP-2005-LioupisS #distributed #web #web service
A Web Service for Embedded Distributed Computation (DL, MS), pp. 20–25.
CBSECBSE-2004-Maydl #analysis #component #design
Design Accompanying Analysis of Component-Based Embedded Software (WM), pp. 178–193.
CBSECBSE-2004-MollerFN #component #industrial #requirements
Industrial Requirements on Component Technologies for Embedded Systems (AM, JF, MN), pp. 146–161.
CBSECBSE-2004-SandstromFA #component #realtime #safety
Introducing a Component Technology for Safety Critical Embedded Real-Time Systems (KS, JF, ), pp. 194–208.
WICSAWICSA-2004-Purhonen #architecture #case study #optimisation #performance
Performance Optimization of Embedded Software Architecture — A Case Study (AP), pp. 112–121.
HTHT-2004-PanWG #hypermedia #modelling #version control
Hypertext versioning for embedded link models (KP, EJWJ, GG), pp. 195–204.
SFMSFM-2004-KatoenBKH #analysis
Embedded Software Analysis with MOTOR (JPK, HCB, RK, HH), pp. 268–294.
ICFPICFP-2004-HermanM #partial evaluation #static analysis
Improving the static analysis of embedded languages via partial evaluation (DH, PM), pp. 16–27.
ICEISICEIS-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.
ICMLICML-2004-SminchisescuJ #generative #modelling #visual notation
Generative modeling for continuous non-linearly embedded visual inference (CS, ADJ).
ICPRICPR-v1-2004-BrahimiS #image
Color Image Coding based on Embedded Wavelet Zerotree and Scalar Quantization (ZB, KAS), pp. 504–507.
ICPRICPR-v1-2004-GarainCC #documentation #identification
Identification of Embedded Mathematical Expressions in Scanned Documents (UG, BBC, ARC), pp. 384–387.
ICPRICPR-v3-2004-ChiuDS #realtime
An Embedded Real-time Vision System for 24-hour Indoor/Outdoor Car-Counting Applications (MYC, RD, TS), pp. 338–341.
AdaEuropeAdaEurope-2004-CamposGH #ada #realtime
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems (JLC, JJG, MGH), pp. 91–105.
PLDIPLDI-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.
SASSAS-2004-Venet #analysis #pointer #scalability #source code
A Scalable Nonuniform Pointer Analysis for Embedded Programs (AV), pp. 149–164.
RERE-2004-Minakata #mobile #requirements #ubiquitous
Requirements for Ubiquitous/Embedded Products — Digital TV, Mobile Phones and Consumer Products (IM), p. 3.
RERE-2004-PuschnigK #development #requirements
Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems (AP, RTK), pp. 328–333.
FSEFSE-2004-LevesonW #reuse
Making embedded software reuse practical and safe (NGL, KAW), pp. 171–178.
ICSEICSE-2004-Kang #analysis #approximate #parametricity #realtime
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
ICSEICSE-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.
SACSAC-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.
SACSAC-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.
SACSAC-2004-PanisHLLN #design #named
DSPxPlore: design space exploration methodology for an embedded DSP core (CP, UH, GL, WL, JN), pp. 876–883.
SACSAC-2004-ParkKLK #architecture #energy #memory management #performance
An energy efficient cache memory architecture for embedded systems (JWP, CGK, JHL, SDK), pp. 884–890.
SACSAC-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.
SACSAC-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.
GPCEGPCE-2004-SeefriedCK #domain-specific language #haskell #optimisation #using
Optimising Embedded DSLs Using Template Haskell (SS, MMTC, GK), pp. 186–205.
ASPLOSASPLOS-2004-RegehrR #automation #named
HOIST: a system for automatically deriving static analyzers for embedded systems (JR, AR), pp. 133–143.
CGOCGO-2004-DupreDT #architecture #named
VHC: Quickly Building an Optimizer for Complex Embedded Architectures (MD, ND, OT), pp. 53–64.
DACDAC-2004-ChengTM #named #synthesis
FITS: framework-based instruction-set tuning synthesis for embedded application specific processors (ACC, GST, TNM), pp. 920–923.
DACDAC-2004-ChoudhuriM #energy
Energy characterization of filesystems for diskless embedded systems (SC, RNM), pp. 566–569.
DACDAC-2004-JejurikarPG #realtime #scalability
Leakage aware dynamic voltage scaling for real-time embedded systems (RJ, CP, RKG), pp. 275–280.
DACDAC-2004-MuttrejaRRJ #automation #energy #megamodelling #performance
Automated energy/performance macromodeling of embedded software (AM, AR, SR, NKJ), pp. 99–102.
DACDAC-2004-OhbaT #design #using
An SoC design methodology using FPGAs and embedded microprocessors (NO, KT), pp. 747–752.
DACDAC-2004-RaviKLMR #design #security
Security as a new dimension in embedded system design (SR, PCK, RBL, GM, AR), pp. 753–760.
DACDAC-2004-YuM
Characterizing embedded applications for instruction-set extensible processors (PY, TM), pp. 723–728.
DACDAC-2004-ZhangDC #distributed #energy #fault tolerance #realtime
Energy-aware deterministic fault tolerance in distributed real-time embedded systems (YZ, RPD, KC), pp. 550–555.
DATEDATE-DF-2004-FummiMPPRT
Heterogeneous Co-Simulation of Networked Embedded Systems (FF, SM, GP, MP, FR, MT), pp. 168–173.
DATEDATE-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.
DATEDATE-DF-2004-LinXW
LZW-Based Code Compression for VLIW Embedded Systems (CHL, YX, WW), pp. 76–81.
DATEDATE-DF-2004-VarmaB #compilation #java
Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems (AV, SSB), pp. 161–167.
DATEDATE-v1-2004-Gordon-RossVD #automation
Automatic Tuning of Two-Level Caches to Embedded Applications (AGR, FV, ND), pp. 208–213.
DATEDATE-v1-2004-HounsellT #synthesis
Co-Processor Synthesis: A New Methodology for Embedded Software Acceleration (BIH, RT), pp. 682–683.
DATEDATE-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.
DATEDATE-v1-2004-ZhangVL #architecture #self
A Self-Tuning Cache Architecture for Embedded Systems (CZ, FV, RLL), pp. 142–147.
DATEDATE-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.
DATEDATE-v2-2004-CrisuCVL #development #framework #named
GRAAL — A Development Framework for Embedded Graphics Accelerators (DC, SC, SV, PL), pp. 1366–1367.
DATEDATE-v2-2004-JersakHE #analysis #design #performance
Context-Aware Performance Analysis for Efficient Embedded System Design (MJ, RH, RE), pp. 1046–1051.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-v2-2004-RizkPW #design #source code
Designing Self Test Programs for Embedded DSP Cores (HR, CAP, FGW), pp. 816–823.
DATEDATE-v2-2004-SbeytiNE #adaptation #multi
Adaptive Prefetching for Multimedia Applications in Embedded Systems (HS, SN, LE), pp. 1350–1351.
DATEDATE-v2-2004-SchattkowskyM #execution #modelling #realtime #specification
Model-Based Specification and Execution of Embedded Real-Time Systems (TS, WM), pp. 1392–1393.
DATEDATE-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.
DATEDATE-v2-2004-UedaSTI #architecture #estimation #performance
Architecture-Level Performance Estimation for IP-Based Embedded Systems (KU, KS, YT, MI), pp. 1002–1007.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-v2-2004-ZhouCK
Profile Guided Management of Code Partitions for Embedded Systems (SZ, BRC, NK), pp. 1396–1399.
ISMMISMM-2004-ChenKVI #analysis #java #optimisation
Field level analysis for heap space optimization in embedded java environments (GC, MTK, NV, MJI), pp. 131–142.
LCTESLCTES-2004-DaveauTLS #framework
A retargetable register allocation framework for embedded processors (JMD, TT, TL, MS), pp. 202–210.
LCTESLCTES-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.
LCTESLCTES-2004-SaputraCBVKI
Code protection for resource-constrained embedded devices (HS, GC, RRB, NV, MTK, MJI), pp. 240–248.
LCTESLCTES-2004-ZhuangP #power management
Power-efficient prefetching via bit-differential offset assignment on embedded processors (XZ, SP), pp. 67–77.
LCTESLCTES-2004-ZhuangZP
Hardware-managed register allocation for embedded processors (XZ, TZ, SP), pp. 192–201.
PDPPDP-2004-AlbrechtHD #multi #network #thread
Cooperative Software Multithreading to Enhance Utilization of Embedded Processors for Network Applications (CA, RH, ACD), pp. 300–307.
PDPPDP-2004-LioupisPS #power of
Exporting Processing Power of Home Embedded Devices to Global Computing Applications (DL, DP, MS), pp. 274–281.
DATEDATE-2005-RissaDL04 #configuration management #evaluation #modelling
Evaluation of SystemC Modelling of Reconfigurable Embedded Systems (TR, AD, WL), pp. 253–258.
CAVCAV-2004-GanaiGA #bound #model checking #modelling #performance
Efficient Modeling of Embedded Memories in Bounded Model Checking (MKG, AG, PA), pp. 440–452.
IJCARIJCAR-2004-MouraORRS #deduction
The ICS Decision Procedures for Embedded Deduction (LMdM, SO, HR, JMR, NS), pp. 218–222.
FMFME-2003-BertBPRV #adaptation #c #source code #specification
Adaptable Translator of B Specifications to Embedded C Programs (DB, SB, MLP, AR, LV), pp. 94–113.
ECOOPECOOP-2003-Gunter #api #security
Open APIs for Embedded Security (CAG), pp. 225–247.
PLDIPLDI-2003-GayLBWBC #approach
The nesC language: A holistic approach to networked embedded systems (DG, PL, JRvB, MW, EAB, DEC), pp. 1–11.
AdaSIGAda-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.
ICSEICSE-2003-RussellJ #architecture #evaluation #performance
Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software (JTR, MFJ), pp. 824–825.
SACSAC-2003-BeattyCGN #interpreter #java
An Optimized Java Interpreter for Connected Devices and Embedded Systems (AB, KC, DG, AN), pp. 692–697.
SACSAC-2003-CarliniB #performance #realtime #representation
An Efficient Time Representation for Real-Time Embedded Systems (AC, GCB), pp. 705–712.
SACSAC-2003-ChandranK #image #retrieval
Image Retrieval With Embedded Region Relationships (SC, NK), pp. 760–764.
SACSAC-2003-CheongLLZ #named #programming
TinyGALS: A Programming Model for Event-Driven Embedded Systems (EC, JL, JL, FZ), pp. 698–704.
SACSAC-2003-CofflandP #evaluation #framework #performance
A Software Framework for Efficient System-level Performance Evaluation of Embedded Systems (JEC, ADP), pp. 666–671.
SACSAC-2003-EngelenWY #validation
Validation of Code-Improving Transformations for Embedded Systems (RvE, DBW, XY), pp. 684–691.
SACSAC-2003-SaliceFVP #architecture #clustering #multi
Partitioning of Embedded Applications onto Heterogeneous Multiprocessor Architectures (FS, WF, LDV, LP), pp. 661–665.
SACSAC-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.
GPCEGPCE-2003-HammondM #domain-specific language #named #realtime
Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
DACDAC-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.
DACDAC-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.
DACDAC-2003-FummiPGPMR #modelling #simulation
A timing-accurate modeling and simulation environment for networked embedded systems (FF, GP, PG, MP, SM, FR), pp. 42–47.
DACDAC-2003-Givargis #reduction
Improved indexing for cache miss reduction in embedded systems (TG), pp. 875–880.
DACDAC-2003-HuangC #framework #using #verification
Using embedded infrastructure IP for SOC post-silicon verification (YH, WTC), pp. 674–677.
DACDAC-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.
DACDAC-2003-JainSD
Embedded intelligent SRAM (PJ, GES, SD), pp. 869–874.
DACDAC-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.
DACDAC-2003-RussellJ #architecture #component #evaluation #performance
Architecture-level performance evaluation of component-based embedded systems (JTR, MFJ), pp. 396–401.
DACDAC-2003-ZhangCKK #interprocedural #optimisation #performance
Interprocedural optimizations for improving data cache performance of array-intensive embedded applications (WZ, GC, MTK, MK), pp. 887–892.
DATEDATE-2003-BernardiRRV #approach #programmable
A P1500-Compatible Programmable BIST Approach for the Test of Embedded Flash Memories (PB, MR, MSR, MV), pp. 10720–10725.
DATEDATE-2003-BertozziRBR #energy #optimisation #performance #protocol
Transport Protocol Optimization for Energy Efficient Wireless Embedded Systems (DB, AR, LB, SR), pp. 10706–10713.
DATEDATE-2003-BlodgetML #approach #configuration management #lightweight
A Lightweight Approach for Embedded Reconfiguration of FPGAs (BB, SM, PL), pp. 10399–10401.
DATEDATE-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.
DATEDATE-2003-ChakrabortyKT #design #framework #platform
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs (SC, SK, LT), pp. 10190–10195.
DATEDATE-2003-DebOJ #analysis #simulation #using
Simulation and Analysis of Embedded DSP Systems Using MASIC Methodology (AKD, , AJ), pp. 11100–11101.
DATEDATE-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.
DATEDATE-2003-GhoshG #design
Analytical Design Space Exploration of Caches for Embedded Systems (AG, TG), pp. 10650–10655.
DATEDATE-2003-GilbertTW #architecture #communication #multi
Communication Centric Architectures for Turbo-Decoding on Embedded Multiprocessors (FG, MJT, NW), pp. 10356–10363.
DATEDATE-2003-HerreraPSV #generative
Systemic Embedded Software Generation from SystemC (FH, HP, PS, EV), pp. 10142–10149.
DATEDATE-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.
DATEDATE-2003-KandemirCZK #scheduling
Data Space Oriented Scheduling in Embedded Systems (MTK, GC, WZ, IK), pp. 10416–10421.
DATEDATE-2003-KodaseWS #constraints #realtime #runtime
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints (SK, SW, KGS), pp. 20170–20175.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2003-MaciiMCZ #algorithm #energy
A New Algorithm for Energy-Driven Data Compression in VLIW Embedded Processors (AM, EM, FC, RZ), pp. 10024–10029.
DATEDATE-2003-MamidipakaD #architecture #memory management #power management #stack
On-chip Stack Based Memory Organization for Low Power Embedded Architectures (MM, NDD), pp. 11082–11089.
DATEDATE-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.
DATEDATE-2003-NicolaescuVN #power management
Reducing Power Consumption for High-Associativity Data Caches in Embedded Processors (DN, AVV, AN), pp. 11064–11069.
DATEDATE-2003-PalermoSZ #architecture
Power-Performance System-Level Exploration of a MicroSPARC2-Based Embedded Architecture (GP, CS, VZ), pp. 20182–20187.
DATEDATE-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.
DATEDATE-2003-RapakaM #analysis #performance
Pre-Characterization Free, Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications (VSPR, DM), pp. 10504–10509.
DATEDATE-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.
DATEDATE-2003-RinnerSW #agile #architecture #flexibility #multi #prototype
Rapid Prototyping of Flexible Embedded Systems on Multi-DSP Architectures (BR, MS, RW), pp. 10204–10211.
DATEDATE-2003-SarlotteCQM
Embedded Software in Digital AM-FM Chipset (MS, BC, JQ, DM), pp. 10340–10343.
DATEDATE-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.
DATEDATE-2003-TanRJ #approach #architecture #energy
Software Architectural Transformations: A New Approach to Low Energy Embedded Software (TKT, AR, NKJ), pp. 11046–11051.
DATEDATE-2003-Tarnick #self
Self-Testing Embedded Checkers for Bose-Lin, Bose, and a Class of Borden Codes (ST), pp. 11162–11163.
DATEDATE-2003-WangMB #integration #modelling
Modeling and Integration of Peripheral Devices in Embedded Systems (SW, SM, RAB), pp. 10136–10141.
DATEDATE-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.
DATEDATE-2003-ZhangC #adaptation #energy #realtime
Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems (YZ, KC), pp. 10918–10925.
LCTESLCTES-2003-AbouGhazalehCMMC #compilation #energy #realtime
Energy management for real-time embedded applications with compiler support (NA, BRC, DM, RGM, MC), pp. 284–293.
LCTESLCTES-2003-AlurIKLS #generative #hybrid #modelling
Generating embedded software from hierarchical hybrid models (RA, FI, JK, IL, OS), pp. 171–182.
LCTESLCTES-2003-AmeurBBPW #analysis #robust
Robustness analysis of avionics embedded systems (YAA, GB, FB, SP, VW), pp. 123–132.
LCTESLCTES-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.
LCTESLCTES-2003-NizR #framework #realtime
Time weaver: a software-through-models framework for embedded real-time systems (DdN, RR), pp. 133–143.
LCTESLCTES-2003-PopEP #clustering #distributed #multi
Schedulability-driven frame packing for multi-cluster distributed embedded systems (PP, PE, ZP), pp. 113–122.
LCTESLCTES-2003-PratapCSP #abstraction
Transport layer abstraction in event channels for embedded systems (RP, RC, DCS, EP), pp. 144–152.
LCTESLCTES-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.
LCTESLCTES-2003-SchultzBCK #compilation #java
Compiling java for low-end embedded systems (UPS, KB, FGC, JLK), pp. 42–50.
LCTESLCTES-2003-SureshNVVS #clustering #hardware #profiling #tool support
Profiling tools for hardware/software partitioning of embedded applications (DCS, WAN, FV, JRV, GS), pp. 189–198.
LCTESLCTES-2003-YuP #collaboration #energy
Energy-balanced task allocation for collaborative processing in networked embedded systems (YY, VKP), pp. 265–274.
LCTESLCTES-2003-ZhaoCS #impact analysis #optimisation #predict
Predicting the impact of optimizations for embedded systems (MZ, BRC, MLS), pp. 1–11.
LCTESLCTES-2003-ZhuangLP #optimisation
Storage assignment optimizations through variable coalescence for embedded processors (XZ, CL, SP), pp. 220–231.
FASEFASE-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.
FATESFATES-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.
CBSECBSE-2002-LarssonWNC #architecture #predict #product line #using
Using Prediction Enabled Technologies for Embedded Product Line Architectures (ML, AW, CN, IC), p. 12.
SCAMSCAM-J-2001-BartoliniP02 #program transformation
A cache-aware program transformation technique suitable for embedded systems (SB, CAP), pp. 783–795.
ICSMEICSM-2002-Knethen #evolution #requirements #traceability
Change-Oriented Requirements Traceability: Support for Evolution of Embedded Systems (AvK), pp. 482–485.
ICSMEICSM-2002-VandewoudeB #component #evolution #runtime
Run-time Evolution for Embedded Component-Oriented Systems (YV, YB), pp. 242–245.
FMFME-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.
CHICHI-2002-FukayamaOMSH #interface
Messages embedded in gaze of interface agents — impression management with agent’s gaze (AF, TO, NM, MS, NH), pp. 41–48.
ICPRICPR-v3-2002-GarciaFRF02a
Optimized Rate Control in Embedded Wavelet Coding (JAG, JFV, RRS, XRFV), pp. 849–854.
ICPRICPR-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.
KRKR-2002-Provan #distributed #framework #modelling
A Model-Based Diagnosis Framework for Distributed Embedded Systems (GMP), pp. 341–352.
AdaEuropeAda-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.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-2002-Boasson #object-oriented
Embedded Systems Unsuitable for Object Orientation (MB), pp. 1–12.
AdaEuropeAdaEurope-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.
PADLPADL-2002-Rhiger #compilation #source code
Compiling Embedded Programs to Byte Code (MR), pp. 120–136.
PLDIPLDI-2002-HenzingerK #predict #realtime
The Embedded Machine: Predictable, Portable Real-Time Code (TAH, CMK), pp. 315–326.
PPDPPPDP-2002-SztipanovitsK #generative #programming
Generative programming for embedded systems (JS, GK), p. 180.
RERE-2002-BeeckBRS #modelling #requirements
Model Based Requirements Engineering for Embedded Software (MvdB, PB, MR, CS), pp. 92–94.
RERE-2002-KonradC #requirements
Requirements Patterns for Embedded Systems (SK, BHCC), pp. 127–136.
ICSEICSE-2002-Knight02a #dependence
Dependability of embedded systems (JCK), pp. 685–686.
SACSAC-2002-FerreiraD #mobile
Blinded-key signatures: securing private keys embedded in mobile agents (LCF, RD), pp. 82–86.
GPCEGPCE-2002-CzarneckiBUE #case study #experience #generative #industrial #programming
Generative Programming for Embedded Software: An Industrial Experience Report (KC, TB, PU, UWE), pp. 156–172.
GPCEGPCE-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.
GPCEGPCE-2002-SztipanovitsK #generative #programming
Generative Programming for Embedded Systems (JS, GK), pp. 32–49.
DACDAC-2002-AbramoviciSE #using
Using embedded FPGAs for SoC yield improvement (MA, CES, ME), pp. 713–724.
DACDAC-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.
DACDAC-2002-ChakrabortyEKT #realtime #scheduling
Schedulability of event-driven code blocks in real-time embedded systems (SC, TE, SK, LT), pp. 616–621.
DACDAC-2002-GharsalliMRJ #automation #generative #memory management #multi
Automatic generation of embedded memory wrapper for multiprocessor SoC (FG, SM, FR, AAJ), pp. 596–601.
DACDAC-2002-KandemirRC #memory management #multi
Exploiting shared scratch pad memory space in embedded multiprocessor systems (MTK, JR, ANC), pp. 219–224.
DACDAC-2002-KayCM
Embedded test control schemes for compression in SOCs (DK, SC, SM), pp. 679–684.
DACDAC-2002-KrsticLCCD #design #self
Embedded software-based self-testing for SoC design (AK, WCL, KTC, LC, SD), pp. 355–360.
DACDAC-2002-LeeP #analysis #design #performance #simulation
Timed compiled-code simulation of embedded software for performance analysis of SOC design (JYL, ICP), pp. 293–298.
DACDAC-2002-LekatsasHJ #design #hardware #performance
Design of an one-cycle decompression hardware for performance increase in embedded systems (HL, JH, VJ), pp. 34–39.
DACDAC-2002-PeymandoustMS #algebra #library #using
Complex library mapping for embedded software using symbolic algebra (AP, GDM, TS), pp. 325–330.
DACDAC-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.
DATEDATE-2002-BeniniBMM #energy
Hardware-Assisted Data Compression for Energy Minimization in Systems with Embedded Processors (LB, DB, AM, EM), pp. 449–453.
DATEDATE-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.
DATEDATE-2002-DupontNR #robust
Embedded Robustness Ips (ED, MN, PR), pp. 244–245.
DATEDATE-2002-EdwardsG #modelling #using
The Modelling of Embedded Systems Using HASoC (MDE, PNG), pp. 752–759.
DATEDATE-2002-Jong #design #realtime #uml
A UML-Based Design Methodology for Real-Time and Embedded Sytems (GGdJ), pp. 776–779.
DATEDATE-2002-KumarMB #testing
IDDT Testing of Embedded CMOS SRAMs (SAK, RZM, DMB), p. 1117.
DATEDATE-2002-Martin #how
How to Choose Semiconductor IP: Embedded Software (GM), p. 16.
DATEDATE-2002-Martin02a #design #motivation #overview #perspective #specification #uml
UML for Embedded Systems Specification and Design: Motivation and Overview (GM), pp. 773–775.
DATEDATE-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.
DATEDATE-2002-Nicolaidis #robust
IP for Embedded Robustness (MN), pp. 240–241.
DATEDATE-2002-NitschK #runtime #using
The Use of Runtime Configuration Capabilities for Networked Embedded Systems (CN, UK), p. 1093.
DATEDATE-2002-Pateras
Embedded Diagnosis IP (SP), pp. 242–243.
DATEDATE-2002-PetrovO #performance
Power Efficient Embedded Processor Ip’s through Application-Specific Tag Compression in Data Caches (PP, AO), pp. 1065–1071.
DATEDATE-2002-PeymandoustSM #algebra #optimisation #power management #using
Low Power Embedded Software Optimization Using Symbolic Algebra (AP, TS, GDM), pp. 1052–1058.
DATEDATE-2002-Phillips #how
How to Choose Semiconductor IP? — Embedded Processor (IP), p. 14.
DATEDATE-2002-PozziVI #automation #identification
Automatic Topology-Based Identification of Instruction-Set Extensions for Embedded Processors (LP, MV, PI), p. 1138.
DATEDATE-2002-RettbergT #design
Embedded System Design Based On Webservices (AR, WT), pp. 232–236.
DATEDATE-2002-SchmitzAE #distributed #energy #scheduling
Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems (MTS, BMAH, PE), pp. 514–521.
DATEDATE-2002-TangGN #power management
Power Savings in Embedded Processors through Decode Filer Cache (WT, RKG, AN), pp. 443–448.
HPCAHPCA-2002-ChenSKVIW #garbage collection #java
Tuning Garbage Collection in an Embedded Java Environment (GC, RS, MTK, NV, MJI, MW), pp. 92–103.
LCTESLCTES-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.
LCTESLCTES-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.
LCTESLCTES-SCOPES-2002-Magarshack #development #industrial #perspective
Systems-on-chip needs for embedded software development: an industrial perspective (PM), p. 1.
LCTESLCTES-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.
LCTESLCTES-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.
TACASTACAS-2002-AmnellFMPY #implementation #modelling #named
TIMES — A Tool for Modelling and Implementation of Embedded Systems (TA, EF, LM, PP, WY), pp. 460–464.
CBSECBSE-2001-GenßlerZ #component #composition
Rule-driven Component Composition for Embedded Systems (TG, CZ), p. 12.
WICSAWICSA-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.
VLDBVLDB-2001-Sol #database #network #ubiquitous
Ambient Intelligence with the Ubiquitous Network, the Embedded Computer Devices and the Hidden Databases (EJS), p. 14.
ICSMEICSM-2001-ChungS #architecture #case study #evolution #semantics
Architecture-Based Semantic Evolution: A Study of Remotely Controlled Embedded Systems (LC, NS), pp. 663–666.
SCAMSCAM-2001-BartoliniP #performance
An Object Level Transformation Technique to Improve the Performance of Embedded Applications (SB, CAP), pp. 26–34.
VISSOFTSVIS-2001-Evstiougov-Babaev #control flow #developer #graph #visualisation
Call Graph and Control Flow Graph Visualization for Developers of Embedded Applications (AAEB), pp. 337–346.
ICMLICML-2001-EngelM #learning #markov #process
Learning Embedded Maps of Markov Processes (YE, SM), pp. 138–145.
UMLUML-2001-LatronicoK #diagrams #formal method #representation #sequence chart
Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.
TOOLSTOOLS-EUROPE-2001-PreeP #architecture #framework #object-oriented
Object-Oriented Framework Architectures for Embedded Systems (WP, AP), pp. 199–200.
AdaEuropeAdaEurope-2001-Rivas #ada #kernel #realtime
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.
FSEESEC-FSE-2001-Jahnke #component
Engineering component-based net-centric systems for embedded applications (JHJ), pp. 218–228.
CCCC-2001-OttoniRARM #source code
Optimal Live Range Merge for Address Register Allocation in Embedded Programs (GO, SR, GA, SR, SM), pp. 274–288.
DACDAC-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.
DACDAC-2001-ChenBD #fault #testing #using
Testing for Interconnect Crosstalk Defects Using On-Chip Embedded Processor Cores (LC, XB, SD), pp. 317–320.
DACDAC-2001-ChoiYLR #industrial #model checking
Model Checking of S3C2400X Industrial Embedded SOC Product (HC, BWY, YTL, HR), pp. 611–616.
DACDAC-2001-Gebotys #memory management
Utilizing Memory Bandwidth in DSP Embedded Processors (CHG), pp. 347–352.
DACDAC-2001-LiuCBK #constraints #power management #scheduling
Power-Aware Scheduling under Timing Constraints for Mission-Critical Embedded Systems (JL, PHC, NB, FJK), pp. 840–845.
DACDAC-2001-LuoJ #distributed #realtime #scheduling
Battery-Aware Static Scheduling for Distributed Real-Time Embedded Systems (JL, NKJ), pp. 444–449.
DACDAC-2001-NandiM #analysis #design #performance
System-Level Power/Performance Analysis for Embedded Systems Design (AN, RM), pp. 599–604.
DACDAC-2001-PetrovO #architecture
Speeding Up Control-Dominated Applications through Microarchitectural Customizations in Embedded Processors (PP, AO), pp. 512–517.
DACDAC-2001-PopEPP #approach #design #distributed #incremental
An Approach to Incremental Design of Distributed Embedded Systems (PP, PE, TP, ZP), pp. 450–455.
DACDAC-2001-RamanujamHKN #memory management #requirements
Reducing Memory Requirements of Nested Loops for Embedded Systems (JR, JH, MTK, AN), pp. 359–364.
DATEDATE-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.
DATEDATE-2001-Doboli #constraints #design #latency
Integrated hardware-software co-synthesis for design of embedded systems under power and latency constraints (AD), pp. 612–619.
DATEDATE-2001-DorschW #logic #testing #using
Using mission logic for embedded testing (RD, HJW), p. 805.
DATEDATE-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.
DATEDATE-2001-GiustoMH #estimation #execution #reliability
Reliable estimation of execution time of embedded software (PG, GM, EAH), pp. 580–589.
DATEDATE-2001-GrunDN #memory management #power management
Access pattern based local memory customization for low power embedded systems (PG, NDD, AN), pp. 778–784.
DATEDATE-2001-JingnanVH #library
A Skill-based library for retargetable embedded analog cores (XJ, JCV, NH), pp. 768–769.
DATEDATE-2001-KulkarniGMCM #layout #multi
Cache conscious data layout organization for embedded multimedia applications (CK, CG, MM, FC, HDM), pp. 686–693.
DATEDATE-2001-PaschalisGKPZ #self
Deterministic software-based self-testing of embedded processor cores (AMP, DG, NK, MP, YZ), pp. 92–96.
DATEDATE-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.
DATEDATE-2001-RoussellePBMV #fault
A register-transfer-level fault simulator for permanent and transient faults in embedded processors (CR, MP, AB, TM, HTV), p. 811.
DATEDATE-2001-SamiSSZZ
Exploiting data forwarding to reduce the power budget of VLIW embedded processors (MS, DS, CS, VZ, RZ), pp. 252–257.
DATEDATE-2001-StaaB #design #roadmap #tutorial
Embedded tutorial: current trends in the design of automotive electronic systems (PvS, TB), pp. 38–39.
DATEDATE-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.
DATEDATE-2001-VareaA #modelling #petri net #specification
Dual transitions petri net based modelling technique for embedded systems specification (MV, BMAH), pp. 566–571.
DATEDATE-2001-ZorianPTTPDSMR #tutorial
Embedded tutorial: TRP: integrating embedded test and ATE (YZ, PP, JPT, ICT, CEP, OPD, JS, PM, WR), pp. 34–37.
LCTESLCTES-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.
LCTESLCTES-OM-2001-CadotKLRS #communication #multi #named
ENSEMBLE: A Communication Layer for Embedded Multi-Processor Systems (SC, FK, KL, KvR, HJS), pp. 56–63.
LCTESLCTES-OM-2001-HenzingerHK #development
Embedded Control Systems Development with Giotto (TAH, BH, CMK), pp. 64–72.
LCTESLCTES-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.
LCTESLCTES-OM-2001-LeeEMC #energy
An Accurate Instruction-Level Energy Consumption Model for Embedded RISC Processors (SL, AE, SLM, NC), pp. 1–10.
LCTESLCTES-OM-2001-MerillonM #framework #hardware
Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language (FM, GM), pp. 121–127.
LCTESLCTES-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.
PDPPDP-2001-SchmidtR #information retrieval #memory management #using
Content-Based Information Retrieval Using an Embedded Neural Associative Memory (MS, UR), pp. 443–450.
SOSPSOSP-2001-PillaiS #operating system #power management #realtime #scalability
Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems (PP, KGS), pp. 89–102.
FASEFASE-J-1998-GrieskampHD01 #component #specification
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components (WG, MH, HD), pp. 31–57.
FoSSaCSFoSSaCS-2001-AmbroiseABR #verification
MARRELLA and the Verification of an Embedded System (DA, PA, KB, BR), pp. 409–412.
CAVCAV-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.
ICLPICLP-2001-OrejasPP #logic programming #semantics #source code
Semantics of Normal Logic Programs with Embedded Implications (FO, EP, EP), pp. 255–268.
IWPCIWPC-2000-JahnkeNW #analysis #automation #component #quality
Automated Quality Analysis of Component Software for Embedded Systems (JHJ, JN, JPW), pp. 18–26.
ICPRICPR-v1-2000-KacemBA
Embedded Formulas Extraction (AK, AB, MBA), pp. 1676–1680.
ICPRICPR-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.
SPLCSPLC-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.
TOOLSTOOLS-EUROPE-2000-BeucheSSS #object-oriented
Streamlining Object-Oriented Software for Deeply Embedded Applications (DB, WSP, OS, US), pp. 33–44.
TOOLSTOOLS-USA-2000-ColbertL #realtime #uml
Building Real-Time Embedded Systems with MetaH and UML [Abstract] (EC, BAL), pp. 445–446.
TOOLSTOOLS-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.
TOOLSTOOLS-USA-2000-LewisCV #evolution
Developing Evolvable, Embedded, Time-Critical Systems with MetaH (BAL, EC, SV), pp. 447–456.
AdaEuropeAdaEurope-2000-MauriS #analysis #reliability #safety #using
Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.
GPCESAIG-2000-ElliottFM #compilation
Compiling Embedded Languages (CE, SF, OdM), pp. 9–27.
SACSAC-2000-BlooHJ #architecture #aspect-oriented #distributed #semantics
Semantical Aspects of an Architecture for Distributed Embedded Systems (RB, JH, EDdJ), pp. 149–155.
CCCC-2000-Kim #compilation #optimisation
Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor (DHK), pp. 173–188.
DACDAC-2000-BeniniMMP #optimisation #synthesis
Synthesis of application-specific memories for power optimization in embedded systems (LB, AM, EM, MP), pp. 300–303.
DACDAC-2000-ChenDSSC #hardware #self
Embedded hardware and software self-testing methodologies for processor cores (LC, SD, PS, KS, YC), pp. 625–630.
DACDAC-2000-ChiouJRD #memory management #using
Application-specific memory management for embedded systems using software-controlled caches (DC, PJ, LR, SD), pp. 416–419.
DACDAC-2000-ChouB #coordination #distributed #optimisation #synthesis
Synthesis and optimization of coordination controllers for distributed embedded systems (PHC, GB), pp. 410–415.
DACDAC-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.
DACDAC-2000-DickLRJ #analysis #operating system
Power analysis of embedded operating systems (RPD, GL, AR, NKJ), pp. 312–315.
DACDAC-2000-HsiehBLS #design #performance
Efficient methods for embedded system design space exploration (HH, FB, LL, ALSV), pp. 607–612.
DACDAC-2000-LekatsasHW #design #power management
Code compression for low power embedded system design (HL, JH, WW), pp. 294–299.
DACDAC-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.
DACDAC-2000-OmnesFC #co-evolution #design #interactive #multi #throughput
Interactive co-design of high throughput embedded multimedia (TJFO, TF, FC), pp. 328–331.
DACDAC-2000-ShinKC #analysis #multi #performance #realtime
Schedulability-driven performance analysis of multiple mode embedded real-time systems (YS, DK, KC), pp. 495–500.
DATEDATE-2000-BergfeldNR #testing #using
Diagnostic Testing of Embedded Memories Using BIST (TJB, DN, EMR), pp. 305–309.
DATEDATE-2000-CarroKWO #multi #synthesis
System Synthesis for Multiprocessor Embedded Applications (LC, MEK, FRW, MO), pp. 697–702.
DATEDATE-2000-HergenhanR #analysis #architecture
Static Timing Analysis of Embedded Software on Advanced Processor Architectures (AH, WR), pp. 552–559.
DATEDATE-2000-IshiharaY #reduction
A Power Reduction Technique with Object Code Merging for Application Specific Embedded Processors (TI, HY), pp. 617–623.
DATEDATE-2000-KimLS #optimisation
Free MDD-Based Software Optimization Techniques for Embedded Systems (CK, LL, ALSV), pp. 14–18.
DATEDATE-2000-NiemegeersJ #incremental #realtime #specification
An Incremental Specification Flow for Real Time Embedded Systems (AN, GGdJ), p. 761.
DATEDATE-2000-PopEP #analysis #distributed #optimisation #scheduling
Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis (PP, PE, ZP), pp. 567–574.
DATEDATE-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.
DATEDATE-2000-Veelenturf #reliability #tool support
The Road to Better Reliability and Yield Embedded DfM Tools (KV), pp. 67–68.
DATEDATE-2000-VermeulenCMV #reuse
Formalized Three-Layer System-Level Reuse Model and Methodology for Embedded Data-Dominated Applications (FV, FC, HDM, DV), pp. 92–98.
DATEDATE-2000-Zorian #scalability #trade-off
Yield Improvement and Repair Trade-Off for Large Embedded Memories (YZ), pp. 69–70.
HPDCHPDC-2000-PlaleS #data flow #named #query #scalability #using
dQUOB: Managing Large Data Flows using Dynamic Embedded Queries (BP, KS), pp. 263–270.
LCTESLCTES-2000-BairagiPA #framework #quality #set
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors (DB, SP, DPA), pp. 81–95.
LCTESLCTES-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.
LCTESLCTES-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.
LCTESLCTES-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.
WICSAWICSA-1999-BartthallR #architecture #design #product line
Architecture Design Recovery of a Family of Embedded Software Systems (LB, PR), pp. 3–14.
CSMRCSMR-1999-RaysideK #deployment #java #library #set
Extracting Java Library Subsets for Deployment on Embedded Systems (DR, KK), pp. 102–110.
ICFPICFP-1999-HughesP #bound #ml #programming #recursion #towards
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming (JH, LP), pp. 70–81.
UMLUML-1999-Herzberg #modelling #realtime #uml
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain (DH), pp. 330–338.
TOOLSTOOLS-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.
AdaEuropeAdaEurope-1999-FornaciariS #co-evolution #design
HW/SW Co-design of Embedded Systems (WF, DS), pp. 344–355.
AdaEuropeAdaEurope-1999-Frost #ada #certification #safety
An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
AdaEuropeAdaEurope-1999-LopezVV #ada #design #hardware #using
Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL (AL, MV, EV), pp. 356–370.
AdaEuropeAdaEurope-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.
PLDIPLDI-1999-CooperM
Enhanced Code Compression for Embedded RISC Processors (KDC, NM), pp. 139–149.
PLDIPLDI-1999-RaoP #optimisation #performance
Storage Assignment Optimizations to Generate Compact and Efficient Code on Embedded DSPs (AR, SP), pp. 128–138.
AdaSIGAda-1999-Lowe #ada #development #multi
Extending Ada to assist multiprocessor embedded development (TL), pp. 125–132.
ASEASE-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.
ESECESEC-FSE-1999-Fierz #component #modelling
The CIP Method: Component- and Model-Based Construction of Embedded Systems (HF), pp. 375–392.
ESECESEC-FSE-1999-ThompsonHM #prototype
Specification-Based Prototyping for Embedded Systems (JMT, MPEH, SPM), pp. 163–179.
DACDAC-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.
DACDAC-1999-ChoiYLPK #design
Exploiting Intellectual Properties in ASIP Designs for Embedded DSP Software (HC, JHY, JYL, ICP, CMK), pp. 939–944.
DACDAC-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.
DACDAC-1999-Fisher
Customized Instruction-Sets for Embedded Processors (JAF), pp. 253–257.
DACDAC-1999-FleischmannBK #java #prototype
Java Driven Codesign and Prototyping of Networked Embedded Systems (JF, KB, RK), pp. 794–797.
DACDAC-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.
DACDAC-1999-Henkel #approach #clustering #hardware #power management
A Low Power Hardware/Software Partitioning Approach for Core-Based Embedded Systems (JH), pp. 122–127.
DACDAC-1999-HuangL #named
ICEBERG: An Embedded In-Circuit Emulator Synthesizer for Microcontrollers (IJH, TAL), pp. 580–585.
DACDAC-1999-NotbauerANR #design #multi #verification
Verification and Management of a Multimillion-Gate Embedded Core Design (JN, TWA, GN, SR), pp. 425–428.
DACDAC-1999-RichterZETT #optimisation #representation #synthesis
Representation of Function Variants for Embedded System Optimization and Synthesis (KR, DZ, RE, LT, JT), pp. 517–522.
DACDAC-1999-SgroiL #petri net #synthesis #using
Synthesis of Embedded Software Using Free-Choice Petri Nets (MS, LL), pp. 805–810.
DACDAC-1999-ShiueC #memory management #power management
Memory Exploration for Low Power, Embedded Systems (WTS, CC), pp. 140–145.
DACDAC-1999-SimunicBM #energy #simulation
Cycle-Accurate Simulation of Energy Consumption in Embedded Systems (TS, LB, GDM), pp. 867–872.
DACDAC-1999-StepnerRH #design #realtime #using
Embedded Application Design Using a Real-Time OS (DS, NR, DH), pp. 151–156.
DATEDATE-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.
DATEDATE-1999-FleischmannBK #component #configuration management #hardware #java
Codesign of Embedded Systems Based on Java and Reconfigurable Hardware Components (JF, KB, RK), pp. 768–769.
DATEDATE-1999-FornaciariSS #encoding
Influence of Caching and Encoding on Power Dissipation of System-Level Buses for Embedded Systems (WF, DS, CS), pp. 762–763.
DATEDATE-1999-Leupers #code generation
Exploiting Conditional Instructions in Code Generation for Embedded VLIW Processors (RL), p. 105–?.
DATEDATE-1999-MoserN #case study
Case Study: System Model of Crane and Embedded Control (EM, WN), p. 721.
DATEDATE-1999-NikolosVHT #fault #testing
Path Delay Fault Testing of ICs with Embedded Intellectual Property Blocks (DN, HTV, TH, YT), pp. 112–116.
DATEDATE-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.
DATEDATE-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–?.
DATEDATE-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.
HPDCHPDC-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.
LCTESLCTES-1999-Engblom #benchmark #metric #tool support #why
Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools (JE), pp. 96–103.
LCTESLCTES-1999-KangGGHS #design #distributed #synthesis
A Software Synthesis Tool for Distributed Embedded System Design (DIK, RG, LG, JKH, MS), pp. 87–95.
LCTESLCTES-1999-KimCKS #garbage collection #realtime #scheduling
Scheduling Garbage Collector for Embedded Real-Time Systems (TK, NC, NK, HS), pp. 55–64.
LCTESLCTES-1999-Persson #analysis #garbage collection #memory management
Live Memory Analysis for Garbage Collection in Embedded Systems (PP), pp. 45–54.
LCTESLCTES-1999-Ryu #challenge
Issues and Challenges in Developing Embedded Software for Information Appliances and Telecommunication Terminals (IR), pp. 104–120.
LCTESLCTES-1999-RyuPKSH #performance #re-engineering #realtime
Performance Re-engineering of Embedded Real-Time Systems (MR, JP, KK, YS, SH), pp. 80–86.
LCTESLCTES-1999-TomoyoshiK #realtime
Table-based QoS Control for Embedded Real-Time Systems (TS, KT), pp. 65–72.
PDPPDP-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.
FoSSaCSFoSSaCS-1999-ArruabarrenaLN #logic programming
A Strong Logic Programming View for Static Embedded Implications (RA, PL, MN), pp. 56–72.
TACASTACAS-1999-BakhmurovKS #analysis #design #named
DYANA: An Environment for Embedded System Design and Analysis (AGB, APK, RLS), pp. 390–404.
ICTSSIWTCS-1999-LatvakoskiH #communication #protocol #simulation #testing
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems (JL, HH), pp. 379–394.
ICTSSIWTCS-1999-YevtushenkoCA #finite #nondeterminism #state machine #testing
Test Suite Minimization for Embedded Nondeterministic Finite State Machines (NY, ARC, RA), pp. 237–250.
AdaEuropeAdaEurope-1998-Gasperoni
Embedded Opportunities (FG), pp. 1–13.
AdaSIGAda-1998-LeifL #ada
Ada in Embedded Boards for Scientific and Medical Instruments (RCL, SBL), pp. 114–120.
REFSQREFSQ-1998-MaseraM #challenge #requirements
Dependable Embedded Systems: The Challenges for Requirements Engineering (MM, PM), pp. 187–192.
DACDAC-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.
DACDAC-1998-ChouB #composition #distributed #process #towards
Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems (PHC, GB), pp. 88–93.
DACDAC-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.
DACDAC-1998-DasdanRG #realtime
Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems (AD, DR, RKG), pp. 263–268.
DACDAC-1998-HinesB #design #distributed #framework #validation
A Geographically Distributed Framework for Embedded System Design and Validation (KH, GB), pp. 140–145.
DACDAC-1998-HongBLS
Don’t Care-Based BDD Minimization for Embedded Software (YH, PAB, LL, ES), pp. 506–509.
DACDAC-1998-KalavadeM #estimation #performance
A Tool for Performance Estimation of Networked Embedded End-systems (AK, PM), pp. 257–262.
DACDAC-1998-KarkowskiC #algorithm #design #multi
Design Space Exploration Algorithm for Heterogeneous Multi-Processor Embedded System Design (IK, HC), pp. 82–87.
DACDAC-1998-LekatsasW
Code Compression for Embedded Systems (HL, WW), pp. 516–521.
DACDAC-1998-LiH #energy #estimation #framework
A Framework for Estimation and Minimizing Energy Dissipation of Embedded HW/SW Systems (YL, JH), pp. 188–193.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-1998-PandaDN
Data Cache Sizing for Embedded Processor Applications (PRP, NDD, AN), pp. 925–926.
DATEDATE-1998-WehnH #architecture #trade-off
Embedded DRAM Architectural Trade-Offs (NW, SH), pp. 704–708.
LCTESLCTES-1998-AnantharamanP #clustering #memory management #performance
An Efficient Data Partitioning Method for Limited Memory Embedded Systems (SA, SP), pp. 108–222.
LCTESLCTES-1998-AroraS #debugging #realtime
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems (GA, DBS), pp. 83–97.
LCTESLCTES-1998-Balarin #realtime
Priority Assignment for Embedded Reactive Real-Time Systems (FB), pp. 146–155.
LCTESLCTES-1998-Campbell #architecture
Evaluating ASIC, DSP, and RISC Architectures for Embedded Applications (MC), p. 261.
LCTESLCTES-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.
LCTESLCTES-1998-RamseyD #tool support
Machine Descriptions to Build Tools for Embedded Systems (NR, JWD), pp. 176–192.
PDPPDP-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.
PDPPDP-1998-Bass #design #towards
Proposals toward an integrated design environment for complex embedded systems (JMB), pp. 273–278.
PDPPDP-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.
FASEFASE-1998-BussowGK #case study #safety #specification
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study (RB, RG, MK), pp. 71–87.
FASEFASE-1998-GrieskampHD #component #specification
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components (WG, MH, HD), pp. 88–106.
STOCSTOC-1998-PeinadoL #generative #graph #random
Random Generation of Embedded Graphs and an Extension to Dobrushin Uniqueness (MP, TL), pp. 176–185.
ICTSSIWTCS-1998-ZhuVC #evaluation #test coverage #testing
Evaluation of Test Coverage for Embedded System Testing (JZ, STV, STC), pp. 111–126.
LICSLICS-1998-BaldwinB #finite #modelling #order
Embedded Finite Models, Stability Theory and the Impact of Order (JTB, MB), pp. 490–500.
TOOLSTOOLS-USA-1997-IkedaMKKNI #object-oriented
Applying Object-Oriented Technology to Embedded Software (NI, KM, YK, TK, HN, MI), pp. 6–15.
ASEASE-1997-SetliffSM #design #distributed #towards
Towards a Design Assistant for Distributed Embedded Systems (DES, JKS, JAM), pp. 311–312.
ICSEICSE-1997-EixelsbergerWKG #architecture
Software Architecture Recovery of Embedded Software (WE, LW, RK, HG), pp. 558–559.
DACDAC-1997-AgrawalG #behaviour #clustering #data flow
Data-Flow Assisted Behavioral Partitioning for Embedded Systems (SA, RKG), pp. 709–712.
DACDAC-1997-BalarinS #realtime #validation
Schedule Validation for Embedded Reactive Real-Time Systems (FB, ALSV), pp. 52–57.
DACDAC-1997-DaveLJ #named
COSYN: Hardware-Software Co-Synthesis of Embedded Systems (BPD, GL, NKJ), pp. 703–708.
DACDAC-1997-HinesB #communication #modelling
Dynamic Communication Models in Embedded System Co-Simulation (KH, GB), pp. 395–400.
DACDAC-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.
DACDAC-1997-MalikML #analysis
Static Timing Analysis of Embedded Software (SM, MM, YTSL), pp. 147–152.
DACDAC-1997-SambandamH #architecture #behaviour #design #predict #realtime
Predicting Timing Behavior in Architectural Design Exploration of Real-Time Embedded Systems (RSS, XH), pp. 157–160.
DACDAC-1997-ShacklefordYOKTY #design #optimisation
Memory-CPU Size Optimization for Embedded System Designs (BS, MY, EO, HK, HT, HY), pp. 246–251.
DATEEDTC-1997-AbdullaRK #multi
A scheme for multiple on-chip signature checking for embedded SRAMs (MFA, CPR, AK), p. 625.
DATEEDTC-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.
DATEEDTC-1997-LiemPJ #design #named
ReCode: the design and re-design of the instruction codes for embedded instruction-set processors (CL, PGP, AAJ), p. 612.
DATEEDTC-1997-PandaDN #memory management #performance
Efficient utilization of scratch-pad memory in embedded processor applications (PRP, NDD, AN), pp. 7–11.
DATEEDTC-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.
TAPSOFTTAPSOFT-1997-PhillipsS #composition #specification
Compositional Specification of Embedded Systems with Statecharts (JP, PS), pp. 637–651.
CAVCAV-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.
ICLPICLP-1997-Petukhin
Embedded Implications as a Generalization of Negation as Failure (VP), p. 420.
HTHT-1996-GronbaekT #hypermedia #towards
Toward a Dexter-Based Model for Open Hypermedia: Unifying Embedded References and Link Objects (KG, RHT), pp. 149–160.
WCREWCRE-1996-LewisM #framework #parallel #platform #re-engineering #realtime
Reengineering Real-Time Embedded Software onto a Parallel Processing Platform (BL, DJM), p. 11–?.
FMFME-1996-ArnoldBR #debugging #formal method #using
An Example of Use of Formal Methods to Debug an Embedded Software (AA, DB, JPR), pp. 649–661.
FMFME-1996-Jackson #case study #experience #scheduling
Experiences in Embedded Scheduling (DMJ), pp. 445–464.
AdaEuropeAdaEurope-1996-MundieFK #implementation
Implementing Protected Types on Embedded Targets (DM, JF, EK), pp. 287–297.
POPLPOPL-1996-FegarasS #data type #morphism #source code
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (LF, TS), pp. 284–294.
AdaTRI-Ada-1996-MeyerR #design #safety
Design and Test Strategies for a Safety-Critical Embedded Executive (CAM, MGR), pp. 29–37.
DACDAC-1996-BalarinHJLS #network #verification
Formal Verification of Embedded Systems based on CFSM Networks (FB, HH, AJ, LL, ALSV), pp. 568–571.
DACDAC-1996-Gupta #analysis #constraints #execution
Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems (RKG), pp. 601–604.
DACDAC-1996-VercauterenLM #architecture
Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications (SV, BL, HDM), pp. 521–526.
DACDAC-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.
FPCAFPCA-1995-WallaceR #architecture #functional #programming
λs in the Liftshaft — Functional Programming and an Embedded Architecture (MW, CR), pp. 249–258.
DACDAC-1995-ChiodoGJLHSSS #source code #synthesis
Synthesis of Software Programs for Embedded Control Applications (MC, PG, AJ, LL, HH, KS, ALSV, ES), pp. 587–592.
DACDAC-1995-ChouB #fine-grained #scheduling
Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems (PHC, GB), pp. 462–467.
DACDAC-1995-LiaoDKTW #optimisation
Code Optimization Techniques for Embedded DSP Microprocessors (SYL, SD, KK, SWKT, ARW), pp. 599–604.
DACDAC-1995-LiM #analysis #performance #using
Performance Analysis of Embedded Software Using Implicit Path Enumeration (YTSL, SM), pp. 456–461.
LCTESLCT-RTS-1995-LiM #analysis #performance #using
Performance Analysis of Embedded Software Using Implicit Path Enumeration (YTSL, SM), pp. 88–98.
LCTESLCT-RTS-1995-Wilner #comprehension #named #realtime #visualisation
WindView: A Tool for Understanding Real-time Embedded Software Through System Visualization (DW), pp. 117–123.
AdaTRI-Ada-1994-GreeneL #cpu #migration
Embedded CPU Target Migration, Doing More With Less (RG, GL), pp. 429–436.
REICRE-1994-White #analysis #comparative #requirements
Comparative analysis of embedded computer system requirements methods (SMW), pp. 126–134.
ICSEICSE-1994-Vardanega #ada #development #experience #realtime
Experience with the Development of Hard Real-Time Embedded Ada Software (TV), pp. 301–308.
DATEEDAC-1994-EdwardsF #development #hardware
A Development Environment for the Cosynthesis of Embedded Software/Hardware Systems (ME, JF), pp. 469–473.
PDPPDP-1994-CiccarellaP #architecture #distributed
A Distributed System Architecture For Embedded Control Systems (GC, FP), pp. 392–399.
HCIHCI-SHI-1993-Kakola #comprehension #coordination
Doing by Understanding: Embedded Systems for Understanding Coordinated Work (TK), pp. 973–978.
CAiSECAiSE-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.
AdaTRI-Ada-1993-KoehnemannL #debugging #testing #tool support #towards
Towards Target-Level Testing and Debugging Tools for Embedded Software (HK, TEL), pp. 288–298.
RERE-1993-Lutz #fault #requirements #safety
Analyzing software requirements errors in safety-critical, embedded systems (RRL), pp. 126–133.
CHICHI-1992-HoppeS #information retrieval #modelling #towards
Towards Task Models for Embedded Information Retrieval (HUH, FS), pp. 173–180.
TOOLSTOOLS-EUROPE-1992-BlakN #object-oriented #tool support
OO Methods and Tools for Embedded Applications, The Mjolner BETA System (LB, JN), pp. 359–367.
AdaEuropeAdaEurope-1992-Maymir-Ducharme #ada #migration #realtime
Porting Embedded Real-Time Ada Software (FAMD), pp. 92–103.
AdaTRI-Ada-C-1992-BarlinL #effectiveness #realtime #reuse
Effective Software Reuse in an Embedded Real-Time System (BB, JML), pp. 281–287.
AdaTRI-Ada-C-1992-Moore92a #ada #sql
Minimizing the Disadvantages of Embedded SQL/Ada (JWM), pp. 407–414.
AdaTRI-Ada-T1-1992-Rogers #ada #programming #realtime
Embedded/Real-Time Programming in Ada (PR), pp. 105–260.
DACDAC-1992-Gebotys #scheduling
Optimal Scheduling and Allocation of Embedded VLSI Chips (CHG), pp. 116–119.
SIGMODSIGMOD-1991-Neugebauer #database #evaluation #optimisation #query
Optimization and Evaluation of Database Queries Including Embedded Interpolation Procedures (LN), pp. 118–127.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-1991-LippensA #realtime #scalability #testing
Testing and Integrating a Large Embedded Real-Time System (JML, JA), pp. 404–411.
ICTSSIWPTS-1991-CorbiS #protocol #testing
Common Abstract Test Suite for the Connection Oriented Presentation Protocol Embedded Under Different Application Contexts (CC, GS), pp. 143–149.
CSEETSEI-1990-ReedD #re-engineering
An Undergraduate Software Engineering Major Embedded in a Computer Systems Engineering Degree (KR, TSD), pp. 49–66.
FPCAFPCA-1989-Mauny #functional #parsing
Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages (MM), pp. 360–370.
CAiSECAiSE-1989-HakkarainenIO #analysis #knowledge-based
A Knowledge-Based Support System for Embedded Computer Software Analysis (KH, TI, MO).
CAiSECAiSE-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).
ICMLML-1989-Kaelbling #framework #learning
A Formal Framework for Learning in Embedded Systems (LPK), pp. 350–353.
ICMLML-1989-Kokar #concept
Concept Discovery Through Utilization of Invariance Embedded in the Description Language (MMK), pp. 478–479.
OOPSLAOOPSLA-1989-Barry #prototype #realtime #smalltalk
Prototyping a Real-Time Embedded System in Smalltalk (BMB), pp. 255–265.
CSEETSEI-1988-LaviW #analysis #industrial #requirements #specification
Embedded Computer Systems. Requirements Analysis & Specification — An Industrial Course (JZL, MW), pp. 81–105.
PODSPODS-1987-Gottlob #dependence #functional
Computing Covers for Embedded Functional Dependencies (GG), pp. 58–69.
VLDBVLDB-1987-ChristensenZ #comparison #database #self
A Comparison of Self-Contained and Embedded Database Languages (AC, TUZ), pp. 209–216.
ESECESEC-1987-HennellHR #automation #realtime #testing
Automated Testing Techniques for Real-Time Embedded Software (MAH, DH, IJR), pp. 244–253.
PODSPODS-1985-Gyssens #dependence
Embedded Join Dependencies as a Tool for Decomposing Full Join Dependencies (MG), pp. 205–214.
ICSEICSE-1985-ShimizuS #automation #multi #realtime #source code
Automatic Tuning of Multi-Task Programs for Real-Time Embedded Systems (TS, KS), pp. 350–357.
POPLPOPL-1983-NagleJ #automation #proving #realtime #verification
Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software (JN, SJ), pp. 48–58.
ICSEICSE-1982-RudmikCC #consistency #design
Consistency Checking within Embedded Design Languages (AR, BEC, HC), pp. 236–245.
ICSEICSE-1981-ZaveY #execution #requirements
Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.
STOCSTOC-1981-ChandraLM #dependence #problem
Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.
SIGMODSIGMOD-1980-ParkerP #dependence #multi #transitive
Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies (DSPJ, KPG), pp. 52–57.
LISPLISP-1980-EmanuelsonH #compilation #lisp #on the
On Compiling Embedded Languages in LISP (PE, AH), pp. 208–215.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.