2523 search results - page 172 / 505 » Correct Development of Embedded Systems |
120
Voted
PR
2007
15 years 2 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
118
click to vote
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This article presents a novel design flow called MOUSE for the effective development of digital signal processing systems in terms of development time, performance and p...
101
Voted
MHCI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Speech interfaces are about to be integrated in consumer appliances and embedded systems and are expected to be used by mobile users in ubiquitous computing environments....
126
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
160
click to vote
LWA
2004
15 years 4 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...