8345 search results - page 1524 / 1669 » Design of Neuromorphic Hardwares |
164
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
162
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
202
click to vote
DMG
2005
Springer
15 years 12 months ago
2005
Springer
Grid services provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. We are developing a data grid s...
153
click to vote
DRM
2005
Springer
15 years 12 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...
158
click to vote
EGH
2005
Springer
15 years 12 months ago
2005
Springer
High-quality off-line rendering requires many features not natively supported by current commodity graphics hardware: wide smooth filters, high sampling rates, order-independent ...