795 search results - page 28 / 159 » A Formal Approach to Heterogeneous Software Modeling |
87
Voted
GIL
2009
14 years 10 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...
134
click to vote
ISSS
2000
IEEE
15 years 4 months ago
2000
IEEE
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
125
Voted
JUCS
2000
15 years 6 days ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
114
click to vote
ICECCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
84
Voted
ENTCS
2008
15 years 15 days ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...