2935 search results - page 410 / 587 » An Integrated Approach to High Integrity Software Verificati... |
135
click to vote
DATE
2007
IEEE
16 years 18 days ago
2007
IEEE
Economic testing of small devices like LCD drivers is a real challenge. In this paper we describe an approach where a production tester is extended by a memory test engine (MTE). ...
144
click to vote
GROUP
1997
ACM
15 years 10 months ago
1997
ACM
During the different phases of a project, stakeholders have different communication needs and make use of different communication media to satisfy them. A group memory system must...
175
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...
152
click to vote
ICCD
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
146
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...