Sciweavers

3365 search results - page 86 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
145
Voted
AUIC
2006
IEEE
15 years 10 months ago
Augmented interiors with digital camera images
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...
Sanni Siltanen, Charles Woodward
IJOE
2007
107views more  IJOE 2007»
15 years 4 months ago
Learning Digital Test and Diagnostics via Internet
: 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 ...
Raimund Ubar, Artur Jutman, Margus Kruus, Elmet Or...
140
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 9 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
158
Voted
DAC
2010
ACM
15 years 3 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
Peter Lisherness, Kwang-Ting (Tim) Cheng
ICSE
1999
IEEE-ACM
15 years 8 months ago
Haemo Dialysis Software Architecture Design Experiences
In this paper we present the experiences and architecture from a research project conducted in cooperation with two industry partners. The goal of the project was to reengineer an...
PerOlof Bengtsson, Jan Bosch