John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged embedded software

Code decomposition and recomposition for enhancing embedded software performanceYoungchul Cho, Kiyoung Choi. aspdac 2009: 624-629 [doi]

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

Fast and accurate performance simulation of embedded software for MPSoCEric Cheung, Harry Hsieh, Felice Balarin. aspdac 2009: 552-557 [doi]

Simulation and embedded software development for Anton, a parallel machine with heterogeneous multicore ASICsJohn P. Grossman, Cliff Young, Joseph A. Bank, Kenneth Mackenzie, Doug Ierardi, John K. Salmon, Ron O. Dror, David E. Shaw. codes 2008: 125-130 [doi]

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

Making Embedded Software Development More Efficient with SOADaniel Barisic, Martin Krogmann, Guido Stromberg, Peter Schramm. aina 2007: 941-946 [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]

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.

Eliminating Garbage Collection for a More Deterministic Behavior of Real-Time and Embedded SoftwareJameela Al-Jaroodi, Nader Mohamed. isca, 13(3):118-127, 2006.

Identifying Technical Risks in Third-Party Software for Embedded ProductsTim Trew, Gerben Soepenberg. iccbss 2006: 33-42 [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.

Eliminating Garbage Collection for Embedded Real-Time SoftwareNader Mohamed, Jameela Al-Jaroodi. csreaESA 2005: 10-16

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

Designing Low-Power Embedded Software for Mass-Produced Microprocessor by Using a Loop Table in On-Chip MemoryRodrigo Possamai Bastos, Fernanda Lima Kastensmidt, Ricardo Reis. patmos 2005: 59-68 [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

Evaluation of hardware and software schedulers for embedded switchesDimitrios N. Serpanos, Poluxeni Mountrouidou, Maria Gamvrili. tecs, 3(4):736-759, 2004. [doi]

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

Synchronous Methodology for Designing Hardware, Software and Mixed Embedded SystemsGérard Berry. vlsid 2004: 24 [doi]

Co-Processor Synthesis: A New Methodology for Embedded Software AccelerationBen I. Hounsell, Richard Taylor. date 2004: 682-683 [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]

Model-Checking Middleware-Based Event-Driven Real-Time Embedded SoftwareXianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh. FMCO 2003: 154-181 [doi]

Software Technologies for Embedded Systems: An Industry InventoryBas Graaf, Marco Lormans, Hans Toetenel. PROFES 2002: 453-465 [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]

Speeding up power estimation of embedded softwareAkshaye Sama, J. F. M. Theeuwen, M. Balakrishnan. islped 2000: 191-196 [doi]

From High-Level Specifications Down to Software Implementations of Parallel Embedded Real-Time SystemsCarsten Rust, Friedhelm Stappert, Peter Altenbernd, Jürgen Tacken. date 2000: 686-691 [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]

Rapid Prototyping of Embedded Hardware/Software SystemsKlaus Buchenrieder. rsp 1998: 2 [doi]

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

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

The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial ProjectAndré Arnold, Didier Bégay, Jean-Pierre Radoux. SCP, 28(2-3):93-110, 1997.

The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial ProjectAndré Arnold, Didier Bégay, Jean-Pierre Radoux. amast 1996: 19-32

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