Sciweavers

5241 search results - page 164 / 1049
» Embedded Programming with C
Sort
View
SAC
2003
ACM
15 years 5 months ago
Validation of Code-Improving Transformations for Embedded Systems
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
Robert van Engelen, David B. Whalley, Xin Yuan
AOSD
2010
ACM
15 years 24 days ago
An architecture for composing embedded domain-specific languages
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
Tom Dinkelaker, Michael Eichberg, Mira Mezini
ET
2002
72views more  ET 2002»
15 years 11 days ago
Deterministic Test Vector Compression/Decompression for Systems-on-a-Chip Using an Embedded Processor
Abstract. A novel approach for using an embedded processor to aid in deterministic testing of the other components of a system-on-a-chip (SOC) is presented. The tester loads a prog...
Abhijit Jas, Nur A. Touba
ISORC
1999
IEEE
15 years 4 months ago
Embedded Platforms for Distributed Real-Time Computing: Challenges and Results
Object-oriented techniques have been along the last decade one of the most useful programming paradigms. However, for distributed embedded systems the semantic gap between the obj...
José Rufino, Guilherme Arroz, Paulo Ver&iac...
DAC
1998
ACM
16 years 1 months ago
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
James Shin Young, Josh MacDonald, Michael Shilman,...