BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (625)
time (216)
softwar (208)
base (167)
real (160)

Stem embed$ (all stems)

1449 papers:

QoSAQoSA-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.
DACDAC-2015-CavigelliMB #embedded #network #realtime
Accelerating real-time embedded scene labeling with convolutional networks (LC, MM, LB), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2015-LukasiewyczSS #design #embedded #performance
Efficient design space exploration of embedded platforms (ML, FS, SS), p. 6.
DACDAC-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.
DACDAC-2015-SantosVK #adaptation #configuration management #embedded #reliability
Dynamically adaptive scrubbing mechanism for improved reliability in reconfigurable embedded systems (RS, SV, AK), p. 6.
DACDAC-2015-ShreejithF #embedded #generative #network #security
Security aware network controllers for next generation automotive embedded systems (SS, SAF), p. 6.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-2015-KyrtatasSP #algebra #compilation #embedded #linear
A basic linear algebra compiler for embedded processors (NK, DGS, MP), pp. 1054–1059.
DATEDATE-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.
DATEDATE-2015-PeemenMC #embedded #optimisation #reuse
Inter-tile reuse optimization applied to bandwidth constrained embedded accelerators (MP, BM, HC), pp. 169–174.
DATEDATE-2015-PhilippeCBP #algorithm #design #embedded
Exploration and design of embedded systems including neural algorithms (JMP, AC, OB, MP), pp. 986–991.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2015-AlexandrovKKSTK #parallel
Implicit Parallelism through Deep Language Embedding (AA, AK, AK, FS, LT, OK, TH, VM), pp. 47–61.
TACASTACAS-2015-AledoE #contest #embedded #framework #verification
FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.
MSRMSR-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.
STOCSTOC-2015-AndoniKR #sketching
Sketching and Embedding are Equivalent for Norms (AA, RK, IPR), pp. 479–488.
STOCSTOC-2015-ElkinFN #metric
Prioritized Metric Structures and Embedding (ME, AF, ON), pp. 489–498.
ICALPICALP-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.
ICGTICGT-2015-CorradiniDEPR #algebra #graph grammar #named
AGREE — Algebraic Graph Rewriting with Controlled Embedding (AC, DD, RE, FP, LR), pp. 35–51.
ICGTICGT-2015-Horn #clojure #domain-specific language #embedded #graph #pattern matching
Graph Pattern Matching as an Embedded Clojure DSL (TH), pp. 189–204.
CHICHI-2015-KimGMM #interactive #multi #named
RIMES: Embedding Interactive Multimedia Exercises in Lecture Videos (JK, ELG, AMH, MRM), pp. 1535–1544.
CHICHI-2015-RamakersTL #approach #design #named
PaperPulse: An Integrated Approach for Embedding Electronics in Paper Designs (RR, KT, KL), pp. 2457–2466.
HCIHCI-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.
ICEISICEIS-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.
ICMLICML-2015-AmidU #learning #multi
Multiview Triplet Embedding: Learning Attributes in Multiple Maps (EA, AU), pp. 1472–1480.
ICMLICML-2015-KusnerSKW #documentation #word
From Word Embeddings To Document Distances (MJK, YS, NIK, KQW), pp. 957–966.
ICMLICML-2015-PiechHNPSG #feedback #learning #student
Learning Program Embeddings to Propagate Feedback on Student Code (CP, JH, AN, MP, MS, LJG), pp. 1093–1102.
ICMLICML-2015-TraskGR #modelling #order #scalability #word
Modeling Order in Neural Word Embeddings at Scale (AT, DG, MR), pp. 2266–2275.
ICMLICML-2015-YiCP #algorithm #performance
Binary Embedding: Fundamental Limits and Fast Algorithm (XY, CC, EP), pp. 2162–2170.
KDDKDD-2015-ChangHTQAH #architecture #network
Heterogeneous Network Embedding via Deep Architectures (SC, WH, JT, GJQ, CCA, TSH), pp. 119–128.
KDDKDD-2015-JohanssonD #geometry #graph #learning #similarity #using
Learning with Similarity Functions on Graphs using Matchings of Geometric Embeddings (FDJ, DPD), pp. 467–476.
KDDKDD-2015-TangQM #named #network #predict #scalability
PTE: Predictive Text Embedding through Large-scale Heterogeneous Text Networks (JT, MQ, QM), pp. 1165–1174.
SEKESEKE-2015-SalehianF #detection #embedded #monitoring #realtime
Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.
SIGIRSIGIR-2015-GangulyRMJ #information retrieval #word
Word Embedding based Generalized Language Model for Information Retrieval (DG, DR, MM, GJFJ), pp. 795–798.
SIGIRSIGIR-2015-GrbovicDRSB #query
Context- and Content-aware Embeddings for Query Rewriting in Sponsored Search (MG, ND, VR, FS, NB), pp. 383–392.
SIGIRSIGIR-2015-LiLLDY #image #semantics
Zero-shot Image Tagging by Hierarchical Semantic Embedding (XL, SL, WL, XD, GY), pp. 879–882.
SIGIRSIGIR-2015-VulicM #information retrieval #modelling #word
Monolingual and Cross-Lingual Information Retrieval Models Based on (Bilingual) Word Embeddings (IV, MFM), pp. 363–372.
ECMFAECMFA-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.
MoDELSMoDELS-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.
OOPSLAOOPSLA-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.
GPCEGPCE-2015-LeissaBHMS #domain-specific language #online #partial evaluation
Shallow embedding of DSLs via online partial evaluation (RL, KB, SH, RM, PS), pp. 11–20.
GPCEGPCE-2015-ScherrC #domain-specific language #embedded #staged
Almost first-class language embedding: taming staged embedded DSLs (MS, SC), pp. 21–30.
REFSQREFSQ-2015-DaunWP #detection #embedded #requirements
Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems (MD, TW, KP), pp. 65–80.
REFSQREFSQ-2015-HarbersDN #process #requirements
Embedding Stakeholder Values in the Requirements Engineering Process (MH, CD, MAN), pp. 318–332.
SACSAC-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.
SACSAC-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.
ICSEICSE-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.
SPLCSPLC-2015-JiBAC #embedded #maintenance #traceability
Maintaining feature traceability with embedded annotations (WJ, TB, MA, KC), pp. 61–70.
CGOCGO-2015-PallisterEH #embedded #energy #optimisation #trade-off
Optimizing the flash-RAM energy trade-off in deeply embedded systems (JP, KE, SJH), pp. 115–124.
LCTESLCTES-2015-StilkerichLES #analysis #embedded #realtime
A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems (IS, CL, CE, MS), p. 11.
ICLPICLP-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.
ICSTICST-2015-Holleis #development #embedded #industrial #testing #workflow
Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.
ICSTICST-2015-Oriol #embedded #legacy #re-engineering #testing
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.
ICSTICST-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.
TLCATLCA-2015-Assaf #π-calculus
Conservativity of Embeddings in the λ π Calculus Modulo Rewriting (AA0), pp. 31–44.
CBSECBSE-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.
ECSAECSA-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.
DACDAC-2014-AgostaBPS #approach #embedded #encryption #execution #multi
A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
DACDAC-2014-Chandra #embedded #monitoring #multi #perspective #reliability
Monitoring Reliability in Embedded Processors — A Multi-layer View (VC), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2014-KongKPSW #embedded #framework #named #novel
PUFatt: Embedded Platform Attestation Based on Novel Processor-Based PUFs (JK, FK, PKP, ARS, CW), p. 6.
DACDAC-2014-KuanCHL #database #embedded #multi
Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
DACDAC-2014-LeeL #embedded #runtime
Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DATEDATE-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.
DATEDATE-2014-Braak #adaptation #embedded #scalability #using
Using guided local search for adaptive resource reservation in large-scale embedded systems (TDtB), pp. 1–4.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-Fuller #challenge #design #embedded #generative
System design challenges for next generation wireless and embedded systems (DF), p. 1.
DATEDATE-2014-GrafGTL #design #embedded #multi
Multi-variant-based design space exploration for automotive embedded systems (SG, MG, JT, CL), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-KufelWHAWM #embedded
Clock-modulation based watermark for protection of embedded processors (JK, PRW, SH, BMAH, PNW, JM), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-LiuW #configuration management #design #embedded #logic #obfuscation
Embedded reconfigurable logic for ASIC design obfuscation against supply chain attacks (BL, BW), pp. 1–6.
DATEDATE-2014-MembarthRHT #android #architecture #code generation #embedded
Code generation for embedded heterogeneous architectures on android (RM, OR, FH, JT), pp. 1–6.
DATEDATE-2014-NikitakisPP #embedded #novel
A novel embedded system for vision tracking (AN, TP, IP), pp. 1–4.
DATEDATE-2014-WanK #embedded
An embedded offset and gain instrument for OpAmp IPs (JW, HGK), pp. 1–4.
SANERCSMR-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.
ICSMEICSME-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.
STOCSTOC-2014-ElberfeldK #bound #graph
Embedding and canonizing graphs of bounded genus in logspace (ME, KiK), pp. 383–392.
DLTDLT-2014-DickyJ #finite #infinity #word
Embedding Finite and Infinite Words into Overlapping Tiles — (Short Paper) (AD, DJ), pp. 339–347.
ICALPICALP-v1-2014-NelsonN #bound
Lower Bounds for Oblivious Subspace Embeddings (JN, HLN), pp. 883–894.
IFMIFM-2014-PatcasLM #embedded
A Separation Principle for Embedded System Interfacing (LMP, ML, TSEM), pp. 373–388.
ICFPICFP-2014-GibbonsW #domain-specific language #functional
Folding domain-specific languages: deep and shallow embeddings (functional Pearl) (JG, NW), pp. 339–347.
ICFPICFP-2014-HickeyPEBL #domain-specific language #embedded
Building embedded systems with embedded DSLs (PCH, LP, TE, JB, JL), pp. 3–9.
IFLIFL-2014-AronssonAS #domain-specific language #embedded
Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
HCIDHM-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.
HCIHIMI-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.
AdaEuropeAdaEurope-2014-Shawky #challenge #design #embedded #framework
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems (MS), pp. 7–10.
AdaEuropeAdaEurope-2014-ZhouLL #approach #embedded #requirements #safety #validation
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.
HILTHILT-2014-SzaboVKRS #development #embedded #named
mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
ICEISICEIS-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.
ICMLICML-c2-2014-JohanssonJDB #geometry #graph #kernel #using
Global graph kernels using geometric embeddings (FJ, VJ, DPD, CB), pp. 694–702.
ICMLICML-c2-2014-TeradaL
Local Ordinal Embedding (YT, UvL), pp. 847–855.
ICMLICML-c2-2014-WestonWY
Affinity Weighted Embedding (JW, RJW, HY), pp. 1215–1223.
ICMLICML-c2-2014-YangPK #equivalence #optimisation
Optimization Equivalence of Divergences Improves Neighbor Embedding (ZY, JP, SK), pp. 460–468.
ICMLICML-c2-2014-YuKGC
Circulant Binary Embedding (FXY, SK, YG, SFC), pp. 946–954.
ICPRICPR-2014-GaoRKL #documentation
Embedding Document Structure to Bag-of-Words through Pair-wise Stable Key-Regions (HG, MR, DK, JL), pp. 2903–2908.
ICPRICPR-2014-HuangHWW #clustering #network
Deep Embedding Network for Clustering (PH, YH, WW, LW), pp. 1532–1537.
ICPRICPR-2014-HuangW0T #framework #network
A General Nonlinear Embedding Framework Based on Deep Neural Network (YH, WW, LW, TT), pp. 732–737.
ICPRICPR-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.
ICPRICPR-2014-XuWH #estimation
Curvature Estimation for Ricci Flow Embedding (EX, RCW, ERH), pp. 1562–1567.
KDDKDD-2014-KurashimaITS #network #probability #visualisation
Probabilistic latent network visualization: inferring and embedding diffusion networks (TK, TI, NT, HS), pp. 1236–1245.
KDDKDD-2014-TayebiEGB #embedded #learning #predict #using
Spatially embedded co-offence prediction using supervised learning (MAT, ME, UG, PLB), pp. 1789–1798.
KEODKEOD-2014-AndreasenN #embedded #knowledge base #logic #ontology
A Case for Embedded Natural Logic for Ontological Knowledge Bases (TA, JFN), pp. 423–427.
RecSysRecSys-2014-SaveskiM #learning #recommendation
Item cold-start recommendations: learning local collective embeddings (MS, AM), pp. 89–96.
SEKESEKE-2014-QueirozB #approach #embedded #modelling #product line
A Critical Embedded System Product Line Model-based Approach (PGGQ, RTVB), pp. 71–75.
SIGIRSIGIR-2014-ZhangKQH #detection #semantics #word
Continuous word embeddings for detecting local text reuses at the semantic level (QZ, JK, JQ, XH), pp. 797–806.
MODELSMoDELS-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.
MODELSMoDELS-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.
ECOOPECOOP-2014-ScherrC #staging
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding (MS, SC), pp. 385–410.
GPCEGPCE-2014-JovanovicSSNKO #domain-specific language #named
Yin-yang: concealing the deep embedding of DSLs (VJ, AS, SS, VN, CK, MO), pp. 73–82.
GPCEGPCE-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.
PADLPADL-2014-Clifton-EverestMCK
Embedding Foreign Code (RCE, TLM, MMTC, GK), pp. 136–151.
POPLPOPL-2014-SwamyFRBCSB #embedded #javascript #type system
Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
RERE-2014-Zhou #development #embedded #realtime #requirements
Requirements development and management of embedded real-time systems (JZ), pp. 479–484.
SACSAC-2014-DouglasL #database #embedded #named #sql
LittleD: a SQL database for sensor nodes and embedded applications (GD, RL), pp. 827–832.
SACSAC-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.
SACSAC-2014-MartorellFRV #adaptation #embedded
Improving adaptiveness of AUTOSAR embedded applications (HM, JCF, MR, RV), pp. 384–390.
SACSAC-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.
FSEFSE-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.
FSEFSE-2014-NguyenKN #embedded #graph #web
Building call graphs for embedded client-side code in dynamic web applications (HVN, CK, TNN), pp. 518–529.
HPDCHPDC-2014-MittalVL #embedded #energy #performance
Improving energy efficiency of embedded DRAM caches for high-end computing systems (SM, JSV, DL), pp. 99–110.
ICSTICST-2014-WeisslederS #embedded #evaluation #modelling #testing
An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
ICSTICST-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.
ICTSSICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named #testing
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSSICTSS-2014-ChabotP #embedded #framework #hardware #monitoring
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
ICTSSICTSS-2014-DoganayEAB #embedded #search-based #testing
Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
LICSLICS-CSL-2014-KreutzerS #on the
On Hanf-equivalence and the number of embeddings of small induced subgraphs (SK, NS), p. 10.
CBSECBSE-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.
ASEASE-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.
ASEASE-2013-NejatiABHBC #cpu #embedded #risk management
Minimizing CPU time shortage risks in integrated embedded software (SN, MA, LCB, JH, JB, YC), pp. 529–539.
CASECASE-2013-CuiVM #adaptation #architecture #embedded #named #self
ReFrESH: A self-adaptive architecture for autonomous embedded systems (YC, RMV, MHM), pp. 850–855.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2013-RellermeyerLK #embedded #operating system
Cloud platforms and embedded computing: the operating systems of the future (JSR, SWL, MK), p. 6.
DACDAC-2013-ZhangGQ #embedded #energy #performance #scheduling
Improving charging efficiency with workload scheduling in energy harvesting embedded systems (YZ, YG, QQ), p. 8.
DACDAC-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.
DACDAC-2013-ZhengHB #array #embedded #named #physics #robust
RESP: a robust physical unclonable function retrofitted into embedded SRAM array (YZ, MH, SB), p. 9.
DATEDATE-2013-BernardiBSRB #embedded #fault #identification #online
On-line functionally untestable fault identification in embedded processor cores (PB, MB, ES, MSR, OB), pp. 1462–1467.
DATEDATE-2013-BraojosAA #classification #embedded #random #using
A methodology for embedded classification of heartbeats using random projections (RB, GA, DA), pp. 899–904.
DATEDATE-2013-ChenLSCCAN #embedded #modelling #synthesis
High-level modeling and synthesis for embedded FPGAs (XC, SL, JS, TC, AC, GA, TGN), pp. 1565–1570.
DATEDATE-2013-CoppolaFGK #embedded #manycore
From embedded multi-core SoCs to scale-out processors (MC, BF, JG, GK), pp. 947–951.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-JiangEP #embedded #optimisation #set
Optimization of secure embedded systems with dynamic task sets (KJ, PE, ZP), pp. 1765–1770.
DATEDATE-2013-LuMS #embedded #performance #simulation
Fast cache simulation for host-compiled simulation of embedded software (KL, DMG, US), pp. 637–642.
DATEDATE-2013-NiakiS #automation #embedded #parallel #simulation
An automated parallel simulation flow for heterogeneous embedded systems (SHAN, IS), pp. 27–30.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-SabooriA #embedded #hybrid #manycore #prototype
Hybrid prototyping of multicore embedded systems (ES, SA), pp. 1627–1630.
DATEDATE-2013-SchneiderP #adaptation #embedded
An extremely compact JPEG encoder for adaptive embedded systems (JS, SP), pp. 1063–1064.
DATEDATE-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.
DATEDATE-2013-WangH #embedded #modelling #performance #simulation
Fast and accurate cache modeling in source-level simulation of embedded software (ZW, JH), pp. 587–592.
DATEDATE-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.
ICDARICDAR-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.
ITiCSEITiCSE-2013-QianM #android #embedded
A fostering embedded system educationwith android sensory embedded system labware (KQ, KM), p. 336.
ITiCSEITiCSE-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.
FoSSaCSFoSSaCS-2013-KarandikarS #complexity #parametricity #problem #recursion
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems (PK, SS), pp. 273–288.
ICSMEICSM-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.
STOCSTOC-2013-MengM #linear #robust
Low-distortion subspace embeddings in input-sparsity time and applications to robust linear regression (XM, MWM), pp. 91–100.
CEFPCEFP-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.
ICFPICFP-2013-SvenningssonS #composition #embedded #monad
Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.
HCIHIMI-D-2013-UrokoharaH #development #embedded #quality
Managing HMI Quality in Embedded System Development (HU, NH), pp. 143–150.
HCIHIMI-LCCB-2013-Hirasawa #challenge #development #embedded #quality
Challenges for Incorporating “Quality in Use” in Embedded System Development (NH), pp. 467–474.
VISSOFTVISSOFT-2013-BeckHDW #embedded #monitoring #source code #visual notation
Visual monitoring of numeric variables embedded in source code (FB, FH, SD, DW), pp. 1–4.
HILTHILT-2013-DoranA #development #embedded #modelling #named #tool support
Reddo: a model driven engineering toolset for embedded software development (SD, SEA), pp. 47–48.
ICEISICEIS-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.
ICEISICEIS-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.
ICMLICML-c1-2013-PeleTGW #classification #performance
The Pairwise Piecewise-Linear Embedding for Efficient Non-Linear Classification (OP, BT, AG, MW), pp. 205–213.
ICMLICML-c2-2013-YangPK #optimisation #scalability #visualisation
Scalable Optimization of Neighbor Embedding for Visualization (ZY, JP, SK), pp. 127–135.
ICMLICML-c3-2013-HwangGS #categorisation #semantics #visual notation
Analogy-preserving Semantic Embedding for Visual Object Categorization (SJH, KG, FS), pp. 639–647.
ICMLICML-c3-2013-ZhangHSL #learning #multi #named
MILEAGE: Multiple Instance LEArning with Global Embedding (DZ, JH, LS, RDL), pp. 82–90.
KEODKEOD-2013-AkamaN #problem #proving
Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation (KA, EN), pp. 253–260.
RecSysRecSys-2013-KoenigsteinP #embedded #feature model #matrix #recommendation
Xbox movies recommendations: variational bayes matrix factorization with embedded feature selection (NK, UP), pp. 129–136.
RecSysRecSys-2013-WestonWY #multi
Nonlinear latent factorization by embedding multiple user interests (JW, RJW, HY), pp. 65–68.
SEKESEKE-2013-SantosGGFN #architecture #embedded #evaluation
A Checklist for Evaluation of Reference Architectures of Embedded Systems (S) (JFMS, MG, MG, DF, EYN), pp. 451–454.
MODELSMoDELS-2013-PiresPWD #behaviour #embedded #source code #verification
Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
MODELSMoDELS-2013-PiresPWD #behaviour #embedded #source code #verification
Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
REER-BR-2013-MartinsOB #embedded #process #requirements #towards
Towards Requirements Engineering Process for Embedded Systems (LEGM, JCO, AB).
RERE-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.
SACSAC-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.
SACSAC-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.
SACSAC-2013-BrunsKB #safety
Virtualization for safety-critical, deeply-embedded devices (FB, DK, AB), pp. 1485–1492.
SACSAC-2013-FanTCS #embedded #energy #manycore #realtime
Energy-aware real-time task synchronization in multi-core embedded systems (LFF, THT, YSC, SSS), pp. 1493–1498.
SACSAC-2013-GroppeSW #embedded #xml
Eliminating the XML overhead in embedded XML languages (SG, BS, SW), pp. 542–547.
SACSAC-2013-MarianiO #probability
Probabilistic embedding: experiments with tuple-based probabilistic languages (SM, AO), pp. 1380–1382.
SACSAC-2013-OliveiraBMNBGB #multi #network
DoS-resilient virtual networks through multipath embedding and opportunistic recovery (RRO, LRB, DSM, MCN, LSB, LPG, MPB), pp. 597–602.
SACSAC-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.
SACSAC-2013-SolankiRBGB #embedded #parsing #performance
Improving the performance of message parsers for embedded systems (JS, LR, YDB, BLG, TFB), pp. 1505–1510.
ESEC-FSEESEC-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.
LDTALDTA-J-2009-SloaneKV #attribute grammar
A pure embedding of attribute grammars (AMS, LCLK, EV), pp. 1752–1769.
ASPLOSASPLOS-2013-MittalBBS #architecture #embedded #performance
Efficient virtualization on embedded power architecture® platforms (AM, DB, SB, VS), pp. 445–458.
ASPLOSASPLOS-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.
LCTESLCTES-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.
LCTESLCTES-2013-StilkerichSEHLSS #embedded #virtual machine
A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.
LCTESLCTES-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.
RTARTA-2013-Schmidt-SchaussMS #lazy evaluation #λ-calculus
Extending Abramsky’s Lazy λ Calculus: (Non)-Conservativity of Embeddings (MSS, EM, DS), pp. 239–254.
CBSECBSE-2012-Carlson #analysis #component #embedded
Timing analysis of component-based embedded systems (JC), pp. 151–156.
WICSA-ECSAWICSA-ECSA-2012-NewmanK #architecture #embedded #resource management #runtime
A Runtime Resource-aware Architecture for Service-oriented Embedded Systems (PN, GK), pp. 61–70.
ASEASE-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.
ASEASE-2012-NguyenNNNN #detection #embedded #smell #web
Detection of embedded code smells in dynamic web applications (HVN, HAN, TTN, ATN, TNN), pp. 282–285.
DACDAC-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.
DACDAC-2012-CheC #embedded #manycore
Unrolling and retiming of stream applications onto embedded multicore processors (WC, KSC), pp. 1272–1277.
DACDAC-2012-DonohooOPA #embedded #energy #mobile
Exploiting spatiotemporal and device contexts for energy-efficient mobile embedded systems (BKD, CO, SP, CA), pp. 1278–1283.
DACDAC-2012-El-ShambakeyR #bound #concurrent #embedded #realtime
STM concurrency control for embedded real-time software with tighter time bounds (MES, BR), pp. 437–446.
DACDAC-2012-HuangCBK #consistency #embedded #realtime #runtime
Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
DACDAC-2012-HuangHRBK #detection #embedded #fault tolerance #towards
Towards fault-tolerant embedded systems with imperfect fault detection (JH, KH, AR, CB, AK), pp. 188–196.
DACDAC-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.
DACDAC-2012-LionelPSE #monitoring #statistics #testing
Embedding statistical tests for on-chip dynamic voltage and temperature monitoring (LV, PM, SL, EB), pp. 994–999.
DACDAC-2012-MelpignanoBFJLHCD #embedded #evaluation #framework #manycore #performance #visual notation
Platform 2012, a many-core computing accelerator for embedded SoCs: performance evaluation of visual analytics applications (DM, LB, EF, BJ, TL, GH, FC, DD), pp. 1137–1142.
DACDAC-2012-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-BeniniFFM #composition #ecosystem #embedded #named #scalability
P2012: Building an ecosystem for a scalable, modular and high-efficiency embedded computing accelerator (LB, EF, DF, DM), pp. 983–987.
DATEDATE-2012-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.
DATEDATE-2012-ChakrabortyLBFCPKLA #challenge #embedded
Embedded systems and software challenges in electric vehicles (SC, ML, CB, SAF, NC, SP, YK, PL, HA), pp. 424–429.
DATEDATE-2012-DenizSH #embedded #manycore #verification
Verification coverage of embedded multicore applications (ED, AS, JH), pp. 252–255.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-FaruqueC #automation #collaboration #embedded
Intelligent and collaborative embedded computing in automation engineering (MAAF, AC), pp. 344–345.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-LafayePBGF #embedded #modelling #resource management #simulation
Model driven resource usage simulation for critical embedded systems (ML, LP, EB, MG, DF), pp. 312–315.
DATEDATE-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.
DATEDATE-2012-LiRP #embedded #hardware #named
Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-RajeevMR #architecture #constraints #distributed #embedded #verification
Verifying timing synchronization constraints in distributed embedded architectures (ACR, SM, SR), pp. 200–205.
DATEDATE-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.
DATEDATE-2012-Sun #automation #embedded #functional #generative #modelling
Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
DATEDATE-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.
DATEDATE-2012-WangH #compilation #embedded #optimisation #simulation
Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
DATEDATE-2012-WanK #embedded #monitoring
Monitoring active filters under automotive aging scenarios with embedded instrument (JW, HGK), pp. 1096–1101.
DRRDRR-2012-LinGTHL #documentation #embedded #identification #using
Identification of embedded mathematical formulas in PDF documents using SVM (XL, LG, ZT, XH, XL).
ITiCSEITiCSE-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.
FASEFASE-2012-HatvaniPS #adaptation #automaton #embedded #framework #verification
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (LH, PP, CCS), pp. 115–129.
ICSMEICSM-2012-ThumsQ #embedded #re-engineering
Reengineering embedded automotive software (AT, JQ), pp. 493–502.
ICALPICALP-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.
IFMIFM-2012-MarkovskiBB #component #requirements
Partially-Supervised Plants: Embedding Control Requirements in Plant Components (JM, DAvB, JCMB), pp. 253–267.
ICFPICFP-2012-Axelsson #embedded #syntax
A generic abstract syntax model for embedded languages (EA), pp. 323–334.
ICFPICFP-2012-Olukotun #domain-specific language #embedded #performance
High performance embedded domain specific languages (KO), pp. 139–140.
ICFPICFP-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.
IFLIFL-2012-TsushimaA #debugging #embedded
An Embedded Type Debugger (KT, KA), pp. 190–206.
CHICHI-2012-ArroyoBV #behaviour #embedded #interactive
Embedded interaction in a water fountain for motivating behavior change in public space (EA, LB, NV), pp. 685–688.
CHICHI-2012-LeeKFR #case study #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.
CHICHI-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.
HILTHILT-2012-LevesonFT #embedded #safety
Safety of embedded software (NGL, CHF, JT), pp. 7–8.
ICEISICEIS-v2-2012-AbdallahR #embedded #performance #testing
Performance Impact of Fuzz Testing Windows Embedded Handheld Applications (NA, SR), pp. 371–376.
CIKMCIKM-2012-BonomiXCF #privacy
Frequent grams based embedding for privacy preserving record linkage (LB, LX, RC, BCMF), pp. 1597–1601.
CIKMCIKM-2012-CeylanADL #automation
Automatically embedding newsworthy links to articles (HC, IA, PD, ML), pp. 1502–1506.
CIKMCIKM-2012-ShangJLW #learning
Learning spectral embedding via iterative eigenvalue thresholding (FS, LCJ, YL, FW), pp. 1507–1511.
ICMLICML-2012-GrunewalderLBPG #modelling
Modelling transition dynamics in MDPs with RKHS embeddings (SG, GL, LB, MP, AG), p. 208.
ICMLICML-2012-GrunewalderLGBPP
Conditional mean embeddings as regressors (SG, GL, AG, LB, SP, MP), p. 234.
ICMLICML-2012-KongD #algorithm #linear
An Iterative Locally Linear Embedding Algorithm (DK, CHQD), p. 122.
ICMLICML-2012-VladymyrovC #algorithm #performance
Fast Training of Nonlinear Embedding Algorithms (MV, MÁCP), p. 129.
ICPRICPR-2012-LeeCP #estimation #using
Articulated hand configuration and rotation estimation using extended torus manifold embedding (CSL, SYC, SWP), pp. 441–444.
ICPRICPR-2012-LiuLWZ #learning #linear
Locally linear embedding based example learning for pan-sharpening (QL, LL, YW, ZZ), pp. 1928–1931.
ICPRICPR-2012-LiuWYN #correlation #image
A renewed image annotation baseline by image embedding and tag correlation (RL, YW, HY, SN), pp. 3216–3219.
ICPRICPR-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.
KDDKDD-2012-ChenMTJ #metric #predict
Playlist prediction via metric embedding (SC, JLM, DT, TJ), pp. 714–722.
SEKESEKE-2012-ConradoC #domain-specific language #embedded #visual notation
Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications (DBFC, VVdC), pp. 495–498.
SEKESEKE-2012-DuarteN #bibliography #development #embedded #perspective
Aspect-Orientation in the Development of Embedded Systems: A Systematic Review (LSD, EYN), pp. 158–161.
ECMFAECMFA-2012-BehjatiNYGB #automation #embedded #modelling
Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
ECMFAECMFA-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
ECOOPECOOP-2012-KossakowskiARO #domain-specific language #embedded #javascript
JavaScript as an Embedded DSL (GK, NA, TR, MO), pp. 409–434.
PADLPADL-2012-BradyH #domain-specific language #embedded #programming
Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
SACSAC-2012-BarabucciPPV #approach #semantics
Embedding semantic annotations within texts: the FRETTA approach (GB, SP, FP, FV), pp. 658–663.
SACSAC-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.
LCTESLCTES-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.
LCTESLCTES-2012-Gal-OnL #benchmark #challenge #embedded #metric
Creating portable, repeatable, realistic benchmarks for embedded systems and the challenges thereof (SGO, ML), pp. 149–152.
LCTESLCTES-2012-HashemiFGE #embedded #named #scalability #streaming
FORMLESS: scalable utilization of embedded manycores in streaming applications (MH, MHF, SG, CE), pp. 71–78.
LCTESLCTES-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.
LCTESLCTES-2012-KhudiaWM #embedded #fault #performance #using
Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.
LCTESLCTES-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.
LCTESLCTES-2012-LiZXH #embedded #hybrid
Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.
LCTESLCTES-2012-SallenaveD #embedded #lightweight #static analysis
Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.
PPoPPPPoPP-2012-AnderschCJ #embedded #parallel #programming
Programming parallel embedded and consumer applications in OpenMP superscalar (MA, CCC, BHHJ), pp. 281–282.
PPoPPPPoPP-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.
ICSTICST-2012-CaliebeHG #dependence #embedded #testing
Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.
ICSTICST-2012-KimKJ #case study #embedded #industrial #testing
Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
ICSTICST-2012-WahlerFSJN #automation #embedded #named #testing
CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
ICTSSICTSS-2012-YangHF #embedded #logic #parametricity #query
Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.
ISSTAISSTA-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.
CBSECBSE-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.
CBSECBSE-2011-CicchettiCLS #component #embedded #evolution
Evolution management of extra-functional properties in component-based embedded systems (AC, FC, TL, SS), pp. 93–102.
CBSECBSE-2011-HeinzemannH #adaptation #architecture #communication #component #embedded #protocol #reuse #self
Reusing dynamic communication protocols in self-adaptive embedded component architectures (CH, SH), pp. 109–118.
CBSECBSE-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.
CBSECBSE-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.
ECSAECSA-2011-Axelsson #architecture #embedded #how #nondeterminism #on the
On How to Deal with Uncertainty When Architecting Embedded Software and Systems (JA), pp. 199–202.
QoSAQoSA-ISARCS-2011-KhanZ #component #embedded #monitoring #security
Building components with embedded security monitors (MUAK, MZ), pp. 133–142.
WICSAWICSA-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.
WICSAWICSA-2011-NewmanK #embedded #framework #runtime
A Runtime Resource-Management Framework for Embedded Service-Oriented Systems (PN, GK), pp. 123–126.
CASECASE-2011-KuoSTC #architecture #embedded
An embedded robotic wheelchair control architecture with reactive navigations (CHK, YSS, TCT, TSC), pp. 810–815.
CASECASE-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.
DACDAC-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.
DACDAC-2011-ClemonsJPSA #embedded #feature model #named
EFFEX: an embedded processor for computer vision based feature extraction (JC, AJ, RP, SS, TMA), pp. 1020–1025.
DACDAC-2011-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.
DACDAC-2011-Hazelwood #adaptation #embedded #runtime
Process-level virtualization for runtime adaptation of embedded software (KMH), pp. 895–900.
DACDAC-2011-Heiser #embedded #question #why
Virtualizing embedded systems: why bother? (GH), pp. 901–905.
DACDAC-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.
DACDAC-2011-HeRK #concept analysis #embedded #generative #testing
Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.
DACDAC-2011-NadeemBS #embedded #java #named
RJOP: a customized Java processor for reactive embedded systems (MN, MBA, ZS), pp. 1038–1043.
DACDAC-2011-ThieleSYB #analysis #embedded #multi #synthesis
Thermal-aware system analysis and software synthesis for embedded multi-processors (LT, LS, HY, IB), pp. 268–273.
DACDAC-2011-Vitek #embedded #java #realtime
Virtualizing real-time embedded systems with Java (JV), pp. 906–911.
DACDAC-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.
DACDAC-2011-YunKKH #embedded #manycore #parallel #simulation
Simulation environment configuration for parallel simulation of multicore embedded systems (DY, JK, SK, SH), pp. 345–350.
DACDAC-2011-ZhaoAZ #embedded #energy #realtime
Generalized reliability-oriented energy management for real-time embedded applications (BZ, HA, DZ), pp. 381–386.
DATEDATE-2011-AlordaTBS #embedded #optimisation #using
Stability optimization of embedded 8T SRAMs using Word-Line Voltage modulation (BA, GT, SAB, JS), pp. 986–991.
DATEDATE-2011-BaiocchiC #embedded
Demand code paging for NAND flash in MMU-less embedded systems (JB, BRC), pp. 517–532.
DATEDATE-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.
DATEDATE-2011-BehrendLHRKR #embedded #hybrid #scalability #verification
Scalable hybrid verification for embedded software (JB, DL, PH, JR, TK, WR), pp. 179–184.
DATEDATE-2011-ClermidyDDLV #3d #embedded #manycore
3D Embedded multi-core: Some perspectives (FC, FD, DD, WL, PV), pp. 1327–1332.
DATEDATE-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.
DATEDATE-2011-HuangWSLXL #embedded #low cost
A specialized low-cost vectorized loop buffer for embedded processors (LH, ZW, LS, HL, NX, CL), pp. 1200–1203.
DATEDATE-2011-KapoorJ #design #embedded #power management #tutorial #verification
Embedded tutorial: Addressing critical power management verification issues in low power designs (BK, KMJ), p. 124.
DATEDATE-2011-KernST #automation #concept #data type #embedded #migration
An automated data structure migration concept — From CAN to Ethernet/IP in automotive embedded systems (CANoverIP) (AK, TS, JT), pp. 112–117.
DATEDATE-2011-KimYLAJ #3d #analysis #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.
DATEDATE-2011-MichelFP #embedded #simulation
Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation (LM, NF, FP), pp. 277–280.
DATEDATE-2011-MuWLLZCXD #embedded #performance
Evaluating the potential of graphics processors for high performance embedded computing (SM, CW, ML, DL, MZ, XC, XX, YD), pp. 709–714.
DATEDATE-2011-Niu #embedded #energy #realtime #scheduling
System-level energy-efficient scheduling for hard real-time embedded systems (LN), pp. 281–284.
DATEDATE-2011-RazaghiG #development #embedded #manycore #realtime
Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
DATEDATE-2011-SieglHGB #embedded #modelling #specification #testing
Formal specification and systematic model-driven testing of embedded automotive systems (SS, KSJH, RG, CB), pp. 118–123.
DATEDATE-2011-SreedharK11a #security
Physically unclonable functions for embeded security based on lithographic variation (AS, SK), pp. 1632–1637.
DATEDATE-2011-WangLH #approach #embedded
An approach to improve accuracy of source-level TLMs of embedded software (ZW, KL, AH), pp. 216–221.
DATEDATE-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.
DATEDATE-2011-Winterholer #debugging #embedded #requirements
Embedded software debug and test: Needs and requirements for innovations in debugging (MW), p. 721.
DATEDATE-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.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-2011-SaabniB #performance
Fast Key-Word Searching via Embedding and Active-DTW (RS, AB), pp. 68–72.
ICDARICDAR-2011-WangHL #embedded #novel #segmentation
A Novel Method for Embedded Text Segmentation Based on Stroke and Color (XW, LH, CL), pp. 151–155.
ICDARICDAR-2011-YamazakiFZSO
Embedding a Mathematical OCR Module into OCRopus (SY, FF, QZ, KS, MO), pp. 880–884.
ITiCSEITiCSE-2011-MesserK #problem #process
The use of mediating artifacts in embedding problem solving processes in an e-learning environment (OMM, AK), p. 390.
ITiCSEITiCSE-2011-SchaferBJSFKS #development #embedded
A normative competence structure model for embedded micro- and nanosystems development (AS, RB, SJ, SES, DF, BK, HS), p. 375.
ESOPESOP-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.
SCAMSCAM-J-2009-FouadPKJ11 #architecture #modelling #requirements
Embedding requirements within Model-Driven Architecture (AF, KP, JMK, SJ), pp. 411–430.
CSMRCSMR-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.
ICPCICPC-2011-BegelQ #challenge #comprehension #embedded #industrial
Industrial Program Comprehension Challenge 2011: Archeology and Anthropology of Embedded Control Systems (AB, JQ), pp. 227–229.
PEPMPEPM-2011-WangG #embedded #programming #protocol
An embedded language for programming protocol stacks in embedded systems (YW, VG), pp. 63–72.
STOCSTOC-2011-FawziHS #nondeterminism #performance
From low-distortion norm embeddings to explicit uncertainty relations and efficient information locking (OF, PH, PS), pp. 773–782.
STOCSTOC-2011-LeeS #bound
Near-optimal distortion bounds for embedding doubling spaces into L1 (JRL, AS), pp. 765–772.
STOCSTOC-2011-SohlerW
Subspace embeddings for the L1-norm with applications (CS, DPW), pp. 755–764.
SEFMSEFM-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.
IFLIFL-2011-PerssonAS #embedded #monad
Generic Monadic Constructs for Embedded Languages (AP, EA, JS), pp. 85–99.
GCMGCM-2010-PicardM11 #embedded #graph #induction #problem #representation
Coinductive Graph Representation: the Problem of Embedded Lists (CP, RM).
HCIDHM-2011-PaulickDB #embedded #monitoring #named
StabilitySole: Embedded Sensor Insole for Balance and Gait Monitoring (PP, HD, MB), pp. 171–177.
HCIIDGD-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.
AdaSIGAda-2011-BrosterC #embedded #how #reliability
How to measure and optimize reliable embedded software (IB, AC), pp. 1–2.
AdaSIGAda-2011-McCormickS #embedded #realtime
Building embedded real-time applications (JWM, FS), pp. 15–16.
EDOCEDOC-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.
CIKMCIKM-2011-KermarrecLT #distributed #graph #social
Distributed social graph embedding (AMK, VL, GT), pp. 1209–1214.
CIKMCIKM-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.
ICMLICML-2011-DauphinGB #learning #re-engineering #scalability
Large-Scale Learning of Embeddings with Reconstruction Sampling (YD, XG, YB), pp. 945–952.
ICMLICML-2011-LuoDNH #graph
Cauchy Graph Embedding (DL, CHQD, FN, HH), pp. 553–560.
ICMLICML-2011-ShiehHA
Tree preserving embedding (AS, TH, EA), pp. 753–760.
KDDKDD-2011-Boyd #distributed #embedded #optimisation #realtime #scalability
Convex optimization: from embedded real-time to large-scale distributed (SB), p. 1.
KDIRKDIR-2011-BorcheninovO #embedded #programming #search-based #symbolic computation
Genetic Programming with Embedded Features of Symbolic Computations (YVB, YSO), pp. 476–479.
KMISKMIS-2011-PapakonstantinouMV #online
Embedding On-line Training in an E-prescribing Service (DP, FM, GV), pp. 180–186.
SEKESEKE-2011-ShinM #embedded #self
Self-Management of External Device Failures in Embedded Software Systems (MES, PM), pp. 543–546.
SEKESEKE-2011-ZengHLCHLE #embedded #named
SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems (RZ, YH, SL, PJC, XH, GWvdL, JLE), pp. 308–314.
MODELSMoDELS-2011-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
OnwardOnward-2011-Barzilay
Example embedding (OB), pp. 137–144.
LOPSTRLOPSTR-2011-Almendros-JimenezCGS #declarative #functional #xquery
A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.
RERE-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.
REFSQREFSQ-2011-SikoraTP #embedded #industrial #requirements
Requirements Engineering for Embedded Systems: An Investigation of Industry Needs (ES, BT, KP), pp. 151–165.
SACSAC-2011-AhnLK #development #embedded #energy #network
Development of the wireless embedded sensor network for energy-efficient flooding (SA, YL, SK), pp. 621–622.
SACSAC-2011-ChiangH #embedded #operating system
Supporting dynamic update and resource protection in an embedded operating system (MLC, HYH), pp. 616–620.
SACSAC-2011-DinkelakerEM #embedded #incremental #syntax
Incremental concrete syntax for embedded languages (TD, ME, MM), pp. 1309–1316.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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-FSEESEC-FSE-2011-KimK #embedded #named #reliability #scalability #testing
SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
ICSEICSE-2011-Petricic #component #deployment #embedded #predict
Predictable dynamic deployment of components in embedded systems (AP), pp. 1128–1129.
CGOCGO-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.
LCTESLCTES-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.
LCTESLCTES-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.
LCTESLCTES-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.
PPoPPPPoPP-2011-CatanzaroGK #compilation #embedded #named #parallel
Copperhead: compiling an embedded data parallel language (BCC, MG, KK), pp. 47–56.
ICSTICST-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.
ICSTICST-2011-YuSSR #embedded #testing #using
Using Property-Based Oracles when Testing Embedded System Applications (TY, AS, WSa, GR), pp. 100–109.
ISSTAISSTA-2011-ShahbazSE #component #embedded #refinement #specification
Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.
ICSTSAT-2011-SpeckenmeyerWP #approach #graph #satisfiability
A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs (ES, AW, SP), pp. 134–144.
VMCAIVMCAI-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.
CBSECBSE-2010-HosekPBHM #comparison #component #embedded #framework #realtime
Comparison of Component Frameworks for Real-Time Embedded Systems (PH, TP, TB, PH, MM), pp. 21–36.
CBSECBSE-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.
CBSECBSE-2010-SuryadevaraKSP #embedded #modelling #semantic gap
Bridging the Semantic Gap between Abstract Models of Embedded Systems (JS, EYK, CCS, PP), pp. 55–73.
ECSAECSA-2010-LoukilKZJ #aspect-oriented #embedded #towards
Toward an Aspect Oriented ADL for Embedded Systems (SL, SK, BZ, MJ), pp. 489–492.
QoSAQoSA-2010-MeedeniyaBAG #architecture #embedded #energy #optimisation #reliability
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (IM, BB, AA, LG), pp. 52–67.
ASEASE-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.
CASECASE-2010-DingSPS #embedded
Improving motion of robotic manipulators by an embedded optimizer (HD, GS, BP, OS), pp. 204–209.
CASECASE-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.
DACDAC-2010-BombieriFP #abstraction #embedded
Abstraction of RTL IPs into embedded software (NB, FF, GP), pp. 24–29.
DACDAC-2010-ChouMM #design #embedded #experience
Find your flow: increasing flow experience by designing “human” embedded systems (CLC, AMM, RM), pp. 619–620.
DACDAC-2010-CohenR #compilation #embedded #manycore
Processor virtualization and split compilation for heterogeneous multicore embedded systems (AC, ER), pp. 102–107.
DACDAC-2010-ElizehN #embedded #memory management
Embedded memory binding in FPGAs (KE, NN), pp. 457–462.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2010-SridharanM #embedded #power management #realtime #reliability
Reliability aware power management for dual-processor real-time embedded systems (RS, RNM), pp. 819–824.
DACDAC-2010-ZhangC #embedded
Thermal aware task sequencing on embedded processors (SZ, KSC), pp. 585–590.
DATEDATE-2010-BalaschVP #embedded #framework #privacy
An embedded platform for privacy-friendly road charging applications (JB, IV, BP), pp. 867–872.
DATEDATE-2010-Cota #embedded #problem #question #testing #what
Embedded software testing: What kind of problem is this? (ÉFC), p. 1486.
DATEDATE-2010-DixitDR #component #embedded #realtime
Taming the component timing: A CBD methodology for real-time embedded systems (MGD, PD, SR), pp. 1649–1652.
DATEDATE-2010-EckerESSV #embedded #modelling
TLM+ modeling of embedded HW/SW systems (WE, VE, RS, TS, MV), pp. 75–80.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-Jara-BerrocalG #architecture #configuration management #embedded #named
VAPRES: A Virtual Architecture for Partially Reconfigurable Embedded Systems (AJB, AGR), pp. 837–842.
DATEDATE-2010-KlemmF #c++ #embedded #metaprogramming #using
Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
DATEDATE-2010-KootiBLB #configuration management #embedded #realtime #scheduling
Transition-aware real-time task scheduling for reconfigurable embedded systems (HK, EB, SL, LB), pp. 232–237.
DATEDATE-2010-LeeYCC #embedded #metric
An embedded wide-range and high-resolution CLOCK jitter measurement circuit (YL, CYY, NCDC, JJC), pp. 1637–1640.
DATEDATE-2010-LukasiewyczGT #design #embedded #robust
Robust design of embedded systems (ML, MG, JT), pp. 1578–1583.
DATEDATE-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.
DATEDATE-2010-VidalLGDS #configuration management #design #embedded #multi #uml
UML design for dynamically reconfigurable multiprocessor embedded systems (JV, FdL, GG, JPD, PS), pp. 1195–1200.
DATEDATE-2010-ZengGA #debugging #embedded #framework #visual notation
Graphical Model Debugger Framework for embedded systems (KZ, YG, CA), pp. 87–92.
CSEETCSEET-2010-Zalewski #development #education #embedded
A Comprehensive Embedded Systems Lab for Teaching Web-Based Remote Software Development (JZ), pp. 113–120.
ITiCSEITiCSE-2010-QianLH #education #embedded
Portable labs in a box for embedded system education (KQ, CTDL, XH), p. 318.
TACASTACAS-2010-Sifakis #challenge #design #embedded
Embedded Systems Design — Scientific Challenges and Work Directions (JS), p. 1.
DLTDLT-2010-ChambartS #problem #set
Computing Blocker Sets for the Regular Post Embedding Problem (PC, PS), pp. 136–147.
ICALPICALP-v2-2010-ChambartS #problem
Pumping and Counting on the Regular Post Embedding Problem (PC, PS), pp. 64–75.
IFMIFM-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.
IFLIFL-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.
SOFTVISSOFTVIS-2010-KuhnEN #case study #ide #visualisation
Embedding spatial software visualization in the IDE: an exploratory study (AK, DE, ON), pp. 113–122.
AdaSIGAda-2010-McCormick #ada #embedded #parallel #realtime
Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.
AdaSIGAda-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.
ICEISICEIS-AIDSS-2010-KrammerM #collaboration #named #process
DecisionWave — Embedding Collaborative Decision Making into Business Processes (CK, AM), pp. 232–237.
CIKMCIKM-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.
CIKMCIKM-2010-HaLSL #comprehension #embedded #mobile #named
EUI: an embedded engine for understanding user intents from mobile devices (JH, JHL, KSS, SL), pp. 1935–1936.
CIKMCIKM-2010-KaytoueANK #concept analysis
Embedding tolerance relations in formal concept analysis: an application in information fusion (MK, ZA, AN, SOK), pp. 1689–1692.
ICMLICML-2010-Carreira-Perpinan #algorithm #reduction
The Elastic Embedding Algorithm for Dimensionality Reduction (MÁCP), pp. 167–174.
ICMLICML-2010-KimT
Local Minima Embedding (MK, FDlT), pp. 527–534.
ICMLICML-2010-MinMYBZ
Deep Supervised t-Distributed Embedding (MRM, LvdM, ZY, AJB, ZZ), pp. 791–798.
ICMLICML-2010-SongSGS #markov #modelling
Hilbert Space Embeddings of Hidden Markov Models (LS, BB, SMS, GJG, AJS), pp. 991–998.
ICPRICPR-2010-HanL #biology #classification #multi
A Hierarchical GIST Model Embedding Multiple Biological Feasibilities for Scene Classification (YH, GL), pp. 3109–3112.
ICPRICPR-2010-HuiWX #linear
Globally-Preserving Based Locally Linear Embedding (KH, CW, BX), pp. 531–534.
ICPRICPR-2010-Ikizler-CinbisS #locality #recognition
Object Recognition and Localization Via Spatial Instance Embedding (NIC, SS), pp. 452–455.
ICPRICPR-2010-KunduD #image #security
Lossless ROI Medical Image Watermarking Technique with Enhanced Security and High Payload Embedding (MKK, SD), pp. 1457–1460.
ICPRICPR-2010-LeeP #information retrieval #using
Tracking Hand Rotation and Grasping from an IR Camera Using Cylindrical Manifold Embedding (CSL, SWP), pp. 2612–2615.
ICPRICPR-2010-LiuA #learning #semantics #using
Learning Scene Semantics Using Fiedler Embedding (JL, SA), pp. 3627–3630.
ICPRICPR-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.
ICPRICPR-2010-WanLJ #feature model
Feature Extraction Based on Class Mean Embedding (CME) (MW, ZL, ZJ), pp. 4174–4177.
ICPRICPR-2010-XuHW #similarity #using
Rectifying Non-Euclidean Similarity Data Using Ricci Flow Embedding (WX, ERH, RCW), pp. 3324–3327.
ICPRICPR-2010-ZafeiriouL #reduction #visualisation
Nonnegative Embeddings and Projections for Dimensionality Reduction and Information Visualization (SZ, NAL), pp. 726–729.
ICPRICPR-2010-ZhanY #clustering
Cluster Preserving Embedding (YZ, JY), pp. 621–624.
ICPRICPR-2010-ZhaoLLY #visual notation
Sparse Embedding Visual Attention Systems Combined with Edge Information (CZ, CL, ZL, JY), pp. 3432–3435.
ICPRICPR-2010-ZhouZP #approach #graph #named
Lipreading: A Graph Embedding Approach (ZZ, GZ, MP), pp. 523–526.
KDIRKDIR-2010-MuA #classification #graph #multi
Proximity-based Graph Embeddings for Multi-label Classification (TM, SA), pp. 74–84.
RecSysRecSys-2010-KhoshneshinS #collaboration
Collaborative filtering via euclidean embedding (MK, WNS), pp. 87–94.
SEKESEKE-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.
ECMFAECMFA-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.
MODELSMoDELS-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.
MODELSMoDELS-v2-2010-Voelter #development #embedded #projectional
Embedded Software Development with Projectional Language Workbenches (MV), pp. 32–46.
ECOOPECOOP-2010-RenggliGN #tool support
Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.
TOOLSTOOLS-EUROPE-2010-HundtSG #aspect-oriented #embedded #optimisation
Optimizing Aspect-Oriented Mechanisms for Embedded Applications (CH, DS, SG), pp. 137–153.
TOOLSTOOLS-EUROPE-2010-Xu #domain-specific language #embedded #generative #named
EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
GPCEGPCE-J-2007-BravenboerDV10 #injection #syntax
Preventing injection attacks with syntax embeddings (MB, ED, EV), pp. 473–495.
GPCEGPCE-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.
SACSAC-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.
SACSAC-2010-FacchinettiSG #design #development #embedded #metric #realtime
Design and development of a real-time embedded inertial measurement unit (TF, AS, EG), pp. 491–495.
SACSAC-2010-FahndrichBL #contract #embedded
Embedded contract languages (MF, MB, FL), pp. 2103–2110.
SACSAC-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.
SACSAC-2010-LarcherBM #embedded #recognition
Constrained Viterbi decoding for embedded user-customised password speaker recognition (AL, JFB, JSDM), pp. 1501–1502.
ICSEICSE-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.
LDTALDTA-2009-ClarkT10 #formal method
Formalizing Homogeneous Language Embeddings (TC, LT), pp. 75–88.
LDTALDTA-2009-SloaneKV10 #attribute grammar #object-oriented
A Pure Object-Oriented Embedding of Attribute Grammars (AMS, LCLK, EV), pp. 205–219.
LDTALDTA-2010-JansenPKA #functional #workflow
Embedding a web-based workflow management system in a functional language (JMJ, RP, PWMK, PA), p. 7.
SPLCSPLC-2010-BelategiSE #embedded #product line #variability
MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines (LB, GS, LE), pp. 466–470.
SPLCSPLC-2010-UbayashiNH #embedded #product line #reliability
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems (NU, SN, MH), pp. 1–15.
ISMMISMM-2010-UgawaIY #embedded #garbage collection #incremental
Improved replication-based incremental garbage collection for embedded systems (TU, HI, TY), pp. 73–82.
LCTESLCTES-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.
LCTESLCTES-2010-LiZ #embedded #mobile #performance
An efficient code update scheme for DSP applications in mobile embedded systems (WL, YZ), pp. 105–114.
LCTESLCTES-2010-PykaKMM #approach #embedded #framework
Versatile system-level memory-aware platform description approach for embedded MPSoCs (RP, FK, PM, SM), pp. 9–16.
LCTESLCTES-2010-ShrivastavaLJ #embedded #equation #fault
Cache vulnerability equations for protecting data in embedded processor caches from soft errors (AS, JL, RJ), pp. 143–152.
CAVCAV-2010-MazoDT #embedded #named #synthesis
PESSOA: A Tool for Embedded Controller Synthesis (MMJ, AD, PT), pp. 566–569.
CSLCSL-2010-Burel #deduction #proving
Embedding Deduction Modulo into a Prover (GB), pp. 155–169.
ICTSSICTSS-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.
CBSECBSE-2009-LoiretNBL #component #embedded #operating system #realtime
Component-Based Real-Time Operating System for Embedded Applications (FL, JFN, JPB, OL), pp. 209–226.
WICSA-ECSAWICSA-ECSA-2009-Axelsson #architecture #case study #embedded #industrial #product line
Evolutionary architecting of embedded automotive product lines: An industrial case study (JA), pp. 101–110.
WICSA-ECSAWICSA-ECSA-2009-Capilla #architecture #design #embedded
Embedded design rationale in software architecture (RC), pp. 305–308.
WICSA-ECSAWICSA-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.
ASEASE-2009-CordeiroFM #bound #embedded #model checking #smt
SMT-Based Bounded Model Checking for Embedded ANSI-C Software (LCC, BF, JMS), pp. 137–148.
CASECASE-2009-ArcherSRR #automation #embedded #profiling
Profiling primitives of networked embedded automation (BA, SS, AR, RR), pp. 531–536.
CASECASE-2009-PintoKX #embedded #network #synthesis
Synthesis of wireless time-triggered embedded networks for networked control systems (AP, RK, SX), pp. 397–402.
DACDAC-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.
DACDAC-2009-ChaoYHLC #fault #metaprogramming #modelling
Fault models for embedded-DRAM macros (MCTC, HYY, RFH, SCL, CYC), pp. 714–719.
DACDAC-2009-KimM #array #configuration management #embedded #performance
Hierarchical reconfigurable computing arrays for efficient CGRA-based embedded systems (YK, RNM), pp. 826–831.
DACDAC-2009-SamiiEPC #embedded #multi #quality #synthesis
Quality-driven synthesis of embedded multi-mode control systems (SS, PE, ZP, AC), pp. 864–869.
DACDAC-2009-WangH #approach #embedded #performance #simulation
An efficient approach for system-level timing simulation of compiler-optimized embedded software (ZW, AH), pp. 220–225.
DATEDATE-2009-AnsaloniBP #architecture #embedded
Heterogeneous coarse-grained processing elements: A template architecture for embedded processing acceleration (GA, PB, LP), pp. 542–547.
DATEDATE-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.
DATEDATE-2009-CostaM #approach #embedded
A MILP-based approach to path sensitization of embedded software (JCC, JCM), pp. 1568–1571.
DATEDATE-2009-FummiPR #design #embedded #middleware
Networked embedded system applications design driven by an abstract middleware environment (FF, GP, NR), pp. 1024–1029.
DATEDATE-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.
DATEDATE-2009-GlassLHT #design #embedded
Incorporating graceful degradation into embedded system design (MG, ML, CH, JT), pp. 320–323.
DATEDATE-2009-HuynhM #configuration management #embedded #realtime #runtime
Runtime reconfiguration of custom instructions for real-time embedded systems (HPH, TM), pp. 1536–1541.
DATEDATE-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.
DATEDATE-2009-JerrayaN #comprehension #embedded #manycore #tutorial
Embedded tutorial — Understanding multicore technologies (AAJ, GN), p. 1051.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2009-SamiiCEP #distributed #embedded #scheduling #synthesis
Integrated scheduling and synthesis of control applications on distributed embedded systems (SS, AC, PE, ZP), pp. 57–62.
DATEDATE-2009-Sifakis #challenge #design #embedded
Embedded systems design — Scientific challenges and work directions (JS), p. 2.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
ICDARICDAR-2009-GimenezJ #embedded #recognition #word
Embedded Bernoulli Mixture HMMs for Handwritten Word Recognition (AG, AJ), pp. 896–900.
ICDARICDAR-2009-SunK #detection #embedded
Detecting Printed and Handwritten Partial Copies of Line Drawings Embedded in Complex Backgrounds (WS, KK), pp. 341–345.
PODSPODS-2009-ChirkovaG #dependence #embedded #equivalence #query #sql
Equivalence of SQL queries in presence of embedded dependencies (RC, MRG), pp. 217–226.
ITiCSEITiCSE-2009-QianLT #education #embedded #online #realtime
Teach real-time embedded system online with real hands-on labs (KQ, JL, LT), p. 367.
ICPCICPC-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.
PEPMPEPM-2009-MoretBV09a #embedded #java #named
CProf: customizable calling context cross-profiling for embedded java processors (PM, WB, AV), pp. 161–164.
CEFPCEFP-2009-Devai #haskell #proving
Embedding a Proof System in Haskell (GD), pp. 354–371.
ICFPICFP-2009-NewtonK #case study #domain-specific language #embedded #experience #functional #parallel
Experience report: embedded, parallel computer-vision with a functional DSL (RN, TK), pp. 59–64.
ICFPICFP-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.
HCIHIMI-DIE-2009-Ocenasek09a #approach #communication #design #embedded
An Approach for the Design of Secure Communication in Embedded Systems (PO), pp. 579–586.
HCIHIMI-II-2009-NishinoH #embedded #learning #named #visualisation
Minato: Integrated Visualization Environment for Embedded Systems Learning (YN, EH), pp. 325–333.
AdaSIGAda-2009-Gluch #analysis #embedded #modelling
Embedded systems engineering with the AADL: modeling & analysis (DPG), pp. 7–8.
AdaSIGAda-2009-LosebyCB #embedded
Use of SPARK in a resource constrained embedded system (CL, PC, CB), pp. 87–90.
AdaSIGAda-2009-Rogers #ada #embedded #realtime
Embedded, hard, real-time systems with Ada (PR), pp. 17–18.
ICEISICEIS-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.
ICMLICML-2009-McFeeL #kernel #multi #partial order
Partial order embedding with multiple kernels (BM, GRGL), pp. 721–728.
ICMLICML-2009-ShawJ
Structure preserving embedding (BS, TJ), pp. 937–944.
ICMLICML-2009-SongHSF
Hilbert space embeddings of conditional distributions with applications to dynamical systems (LS, JH, AJS, KF), pp. 961–968.
KDIRKDIR-2009-SzekelyBM #clustering
Unsupervised Discriminant Embedding in Cluster Spaces (ES, EB, SMM), pp. 70–76.
MLDMMLDM-2009-RiesenB #difference #graph #prototype #reduction #using
Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes (KR, HB), pp. 617–631.
SEKESEKE-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.
ECMFAECMDA-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.
ECMFAECMDA-FA-2009-Trew #embedded #question
Creating Embedded Platforms with MDA: Where’s the Sweet Spot? (TT), p. 1.
PPDPPPDP-2009-Tarau #data transformation #declarative #embedded #model transformation
An embedded declarative data transformation language (PT), pp. 171–182.
PADLPADL-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.
REFSQREFSQ-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.
SACSAC-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.
SACSAC-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.
SACSAC-2009-ChoudhuriG #embedded #named #nondeterminism
FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
SACSAC-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.
SACSAC-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.
SACSAC-2009-KatoriSNN #embedded #multi #self
Building a self-healing embedded system in a multi-OS environment (TK, LS, DKN, TN), pp. 293–298.
SACSAC-2009-KimYCH #embedded
Impact of function inlining on resource-constrained embedded systems (BK, SY, YC, JH), pp. 287–292.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2009-MoserCT #embedded
Optimal service level allocation in environmentally powered embedded systems (CM, JJC, LT), pp. 1650–1657.
SACSAC-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.
SACSAC-2009-QiuLS #embedded #framework #hardware #optimisation #realtime
Heterogeneous real-time embedded software optimization considering hardware platform (MQ, HL, EHMS), pp. 1637–1641.
SACSAC-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.
SACSAC-2009-YounM09a #email #embedded #image
Improved spam filtering by extraction of information from text embedded image e-mail (SY, DM), pp. 1754–1755.
GTTSEGTTSE-2009-DinizC #architecture #configuration management #embedded #program transformation
Code Transformations for Embedded Reconfigurable Computing Architectures (PCD, JMPC), pp. 322–344.
ICSEICSE-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.
CGOCGO-2009-ChoiLCMM #compilation #embedded #manycore #realtime
Stream Compilation for Real-Time Embedded Multicore Systems (YC, YL, NC, SAM, TNM), pp. 210–220.
CGOCGO-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.
LCTESLCTES-2009-GracioliF #embedded
Tracing interrupts in embedded software (GG, SF), pp. 137–146.
LCTESLCTES-2009-MankinKA #embedded #manycore #memory management #transaction
Software transactional memory for multicore embedded systems (JM, DRK, JA), pp. 90–98.
LCTESLCTES-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.
ICSTICST-2009-GrossmannSS #embedded #realtime #testing
Testing Embedded Real Time Systems with TTCN-3 (JG, DAS, IS), pp. 81–90.
CBSECBSE-2008-SentillesVBCC #component #distributed #embedded
A Component Model for Control-Intensive Distributed Embedded Systems (SS, AV, TB, JC, IC), pp. 310–317.
ASEASE-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.
DACDAC-2008-BauerSH #embedded #runtime #set
Run-time instruction set selection in a transmutable embedded processor (LB, MS, JH), pp. 56–61.
DACDAC-2008-BournoutianO #design #embedded #reduction
Miss reduction in embedded processors through dynamic, power-friendly cache design (GB, AO), pp. 304–309.
DACDAC-2008-ChaudhuriGFHD #configuration management #embedded #runtime
An 8x8 run-time reconfigurable FPGA embedded in a SoC (SC, SG, FF, PH, JLD), pp. 120–125.
DACDAC-2008-GoraczkoLLMPZ #clustering #embedded #energy #multi
Energy-optimal software partitioning in heterogeneous multiprocessor embedded systems (MG, JL, DL, SM, BP, FZ), pp. 191–196.
DACDAC-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.
DACDAC-2008-HsiehH #debugging #embedded #framework #interface
An embedded infrastructure of debug and trace interface for the DSP platform (MCH, CTH), pp. 866–871.
DACDAC-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.
DACDAC-2008-SchnerrBVR #embedded #simulation
High-performance timing simulation of embedded software (JS, OB, AV, WR), pp. 290–295.
DACDAC-2008-SridharanGM #embedded #power management #realtime
Feedback-controlled reliability-aware power management for real-time embedded systems (RS, NG, RNM), pp. 185–190.
DACDAC-2008-YuP #communication #embedded #latency #multi #performance
Latency and bandwidth efficient communication through system customization for embedded multiprocessors (CY, PP), pp. 766–771.
DATEDATE-2008-BaiLD #adaptation #embedded
Adaptive Filesystem Compression for Embedded Systems (LSB, HL, RPD), pp. 1374–1377.
DATEDATE-2008-BatcherW #embedded #scheduling
Dynamic Round-Robin Task Scheduling to Reduce Cache Misses for Embedded Systems (KWB, RAW), pp. 260–263.
DATEDATE-2008-BauerSKH #embedded #runtime #set
Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set (LB, MS, SK, JH), pp. 752–757.
DATEDATE-2008-BeckRGC #configuration management #embedded
Transparent Reconfigurable Acceleration for Heterogeneous Embedded Applications (ACSB, MBR, GG, LC), pp. 1208–1213.
DATEDATE-2008-BeutelBDL #embedded #tutorial
Embedded Tutorial — Software for Wireless Networked Embedded Systems (JB, MB, AD, KL), p. 372.
DATEDATE-2008-BonnyH #embedded #encoding
Instruction Re-encoding Facilitating Dense Embedded Code (TB, JH), pp. 770–775.
DATEDATE-2008-ClothH #design #embedded #evaluation #mobile #predict
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices (LC, BRH), pp. 90–91.
DATEDATE-2008-CosteGHHTZ #architecture #design #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.
DATEDATE-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.
DATEDATE-2008-ElesIPP #embedded #fault tolerance #synthesis
Synthesis of Fault-Tolerant Embedded Systems (PE, VI, PP, ZP), pp. 1117–1122.
DATEDATE-2008-ElmW #embedded
Scan Chain Organization for Embedded Diagnosis (ME, HJW), pp. 468–473.
DATEDATE-2008-GaidKSH #design #embedded #lifecycle
A methodology for improving software design lifecycle in embedded control systems (MEMBG, RK, YS, RH), pp. 533–536.
DATEDATE-2008-IsrarH #design #embedded #reliability #specification
Specification and Design Considerations for Reliable Embedded Systems (AI, SAH), pp. 1111–1116.
DATEDATE-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.
DATEDATE-2008-Katoen #analysis #design #embedded #evaluation #modelling #roadmap
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques (JPK), pp. 86–87.
DATEDATE-2008-LettninNRKRKSR #embedded #verification
Verification of Temporal Properties in Automotive Embedded Software (DL, PKN, JR, TK, WR, TK, VS, SR), pp. 164–169.
DATEDATE-2008-LindgrenEAN #c #embedded #realtime
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems (PL, JE, SA, JN), pp. 1382–1385.
DATEDATE-2008-MolnosHC #composition #embedded #multi
Compositional, dynamic cache management for embedded chip multiprocessors (AMM, MJMH, SDC), pp. 991–996.
DATEDATE-2008-MostermanOSJKRCM #automation #embedded #functional #modelling
Automatically Realising Embedded Systems from High-Level Functional Models (PJM, DO, JS, AAJ, WK, VR, CGC, GM).
DATEDATE-2008-NeumannSBN #architecture #design #embedded #flexibility
Design flow for embedded FPGAs based on a flexible architecture template (BN, TvS, HB, TGN), pp. 56–61.
DATEDATE-2008-ParkSP #embedded #execution #using
Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors (SP, AS, YP), pp. 1190–1195.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2008-Vernay #challenge #embedded #research
Perspective on Embedded Systems: Challenges, Solutions and Research Priorities (DV), p. 2.
SIGMODSIGMOD-2008-AthitsosPPKG #approximate #sequence
Approximate embedding-based subsequence matching of time series (VA, PP, MP, GK, DG), pp. 365–378.
FoSSaCSFoSSaCS-2008-ChambartS #problem
The ω-Regular Post Embedding Problem (PC, PS), pp. 97–111.
ICPCICPC-2008-Parr #embedded #reuse #semantics
The Reuse of Grammars with Embedded Semantic Actions (TP), pp. 5–10.
ICSMEICSM-2008-KarimKSCTOJ #embedded #industrial #maintenance
Positioning embedded software maintenance within industrial maintenance (RK, MKM, PS, OC, TT, HO, JJ), pp. 440–443.
SCAMSCAM-2008-FehnkerHRS #assembly #embedded #program analysis
Some Assembly Required — Program Analysis of Embedded System Code (AF, RH, FR, SS), pp. 15–24.
STOCSTOC-2008-KawarabayashiM #graph #linear #morphism
Graph and map isomorphism and all polyhedral embeddings in linear time (KiK, BM), pp. 471–480.
FMFM-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.
SEFMSEFM-2008-SchaeferP #adaptation #composition #embedded #modelling #reasoning #verification
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.
SEFMSEFM-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.
ICFPICFP-2008-AugustssonMS #domain-specific language #embedded #haskell #named
Paradise: a two-stage DSL embedded in Haskell (LA, HM, GS), pp. 225–228.
IFLIFL-2008-GiorgidzeN #functional #haskell #hybrid #modelling
Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.
IFLIFL-2008-SvenssonSC #embedded #named #parallel #programming
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors (JS, MS, KC), pp. 156–173.
IFLIFL-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.
ICGTICGT-2008-LambersEPO #confluence #graph transformation
Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.
AdaEuropeAdaEurope-2008-Natale #component #design #development #embedded
Design and Development of Component-Based Embedded Systems for Automotive Applications (MDN), pp. 15–29.
AdaSIGAda-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.
ICEISICEIS-DISI-2008-Chen #evaluation #query #xml
Tree Embedding and XML Query Evaluation (YC), pp. 173–178.
ICEISICEIS-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.
ICEISICEIS-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.
ICMLICML-2008-SriperumbudurLL #classification #kernel #metric
Metric embedding for kernel classification rules (BKS, OAL, GRGL), pp. 1008–1015.
ICMLICML-2008-WestonRC #learning
Deep learning via semi-supervised embedding (JW, FR, RC), pp. 1168–1175.
ICPRICPR-2008-Bouchaffra #markov #modelling
Embedding HMM’s-based models in a Euclidean space: The topological hidden Markov models (DB), pp. 1–4.
ICPRICPR-2008-FerrerVSRB #algorithm #approximate #graph #using
An approximate algorithm for median graph computation using graph embedding (MF, EV, FS, KR, HB), pp. 1–4.
ICPRICPR-2008-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.
ICPRICPR-2008-HuiW #clustering #linear
Clustering-based locally linear embedding (KH, CW), pp. 1–4.
ICPRICPR-2008-LiuDJM #3d #kernel #robust
Kernel functions for robust 3D surface registration with spectral embeddings (XL, AD, MJ, WM), pp. 1–4.
ICPRICPR-2008-LiuWBM #kernel #learning #linear
Semi-supervised learning by locally linear embedding in kernel space (RL, YW, TB, DM), pp. 1–4.
ICPRICPR-2008-MeiS #image #parametricity #statistics #using
Unsupervised image embedding using nonparametric statistics (GM, CRS), pp. 1–4.
KRKR-2008-BruijnET #logic #ontology
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic (JdB, TE, HT), pp. 485–495.
SEKESEKE-2008-HansenZS #embedded #generative #web #web service
Ontology-Enabled Generation of Embedded Web Services (KMH, WZ, GS), pp. 345–350.
ECMFAECMDA-FA-2008-Scheidgen #embedded #modelling #visual notation
Textual Modelling Embedded into Graphical Modelling (MS), pp. 153–168.
MODELSMoDELS-2008-ParetoSE #embedded #evolution #ontology
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.
MODELSMoDELS-2008-ParetoSE #embedded #evolution #ontology
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.
GPCEGPCE-2008-HoferORM #domain-specific language #polymorphism
Polymorphic embedding of dsls (CH, KO, TR, AM), pp. 137–148.
RERE-2008-VillelaDG #embedded #evolution #requirements
Proactively Managing the Evolution of Embedded System Requirements (KV, JD, AG), pp. 13–22.
REFSQREFSQ-2008-MarincicMW #embedded #requirements #verification
Classifying Assumptions Made during Requirements Verification of Embedded Systems (JM, AM, RW), pp. 141–146.
SACSAC-2008-AndronickN #embedded #protocol
Certifying an embedded remote method invocation protocol (JA, QHN), pp. 352–359.
SACSAC-2008-AtoofianB #behaviour #embedded #latency #memory management
Exploiting program cyclic behavior to reduce memory latency in embedded processors (EA, AB), pp. 1482–1486.
SACSAC-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.
SACSAC-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.
SACSAC-2008-GroppeGLKHR #xquery
Embedding SPARQL into XQuery/XSLT (SG, JG, VL, DK, NH, CR), pp. 2271–2278.
SACSAC-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.
SACSAC-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.
SACSAC-2008-LuCL #embedded #hybrid #self
A hybrid software-based self-testing methodology for embedded processor (THL, CHC, KJL), pp. 1528–1534.
SACSAC-2008-PerngCK #configuration management #embedded #hardware
The minimization of hardware size in reconfigurable embedded platforms (NCP, JJC, TWK), pp. 1517–1522.
SACSAC-2008-RochaO08a #agile #development #embedded #file system
An environment for the rapid development of embedded file systems (FRdlR, RSdO), pp. 694–699.
SACSAC-2008-SykoraAS #embedded #pipes and filters
Dynamic configuration of application-specific implicit instructions for embedded pipelined processors (MS, GA, CS), pp. 1509–1516.
SACSAC-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.
SLESLE-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.
SPLCSPLC-2008-GustavssonA #embedded #flexibility #product line #using
Evaluating Flexibility in Embedded Automotive Product Lines Using Real Options (HG, JA), pp. 235–242.
LCTESLCTES-2008-AnandL #analysis #embedded #robust #scheduling
Robust and sustainable schedulability analysis of embedded software (MA, IL), pp. 61–70.
LCTESLCTES-2008-BadeaNV #embedded #energy #virtual machine
Impact of JVM superoperators on energy consumption in resource-constrained embedded systems (CB, AN, AVV), pp. 23–30.
LCTESLCTES-2008-HomayounPMV #adaptation #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.
LCTESLCTES-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.
LCTESLCTES-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.
LCTESLCTES-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.
OSDIOSDI-2008-FonsecaDLS #embedded #energy #named
Quanto: Tracking Energy in Networked Embedded Systems (RF, PD, PL, IS), pp. 323–338.
CAVCAV-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.
VMCAIVMCAI-2008-BouissouM #abstract interpretation #embedded #physics #source code
Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.
CBSECBSE-2007-PolakovicMSD #component #configuration management #embedded #experience
Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems (JP, SM, JBS, PCD), pp. 242–257.
QoSAQoSA-2007-KuzL #component #embedded #modelling
Extending the Capabilities of Component Models for Embedded Systems (IK, YL), pp. 182–196.
CASECASE-2007-Sastry #embedded
The Engineering and Societal Impact of Embedded and Autonomous Systems: Beyond Sensor Webs (SS), p. 96–?.
DACDAC-2007-ChuKCCG #embedded #multi #programming #thread
An Embedded Coherent-Multithreading Multimedia Processor and Its Programming Model (JCC, WCK, SHC, TFC, JIG), pp. 652–657.
DACDAC-2007-GuHY #distributed #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.
DACDAC-2007-KaoHL #embedded #integration #multi
An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration (CFK, IJH, CHL), pp. 477–482.
DACDAC-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.
DACDAC-2007-KumarSCKS #embedded #memory management
A System For Coarse Grained Memory Protection In Tiny Embedded Processors (RK, AS, AC, EK, MBS), pp. 218–223.
DACDAC-2007-MaoW #embedded #hardware
Hardware Support for Secure Processing in Embedded Systems (SM, TW), pp. 483–488.
DACDAC-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.
DATEDATE-2007-AitkenI #design #embedded #worst-case
Worst-case design and margin for embedded SRAM (RCA, SI), pp. 1289–1294.
DATEDATE-2007-AlessioFQT #design #embedded #modelling #simulation
Modeling and simulation alternatives for the design of networked embedded systems (EA, FF, DQ, MT), pp. 1030–1035.
DATEDATE-2007-BondarevCW #analysis #component #design #embedded #named #performance #tool support
CARAT: a toolkit for design and performance analysis of component-based embedded systems (ERVB, MRVC, PHNdW), pp. 1024–1029.
DATEDATE-2007-Botti #challenge #embedded #industrial
Flying embedded: the industrial scene and challenges for embedded systems in aeronautics and space (JB), p. 1246.
DATEDATE-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.
DATEDATE-2007-DuboisMAWLW #analysis #embedded #quality
Test quality analysis and improvement for an embedded asynchronous FIFO (TD, EJM, MA, PW, EL, CW), pp. 859–864.
DATEDATE-2007-FummiPPQ #design #embedded #interactive #middleware
Interactive presentation: A middleware-centric design flow for networked embedded systems (FF, GP, RP, DQ), pp. 1048–1053.
DATEDATE-2007-GeWL #configuration management #embedded #memory management #named #power management
DRIM: a low power dynamically reconfigurable instruction memory hierarchy for embedded systems (ZG, WFW, HBL), pp. 1343–1348.
DATEDATE-2007-GodardDTS #design #embedded #evaluation #reliability
Evaluation of design for reliability techniques in embedded flash memories (BG, JMD, LT, GS), pp. 1593–1598.
DATEDATE-2007-HuynhM #embedded #realtime
Instruction-set customization for real-time embedded systems (HPH, TM), pp. 1472–1477.
DATEDATE-2007-Kopetz #architecture #embedded
The ARTEMIS cross-domain architecture for embedded systems (HK), pp. 1468–1469.
DATEDATE-2007-Lysecky #embedded #performance #power management
Low-power warp processor for power efficient high-performance embedded systems (RLL), pp. 141–146.
DATEDATE-2007-PardessusDA #embedded
The methodological and technological dimensions of technology transfer for embedded systems in aeronautics and space (TP, HD, RA), pp. 1108–1109.
DATEDATE-2007-ParkPBBKD #architecture #embedded #performance #pointer
Register pointer architecture for efficient embedded processors (JP, SBP, JDB, DBS, CK, WJD), pp. 600–605.
DATEDATE-2007-PopPEP #distributed #embedded #optimisation
Bus access optimisation for FlexRay-based distributed embedded systems (TP, PP, PE, ZP), pp. 51–56.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-WielageMAW #design #embedded #performance
Design and DfT of a high-speed area-efficient embedded asynchronous FIFO (PW, EJM, MA, CW), pp. 853–858.
DocEngDocEng-2007-TriebseesB #automation #documentation #embedded #migration #query #semantics #towards
Towards automatic document migration: semantic preservation of embedded queries (TT, UMB), pp. 209–218.
ICDARICDAR-2007-KimPK #architecture #embedded
An Embedded OCR Software Architecture for Enhancing Portability (SK, JP, YBK), pp. 1004–1008.
ICDARICDAR-2007-UchidaSIOK #embedded
Extraction of Embedded Class Information from Universal Character Pattern (SU, MS, MI, SO, KK), pp. 437–441.
SIGMODSIGMOD-2007-Nori #database #embedded #mobile
Mobile and embedded databases (AN), pp. 1175–1177.
VLDBVLDB-2007-ShenDNR #datalog #declarative #embedded #information management #using
Declarative Information Extraction Using Datalog with Embedded Extraction Predicates (WS, AD, JFN, RR), pp. 1033–1044.
CSEETCSEET-2007-Yimei #embedded #re-engineering
A Graduate Program on Embedded Software Engineering in China (KY), pp. 3–10.
ITiCSEITiCSE-2007-MillerS #agile #approach #embedded #programming #student
A TDD approach to introducing students to embedded programming (JM, MRS), pp. 33–37.
SCAMSCAM-2007-BrinkLV #assessment #embedded #quality #sql
Quality Assessment for Embedded SQL (HvdB, RvdL, JV), pp. 163–170.
STOCSTOC-2007-AbrahamBN #metric
Local embeddings of metric spaces (IA, YB, ON), pp. 631–640.
STOCSTOC-2007-Indyk #nondeterminism
Uncertainty principles, extractors, and explicit embeddings of l2 into l1 (PI), pp. 615–620.
ICALPICALP-2007-CaryRS #finite #metric
Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), p. 949.
IFMIFM-2007-VerhoefVHB #distributed #embedded #realtime
Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
SEFMSEFM-2007-BujorianuB #embedded #framework #specification
An Integrated Specification Framework for Embedded Systems (MCB, MLB), pp. 161–172.
CHICHI-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.
HCIHCI-IPT-2007-NoguchiMS #embedded
Attentive Information Support with Massive Embedded Sensors in Room (HN, TM, TS), pp. 883–892.
HCIHIMI-MTT-2007-ShinyashikiMHKUN #analysis #embedded
A Suggestion for Analysis of Unexpected Obstacles in Embedded System (YS, TM, MH, KK, NU, TN), pp. 755–768.
AdaEuropeAdaEurope-2007-ElleuchKA #approach #development #embedded #realtime
ArchMDE Approach for the Development of Embedded Real Time Systems (NE, AK, SBA), pp. 142–154.
ICEISICEIS-AIDSS-2007-Prasad
Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.
ICEISICEIS-DISI-2007-Prasad
Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.
ICEISICEIS-EIS-2007-Prasad
Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.
ICEISICEIS-HCI-2007-Prasad
Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.
ICEISICEIS-SAIC-2007-Prasad
Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.
MLDMMLDM-2007-RiesenKB #graph
Reducing the Dimensionality of Vector Space Embeddings of Graphs (KR, VK, HB), pp. 563–573.
SEKESEKE-2007-GuD #component #embedded #execution #integration #multi
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution (ZG, QD), pp. 320–325.
TOOLSTOOLS-EUROPE-2007-CancianSSF #automation #component #development #embedded
A Tool for Supporting and Automating the Development of Component-based Embedded Systems (RLC, MRS, AS, AAF), pp. 399–416.
GPCEGPCE-2007-BravenboerDV #injection #syntax
Preventing injection attacks with syntax embeddings (MB, ED, EV), pp. 3–12.
GPCEGPCE-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.
LOPSTRLOPSTR-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.
RERE-2007-Nicholson #development #embedded
Embedded Knowledge and Offshore Software Development (BN), p. 269.
SACSAC-2007-GilPFM #embedded
Embedded system for diagnosing dysfunctions in the lower urinary tract (DGM, ASP, DRF, CAM), pp. 1695–1699.
SACSAC-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.
SACSAC-2007-HiserDW #design #embedded #memory management #performance
Fast, accurate design space exploration of embedded systems memory configurations (JH, JWD, DBW), pp. 699–706.
SACSAC-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.
SACSAC-2007-NazKOF #configuration management #embedded #novel
Reconfigurable split data caches: a novel scheme for embedded systems (AN, KMK, JHO, PF), pp. 707–712.
SACSAC-2007-Nguyen #component #design #embedded
Component-based version management for embedded computing system design (TNN), pp. 685–692.
SACSAC-2007-SchreinerG #component #embedded #modelling #uml
Modeling component based embedded systems applications with explicit connectors in UML 2.0 (DS, KMG), pp. 1494–1495.
ICSEICSE-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.
LCTESLCTES-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.
LCTESLCTES-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.
LCTESLCTES-2007-HongKSMOLC #compilation #embedded #java
Java client ahead-of-time compiler for embedded systems (SH, JCK, JWS, SMM, HSO, JL, HKC), pp. 63–72.
LCTESLCTES-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.
LCTESLCTES-2007-NingK #embedded #memory management #multi
External memory page remapping for embedded multimedia systems (KN, DRK), pp. 185–194.
LCTESLCTES-2007-ViskicAG #automation #communication #embedded #generative
Automatic generation of embedded communication SW for heterogeneous MPSoC platforms (IV, SA, DDG), pp. 143–145.
LCTESLCTES-2007-WaltherHN #behaviour #embedded #realtime
Analyzing the real-time behaviour of deeply embedded event driven systems (KW, RH, JN), pp. 149–151.
FATESTestCom-FATES-2007-LuukkalaO #embedded #modelling #protocol #testing
Model Based Testing of an Embedded Session and Transport Protocol (VL, IO), pp. 212–227.
TLCATLCA-2007-CousineauD #calculus #type system
Embedding Pure Type Systems in the λ-π-Calculus Modulo (DC, GD), pp. 102–117.
CBSECBSE-2006-AngelovSMM #component #distributed #embedded #framework
A Formal Component Framework for Distributed Embedded Systems (CA, KS, NM, JM), pp. 206–221.
CBSECBSE-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.
QoSAQoSA-2006-FlorentzH #analysis #architecture #embedded #evaluation
Embedded Systems Architecture: Evaluation and Analysis (BF, MH), pp. 145–162.
CASECASE-2006-LuLYW #design #embedded
Design of Bio-fermentation Control System Based on the Embedded Microprocessor (XL, YL, HY, WW), pp. 540–545.
DACDAC-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.
DACDAC-2006-GopalakrishnanLP #architecture #metric #using
Architecture-aware FPGA placement using metric embedding (PG, XL, LTP), pp. 460–465.
DACDAC-2006-HerreraV #embedded #framework #modelling #specification
A framework for embedded system specification under different models of computation in SystemC (FH, EV), pp. 911–914.
DACDAC-2006-HuangG #embedded #scalability
Leakage-aware intraprogram voltage scaling for embedded processors (PKH, SG), pp. 364–369.
DACDAC-2006-MengSK #embedded #power management #reduction
Leakage power reduction of embedded memories on FPGAs through location assignment (YM, TS, RK), pp. 612–617.
DACDAC-2006-RiccobeneSRB #design #embedded #modelling
A model-driven design environment for embedded systems (ER, PS, AR, SB), pp. 915–918.
DACDAC-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.
DATEDATE-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.
DATEDATE-2006-ChattopadhyayGKWSILAM #automation #embedded
Automatic ADL-based operand isolation for embedded processors (AC, BG, DK, EMW, OS, HI, RL, GA, HM), pp. 600–605.
DATEDATE-2006-ChoRJ #embedded #realtime
Lock-free synchronization for dynamic embedded real-time systems (HC, BR, EDJ), pp. 438–443.
DATEDATE-2006-EyermanEB #design #embedded #performance
Efficient design space exploration of high performance embedded out-of-order processors (SE, LE, KDB), pp. 351–356.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2006-KogelB #embedded #multi #prototype
Virtual prototyping of embedded platforms for wireless and multimedia (TK, MB), pp. 488–490.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2006-ShinKKH #embedded #memory management
Restructuring field layouts for embedded memory systems (KS, JK, SK, HH), pp. 937–942.
DATEDATE-2006-Stanley-MarbellLR #adaptation #concurrent #embedded #library #multi #thread
Adaptive data placement in an embedded multiprocessor thread library (PSM, KL, AR), pp. 698–699.
DATEDATE-2006-WangYIG #embedded #image #verification
Disjunctive image computation for embedded software verification (CW, ZY, FI, AG), pp. 1205–1210.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2006-ZmilyK #embedded #energy #performance
Simultaneously improving code size, performance, and energy in embedded processors (AZ, CK), pp. 224–229.
DATEDATE-DF-2006-AarajRRJ #architecture #authentication #embedded #performance
Architectures for efficient face authentication in embedded systems (NA, SR, AR, NKJ), pp. 1–6.
DATEDATE-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.
DRRDRR-2006-WangDLL #authentication #documentation
A new document authentication method by embedding deformation characters (XW, XD, HL, CL).
VLDBVLDB-2006-KimBLLJ #embedded #memory management #named
LGeDBMS: A Small DBMS for Embedded System with Flash Memory (GJK, SCB, HSL, HDL, MJJ), pp. 1255–1258.
ITiCSEITiCSE-2006-Bruce-LockhartN #embedded #interactive
Interactive embedded examples: a demonstration (MBL, TSN), p. 357.
ESOPESOP-2006-CooperK #call-by #data flow
Embedding Dynamic Dataflow in a Call-by-Value Language (GHC, SK), pp. 294–308.
WCREWCRE-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.
SASSAS-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.
SASSAS-2006-Arnold #analysis #logic #refinement #using
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (GA), pp. 204–220.
STOCSTOC-2006-AbrahamBN #metric #roadmap
Advances in metric embedding theory (IA, YB, ON), pp. 271–286.
STOCSTOC-2006-RegevR #problem
Lattice problems and norm embeddings (OR, RR), pp. 447–456.
ICALPICALP-v1-2006-CarrollGM #bound #graph
Embedding Bounded Bandwidth Graphs into l1 (DEC, AG, AM), pp. 27–37.
FMFM-2006-HenzingerS #challenge #design #embedded
The Embedded Systems Design Challenge (TAH, JS), pp. 1–15.
FMFM-2006-VerhoefLH #distributed #embedded #modelling #realtime #validation
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
CHICHI-2006-Moher #distributed #embedded #learning #simulation
Embedded phenomena: supporting science learning with classroom-sized distributed simulations (TM), pp. 691–700.
AdaSIGAda-2006-Mosley #embedded #legacy
When to migrate legacy embedded applications (DM), pp. 77–80.
EDOCEDOC-2006-Gilart-IglesiasMGM #embedded #network
Services and Networks management through embedded devices and SOA (VGI, FMP, JAGMA, DMJ), pp. 395–398.
ICEISICEIS-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.
ICEISICEIS-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.
ICMLICML-2006-CaytonD #robust
Robust Euclidean embedding (LC, SD), pp. 169–176.
ICMLICML-2006-Memisevic #kernel
Kernel information embeddings (RM), pp. 633–640.
ICMLICML-2006-ZhangK #kernel #matrix #performance
Block-quantized kernel matrix for fast spectral embedding (KZ, JTK), pp. 1097–1104.
ICPRICPR-v2-2006-ChengCWF #algorithm #prototype #search-based
A Prototypes-Embedded Genetic K-means Algorithm (SSC, YHC, HMW, HCF), pp. 724–727.
ICPRICPR-v2-2006-OmachiIUK #invariant #recognition
Affine Invariant Information Embedment for Accurate Camera-Based Character Recognition (SO, MI, SU, KK), pp. 1098–1101.
ICPRICPR-v4-2006-LeiDW #adaptation #embedded
AdaBoost Tracker Embedded in Adaptive Particle Filtering (YL, XD, SW), pp. 939–943.
ICPRICPR-v4-2006-LinHH #embedded #video
An embedded watermark technique in video for copyright protection (YRL, HYH, WHH), pp. 795–798.
ICPRICPR-v4-2006-Yang #graph #linear
Building Connected Neighborhood Graphs for Locally Linear Embedding (LY), pp. 194–197.
SEKESEKE-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.
SEKESEKE-2006-WongRLO #embedded #testing
Coverage Testing Embedded Software on Symbian/OMAP (WEW, SR, JL, JO), pp. 473–478.
GPCEGPCE-2006-Riehl #tool support
Assimilating MetaBorg: : embedding language tools in languages (JR), pp. 21–28.
POPLPOPL-2006-NiS #assembly #embedded #pointer #programming
Certified assembly programming with embedded code pointers (ZN, ZS), pp. 320–333.
SACSAC-2006-Chang #embedded #scalability #scheduling
Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems (LPC), pp. 1462–1466.
SACSAC-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.
SACSAC-2006-DerisB #embedded #predict
Branchless cycle prediction for embedded processors (KJD, AB), pp. 928–932.
SACSAC-2006-DorneichNPT #database #embedded #modelling #parallel #predict #relational
Embedded predictive modeling in a parallel relational database (AD, RN, EPDP, FT), pp. 569–574.
SACSAC-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.
SACSAC-2006-LejdforsO #embedded #generative #gpu #implementation
Implementing an embedded GPU language by combining translation and generation (CL, LO), pp. 1610–1614.
SACSAC-2006-NooriM #adaptation #embedded #evaluation #performance
Preliminary performance evaluation of an adaptive dynamic extensible processor for embedded applications (HN, KM), pp. 937–938.
SACSAC-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.
SACSAC-2006-WuRJ #bound #embedded #energy #on the #realtime
On bounding energy consumption in dynamic, embedded real-time systems (HW, BR, EDJ), pp. 933–934.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
LDTALDTA-2006-Helin
Combining Deep and Shallow Embeddings (JH), pp. 61–79.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-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.
ASPLOSASPLOS-2006-LiBH #concurrent #embedded #multi #thread
Mapping esterel onto a multi-threaded embedded processor (XL, MB, RvH), pp. 303–314.
ASPLOSASPLOS-2006-MillerA #embedded
Software-based instruction caching for embedded processors (JEM, AA), pp. 293–302.
LCTESLCTES-2006-CoopriderR #abstract domain #embedded
Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.
LCTESLCTES-2006-Martonosi #case study #deployment #embedded #experience #hardware
Embedded systems in the wild: ZebraNet software, hardware, and deployment experiences (MM), p. 1.
LCTESLCTES-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.
LCTESLCTES-2006-RegehrD #embedded
Deriving abstract transfer functions for analyzing embedded software (JR, UD), pp. 34–43.
MBTMBT-2006-ConradK #classification #embedded
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events (MC, AK), pp. 3–11.
WICSAWICSA-2005-BrownBGSK #architecture #development #embedded #product line
Feature-Guided Architecture Development for Embedded System Families (TJB, RB, CG, ITAS, PK), pp. 223–226.
WICSAWICSA-2005-LudersFW #component #embedded #realtime
Software Components Services for Embedded Real-Time Systems (FL, DF, AW), pp. 278–279.
WICSAWICSA-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.
ASEASE-2005-Tan #embedded #logic #modelling #self #source code #specification
Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.
CASECASE-2005-0001G #embedded
Embedded supervisory control of discrete-event systems (YY, PG), pp. 410–415.
CASECASE-2005-TakeuchiS #design
Design for product-embedded disassembly pathways (ST, KS), pp. 31–36.
DACDAC-2005-ChenK #embedded #java #reliability #virtual machine
Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
DACDAC-2005-ChoiCK #embedded #power management
DC-DC converter-aware power management for battery-operated embedded systems (YC, NC, TK), pp. 895–900.
DACDAC-2005-Goldfeder #embedded #multi
Frequency-based code placement for embedded multiprocessors (CG), pp. 696–699.
DACDAC-2005-GuptaRRJ #authentication #embedded #performance
Efficient fingerprint-based user authentication for embedded systems (PG, SR, AR, NKJ), pp. 244–247.
DACDAC-2005-JejurikarG #embedded #realtime #scheduling
Dynamic slack reclamation with procrastination scheduling in real-time embedded systems (RJ, RKG), pp. 111–116.
DACDAC-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.
DACDAC-2005-LiC #architecture #embedded
Application/architecture power co-optimization for embedded systems powered by renewable sources (DL, PHC), pp. 618–623.
DACDAC-2005-MuttrejaRRJ #embedded #energy #estimation #hybrid #simulation
Hybrid simulation for embedded software energy estimation (AM, AR, SR, NKJ), pp. 23–26.
DACDAC-2005-PetrovTO #embedded #energy #memory management
Energy-effcient physically tagged caches for embedded processors with virtual memory (PP, DT, AO), pp. 17–22.
DACDAC-2005-SauerGS #composition #embedded #framework #implementation
Modular domain-specific implementation and exploration framework for embedded software platforms (CS, MG, SS), pp. 254–259.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DATEDATE-2005-AhmedM #design #embedded #performance #refinement
Design Refinement for Efficient Cluste ing of Objects in Embedded Systems (WA, DM), pp. 718–719.
DATEDATE-2005-AroraRRJ #embedded #monitoring #runtime
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
DATEDATE-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.
DATEDATE-2005-BarrettaFSB #clustering #embedded #parallel #thread
Multithreaded Extension to Multicluster VLIW Processors for Embedded Applications (DB, WF, MS, DB), pp. 748–749.
DATEDATE-2005-CheongL #embedded #named
galsC: A Language for Event-Driven Embedded Systems (EC, JL), pp. 1050–1055.
DATEDATE-2005-GanaiGA #embedded #memory management #modelling #performance #using #verification
Verification of Embedded Memory Systems using Efficient Memory Modeling (MKG, AG, PA), pp. 1096–1101.
DATEDATE-2005-HeckmannF #abstract interpretation #embedded #safety
erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation (RH, CF), pp. 618–619.
DATEDATE-2005-HungXVKI #embedded #scheduling
Thermal-Aware Task Allocation and Scheduling for Embedded Systems (WLH, YX, NV, MTK, MJI), pp. 898–899.
DATEDATE-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.
DATEDATE-2005-JhumkaKH #approach #design #embedded
A Dependability-Driven System-Level Design Approach for Embedded Systems (AJ, SK, SAH), pp. 372–377.
DATEDATE-2005-KandemirC #embedded #process #scheduling
Locality-Aware Process Scheduling for Embedded MPSoCs (MTK, GC), pp. 870–875.
DATEDATE-2005-KandemirLCCO #embedded #in memory #trade-off
Studying Storage-Recomputation Tradeoffs in Memory-Constrained Embedded Processing (MTK, FL, GC, GC, ÖÖ), pp. 1026–1031.
DATEDATE-2005-KavvadiasN #embedded #hardware
Hardware Support for Arbitrarily Complex Loop Structures in Embedded Applications (NK, SN), pp. 1060–1061.
DATEDATE-2005-Klingauf #embedded #modelling #transaction
Systematic Transaction Level Modeling of Embedded Systems with SystemC (WK), pp. 566–567.
DATEDATE-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.
DATEDATE-2005-KukkalaRHHK #design #embedded #uml
UML 2.0 Profile for Embedded System Design (PK, JR, MH, TDH, KK), pp. 710–715.
DATEDATE-2005-Langenwalter #development #embedded #process
Embedded Automotive System Development Process (JL), pp. 538–539.
DATEDATE-2005-LiTW #embedded #performance
An Efficient Transparent Test Scheme for Embedded Word-Oriented Memories (JFL, TWT, CLW), pp. 574–579.
DATEDATE-2005-LopezPN #embedded #metric
A New Embedded Measurement Structure for eDRAM Capacitor (LL, JMP, DN), pp. 462–463.
DATEDATE-2005-Lyons #design #embedded
Meeting the Embedded Design Needs of Automotive Applications (WL), pp. 142–147.
DATEDATE-2005-MarinissenPKZ #challenge #design #embedded #memory management
Challenges in Embedded Memory Design and Test (EJM, BP, DKS, YZ), pp. 722–727.
DATEDATE-2005-NaculG #compilation #embedded #lightweight #multi #using
Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler (ACN, TG), pp. 742–747.
DATEDATE-2005-OzturkSKK #embedded
Access Pattern-Based Code Compression for Memory-Constrained Embedded Systems (ÖÖ, HS, MTK, IK), pp. 882–887.
DATEDATE-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.
DATEDATE-2005-StreichertHT #clustering #configuration management #distributed #embedded #network
Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks (TS, CH, JT), pp. 894–895.
DATEDATE-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.
DATEDATE-2005-ThullS #embedded #implementation #performance
Performance Considerations for an Embedded Implementation of OMA DRM 2 (DT, RS), pp. 46–51.
DATEDATE-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.
DATEDATE-2005-WangWI #distributed #embedded #performance
A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.
DATEDATE-2005-WehmeyerM #embedded #memory management #predict
nfluence of Memory Hierarchies on Predictability for Time Constrained Embedded Software (LW, PM), pp. 600–605.
PODSPODS-2005-NashBM #composition #dependence #embedded
Composition of mappings given by embedded dependencies (AN, PAB, SM), pp. 172–183.
SIGMODSIGMOD-2005-AthitsosHKS
Query-Sensitive Embeddings (VA, MH, GK, SS), pp. 706–717.
VLDBVLDB-2005-BohannonFFN #xml
Information Preserving XML Schema Embedding (PB, WF, MF, PPSN), pp. 85–96.
CSEETCSEET-2005-HabermanT #embedded
An Undergraduate Program in Embedded Systems Engineering (BH, MT), pp. 103–110.
CSMRCSMR-2005-GraafDD #architecture #case study #embedded #experience #industrial
Evaluating an Embedded Software Reference Architecture — Industrial Experience Report (BG, HWvD, AvD), pp. 354–363.
STOCSTOC-2005-BadoiuCIS #metric
Low-distortion embeddings of general metrics into the line (MB, JC, PI, AS), pp. 225–233.
STOCSTOC-2005-OstrovskyR #distance #edit distance
Low distortion embeddings for edit distance (RO, YR), pp. 218–224.
ICALPICALP-2005-CaryRS #finite #metric #on the
On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), pp. 1412–1423.
FMFM-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.
IFMIFM-2005-MalikR #adaptation #case study #comparative #embedded #specification
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study (RM, PSR), pp. 33–52.
IFMIFM-2005-WeiH #csp
Embedding the Stable Failures Model of CSP in PVS (KW, JH), pp. 246–265.
AdaEuropeAdaEurope-2005-AyavooPP #development #embedded #reliability
Observing the Development of a Reliable Embedded System (DA, MJP, SP), pp. 167–179.
ICEISICEIS-v3-2005-MenkhausA #analysis #embedded #metric
Metric Suite Directing the Failure Mode Analysis of Embedded Software Systems (GM, BA), pp. 266–273.
ICMLICML-2005-BowlingGW
Action respecting embedding (MHB, AG, DFW), pp. 65–72.
ICMLICML-2005-PaiementEBB #embedded #visual notation
A graphical model for chord progressions embedded in a psychoacoustic space (JFP, DE, SB, DB), pp. 641–648.
ICMLICML-2005-ZienC #scalability
Large margin non-linear embedding (AZ, JQC), pp. 1060–1067.
KDDKDD-2005-Yang #graph
Building connected neighborhood graphs for isometric data embedding (LY), pp. 722–728.
MLDMMLDM-2005-HayashiMS #classification
Embedding Time Series Data for Classification (AH, YM, NS), pp. 356–365.
SEKESEKE-2005-Aoyama #challenge #embedded #re-engineering #ubiquitous
Challenges of Embedded and Ubiquitous Software Engineering from the Perspective of Networked Ecological Systems (MA), p. 792.
SEKESEKE-2005-ParkKYH #development #embedded #mobile
Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices (JWP, JJK, JKY, KJH), pp. 683–688.
MODELSMoDELS-2005-Schmidt #development #distributed #embedded #modelling #realtime
Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
MODELSMoDELS-2005-Schmidt #development #distributed #embedded #modelling #realtime
Model Driven Development for Distributed Real-Time and Embedded Systems (DCS), p. 1.
LOPSTRLOPSTR-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.
RERE-2005-Aoyama #embedded #requirements
Persona-and-Scenario Based Requirements Engineering for Software Embedded in Digital Consumer Products (MA), pp. 85–94.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2005-JuurlinkSV #embedded
Avoiding data conversions in embedded media processors (BHHJ, AS, SV), pp. 901–902.
SACSAC-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.
SACSAC-2005-MenonS #embedded
A code compression advisory tool for embedded processors (SKM, PS), pp. 863–867.
SACSAC-2005-TournierBO #architecture #component #embedded #evaluation
An evaluation of Qinna, a component-based QoS architecture for embedded systems (JCT, JPB, VO), pp. 998–1002.
GTTSEGTTSE-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.
ICSEICSE-2005-Crnkovic #component #embedded #re-engineering
Component-based software engineering for embedded systems (IC), pp. 712–713.
ICSEICSE-2005-SchmidJKM #approach #embedded
Introducing the puLSE approach to an embedded system population at testo AG (KS, IJ, RK, GM), pp. 544–552.
SPLCSPLC-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.
LCTESLCTES-2005-FrankeOTF #embedded #optimisation #probability #source code
Probabilistic source-level optimisation of embedded programs (BF, MFPO, JT, GF), pp. 78–86.
LCTESLCTES-2005-GriffinSC #embedded #energy #garbage collection #java #performance
An energy efficient garbage collector for java embedded devices (PAG, WSa, JMC), pp. 230–238.
LCTESLCTES-2005-SassoneWL #dependence #embedded #performance
Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.
LCTESLCTES-2005-XuZRMM #clustering #embedded #energy #policy
Energy-efficient policies for embedded clusters (RX, DZ, CR, RGM, DM), pp. 1–10.
TLCATLCA-2005-Fujita #polymorphism
Galois Embedding from Polymorphic Types into Existential Types (KeF), pp. 194–208.
CBSECBSE-2004-Maydl #analysis #component #design #embedded
Design Accompanying Analysis of Component-Based Embedded Software (WM), pp. 178–193.
CBSECBSE-2004-MollerFN #component #embedded #industrial #requirements
Industrial Requirements on Component Technologies for Embedded Systems (AM, JF, MN), pp. 146–161.
CBSECBSE-2004-SandstromFA #component #embedded #realtime #safety
Introducing a Component Technology for Safety Critical Embedded Real-Time Systems (KS, JF, ), pp. 194–208.
WICSAWICSA-2004-Purhonen #architecture #case study #embedded #optimisation #performance
Performance Optimization of Embedded Software Architecture — A Case Study (AP), pp. 112–121.
DACDAC-2004-ChengTM #embedded #named #synthesis
FITS: framework-based instruction-set tuning synthesis for embedded application specific processors (ACC, GST, TNM), pp. 920–923.
DACDAC-2004-ChoudhuriM #embedded #energy
Energy characterization of filesystems for diskless embedded systems (SC, RNM), pp. 566–569.
DACDAC-2004-JejurikarPG #embedded #realtime #scalability
Leakage aware dynamic voltage scaling for real-time embedded systems (RJ, CP, RKG), pp. 275–280.
DACDAC-2004-MuttrejaRRJ #automation #embedded #energy #megamodelling #performance
Automated energy/performance macromodeling of embedded software (AM, AR, SR, NKJ), pp. 99–102.
DACDAC-2004-OhbaT #design #embedded #using
An SoC design methodology using FPGAs and embedded microprocessors (NO, KT), pp. 747–752.
DACDAC-2004-RaviKLMR #design #embedded #security
Security as a new dimension in embedded system design (SR, PCK, RBL, GM, AR), pp. 753–760.
DACDAC-2004-YuM #embedded
Characterizing embedded applications for instruction-set extensible processors (PY, TM), pp. 723–728.
DACDAC-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.
DATEDATE-DF-2004-FummiMPPRT #embedded
Heterogeneous Co-Simulation of Networked Embedded Systems (FF, SM, GP, MP, FR, MT), pp. 168–173.
DATEDATE-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.
DATEDATE-DF-2004-LinXW #embedded
LZW-Based Code Compression for VLIW Embedded Systems (CHL, YX, WW), pp. 76–81.
DATEDATE-DF-2004-VarmaB #compilation #embedded #java
Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems (AV, SSB), pp. 161–167.
DATEDATE-v1-2004-Gordon-RossVD #automation #embedded
Automatic Tuning of Two-Level Caches to Embedded Applications (AGR, FV, ND), pp. 208–213.
DATEDATE-v1-2004-HounsellT #embedded #synthesis
Co-Processor Synthesis: A New Methodology for Embedded Software Acceleration (BIH, RT), pp. 682–683.
DATEDATE-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.
DATEDATE-v1-2004-ZhangVL #architecture #embedded #self
A Self-Tuning Cache Architecture for Embedded Systems (CZ, FV, RLL), pp. 142–147.
DATEDATE-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.
DATEDATE-v2-2004-CrisuCVL #development #embedded #framework #named
GRAAL — A Development Framework for Embedded Graphics Accelerators (DC, SC, SV, PL), pp. 1366–1367.
DATEDATE-v2-2004-JersakHE #analysis #design #embedded #performance
Context-Aware Performance Analysis for Efficient Embedded System Design (MJ, RH, RE), pp. 1046–1051.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-v2-2004-RizkPW #design #embedded #source code
Designing Self Test Programs for Embedded DSP Cores (HR, CAP, FGW), pp. 816–823.
DATEDATE-v2-2004-SbeytiNE #adaptation #embedded #multi
Adaptive Prefetching for Multimedia Applications in Embedded Systems (HS, SN, LE), pp. 1350–1351.
DATEDATE-v2-2004-SchattkowskyM #embedded #execution #modelling #realtime #specification
Model-Based Specification and Execution of Embedded Real-Time Systems (TS, WM), pp. 1392–1393.
DATEDATE-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.
DATEDATE-v2-2004-UedaSTI #architecture #embedded #estimation #performance
Architecture-Level Performance Estimation for IP-Based Embedded Systems (KU, KS, YT, MI), pp. 1002–1007.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-v2-2004-ZhouCK #embedded
Profile Guided Management of Code Partitions for Embedded Systems (SZ, BRC, NK), pp. 1396–1399.
DATEDATE-2005-RissaDL04 #configuration management #embedded #evaluation #modelling
Evaluation of SystemC Modelling of Reconfigurable Embedded Systems (TR, AD, WL), pp. 253–258.
HTHT-2004-PanWG #embedded #hypermedia #modelling #version control
Hypertext versioning for embedded link models (KP, EJWJ, GG), pp. 195–204.
CSEETCSEET-2004-Nikula #case study #experience #requirements
Experiences of Embedding Training in a Basic Requirements Engineering Method (UN), pp. 104–109.
ITiCSEITiCSE-2004-Ginat #design
Embedding instructive assertions in program design (DG), pp. 62–66.
PLDIPLDI-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.
SASSAS-2004-Venet #analysis #embedded #pointer #scalability #source code
A Scalable Nonuniform Pointer Analysis for Embedded Programs (AV), pp. 149–164.
STOCSTOC-2004-AroraRV #clustering #geometry #graph
Expander flows, geometric embeddings and graph partitioning (SA, SR, UVV), pp. 222–231.
STOCSTOC-2004-Talwar #algorithm #metric
Bypassing the embedding: algorithms for low dimensional metrics (KT), pp. 281–290.
ICALPICALP-2004-DengL
A PTAS for Embedding Hypergraph in a Cycle (Extended Abstract) (XD, GL), pp. 433–444.
IFMIFM-2004-Willemse #algebra #automaton #hybrid #process
Embeddings of Hybrid Automata in Process Algebra (TACW), pp. 343–362.
SFMSFM-2004-KatoenBKH #analysis #embedded
Embedded Software Analysis with MOTOR (JPK, HCB, RK, HH), pp. 268–294.
ICFPICFP-2004-HermanM #embedded #partial evaluation #static analysis
Improving the static analysis of embedded languages via partial evaluation (DH, PM), pp. 16–27.
ICGTICGT-2004-EhrenfeuchtHHR
Embedding in Switching Classes with Skew Gains (AE, JH, TH, GR), pp. 257–270.
AdaEuropeAdaEurope-2004-CamposGH #ada #embedded #realtime
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems (JLC, JJG, MGH), pp. 91–105.
ICEISICEIS-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.
ICMLICML-2004-SminchisescuJ #embedded #generative #modelling #visual notation
Generative modeling for continuous non-linearly embedded visual inference (CS, ADJ).
ICPRICPR-v1-2004-BrahimiS #embedded #image
Color Image Coding based on Embedded Wavelet Zerotree and Scalar Quantization (ZB, KAS), pp. 504–507.
ICPRICPR-v1-2004-GarainCC #documentation #embedded #identification
Identification of Embedded Mathematical Expressions in Scanned Documents (UG, BBC, ARC), pp. 384–387.
ICPRICPR-v2-2004-OdobezG #modelling #probability
Embedding Motion in Model-Based Stochastic Tracking (JMO, DGP), pp. 815–818.
ICPRICPR-v2-2004-RidderLR
Local Fisher Embedding (DdR, ML, MJTR), pp. 295–298.
ICPRICPR-v3-2004-BaiYH #graph #using
Graph Matching using Spectral Embedding and Alignment (XB, HY, ERH), pp. 398–401.
ICPRICPR-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.
LSOLSO-2004-RasW #case study #experience
Embedding Experiences in Micro-didactical Arrangements (ER, SW), pp. 55–66.
OOPSLAOOPSLA-2004-BravenboerV #domain-specific language #strict #syntax
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions (MB, EV), pp. 365–383.
GPCEGPCE-2004-SeefriedCK #domain-specific language #embedded #haskell #optimisation #using
Optimising Embedded DSLs Using Template Haskell (SS, MMTC, GK), pp. 186–205.
RERE-2004-Minakata #embedded #mobile #requirements #ubiquitous
Requirements for Ubiquitous/Embedded Products — Digital TV, Mobile Phones and Consumer Products (IM), p. 3.
RERE-2004-PuschnigK #development #embedded #requirements
Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems (AP, RTK), pp. 328–333.
SACSAC-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.
SACSAC-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.
SACSAC-2004-PanisHLLN #design #embedded #named
DSPxPlore: design space exploration methodology for an embedded DSP core (CP, UH, GL, WL, JN), pp. 876–883.
SACSAC-2004-ParkKLK #architecture #embedded #energy #memory management #performance
An energy efficient cache memory architecture for embedded systems (JWP, CGK, JHL, SDK), pp. 884–890.
SACSAC-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.
SACSAC-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.
FSEFSE-2004-LevesonW #embedded #reuse
Making embedded software reuse practical and safe (NGL, KAW), pp. 171–178.
ICSEICSE-2004-Kang #analysis #approximate #embedded #parametricity #realtime
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
ICSEICSE-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.
ASPLOSASPLOS-2004-RegehrR #automation #embedded #named
HOIST: a system for automatically deriving static analyzers for embedded systems (JR, AR), pp. 133–143.
CGOCGO-2004-DupreDT #architecture #embedded #named
VHC: Quickly Building an Optimizer for Complex Embedded Architectures (MD, ND, OT), pp. 53–64.
ISMMISMM-2004-ChenKVI #analysis #embedded #java #optimisation
Field level analysis for heap space optimization in embedded java environments (GC, MTK, NV, MJI), pp. 131–142.
LCTESLCTES-2004-DaveauTLS #embedded #framework
A retargetable register allocation framework for embedded processors (JMD, TT, TL, MS), pp. 202–210.
LCTESLCTES-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.
LCTESLCTES-2004-SaputraCBVKI #embedded
Code protection for resource-constrained embedded devices (HS, GC, RRB, NV, MTK, MJI), pp. 240–248.
LCTESLCTES-2004-ZhuangP #embedded #power management
Power-efficient prefetching via bit-differential offset assignment on embedded processors (XZ, SP), pp. 67–77.
LCTESLCTES-2004-ZhuangZP #embedded
Hardware-managed register allocation for embedded processors (XZ, TZ, SP), pp. 192–201.
CAVCAV-2004-GanaiGA #bound #embedded #model checking #modelling #performance
Efficient Modeling of Embedded Memories in Bounded Model Checking (MKG, AG, PA), pp. 440–452.
IJCARIJCAR-2004-MouraORRS #deduction #embedded
The ICS Decision Procedures for Embedded Deduction (LMdM, SO, HR, JMR, NS), pp. 218–222.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2003-Givargis #embedded #reduction
Improved indexing for cache miss reduction in embedded systems (TG), pp. 875–880.
DACDAC-2003-HuangC #embedded #framework #using #verification
Using embedded infrastructure IP for SOC post-silicon verification (YH, WTC), pp. 674–677.
DACDAC-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.
DACDAC-2003-JainSD #embedded
Embedded intelligent SRAM (PJ, GES, SD), pp. 869–874.
DACDAC-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.
DACDAC-2003-RussellJ #architecture #component #embedded #evaluation #performance
Architecture-level performance evaluation of component-based embedded systems (JTR, MFJ), pp. 396–401.
DACDAC-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.
DATEDATE-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.
DATEDATE-2003-BertozziRBR #embedded #energy #optimisation #performance #protocol
Transport Protocol Optimization for Energy Efficient Wireless Embedded Systems (DB, AR, LB, SR), pp. 10706–10713.
DATEDATE-2003-BlodgetML #approach #configuration management #embedded #lightweight
A Lightweight Approach for Embedded Reconfiguration of FPGAs (BB, SM, PL), pp. 10399–10401.
DATEDATE-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.
DATEDATE-2003-ChakrabortyKT #design #embedded #framework
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs (SC, SK, LT), pp. 10190–10195.
DATEDATE-2003-DebOJ #analysis #embedded #simulation #using
Simulation and Analysis of Embedded DSP Systems Using MASIC Methodology (AKD, , AJ), pp. 11100–11101.
DATEDATE-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.
DATEDATE-2003-GhoshG #design #embedded
Analytical Design Space Exploration of Caches for Embedded Systems (AG, TG), pp. 10650–10655.
DATEDATE-2003-GilbertTW #architecture #communication #embedded #multi
Communication Centric Architectures for Turbo-Decoding on Embedded Multiprocessors (FG, MJT, NW), pp. 10356–10363.
DATEDATE-2003-HerreraPSV #embedded #generative
Systemic Embedded Software Generation from SystemC (FH, HP, PS, EV), pp. 10142–10149.
DATEDATE-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.
DATEDATE-2003-KandemirCZK #embedded #scheduling
Data Space Oriented Scheduling in Embedded Systems (MTK, GC, WZ, IK), pp. 10416–10421.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2003-MaciiMCZ #algorithm #embedded #energy
A New Algorithm for Energy-Driven Data Compression in VLIW Embedded Processors (AM, EM, FC, RZ), pp. 10024–10029.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2003-NicolaescuVN #embedded #power management
Reducing Power Consumption for High-Associativity Data Caches in Embedded Processors (DN, AVV, AN), pp. 11064–11069.
DATEDATE-2003-PalermoSZ #architecture #embedded
Power-Performance System-Level Exploration of a MicroSPARC2-Based Embedded Architecture (GP, CS, VZ), pp. 20182–20187.
DATEDATE-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.
DATEDATE-2003-RapakaM #analysis #embedded #performance
Pre-Characterization Free, Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications (VSPR, DM), pp. 10504–10509.
DATEDATE-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.
DATEDATE-2003-RinnerSW #agile #architecture #embedded #flexibility #multi #prototype
Rapid Prototyping of Flexible Embedded Systems on Multi-DSP Architectures (BR, MS, RW), pp. 10204–10211.
DATEDATE-2003-SarlotteCQM #embedded
Embedded Software in Digital AM-FM Chipset (MS, BC, JQ, DM), pp. 10340–10343.
DATEDATE-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.
DATEDATE-2003-TanRJ #approach #architecture #embedded #energy
Software Architectural Transformations: A New Approach to Low Energy Embedded Software (TKT, AR, NKJ), pp. 11046–11051.
DATEDATE-2003-Tarnick #embedded #self
Self-Testing Embedded Checkers for Bose-Lin, Bose, and a Class of Borden Codes (ST), pp. 11162–11163.
DATEDATE-2003-WangMB #embedded #integration #modelling
Modeling and Integration of Peripheral Devices in Embedded Systems (SW, SM, RAB), pp. 10136–10141.
DATEDATE-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.
DATEDATE-2003-ZhangC #adaptation #embedded #energy #realtime
Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems (YZ, KC), pp. 10918–10925.
PODSPODS-2003-GarofalakisK #correlation #data type #distance #edit distance #using #xml
Correlating XML data streams using tree-edit distance embeddings (MNG, AK), pp. 143–154.
FASEFASE-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.
ICSMEICSM-2003-BrilPK #architecture #industrial
Embedding architectural support in industry (RJB, AP, RLK), pp. 348–357.
PLDIPLDI-2003-GayLBWBC #approach #embedded
The nesC language: A holistic approach to networked embedded systems (DG, PL, JRvB, MW, EAB, DEC), pp. 1–11.
STOCSTOC-2003-Rabinovich #metric #on the
On average distortion of embedding metrics into the line and into L1 (YR), pp. 456–462.
FMFME-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.
AdaSIGAda-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.
CAiSECAiSE-2003-Saeki #development #information management #metric
Embedding Metrics into Information Systems Development Methods: An Application of Method Engineering Technique (MS), pp. 374–389.
ICMLICML-2003-YamadaSU #network
Cross-Entropy Directed Embedding of Network Data (TY, KS, NU), pp. 832–839.
ICMLICML-2003-ZhaZ
Isometric Embedding and Continuum ISOMAP (HZ, ZZ), pp. 864–871.
MLDMMLDM-2003-HadidP #linear #performance
Efficient Locally Linear Embeddings of Imperfect Manifolds (AH, MP), pp. 188–201.
ECOOPECOOP-2003-Gunter #api #embedded #security
Open APIs for Embedded Security (CAG), pp. 225–247.
GPCEGPCE-2003-HammondM #domain-specific language #embedded #named #realtime
Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
SACSAC-2003-BeattyCGN #embedded #interpreter #java
An Optimized Java Interpreter for Connected Devices and Embedded Systems (AB, KC, DG, AN), pp. 692–697.
SACSAC-2003-CarliniB #embedded #performance #realtime #representation
An Efficient Time Representation for Real-Time Embedded Systems (AC, GCB), pp. 705–712.
SACSAC-2003-ChandranK #embedded #image #retrieval
Image Retrieval With Embedded Region Relationships (SC, NK), pp. 760–764.
SACSAC-2003-CheongLLZ #embedded #named #programming
TinyGALS: A Programming Model for Event-Driven Embedded Systems (EC, JL, JL, FZ), pp. 698–704.
SACSAC-2003-CofflandP #embedded #evaluation #framework #performance
A Software Framework for Efficient System-level Performance Evaluation of Embedded Systems (JEC, ADP), pp. 666–671.
SACSAC-2003-EngelenWY #embedded #validation
Validation of Code-Improving Transformations for Embedded Systems (RvE, DBW, XY), pp. 684–691.
SACSAC-2003-SaliceFVP #architecture #clustering #embedded #multi
Partitioning of Embedded Applications onto Heterogeneous Multiprocessor Architectures (FS, WF, LDV, LP), pp. 661–665.
SACSAC-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.
ICSEICSE-2003-RussellJ #architecture #embedded #evaluation #performance
Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software (JTR, MFJ), pp. 824–825.
LCTESLCTES-2003-AbouGhazalehCMMC #compilation #embedded #energy #realtime
Energy management for real-time embedded applications with compiler support (NA, BRC, DM, RGM, MC), pp. 284–293.
LCTESLCTES-2003-AlurIKLS #embedded #generative #hybrid #modelling
Generating embedded software from hierarchical hybrid models (RA, FI, JK, IL, OS), pp. 171–182.
LCTESLCTES-2003-AmeurBBPW #analysis #embedded #robust
Robustness analysis of avionics embedded systems (YAA, GB, FB, SP, VW), pp. 123–132.
LCTESLCTES-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.
LCTESLCTES-2003-NizR #embedded #framework #realtime
Time weaver: a software-through-models framework for embedded real-time systems (DdN, RR), pp. 133–143.
LCTESLCTES-2003-PopEP #clustering #distributed #embedded #multi
Schedulability-driven frame packing for multi-cluster distributed embedded systems (PP, PE, ZP), pp. 113–122.
LCTESLCTES-2003-PratapCSP #abstraction #embedded
Transport layer abstraction in event channels for embedded systems (RP, RC, DCS, EP), pp. 144–152.
LCTESLCTES-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.
LCTESLCTES-2003-SchultzBCK #compilation #embedded #java
Compiling java for low-end embedded systems (UPS, KB, FGC, JLK), pp. 42–50.
LCTESLCTES-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.
LCTESLCTES-2003-YuP #collaboration #embedded #energy
Energy-balanced task allocation for collaborative processing in networked embedded systems (YY, VKP), pp. 265–274.
LCTESLCTES-2003-ZhaoCS #embedded #impact analysis #optimisation #predict
Predicting the impact of optimizations for embedded systems (MZ, BRC, MLS), pp. 1–11.
LCTESLCTES-2003-ZhuangLP #embedded #optimisation
Storage assignment optimizations through variable coalescence for embedded processors (XZ, CL, SP), pp. 220–231.
FATESFATES-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.
TLCATLCA-2003-Power #higher-order
A Universal Embedding for the Higher Order Structure of Computational Effects (JP), pp. 301–315.
CBSECBSE-2002-LarssonWNC #architecture #embedded #predict #product line #using
Using Prediction Enabled Technologies for Embedded Product Line Architectures (ML, AW, CN, IC), p. 12.
DACDAC-2002-AbramoviciSE #embedded #using
Using embedded FPGAs for SoC yield improvement (MA, CES, ME), pp. 713–724.
DACDAC-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.
DACDAC-2002-ChakrabortyEKT #embedded #realtime #scheduling
Schedulability of event-driven code blocks in real-time embedded systems (SC, TE, SK, LT), pp. 616–621.
DACDAC-2002-GharsalliMRJ #automation #embedded #generative #memory management #multi
Automatic generation of embedded memory wrapper for multiprocessor SoC (FG, SM, FR, AAJ), pp. 596–601.
DACDAC-2002-KandemirRC #embedded #memory management #multi
Exploiting shared scratch pad memory space in embedded multiprocessor systems (MTK, JR, ANC), pp. 219–224.
DACDAC-2002-KayCM #embedded
Embedded test control schemes for compression in SOCs (DK, SC, SM), pp. 679–684.
DACDAC-2002-KrsticLCCD #design #embedded #self
Embedded software-based self-testing for SoC design (AK, WCL, KTC, LC, SD), pp. 355–360.
DACDAC-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.
DACDAC-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.
DACDAC-2002-PeymandoustMS #algebra #embedded #library #using
Complex library mapping for embedded software using symbolic algebra (AP, GDM, TS), pp. 325–330.
DACDAC-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.
DACDAC-2002-Zorian #framework
Embedding infrastructure IP for SOC yield improvement (YZ), pp. 709–712.
DATEDATE-2002-BeniniBMM #embedded #energy
Hardware-Assisted Data Compression for Energy Minimization in Systems with Embedded Processors (LB, DB, AM, EM), pp. 449–453.
DATEDATE-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.
DATEDATE-2002-DupontNR #embedded #robust
Embedded Robustness Ips (ED, MN, PR), pp. 244–245.
DATEDATE-2002-EdwardsG #embedded #modelling #using
The Modelling of Embedded Systems Using HASoC (MDE, PNG), pp. 752–759.
DATEDATE-2002-Jong #design #embedded #realtime #uml
A UML-Based Design Methodology for Real-Time and Embedded Sytems (GGdJ), pp. 776–779.
DATEDATE-2002-KumarMB #embedded #testing
IDDT Testing of Embedded CMOS SRAMs (SAK, RZM, DMB), p. 1117.
DATEDATE-2002-Martin #embedded #how
How to Choose Semiconductor IP: Embedded Software (GM), p. 16.
DATEDATE-2002-Martin02a #bibliography #design #embedded #motivation #perspective #specification #uml
UML for Embedded Systems Specification and Design: Motivation and Overview (GM), pp. 773–775.
DATEDATE-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.
DATEDATE-2002-Nicolaidis #embedded #robust
IP for Embedded Robustness (MN), pp. 240–241.
DATEDATE-2002-NitschK #embedded #runtime
The Use of Runtime Configuration Capabilities for Networked Embedded Systems (CN, UK), p. 1093.
DATEDATE-2002-Pateras #embedded
Embedded Diagnosis IP (SP), pp. 242–243.
DATEDATE-2002-PetrovO #embedded #performance
Power Efficient Embedded Processor Ip’s through Application-Specific Tag Compression in Data Caches (PP, AO), pp. 1065–1071.
DATEDATE-2002-PeymandoustSM #algebra #embedded #optimisation #power management #using
Low Power Embedded Software Optimization Using Symbolic Algebra (AP, TS, GDM), pp. 1052–1058.
DATEDATE-2002-Phillips #embedded #how
How to Choose Semiconductor IP? — Embedded Processor (IP), p. 14.
DATEDATE-2002-PozziVI #automation #embedded #identification
Automatic Topology-Based Identification of Instruction-Set Extensions for Embedded Processors (LP, MV, PI), p. 1138.
DATEDATE-2002-RettbergT #design #embedded
Embedded System Design Based On Webservices (AR, WT), pp. 232–236.
DATEDATE-2002-SchmitzAE #distributed #embedded #energy #scheduling
Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems (MTS, BMAH, PE), pp. 514–521.
DATEDATE-2002-TangGN #embedded #power management
Power Savings in Embedded Processors through Decode Filer Cache (WT, RKG, AN), pp. 443–448.
TACASTACAS-2002-AmnellFMPY #embedded #implementation #modelling #named
TIMES — A Tool for Modelling and Implementation of Embedded Systems (TA, EF, LM, PP, WY), pp. 460–464.
SCAMSCAM-J-2001-BartoliniP02 #embedded #program transformation
A cache-aware program transformation technique suitable for embedded systems (SB, CAP), pp. 783–795.
ICSMEICSM-2002-Knethen #embedded #evolution #requirements #traceability
Change-Oriented Requirements Traceability: Support for Evolution of Embedded Systems (AvK), pp. 482–485.
ICSMEICSM-2002-VandewoudeB #component #embedded #evolution #runtime
Run-time Evolution for Embedded Component-Oriented Systems (YV, YB), pp. 242–245.
PLDIPLDI-2002-HenzingerK #embedded #predict #realtime
The Embedded Machine: Predictable, Portable Real-Time Code (TAH, CMK), pp. 315–326.
CIAACIAA-2002-AnselmoGV #automaton #finite #self
Finite Automata and Non-self-Embedding Grammars (MA, DG, SV), pp. 47–56.
FMFME-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.
CHICHI-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.
AdaEuropeAda-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.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-2002-Boasson #embedded #object-oriented
Embedded Systems Unsuitable for Object Orientation (MB), pp. 1–12.
AdaEuropeAdaEurope-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.
ICPRICPR-v1-2002-HadidKP #analysis #learning #linear #using
Unsupervised Learning Using Locally Linear Embedding: Experiments with Face Pose Analysis (AH, OK, MP), pp. 111–114.
ICPRICPR-v2-2002-OhLM #algorithm #feature model #search-based
Local Search-Embedded Genetic Algorithms for Feature Selection (ISO, JSL, BRM), pp. 148–151.
ICPRICPR-v3-2002-GarciaFRF02a #embedded
Optimized Rate Control in Embedded Wavelet Coding (JAG, JFV, RRS, XRFV), pp. 849–854.
ICPRICPR-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.
KRKR-2002-Provan #distributed #embedded #framework #modelling
A Model-Based Diagnosis Framework for Distributed Embedded Systems (GMP), pp. 341–352.
GPCEGPCE-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.
GPCEGPCE-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.
GPCEGPCE-2002-SztipanovitsK #embedded #generative #programming
Generative Programming for Embedded Systems (JS, GK), pp. 32–49.
PPDPPPDP-2002-SztipanovitsK #embedded #generative #programming
Generative programming for embedded systems (JS, GK), p. 180.
PADLPADL-2002-Rhiger #compilation #embedded #source code
Compiling Embedded Programs to Byte Code (MR), pp. 120–136.
RERE-2002-BeeckBRS #embedded #modelling #requirements
Model Based Requirements Engineering for Embedded Software (MvdB, PB, MR, CS), pp. 92–94.
RERE-2002-KonradC #embedded #requirements
Requirements Patterns for Embedded Systems (SK, BHCC), pp. 127–136.
SACSAC-2002-FerreiraD #embedded #mobile
Blinded-key signatures: securing private keys embedded in mobile agents (LCF, RD), pp. 82–86.
SACSAC-2002-FuC #network #polynomial
Cycle embedding in faulty hierarchical cubic networks (JSF, GHC), pp. 860–864.
ICSEICSE-2002-Knight02a #dependence #embedded
Dependability of embedded systems (JCK), pp. 685–686.
HPCAHPCA-2002-ChenSKVIW #embedded #garbage collection #java
Tuning Garbage Collection in an Embedded Java Environment (GC, RS, MTK, NV, MJI, MW), pp. 92–103.
LCTESLCTES-SCOPES-2002-DudaniMZ #constraints #embedded #energy #feedback #realtime #scheduling
Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints (AD, FM, YZ), pp. 213–222.
LCTESLCTES-SCOPES-2002-JhumkaHCS #consistency #design #embedded #execution #on the
On systematic design of globally consistent executable assertions in embedded software (AJ, MH, VC, NS), pp. 75–84.
LCTESLCTES-SCOPES-2002-Magarshack #development #embedded #industrial #perspective
Systems-on-chip needs for embedded software development: an industrial perspective (PM), p. 1.
LCTESLCTES-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.
LCTESLCTES-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.
CADECADE-2002-Egly #logic
Embedding Lax Logic into Intuitionistic Logic (UE), pp. 78–93.
ICLPICLP-2002-AntoniouM #logic programming #source code
Embedding Defeasible Logic into Logic Programs (GA, MJM), pp. 393–404.
CBSECBSE-2001-GenßlerZ #component #composition #embedded
Rule-driven Component Composition for Embedded Systems (TG, CZ), p. 12.
WICSAWICSA-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.
DACDAC-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.
DACDAC-2001-ChenBD #embedded #fault #testing #using
Testing for Interconnect Crosstalk Defects Using On-Chip Embedded Processor Cores (LC, XB, SD), pp. 317–320.
DACDAC-2001-ChoiYLR #embedded #industrial #model checking
Model Checking of S3C2400X Industrial Embedded SOC Product (HC, BWY, YTL, HR), pp. 611–616.
DACDAC-2001-Gebotys #embedded #memory management
Utilizing Memory Bandwidth in DSP Embedded Processors (CHG), pp. 347–352.
DACDAC-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.
DACDAC-2001-LuoJ #distributed #embedded #realtime #scheduling
Battery-Aware Static Scheduling for Distributed Real-Time Embedded Systems (JL, NKJ), pp. 444–449.
DACDAC-2001-NandiM #analysis #design #embedded #performance
System-Level Power/Performance Analysis for Embedded Systems Design (AN, RM), pp. 599–604.
DACDAC-2001-PetrovO #architecture #embedded
Speeding Up Control-Dominated Applications through Microarchitectural Customizations in Embedded Processors (PP, AO), pp. 512–517.
DACDAC-2001-PopEPP #approach #design #distributed #embedded #incremental
An Approach to Incremental Design of Distributed Embedded Systems (PP, PE, TP, ZP), pp. 450–455.
DACDAC-2001-RamanujamHKN #embedded #memory management #requirements
Reducing Memory Requirements of Nested Loops for Embedded Systems (JR, JH, MTK, AN), pp. 359–364.
DATEDATE-2001-Al-ArsG #array #behaviour #embedded #memory management
Static and dynamic behavior of memory cell array opens and shorts in embedded DRAMs (ZAA, AJvdG), pp. 496–503.
DATEDATE-2001-Doboli #constraints #design #embedded #latency
Integrated hardware-software co-synthesis for design of embedded systems under power and latency constraints (AD), pp. 612–619.
DATEDATE-2001-DorschW #embedded #logic #testing #using
Using mission logic for embedded testing (RD, HJW), p. 805.
DATEDATE-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.
DATEDATE-2001-GiustoMH #embedded #estimation #execution #reliability
Reliable estimation of execution time of embedded software (PG, GM, EAH), pp. 580–589.
DATEDATE-2001-GrunDN #embedded #memory management #power management
Access pattern based local memory customization for low power embedded systems (PG, NDD, AN), pp. 778–784.
DATEDATE-2001-JingnanVH #embedded #library
A Skill-based library for retargetable embedded analog cores (XJ, JCV, NH), pp. 768–769.
DATEDATE-2001-KulkarniGMCM #embedded #layout #multi
Cache conscious data layout organization for embedded multimedia applications (CK, CG, MM, FC, HDM), pp. 686–693.
DATEDATE-2001-PaschalisGKPZ #embedded #self
Deterministic software-based self-testing of embedded processor cores (AMP, DG, NK, MP, YZ), pp. 92–96.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2001-SamiSSZZ #embedded
Exploiting data forwarding to reduce the power budget of VLIW embedded processors (MS, DS, CS, VZ, RZ), pp. 252–257.
DATEDATE-2001-StaaB #design #embedded #roadmap #tutorial
Embedded tutorial: current trends in the design of automotive electronic systems (PvS, TB), pp. 38–39.
DATEDATE-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.
DATEDATE-2001-VareaA #embedded #modelling #petri net #specification
Dual transitions petri net based modelling technique for embedded systems specification (MV, BMAH), pp. 566–571.
DATEDATE-2001-ZorianPTTPDSMR #embedded #tutorial
Embedded tutorial: TRP: integrating embedded test and ATE (YZ, PP, JPT, ICT, CEP, OPD, JS, PM, WR), pp. 34–37.
VLDBVLDB-2001-Sol #database #embedded #network #ubiquitous
Ambient Intelligence with the Ubiquitous Network, the Embedded Computer Devices and the Hidden Databases (abstract) (EJS), p. 14.
FASEFASE-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.
FoSSaCSFoSSaCS-2001-AmbroiseABR #embedded #verification
MARRELLA and the Verification of an Embedded System (DA, PA, KB, BR), pp. 409–412.
ICSMEICSM-2001-ChungS #architecture #case study #embedded #evolution #semantics
Architecture-Based Semantic Evolution: A Study of Remotely Controlled Embedded Systems (LC, NS), pp. 663–666.
SCAMSCAM-2001-BartoliniP #embedded #performance
An Object Level Transformation Technique to Improve the Performance of Embedded Applications (SB, CAP), pp. 26–34.
SASSAS-2001-SidorovaS
Embedding Chaos (NS, MS), pp. 319–334.
ICALPICALP-2001-CormodeMS #editing #permutation
Permutation Editing and Matching via Embeddings (GC, SM, SCS), pp. 481–492.
VISSOFTSVIS-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.
AdaEuropeAdaEurope-2001-Rivas #ada #embedded #kernel #realtime
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.
ICEISICEIS-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.
ICMLICML-2001-EngelM #embedded #learning #markov #process
Learning Embedded Maps of Markov Processes (YE, SM), pp. 138–145.
UMLUML-2001-LatronicoK #diagrams #embedded #formal method #representation #sequence chart
Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.
TOOLSTOOLS-EUROPE-2001-PreeP #architecture #embedded #framework #object-oriented
Object-Oriented Framework Architectures for Embedded Systems (WP, AP), pp. 199–200.
QAPLQAPL-2001-BrogiPW #comparison #linear
Linear Embedding for a Quantitative Comparison of Language Expressiveness (AB, ADP, HW), pp. 207–237.
FSEESEC-FSE-2001-Jahnke #component #embedded
Engineering component-based net-centric systems for embedded applications (JHJ), pp. 218–228.
CCCC-2001-OttoniRARM #embedded #source code
Optimal Live Range Merge for Address Register Allocation in Embedded Programs (GO, SR, GA, SR, SM), pp. 274–288.
LCTESLCTES-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.
LCTESLCTES-OM-2001-CadotKLRS #communication #embedded #multi #named
ENSEMBLE: A Communication Layer for Embedded Multi-Processor Systems (SC, FK, KL, KvR, HJS), pp. 56–63.
LCTESLCTES-OM-2001-HenzingerHK #development #embedded
Embedded Control Systems Development with Giotto (TAH, BH, CMK), pp. 64–72.
LCTESLCTES-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.
LCTESLCTES-OM-2001-LeeEMC #embedded #energy
An Accurate Instruction-Level Energy Consumption Model for Embedded RISC Processors (SL, AE, SLM, NC), pp. 1–10.
LCTESLCTES-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.
LCTESLCTES-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.
SOSPSOSP-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.
CAVCAV-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.
ICLPICLP-2001-OrejasPP #embedded #logic programming #semantics #source code
Semantics of Normal Logic Programs with Embedded Implications (FO, EP, EP), pp. 255–268.
DACDAC-2000-BeniniMMP #embedded #optimisation #synthesis
Synthesis of application-specific memories for power optimization in embedded systems (LB, AM, EM, MP), pp. 300–303.
DACDAC-2000-ChenDSSC #embedded #hardware #self
Embedded hardware and software self-testing methodologies for processor cores (LC, SD, PS, KS, YC), pp. 625–630.
DACDAC-2000-ChiouJRD #embedded #memory management #using
Application-specific memory management for embedded systems using software-controlled caches (DC, PJ, LR, SD), pp. 416–419.
DACDAC-2000-ChouB #coordination #distributed #embedded #optimisation #synthesis
Synthesis and optimization of coordination controllers for distributed embedded systems (PHC, GB), pp. 410–415.
DACDAC-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.
DACDAC-2000-DickLRJ #analysis #embedded #operating system
Power analysis of embedded operating systems (RPD, GL, AR, NKJ), pp. 312–315.
DACDAC-2000-HsiehBLS #design #embedded #performance
Efficient methods for embedded system design space exploration (HH, FB, LL, ALSV), pp. 607–612.
DACDAC-2000-LekatsasHW #design #embedded #power management
Code compression for low power embedded system design (HL, JH, WW), pp. 294–299.
DACDAC-2000-LiCDHKS #architecture #co-evolution #configuration management #design #embedded
Hardware-software co-design of embedded reconfigurable architectures (YL, TC, ED, REH, UK, JS), pp. 507–512.
DACDAC-2000-OmnesFC #co-evolution #design #embedded #interactive #multi #throughput
Interactive co-design of high throughput embedded multimedia (TJFO, TF, FC), pp. 328–331.
DACDAC-2000-ShinKC #analysis #embedded #multi #performance #realtime
Schedulability-driven performance analysis of multiple mode embedded real-time systems (YS, DK, KC), pp. 495–500.
DATEDATE-2000-BergfeldNR #embedded #testing #using
Diagnostic Testing of Embedded Memories Using BIST (TJB, DN, EMR), pp. 305–309.
DATEDATE-2000-CarroKWO #embedded #multi #synthesis
System Synthesis for Multiprocessor Embedded Applications (LC, MEK, FRW, MO), pp. 697–702.
DATEDATE-2000-HergenhanR #analysis #architecture #embedded
Static Timing Analysis of Embedded Software on Advanced Processor Architectures (AH, WR), pp. 552–559.
DATEDATE-2000-IshiharaY #embedded #reduction
A Power Reduction Technique with Object Code Merging for Application Specific Embedded Processors (TI, HY), pp. 617–623.
DATEDATE-2000-KimLS #embedded #optimisation
Free MDD-Based Software Optimization Techniques for Embedded Systems (CK, LL, ALSV), pp. 14–18.
DATEDATE-2000-NiemegeersJ #embedded #incremental #realtime #specification
An Incremental Specification Flow for Real Time Embedded Systems (AN, GGdJ), p. 761.
DATEDATE-2000-PopEP #analysis #distributed #embedded #optimisation #scheduling
Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis (PP, PE, ZP), pp. 567–574.
DATEDATE-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.
DATEDATE-2000-Veelenturf #embedded #reliability #tool support
The Road to Better Reliability and Yield Embedded DfM Tools (KV), pp. 67–68.
DATEDATE-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.
DATEDATE-2000-Zorian #embedded #scalability #trade-off
Yield Improvement and Repair Trade-Off for Large Embedded Memories (YZ), pp. 69–70.
ITiCSEITiCSE-2000-WuZ #fuzzy #problem
Embedding problem of noncompact fuzzy number space E~ (II) (CW, BZ), pp. 135–142.
IWPCIWPC-2000-JahnkeNW #analysis #automation #component #embedded #quality
Automated Quality Analysis of Component Software for Embedded Systems (JHJ, JN, JPW), pp. 18–26.
AdaEuropeAdaEurope-2000-MauriS #analysis #embedded #reliability #safety #using
Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.
ICPRICPR-v1-2000-KacemBA #embedded
Embedded Formulas Extraction (AK, AB, MBA), pp. 1676–1680.
ICPRICPR-v2-2000-Baram #pattern matching #pattern recognition #random #recognition
Random Embedding Machines for Low-Complexity Pattern Recognition (YB), pp. 2748–2754.
ICPRICPR-v3-2000-LiuL #clustering #image #using
Wavelet Image Coding Using Cluster Growing Embedding (YL, YDL), pp. 3250–3253.
ICPRICPR-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.
TOOLSTOOLS-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.
TOOLSTOOLS-EUROPE-2000-BeucheSSS #embedded #object-oriented
Streamlining Object-Oriented Software for Deeply Embedded Applications (DB, WSP, OS, US), pp. 33–44.
TOOLSTOOLS-USA-2000-ColbertL #embedded #realtime #uml
Building Real-Time Embedded Systems with MetaH and UML [Abstract] (EC, BAL), pp. 445–446.
TOOLSTOOLS-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.
TOOLSTOOLS-USA-2000-LewisCV #embedded #evolution
Developing Evolvable, Embedded, Time-Critical Systems with MetaH (BAL, EC, SV), pp. 447–456.
GPCESAIG-2000-ElliottFM #compilation #embedded
Compiling Embedded Languages (CE, SF, OdM), pp. 9–27.
SACSAC-2000-BlooHJ #architecture #aspect-oriented #distributed #embedded #semantics
Semantical Aspects of an Architecture for Distributed Embedded Systems (RB, JH, EDdJ), pp. 149–155.
SPLCSPLC-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.
CCCC-2000-Kim #compilation #embedded #optimisation
Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor (DHK), pp. 173–188.
HPDCHPDC-2000-PlaleS #data flow #embedded #named #query #scalability #using
dQUOB: Managing Large Data Flows using Dynamic Embedded Queries (BP, KS), pp. 263–270.
LCTESLCTES-2000-BairagiPA #embedded #framework #quality #set
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors (DB, SP, DPA), pp. 81–95.
LCTESLCTES-2000-JeonKHK #corba #embedded #fault tolerance
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems (GJ, THK, SH, SK), pp. 114–133.
LCTESLCTES-2000-LeeLKK #debugging #design #embedded #implementation #internet
A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software (KL, CL, KK, HNK), pp. 199–203.
LCTESLCTES-2000-ParkLLHK #embedded #performance
A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure (GHP, KWL, JHL, TDH, SDK), pp. 162–177.
CADECADE-2000-CollinsD #verification
System Description: Embedding Verification into Microsoft Excel (GC, LAD), pp. 497–501.
WICSAWICSA-1999-BartthallR #architecture #design #embedded #product line
Architecture Design Recovery of a Family of Embedded Software Systems (LB, PR), pp. 3–14.
ASEASE-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.
DACDAC-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.
DACDAC-1999-ChoiYLPK #design #embedded
Exploiting Intellectual Properties in ASIP Designs for Embedded DSP Software (HC, JHY, JYL, ICP, CMK), pp. 939–944.
DACDAC-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.
DACDAC-1999-Fisher #embedded
Customized Instruction-Sets for Embedded Processors (JAF), pp. 253–257.
DACDAC-1999-FleischmannBK #embedded #java #prototype
Java Driven Codesign and Prototyping of Networked Embedded Systems (JF, KB, RK), pp. 794–797.
DACDAC-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.
DACDAC-1999-Henkel #approach #clustering #embedded #hardware #power management
A Low Power Hardware/Software Partitioning Approach for Core-Based Embedded Systems (JH), pp. 122–127.
DACDAC-1999-HuangL #embedded #named
ICEBERG: An Embedded In-Circuit Emulator Synthesizer for Microcontrollers (IJH, TAL), pp. 580–585.
DACDAC-1999-NotbauerANR #design #embedded #multi #verification
Verification and Management of a Multimillion-Gate Embedded Core Design (JN, TWA, GN, SR), pp. 425–428.
DACDAC-1999-RichterZETT #embedded #optimisation #representation #synthesis
Representation of Function Variants for Embedded System Optimization and Synthesis (KR, DZ, RE, LT, JT), pp. 517–522.
DACDAC-1999-SgroiL #embedded #petri net #synthesis #using
Synthesis of Embedded Software Using Free-Choice Petri Nets (MS, LL), pp. 805–810.
DACDAC-1999-ShiueC #embedded #memory management #power management
Memory Exploration for Low Power, Embedded Systems (WTS, CC), pp. 140–145.
DACDAC-1999-SimunicBM #embedded #energy #simulation
Cycle-Accurate Simulation of Energy Consumption in Embedded Systems (TS, LB, GDM), pp. 867–872.
DACDAC-1999-StepnerRH #design #embedded #realtime #using
Embedded Application Design Using a Real-Time OS (DS, NR, DH), pp. 151–156.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-1999-Leupers #code generation #embedded
Exploiting Conditional Instructions in Code Generation for Embedded VLIW Processors (RL), p. 105–?.
DATEDATE-1999-MoserN #case study #embedded
Case Study: System Model of Crane and Embedded Control (EM, WN), p. 721.
DATEDATE-1999-NikolosVHT #embedded #fault #testing
Path Delay Fault Testing of ICs with Embedded Intellectual Property Blocks (DN, HTV, TH, YT), pp. 112–116.
DATEDATE-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.
DATEDATE-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–?.
DATEDATE-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.
FoSSaCSFoSSaCS-1999-ArruabarrenaLN #embedded #logic programming
A Strong Logic Programming View for Static Embedded Implications (RA, PL, MN), pp. 56–72.
TACASTACAS-1999-BakhmurovKS #analysis #design #embedded #named
DYANA: An Environment for Embedded System Design and Analysis (AGB, APK, RLS), pp. 390–404.
CSMRCSMR-1999-RaysideK #deployment #embedded #java #library #set
Extracting Java Library Subsets for Deployment on Embedded Systems (DR, KK), pp. 102–110.
PLDIPLDI-1999-CooperM #embedded
Enhanced Code Compression for Embedded RISC Processors (KDC, NM), pp. 139–149.
PLDIPLDI-1999-RaoP #embedded #optimisation #performance
Storage Assignment Optimizations to Generate Compact and Efficient Code on Embedded DSPs (AR, SP), pp. 128–138.
STOCSTOC-1999-Gupta #metric
Embedding Tree Metrics Into Low Dimensional Euclidean Spaces (AG), pp. 694–700.
STOCSTOC-1999-KargerKSTY #algorithm #geometry #multi
Rounding Algorithms for a Geometric Embedding of Minimum Multiway Cut (DRK, PNK, CS, MT, NEY), pp. 668–678.
FMFM-v1-1999-MunozR
Structural Embeddings: Mechanization with Method (CAM, JMR), pp. 452–471.
ICFPICFP-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.
ICFPICFP-1999-LaunchburyLC #architecture #design #haskell #on the
On Embedding a Microarchitectural Design Language within Haskell (JL, JRL, BC), pp. 60–69.
HCIHCI-EI-1999-StephanidisGA #development #human-computer #user interface
Embedding HCI guideline input to iterative user interface development (CS, DG, DA), pp. 978–982.
AdaEuropeAdaEurope-1999-FornaciariS #co-evolution #design #embedded
HW/SW Co-design of Embedded Systems (WF, DS), pp. 344–355.
AdaEuropeAdaEurope-1999-Frost #ada #certification #embedded #safety
An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
AdaEuropeAdaEurope-1999-LopezVV #ada #design #embedded #hardware #using
Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL (AL, MV, EV), pp. 356–370.
AdaEuropeAdaEurope-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.
AdaSIGAda-1999-Lowe #ada #development #embedded #multi
Extending Ada to assist multiprocessor embedded development (TL), pp. 125–132.
UMLUML-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.
TOOLSTOOLS-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.
POPLPOPL-1999-CollbergT #modelling
Software Watermarking: Models and Dynamic Embeddings (CSC, CDT), pp. 311–324.
ESECESEC-FSE-1999-Fierz #component #embedded #modelling
The CIP Method: Component- and Model-Based Construction of Embedded Systems (HF), pp. 375–392.
ESECESEC-FSE-1999-ThompsonHM #embedded #prototype
Specification-Based Prototyping for Embedded Systems (JMT, MPEH, SPM), pp. 163–179.
HPDCHPDC-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.
LCTESLCTES-1999-Engblom #benchmark #embedded #metric #tool support #why
Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools (JE), pp. 96–103.
LCTESLCTES-1999-KangGGHS #design #distributed #embedded #synthesis
A Software Synthesis Tool for Distributed Embedded System Design (DIK, RG, LG, JKH, MS), pp. 87–95.
LCTESLCTES-1999-KimCKS #embedded #garbage collection #realtime #scheduling
Scheduling Garbage Collector for Embedded Real-Time Systems (TK, NC, NK, HS), pp. 55–64.
LCTESLCTES-1999-Persson #analysis #embedded #garbage collection #memory management
Live Memory Analysis for Garbage Collection in Embedded Systems (PP), pp. 45–54.
LCTESLCTES-1999-Ryu #challenge #embedded
Issues and Challenges in Developing Embedded Software for Information Appliances and Telecommunication Terminals (IR), pp. 104–120.
LCTESLCTES-1999-RyuPKSH #embedded #performance #re-engineering #realtime
Performance Re-engineering of Embedded Real-Time Systems (MR, JP, KK, YS, SH), pp. 80–86.
LCTESLCTES-1999-TomoyoshiK #embedded #realtime
Table-based QoS Control for Embedded Real-Time Systems (TS, KT), pp. 65–72.
CADECADE-1999-Nipkow #programming language #proving #theorem proving
Invited Talk: Embedding Programming Languages in Theorem Provers (Abstract) (TN), p. 398.
ICTSSIWTCS-1999-LatvakoskiH #communication #embedded #protocol #simulation #testing
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems (JL, HH), pp. 379–394.
ICTSSIWTCS-1999-YevtushenkoCA #embedded #finite #nondeterminism #state machine #testing
Test Suite Minimization for Embedded Nondeterministic Finite State Machines (NY, ARC, RA), pp. 237–250.
DACDAC-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.
DACDAC-1998-ChouB #composition #distributed #embedded #process #towards
Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems (PHC, GB), pp. 88–93.
DACDAC-1998-CuattoPLJDSS #case study #design #embedded
A Case Study in Embedded System Design: An Engine Control Unit (TC, CP, LL, AJ, AD, CS, ALSV), pp. 804–807.
DACDAC-1998-DasdanRG #embedded #realtime
Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems (AD, DR, RKG), pp. 263–268.
DACDAC-1998-HinesB #design #distributed #embedded #framework #validation
A Geographically Distributed Framework for Embedded System Design and Validation (KH, GB), pp. 140–145.
DACDAC-1998-HongBLS #embedded
Don’t Care-Based BDD Minimization for Embedded Software (YH, PAB, LL, ES), pp. 506–509.
DACDAC-1998-KalavadeM #embedded #estimation #performance
A Tool for Performance Estimation of Networked Embedded End-systems (AK, PM), pp. 257–262.
DACDAC-1998-KarkowskiC #algorithm #design #embedded #multi
Design Space Exploration Algorithm for Heterogeneous Multi-Processor Embedded System Design (IK, HC), pp. 82–87.
DACDAC-1998-LekatsasW #embedded
Code Compression for Embedded Systems (HL, WW), pp. 516–521.
DACDAC-1998-LiH #embedded #energy #estimation #framework
A Framework for Estimation and Minimizing Energy Dissipation of Embedded HW/SW Systems (YL, JH), pp. 188–193.
DACDAC-1998-YoungMSTHN #design #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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-1998-PandaDN #embedded
Data Cache Sizing for Embedded Processor Applications (PRP, NDD, AN), pp. 925–926.
DATEDATE-1998-WehnH #architecture #embedded #trade-off
Embedded DRAM Architectural Trade-Offs (NW, SH), pp. 704–708.
FASEFASE-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.
FASEFASE-1998-GrieskampHD #component #embedded #specification
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components (WG, MH, HD), pp. 88–106.
SASSAS-1998-Leuschel #on the #online #power of #termination
On the Power of Homeomorphic Embedding for Online Termination (ML), pp. 230–245.
STOCSTOC-1998-Feige #approximate
Approximating the Bandwidth via Volume Respecting Embeddings (Extended Abstract) (UF), pp. 90–99.
STOCSTOC-1998-PeinadoL #embedded #generative #graph #random
Random Generation of Embedded Graphs and an Extension to Dobrushin Uniqueness (Extended Abstract) (MP, TL), pp. 176–185.
AdaEuropeAdaEurope-1998-Gasperoni #embedded
Embedded Opportunities (FG), pp. 1–13.
AdaSIGAda-1998-LeifL #ada #embedded
Ada in Embedded Boards for Scientific and Medical Instruments (RCL, SBL), pp. 114–120.
PPDPALP-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.
LOPSTRLOPSTR-1998-Leuschel #online #termination
Improving Homeomorphic Embedding for Online Termination (ML), pp. 199–218.
REFSQREFSQ-1998-MaseraM #challenge #embedded #requirements
Dependable Embedded Systems: The Challenges for Requirements Engineering (MM, PM), pp. 187–192.
SACSAC-1998-Li #evaluation #performance #probability
Performance evaluation of probabilistic tree embedding in cube-connected cycles (KL), pp. 584–592.
SACSAC-1998-WohlmuthM #communication #configuration management #parallel
A method for them embedding of arbitrary communication topologies into configurable parallel computers (OW, FML), pp. 569–574.
LCTESLCTES-1998-AnantharamanP #clustering #embedded #memory management #performance
An Efficient Data Partitioning Method for Limited Memory Embedded Systems (SA, SP), pp. 108–222.
LCTESLCTES-1998-AroraS #debugging #embedded #realtime
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems (GA, DBS), pp. 83–97.
LCTESLCTES-1998-Balarin #embedded #realtime
Priority Assignment for Embedded Reactive Real-Time Systems (FB), pp. 146–155.
LCTESLCTES-1998-Campbell #architecture #embedded
Evaluating ASIC, DSP, and RISC Architectures for Embedded Applications (MC), p. 261.
LCTESLCTES-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.
LCTESLCTES-1998-RamseyD #embedded #tool support
Machine Descriptions to Build Tools for Embedded Systems (NR, JWD), pp. 176–192.
ICTSSIWTCS-1998-ZhuVC #embedded #evaluation #test coverage #testing
Evaluation of Test Coverage for Embedded System Testing (JZ, STV, STC), pp. 111–126.
LICSLICS-1998-BaldwinB #embedded #finite #modelling #order
Embedded Finite Models, Stability Theory and the Impact of Order (JTB, MB), pp. 490–500.
ASEASE-1997-SetliffSM #design #distributed #embedded #towards
Towards a Design Assistant for Distributed Embedded Systems (DES, JKS, JAM), pp. 311–312.
DACDAC-1997-AgrawalG #behaviour #clustering #data flow #embedded
Data-Flow Assisted Behavioral Partitioning for Embedded Systems (SA, RKG), pp. 709–712.
DACDAC-1997-BalarinS #embedded #realtime #validation
Schedule Validation for Embedded Reactive Real-Time Systems (FB, ALSV), pp. 52–57.
DACDAC-1997-DaveLJ #embedded #named
COSYN: Hardware-Software Co-Synthesis of Embedded Systems (BPD, GL, NKJ), pp. 703–708.
DACDAC-1997-HinesB #communication #embedded #modelling
Dynamic Communication Models in Embedded System Co-Simulation (KH, GB), pp. 395–400.
DACDAC-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.
DACDAC-1997-MalikML #analysis #embedded
Static Timing Analysis of Embedded Software (SM, MM, YTSL), pp. 147–152.
DACDAC-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.
DACDAC-1997-ShacklefordYOKTY #design #embedded #optimisation
Memory-CPU Size Optimization for Embedded System Designs (BS, MY, EO, HK, HT, HY), pp. 246–251.
DATEEDTC-1997-AbdullaRK #embedded #multi
A scheme for multiple on-chip signature checking for embedded SRAMs (MFA, CPR, AK), p. 625.
DATEEDTC-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.
DATEEDTC-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.
DATEEDTC-1997-PandaDN #embedded #memory management #performance
Efficient utilization of scratch-pad memory in embedded processor applications (PRP, NDD, AN), pp. 7–11.
DATEEDTC-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.
HCIHCI-CC-1997-SavidisVS #library
Embedding Scanning Techniques Accessible to Motor-Impaired Users in the WINDOWS Object Library (AS, GV, CS), pp. 429–432.
TOOLSTOOLS-USA-1997-IkedaMKKNI #embedded #object-oriented
Applying Object-Oriented Technology to Embedded Software (NI, KM, YK, TK, HN, MI), pp. 6–15.
ICSEICSE-1997-EixelsbergerWKG #architecture #embedded
Software Architecture Recovery of Embedded Software (WE, LW, RK, HG), pp. 558–559.
CAVCAV-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.
ICLPICLP-1997-Petukhin #embedded
Embedded Implications as a Generalization of Negation as Failure (VP), p. 420.
DACDAC-1996-BalarinHJLS #embedded #network #verification
Formal Verification of Embedded Systems based on CFSM Networks (FB, HH, AJ, LL, ALSV), pp. 568–571.
DACDAC-1996-Gupta #analysis #constraints #embedded #execution
Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems (RKG), pp. 601–604.
DACDAC-1996-VercauterenLM #architecture #embedded
Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications (SV, BL, HDM), pp. 521–526.
DACDAC-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.
HTHT-1996-GronbaekT #embedded #hypermedia #towards
Toward a Dexter-Based Model for Open Hypermedia: Unifying Embedded References and Link Objects (KG, RHT), pp. 149–160.
WCREWCRE-1996-LewisM #embedded #framework #parallel #re-engineering #realtime
Reengineering Real-Time Embedded Software onto a Parallel Processing Platform (BL, DJM), p. 11–?.
STOCSTOC-1996-Mohar #graph #linear
Embedding Graphs in an Arbitrary Surface in Linear Time (BM), pp. 392–397.
FMFME-1996-ArnoldBR #debugging #embedded #formal method
An Example of Use of Formal Methods to Debug an Embedded Software (AA, DB, JPR), pp. 649–661.
FMFME-1996-Jackson #case study #embedded #experience #scheduling
Experiences in Embedded Scheduling (DMJ), pp. 445–464.
CSCWCSCW-1996-KatzenbergPM #evolution #protocol
Computer Support for Clinical Practice: Embedding and Evolving Protocols of Care (BK, FP, JPM), pp. 364–369.
AdaEuropeAdaEurope-1996-MundieFK #embedded #implementation
Implementing Protected Types on Embedded Targets (DM, JF, EK), pp. 287–297.
AdaTRI-Ada-1996-MeyerR #design #embedded #safety
Design and Test Strategies for a Safety-Critical Embedded Executive (CAM, MGR), pp. 29–37.
ICPRICPR-1996-OgiharaNY #image #using
Data embedding into pictorial images with less distortion using discrete cosine transform (TO, DN, NY), pp. 675–679.
POPLPOPL-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.
CADECADE-1996-Rasmussen #ruby
An Embedding of Ruby in Isabelle (OR), pp. 186–200.
ICLPJICSLP-1996-LeuschelSW #concept #deduction #integration #towards
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration (ML, DDS, DAdW), pp. 319–332.
DACDAC-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.
DACDAC-1995-ChouB #embedded #fine-grained #scheduling
Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems (PHC, GB), pp. 462–467.
DACDAC-1995-LiaoDKTW #embedded #optimisation
Code Optimization Techniques for Embedded DSP Microprocessors (SYL, SD, KK, SWKT, ARW), pp. 599–604.
DACDAC-1995-LiM #analysis #embedded #performance #using
Performance Analysis of Embedded Software Using Implicit Path Enumeration (YTSL, SM), pp. 456–461.
ICDARICDAR-v2-1995-PavlidisSS #analysis #graph
Matching graph embeddings for shape analysis (TP, WJS, HS), pp. 729–733.
FPCAFPCA-1995-WallaceR #architecture #embedded #functional #programming
λs in the Liftshaft — Functional Programming and an Embedded Architecture (MW, CR), pp. 249–258.
SACSAC-1995-GaberTGH #parallel
Embedding tree structures in massively parallel computers (JG, BT, GG, TH), pp. 210–214.
LCTESLCT-RTS-1995-LiM #analysis #embedded #performance #using
Performance Analysis of Embedded Software Using Implicit Path Enumeration (YTSL, SM), pp. 88–98.
LCTESLCT-RTS-1995-Wilner #comprehension #embedded #named #realtime #visualisation
WindView: A Tool for Understanding Real-time Embedded Software Through System Visualization (DW), pp. 117–123.
DATEEDAC-1994-EdwardsF #development #embedded #hardware
A Development Environment for the Cosynthesis of Embedded Software/Hardware Systems (ME, JF), pp. 469–473.
AdaTRI-Ada-1994-GreeneL #cpu #embedded #migration
Embedded CPU Target Migration, Doing More With Less (RG, GL), pp. 429–436.
OOPSLAOOPSLA-1994-GronbaekM #approach #hypermedia
Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach (KG, JM), pp. 85–101.
TOOLSTOOLS-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.
REICRE-1994-White #analysis #comparative #embedded #requirements
Comparative analysis of embedded computer system requirements methods (SMW), pp. 126–134.
ICSEICSE-1994-Vardanega #ada #development #embedded #experience #realtime
Experience with the Development of Hard Real-Time Embedded Ada Software (TV), pp. 301–308.
CCCC-1994-AltAS #compilation
Cosy Compiler Phase Embedding with the CoSy Compiler Model (MA, UA, HvS), pp. 278–293.
DACDAC-1993-AlpertK #clustering #geometry #multi #performance
Geometric Embeddings for Faster and Better Multi-Way Netlist Partitioning (CJA, ABK), pp. 743–748.
ICDARICDAR-1993-BrzakovicV #authentication #documentation #random #recognition
Document recognition/authentication based on medium-embedded random patterns (DB, NV), pp. 95–98.
HCIHCI-SHI-1993-Kakola #comprehension #coordination #embedded
Doing by Understanding: Embedded Systems for Understanding Coordinated Work (TK), pp. 973–978.
CHIINTERCHI-1993-FischerNOSS #design
Embedding computer-based critics in the contexts of design (GF, KN, JLO, GS, TS), pp. 157–164.
AdaTRI-Ada-1993-KoehnemannL #debugging #embedded #testing #tool support #towards
Towards Target-Level Testing and Debugging Tools for Embedded Software (HK, TEL), pp. 288–298.
CAiSECAiSE-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.
PPDPPLILP-1993-JourdanLMR #declarative #imperative
Embedding Declarative Subprograms into Imperative Constructs (MJ, FL, FM, PR), pp. 414–415.
RERE-1993-Lutz #embedded #fault #requirements #safety
Analyzing software requirements errors in safety-critical, embedded systems (RRL), pp. 126–133.
ICLPILPS-1993-DovierR #finite #set
Embedding extensional finite sets in CLP (AD, GR), pp. 540–556.
DACDAC-1992-Gebotys #embedded #scheduling
Optimal Scheduling and Allocation of Embedded VLSI Chips (CHG), pp. 116–119.
DACDAC-1992-Sur-KolayB #canonical
Canonical Embedding of Rectangular Duals with Applications to VLSI Floorplanning (SSK, BBB), pp. 69–74.
CHICHI-1992-HoppeS #embedded #information retrieval #modelling #towards
Towards Task Models for Embedded Information Retrieval (HUH, FS), pp. 173–180.
AdaEuropeAdaEurope-1992-Maymir-Ducharme #ada #embedded #migration #realtime
Porting Embedded Real-Time Ada Software (FAMD), pp. 92–103.
AdaTRI-Ada-C-1992-BarlinL #effectiveness #embedded #realtime #reuse
Effective Software Reuse in an Embedded Real-Time System (BB, JML), pp. 281–287.
AdaTRI-Ada-C-1992-Moore92a #ada #embedded #sql
Minimizing the Disadvantages of Embedded SQL/Ada (JWM), pp. 407–414.
AdaTRI-Ada-T1-1992-Rogers #ada #embedded #programming #realtime
Embedded/Real-Time Programming in Ada (PR), pp. 105–260.
KRKR-1992-BaaderH #information management #representation
Embedding Defaults into Terminological Knowledge Representation Formalisms (FB, BH), pp. 306–317.
TOOLSTOOLS-EUROPE-1992-BlakN #embedded #object-oriented #tool support
OO Methods and Tools for Embedded Applications, The Mjolner BETA System (LB, JN), pp. 359–367.
CADECADE-1992-InoueKH #generative #proving #theorem proving
Embedding Negation as Failure into a Model Generation Theorem Prover (KI, MK, RH), pp. 400–415.
SIGMODSIGMOD-1991-Neugebauer #database #embedded #evaluation #optimisation #query
Optimization and Evaluation of Database Queries Including Embedded Interpolation Procedures (LN), pp. 118–127.
STOCSTOC-1991-Shapiro #category theory #concurrent
Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract) (EYS), pp. 198–208.
ICALPICALP-1991-BucciarelliE
Extensional Embedding of a Strongly Stable Model of PCF (AB, TE), pp. 35–46.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-1991-LippensA #embedded #realtime #scalability #testing
Testing and Integrating a Large Embedded Real-Time System (JML, JA), pp. 404–411.
ICTSSIWPTS-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.
RTARTA-1991-Avenhaus #equation #induction #proving #theorem
Proving Equational and Inductive Theorems by Completion and Embedding Techniques (JA), pp. 361–373.
RTARTA-1991-Hofbauer #bound #proving #term rewriting #termination
Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding (DH), pp. 62–73.
CSEETSEI-1990-ReedD #embedded #re-engineering
An Undergraduate Software Engineering Major Embedded in a Computer Systems Engineering Degree (KR, TSD), pp. 49–66.
DACDAC-1989-SaucierDP #using
State Assignment Using a New Embedding Method Based on an Intersecting Cube Theory (GS, CD, FP), pp. 321–326.
FPCAFPCA-1989-Mauny #embedded #functional #parsing
Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages (MM), pp. 360–370.
CAiSECAiSE-1989-HakkarainenIO #analysis #embedded #knowledge-based
A Knowledge-Based Support System for Embedded Computer Software Analysis (KH, TI, MO).
CAiSECAiSE-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).
ICMLML-1989-Kaelbling #embedded #framework #learning
A Formal Framework for Learning in Embedded Systems (LPK), pp. 350–353.
ICMLML-1989-Kokar #concept #embedded
Concept Discovery Through Utilization of Invariance Embedded in the Description Language (MMK), pp. 478–479.
OOPSLAOOPSLA-1989-Barry #embedded #prototype #realtime #smalltalk
Prototyping a Real-Time Embedded System in Smalltalk (BMB), pp. 255–265.
RTARTA-1989-Puel #order #recursion
Embedding with Patterns and Associated Recursive Path Ordering (LP), pp. 371–387.
CSEETSEI-1988-LaviW #analysis #embedded #industrial #requirements #specification
Embedded Computer Systems. Requirements Analysis & Specification — An Industrial Course (JZL, MW), pp. 81–105.
STOCSTOC-1988-FraysseixPP #graph #set
Small Sets Supporting Fáry Embeddings of Planar Graphs (HdF, JP, RP), pp. 426–433.
ICALPICALP-1988-Tamassia #data type #graph
A Dynamic Data Structure for Planar Graph Embedding (Extended Abstract) (RT), pp. 576–590.
LICSLICS-1988-Coquand #category theory
Categories of Embeddings (TC), pp. 256–263.
PODSPODS-1987-Gottlob #dependence #embedded #functional
Computing Covers for Embedded Functional Dependencies (GG), pp. 58–69.
VLDBVLDB-1987-ChristensenZ #comparison #database #embedded #self
A Comparison of Self-Contained and Embedded Database Languages (AC, TUZ), pp. 209–216.
ESECESEC-1987-HennellHR #automation #embedded #realtime #testing
Automated Testing Techniques for Real-Time Embedded Software (MAH, DH, IJR), pp. 244–253.
ICGTGG-1986-Jeffs #graph grammar #independence
Embedding Rule Independent Theory of Graph Grammars (JJ), pp. 299–308.
PODSPODS-1985-Gyssens #dependence #embedded
Embedded Join Dependencies as a Tool for Decomposing Full Join Dependencies (MG), pp. 205–214.
POPLPOPL-1985-Wand #semantics
Embedding Type Structure in Semantics (MW), pp. 1–6.
ICSEICSE-1985-ShimizuS #automation #embedded #multi #realtime #source code
Automatic Tuning of Multi-Task Programs for Real-Time Embedded Systems (TS, KS), pp. 350–357.
POPLPOPL-1983-NagleJ #automation #embedded #proving #realtime #verification
Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software (JN, SJ), pp. 48–58.
ICGTGG-1982-JanssensR82a #graph grammar
Graph grammars with node-label controlled rewriting and embedding (DJ, GR), pp. 186–205.
ICSEICSE-1982-RudmikCC #consistency #design #embedded
Consistency Checking within Embedded Design Languages (AR, BEC, HC), pp. 236–245.
STOCSTOC-1981-ChandraLM #dependence #embedded #problem
Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.
ICALPICALP-1981-HongMR #graph #trade-off
Cost Tradeoffs in Graph Embeddings, with Applications (Preliminary Version) (JWH, KM, ALR), pp. 41–55.
ICSEICSE-1981-ZaveY #embedded #execution #requirements
Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.
SIGMODSIGMOD-1980-ParkerP #dependence #embedded #multi #transitive
Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies (DSPJ, KPG), pp. 52–57.
SIGMODSIGMOD-1980-StonebrakerK #database
Embedding Expert Knowledge and Hypothetical Data Bases Into a Data Base System (MS, KK), pp. 58–66.
STOCSTOC-1980-Storer #graph #grid
The Node Cost Measure for Embedding Graphs on the Planar Grid (Extended Abstract) (JAS), pp. 201–210.
LISPLISP-1980-EmanuelsonH #compilation #embedded #lisp #on the
On Compiling Embedded Languages in LISP (PE, AH), pp. 208–215.
VLDBVLDB-1977-StonebrakerR #programming language
Observations on Data Manipulation Languages and Their Embedding in General Purpose Programming Languages (MS, LAR), pp. 128–143.
ICSEICSE-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.

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