12333 search results - page 251 / 2467 » System Level Modelling for Hardware Software Systems |
172
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we propose a novel parameterized macromodeling technique for analog circuits. Unlike traditional macromodels that are only extracted for a small variation space, our...
150
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
– We have developed a prototype teleoperated robotic surgical system which is modular, compact and easy to use. In this paper, the control software design of the prototype is int...
185
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
174
click to vote
SEW
2003
IEEE
15 years 12 months ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
115
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a technique to improve verification at the VHDL level of digital circuits by means of a specially designed fault injection block. The injection technique allow...