2902 search results - page 374 / 581 » Software Product Lines |
180
click to vote
AC
2003
Springer
16 years 4 days 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...
203
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
182
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Combining and utilizing data from different sources is a common problem in many companies today. Useful data can be found in various applications, such as spreadsheets, project ma...
153
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Our central claim is that user interactions with everyday productivity applications (e.g., word processors, Web browsers, etc.) provide rich contextual information that can be lev...
188
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
A well-known challenge during processor design is to obtain the best possible results for a typical target application domain that is generally described as a set of benchmarks. O...