10707 search results - page 15 / 2142 » Designing executable abstractions |
152
click to vote
RTSS
2007
IEEE
16 years 5 days ago
2007
IEEE
We study the problem of executing a collection of independently designed and validated task systems upon a common comprised of a preemptive processor and additional shared resourc...
149
click to vote
OTM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...
122
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Bulk Synchronous Parallel ML or BSML is a functional dataparallel language for programming bulk synchronous parallel (BSP) algorithms. The execution time can be estimated...
141
click to vote
IEEECIT
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
190
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...