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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Bit Serial

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 ◽

Cited By ~ 1

Author(s):

Karsten Albers ◽

Frank Bodmann ◽

Frank Slomka

Keyword(s):

Feasibility Analysis ◽

Static Priorities ◽

Run Time

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 ◽

Cited By ~ 1

Author(s):

Timo Kerstan ◽

Simon Oberthür

Keyword(s):

Real Time ◽

Real Time Systems ◽

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 ◽

Cited By ~ 7

Author(s):

R. Obermaisser ◽

H. Kopetz ◽

C. El Salloum ◽

B. Huber

Keyword(s):

System On A Chip

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 ◽

Cited By ~ 1

Author(s):

Razvan Racu ◽

Arne Hamann ◽

Rolf Ernst

Keyword(s):

Sensitivity Analysis ◽

System Optimization ◽

Automotive System

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 ◽

Cited By ~ 1

Author(s):

Gang Zeng ◽

Hiroyuki Tomiyama ◽

Hiroaki Takada

Keyword(s):

Embedded System ◽

Power Optimization ◽

Idle Time

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 ◽

Program Slice

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

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

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

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

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

Using a Runtime Measurement Device with Measurement-Based WCET Analysis

Configurable Hybridkernel for Embedded Real-Time Systems

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

Automotive System Optimization using Sensitivity Analysis

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

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

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

Smart Speed TechnologyTM

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