BibSLEIGH — embed stem

Used together with:

system (625)
time (216)
softwar (208)
base (167)
real (160)

Stem embed$ (all stems)

1449 papers:

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