1860 search results - page 157 / 372 » tools 2009 |
130
click to vote
SOFSEM
2009
Springer
16 years 2 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
167
click to vote
SOFSEM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
150
click to vote
ACHI
2009
IEEE
16 years 26 days ago
2009
IEEE
In this paper we describe an automated system, and its attendant set of techniques and tools, that is able to generate novel multimedia experiences. Using existing online sources,...
161
click to vote
AINA
2009
IEEE
16 years 26 days ago
2009
IEEE
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
137
click to vote
ATS
2009
IEEE
16 years 26 days ago
2009
IEEE
High performance designs often use the on-chip device PLLs for accurate test clock generation during testing. The on-chip clock generator is designed in a programmable way to faci...