3527 search results - page 241 / 706 » Test Automation in Practice |
138
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Semiconductor design companies are in a continuous search for design tools that address the ever increasing chip design complexity coupled with strict time-to-market schedules and...
150
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design pract...
151
click to vote
DEON
2006
Springer
15 years 9 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
155
click to vote
EWCBR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The Web is a vibrant environment for innovation in computer science, AI, and social interaction; these innovations come in such great number and speed that it is unlikely...
160
click to vote
DLOG
2010
15 years 3 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...