253 search results - page 3 / 51 » Metrics, techniques and recent developments in mixed-signal ... |
EDBT
2009
ACM
13 years 9 months ago
2009
ACM
Given a set of n query points in a general metric space, a metricspace skyline (MSS) query asks what are the closest points to all these query points in the database. Here, consid...
SERA
2005
Springer
13 years 10 months ago
2005
Springer
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...
JSS
2002
13 years 5 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
LREC
2008
13 years 6 months ago
2008
In this paper we describe an approach that both creates crosslingual acoustic monophone model sets for speech recognition tasks and objectively predicts their performance without ...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...