IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Kluwer Academic Publishers

1402081480

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_14 ◽

2006 ◽

pp. 133-144 ◽

Cited By ~ 3

Author(s):

K. H. Kim ◽

C. S. Im ◽

M. C. Kim ◽

Y. Q. Li ◽

S. M. Yoo ◽

...

Keyword(s):

Sensor Networks ◽

Software Architecture

Download Full-text

Verification Framework for UML-Based Design of Embedded Systems

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_3 ◽

2006 ◽

pp. 21-30

Author(s):

Martin Kardos ◽

Yuhong Zhao

Keyword(s):

Embedded Systems

Download Full-text

Flexible Resource Management

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_18 ◽

2006 ◽

pp. 177-186

Author(s):

Carsten Boeke ◽

Simon Oberthuer

Keyword(s):

Resource Management ◽

Flexible Resource

Download Full-text

Modeling and Verification of Hybrid Systems Based on Equations

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_5 ◽

2006 ◽

pp. 43-52 ◽

Cited By ~ 2

Author(s):

Kazuhiro Ogata ◽

Daigo Yamagishi ◽

Takahiro Seino ◽

Kokichi Futatsugi

Keyword(s):

Hybrid Systems ◽

Verification Of Hybrid Systems

Download Full-text

LTL’s Intuitive Representations and Its Automaton Translation

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_4 ◽

2006 ◽

pp. 31-42

Author(s):

Yuhong Zhao

Download Full-text

Profiling Specification Pearl Designs

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_22 ◽

2006 ◽

pp. 217-226

Author(s):

Roman Gumzej ◽

Matjaž Colnarič ◽

Wolfgang A. Halang

Download Full-text

Automatic Synthesis of SystemC-Code from Formal Specifications

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_19 ◽

2006 ◽

pp. 187-196 ◽

Cited By ~ 1

Author(s):

Carsten Rust ◽

Achim Rettberg

Keyword(s):

Formal Specifications ◽

Automatic Synthesis

Download Full-text

A Decentralized Self-Organized Approach for Wireless Sensor Networks

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_13 ◽

2006 ◽

pp. 123-132

Author(s):

Jean-Paul Jamont ◽

Michel Occello ◽

André Lagrèze

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Self Organized

Download Full-text

A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_7 ◽

2006 ◽

pp. 63-72

Author(s):

Håkan Sivencrona ◽

Mattias Persson ◽

Jan Torin

Download Full-text

ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_32 ◽

2006 ◽

pp. 317-326

Author(s):

Diogo Zandonai ◽

Sergio Bampi ◽

Marcel Bergerman

Keyword(s):

Motion Estimation ◽

Hardware Architecture

Download Full-text

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Kluwer Academic Publishers

A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks

Verification Framework for UML-Based Design of Embedded Systems

Flexible Resource Management

Modeling and Verification of Hybrid Systems Based on Equations

LTL’s Intuitive Representations and Its Automaton Translation

Profiling Specification Pearl Designs

Automatic Synthesis of SystemC-Code from Formal Specifications

A Decentralized Self-Organized Approach for Wireless Sensor Networks

A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults

ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems
Latest Publications