3130 search results - page 60 / 626 » Design Correctness of Digital Systems |
115
click to vote
IJOE
2007
15 years 3 months ago
2007
: An environment targeted to e-learning is presented for teaching design and test of electronic systems. The environment consists of a set of Java applets, and of web based access ...
133
click to vote
ITSSA
2006
15 years 3 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
121
click to vote
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...
135
Voted
AUIC
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present a system for Augmented Reality interior design based on digital images. The system can be used with an ordinary PC and a digital camera: no special equip...
131
click to vote
CERA
2002
15 years 3 months ago
2002
Design changes are frequently encountered in the product development process. The complexity of the design changes is multiplied when the product design involves multiple engineer...