1926 search results - page 306 / 386 » Modeling and Model Checking Software Product Lines |
102
click to vote
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
103
click to vote
ASWEC
2004
IEEE
15 years 3 months ago
2004
IEEE
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...
CC
2002
Springer
14 years 11 months ago
2002
Springer
We characterize high-performance streaming applications as a new and distinct domain of programs that is becoming increasingly important. The StreamIt language provides novel high-...
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
— In the face of increased process variations, at-speed manufacturing test is necessary to detect subtle delay defects. This procedure necessarily tests chips at a slightly highe...
103
click to vote
ISMAR
2008
IEEE
15 years 6 months ago
2008
IEEE
Field workers of utility companies are regularly engaged in outdoor tasks such as network planning, maintenance and inspection of underground infrastructure. Redlining is the term...