Daniel Lincke - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged embedded software

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in HaskellDaniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu. DSL 2009: 236-261 [doi]

Software transactional memory for multicore embedded systemsJennifer Mankin, David Kaeli, John Ardini. lctrts 2009: 90-98 [doi]

From Requirements to Embedded Software - Formalising the Key StepsToby Myers, R. Geoff Dromey. ASWEC 2009: 23-33 [doi]

Embedded Tutorial - Software for Wireless Networked Embedded SystemsJan Beutel, M. Beigl, Adam Dunkels, Koen Langendoen. date 2008: 372 [doi]

Applying neural networks to performance estimation of embedded softwareMárcio Oyamada, Felipe Zschornack, Flávio Rech Wagner. jsa, 54(1-2):224-240, 2008. [doi]

A Benchmark for Embedded Software Processes Used by Special-Purpose Machine ManufacturersValentin Plenk. icsea 2008: 166-171 [doi]

Software Processes Improvement and Specifications for Embedded SystemsDong Jun, Lin Rui, He Yi-min. sera 2007: 13-18 [doi]

Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded SoftwareVaclav Dvorak. ECBS 2007: 178-185 [doi]

Verification of Embedded Software: From Mars to ActionsCharles Pecheur. fmics 2008: 1 [doi]

An Embedded Low Power/Cost 16-Bit Data/Instruction Microprocessor Compatible with ARM7 Software ToolsFu-Ching Yang, Ing-Jer Huang. aspdac 2007: 902-907 [doi]

Dynamic Patching of Embedded SoftwareMathias Ekman, Henrik Thane. rtas 2007: 337-346 [doi]

Efficient Memory-Protected Integration of Add-On Software Subsystems in Small Embedded Automotive ApplicationsAkram Khan, Achim Schaefer, Markus Zetlmeisl. tii, 3(1):44-50, 2007. [doi]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, KoreaSang Lyul Min, Wang Yi, editors, ACM, 2006.

Identifying Technical Risks in Third-Party Software for Embedded ProductsTim Trew, Gerben Soepenberg. iccbss 2006: 33-42 [doi]

Improving fault prediction using Bayesian networks for the development of embedded software applicationsElena Pérez-Miñana, Jean-Jacques Gras. stvr, 16(3):157-174, 2006. [doi]

EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, ProceedingsWayne Wolf, editor, ACM, 2005.

nfluence of Memory Hierarchies on Predictability for Time Constrained Embedded SoftwareLars Wehmeyer, Peter Marwedel. date 2005: 600-605 [doi]

Modular domain-specific implementation and exploration framework for embedded software platformsChristian Sauer, Matthias Gries, Sören Sonntag. dac 2005: 254-259 [doi]

Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2005), 16-17 May 2005, Seattle, WA, USAIEEE Computer Society, 2005.

File System Interfaces for Embedded Software DevelopmentBhanu Pisupati, Geoffrey Brown. iccd 2005: 232-238 [doi]

Proposal and Evaluation for Organising and Using Available Data for Software Performance Estimations in Embedded Platform DevelopmentEnrico Johansson, Fredrik Wartenberg. rtas 2004: 156-163 [doi]

Interdisciplinary Teams for Embedded Software SystemsDonald M. Needham. serp 2004: 17-20

2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (WSTFEUS 2004), 11-12 May 2004, Vienna, AustriaIEEE Computer Society, 2004.

Co-Processor Synthesis: A New Methodology for Embedded Software AccelerationBen I. Hounsell, Richard Taylor. date 2004: 682-683 [doi]

Licensing Reliable Embedded Software for Safety-Critical ApplicationsFrancesca Saglietti. rts, 28(2-3):217-236, 2004. [doi]

Embedded Software for an Array of ProcessorsStephen Bique. csreaESA 2004: 171-175

Agile Development for Embedded SoftwareJames Grenning, Johan Peeters, Carsten Behring. xpu 2004: 194-195 [doi]

Industry best practices in embedded softwareRaul Camposano, Mark Underseth, Faraydon Karim. codes 2003: 72-73 [doi]

1st IEEE Workshop on Software Technologies for Future Embedded Systems (WSTFES 2003), 15-16 May 2003, Hakodate, Hokkaido, JapanIEEE Computer Society, 2003.

Workshop on Agile Development for Embedded Software DevelopmentJames Grenning, Ward Cunningham, Dave A. Thomas. xpu 2003: 209 [doi]

Software Technologies for Embedded Systems: An Industry InventoryBas Graaf, Marco Lormans, Hans Toetenel. PROFES 2002: 453-465 [doi]

Embedded Software: How To Make It Efficient?Peter Marwedel. dsdm 2002: 201-209 [doi]

CALiBeR: A Software Pipelining Algorithm for Clustered Embedded VLIW ProcessorsCagdas Akturan, Margarida F. Jacome. iccad 2001: 112-118 [doi]

Whole program compilation for embedded software: the ADSL experimentJohan Cockx. codes 2001: 214-218 [doi]

Reliable estimation of execution time of embedded softwarePaolo Giusto, Grant Martin, Edwin A. Harcourt. date 2001: 580-589 [doi]

Towards Automatic Verification of Embedded Control SoftwareNanette Bauer, Ralf Huuck. apaqs 2001: 375-386 [doi]

Embedded Software Development Challenges in the Digital Signal Processing EraJohn Linn. isads 2001: 299 [doi]

ReDeEm_RTL: A Software Tool for Customizing Soft Cells for Embedded ApplicationsG. Surendra, S. K. Nandy, Paul Sathya. vlsid 2001: 85-90 [doi]

Software Synthesis for Complex Reactive Embedded SystemsFelice Balarin, Massimiliano Chiodo. iccd 1999: 634-639 [doi]

Software intensive embedded systemsMonika Müllerburg. INFSOF, 41(14):979-984, 1999. [doi]

Hardware-Software Coverification of Distributed Embedded SystemsJih-Ming Fu, Jsao-Jie Chen. pdpta 1999: 2995-3001

A customizable library to support software synthesis for embedded applications and micro-kernel systemsCarsten Ditze. sigopsE 1998: 88-95 [doi]

A Software Bus as a Platform for a Family of Distributed Embedded System ProductsEila Niemelä, Harri Perunka, Tomi Korpipää. ares 1998: 14-23 [doi]

Slisp: A Flexible Software Toolkit for Hybrid, Embedded and Distributed ApplicationsJames F. Brinkley, Jeffrey S. Prothero. SPE, 27(1):33-48, 1997.

Software Implementation Techniques for Hw/Sw Embedded SystemsJean Paul Calvez, Olivier Pasquier, J. Peckol. codes 1997: 49-54 [doi]

Experience Report on the Maturity of Configuration Management for Embedded SoftwareAntti Auer, Jorma Taramaa. SCM 1996: 187-197

Reengineering Real-Time Embedded Software onto a Parallel Processing PlatformBruce Lewis, David J. McConnell. WCRE 1996: 11 [doi]

WindView: A Tool for Understanding Real-time Embedded Software Through System VisualizationDavid Wilner. lctrts 1995: 117-123

Porting Embedded Real-Time Ada SoftwareFred A. Maymir-Ducharme. Ada-Europe 1992: 92-103

Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software ProcessesBrian Gilbert, Mike Taylor, Greg Bek. Ada-Europe 1991: 394-403

runs on WebDSL