IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends
Latest Publications

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer US

9780387722573

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Approach for a Formal Verification of a Bit-serial Pipelined Architecture

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_5 ◽

2007 ◽

pp. 47-56

Author(s):

Henning Zabel ◽

Achim Rettberg ◽

Alexander Krupp

Keyword(s):

Formal Verification ◽

Pipelined Architecture ◽

Download Full-text

Run-Time efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_4 ◽

2007 ◽

pp. 37-46 ◽

Author(s):

Karsten Albers ◽

Frank Bodmann ◽

Frank Slomka

Keyword(s):

Feasibility Analysis ◽

Static Priorities ◽

Download Full-text

Using a Runtime Measurement Device with Measurement-Based WCET Analysis

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_2 ◽

2007 ◽

pp. 15-26

Author(s):

Bernhard Rieder ◽

Ingomar Wenzel ◽

Klaus Steinhammer ◽

Peter Puschner

Keyword(s):

Wcet Analysis ◽

Measurement Device

Download Full-text

Configurable Hybridkernel for Embedded Real-Time Systems

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_24 ◽

2007 ◽

pp. 279-288 ◽

Author(s):

Timo Kerstan ◽

Simon Oberthür

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text

Error Containment in the Time-Triggered System-On-a-Chip Architecture

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_29 ◽

2007 ◽

pp. 339-352 ◽

Author(s):

R. Obermaisser ◽

H. Kopetz ◽

C. El Salloum ◽

B. Huber

Keyword(s):

System On A Chip

Download Full-text

Power Optimization for Embedded System Idle Time in the Presence of Periodic Interrupt Services

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_21 ◽

2007 ◽

pp. 241-254 ◽

Author(s):

Gang Zeng ◽

Hiroyuki Tomiyama ◽

Hiroaki Takada

Keyword(s):

Embedded System ◽

Power Optimization ◽

Download Full-text

Identification and Removal of Program Slice Criteria for Code Size Reduction in Embedded Systems

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_23 ◽

2007 ◽

pp. 269-278

Author(s):

Mark Panahi ◽

Trevor Harmon ◽

Juan A. Colmenares ◽

Shruti Gorappa ◽

Raymond Klefstad

Keyword(s):

Embedded Systems ◽

Size Reduction ◽

Code Size ◽

Download Full-text

Embedded SW Design Space Exploration and Automation using UML-Based Tools

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_41 ◽

2007 ◽

pp. 437-440

Author(s):

Flavio R. Wagner ◽

Luigi Carro

Keyword(s):

Design Space Exploration ◽

Design Space ◽

Space Exploration

Download Full-text

Automotive System Optimization using Sensitivity Analysis

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_6 ◽

2007 ◽

pp. 57-70 ◽

Author(s):

Razvan Racu ◽

Arne Hamann ◽

Rolf Ernst

Keyword(s):

Sensitivity Analysis ◽

System Optimization ◽

Automotive System

Download Full-text

Smart Speed TechnologyTM

IFIP – The International Federation for Information Processing - Embedded System Design: Topics, Techniques and Trends ◽

10.1007/978-0-387-72258-0_20 ◽

2007 ◽

pp. 231-240

Author(s):

Mike Olivarez ◽

Brian Beasley

Download Full-text