Sciweavers

3706 search results - page 101 / 742
» OntoComP System Description
Sort
View
FDL
2003
IEEE
15 years 12 months 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...
COMPSAC
2004
IEEE
15 years 10 months ago
Materializing Ubiquitous Computing Environments
A key challenge in ubiquitous computing is how to manage ambient information about the environment where a variety of devices appear. Traditional capability descriptions are inadeq...
Kimio Kuramitsu, Hideyuki Tokuda
GI
2004
Springer
16 years 1 days ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
WICSA
2004
15 years 8 months ago
An Externalized Infrastructure for Self-Healing Systems
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
David S. Wile, Alexander Egyed
167
Voted
ICFP
2008
ACM
16 years 6 months ago
Functional netlists
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
Sungwoo Park, Jinha Kim, Hyeonseung Im