12333 search results - page 703 / 2467 » System Level Modelling for Hardware Software Systems |
211
Voted
APIN
2007
15 years 7 months ago
2007
This paper presents a novel framework for thyroid ultrasound image segmentation that aims to accurately delineate thyroid nodules. This framework, named GA-VBAC incorporates a leve...
186
Voted
ROBOCUP
2005
Springer
16 years 23 days ago
2005
Springer
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...
237
click to vote
ICDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...
210
Voted
ETRICS
2006
15 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
184
Voted
FM
2003
Springer
16 years 15 days ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...