4052 search results - page 282 / 811 » integration 2007 |
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...
149
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
130
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
The Web Service Modelling Ontology (WSMO) provides a unique, highly innovative perspective onto the Semantic Web Services domain. Robust and easy-to-use tools play crucial role for...
198
Voted
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Title of thesis: EFFICIENT AND ACCURATE STATISTICAL TIMING ANALYSIS FOR NON-LINEAR NON-GAUSSIAN VARIABILITY WITH INCREMENTAL ATTRIBUTES Ashish Dobhal, Master of Science, 2006 Thes...
168
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Policy-driven negotiations are gaining interest among the research community. A large number of policy languages with different expressiveness have been developed in order to suit...