Sciweavers

11739 search results - page 322 / 2348
» Slideshow: functional presentations
Sort
View
FDL
2003
IEEE
16 years 2 days ago
Design and Power Analysis in SysteC of an I2C Bus Driver
The paper presents a methodology to integrate information on power consumption in a high level functional description of a System-on-chip. The power dissipated during the executio...
Marco Caldari, Massimo Conti, Paolo Crippa, Simone...
BIRTHDAY
2003
Springer
16 years 23 hour ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
Gérard P. Huet
DATE
2010
IEEE
190views Hardware» more  DATE 2010»
15 years 12 months ago
AUTOSAR basic software for complex control units
— Dirk Diekhoff, Elektrobit Automotive "The development of complex control units requires mature and reliable basic software as well as integration support particularly in e...
Dirk Diekhoff
SAFECOMP
2009
Springer
15 years 11 months ago
A Foundation for Requirements Analysis of Dependable Software
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
Denis Hatebur, Maritta Heisel
168
Voted
WISE
2000
Springer
15 years 11 months ago
A Whole Correlation Structure of Asymptotically Self-Similar Traffic in Communication Networks
A closed form of autocorrelation functions about asymptotically self-similar processes is presented. The verification shows that this form best the realtrajfic data on Ethernet in...
Ming Li, Weijia Jia, Wei Zhao