10870 search results - page 2030 / 2174 » Model Checking Programs |
110
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
118
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
This paper presents a new method for designing test wrappers for embedded cores with multiple clock domains. By exploiting the use of multiple shift frequencies, the proposed meth...
144
click to vote
DOCENG
2008
ACM
15 years 3 months ago
2008
ACM
Malan is a MApping LANguage that allows the generation of transformation programs by specifying a schema mapping between a source and target data schema. By working at the schema ...
124
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
115
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...