1631 search results - page 245 / 327 » Classifying Software Components Using Design Characteristics |
115
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—As semiconductor manufacturing enters advanced nanometer design paradigm, aging and device wear-out related degradation is becoming a major concern. Negative Bias Temperature In...
122
Voted
VSTTE
2010
Springer
15 years 5 days ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
120
Voted
ICSEA
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...
126
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
XML is increasingly being used as a typed data format, and therefore it becomes more important to gain access to the type system; very often this is an XML Schema. The XML Schema ...
110
click to vote
SEKE
2007
Springer
15 years 8 months ago
2007
Springer
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...