1501 search results - page 129 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
137
click to vote
IWOMP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. OpenMP has evolved recently towards expressing unstructured parallelism, targeting the parallelization of a broader range of applications in the current multicore era. Ho...
140
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
168
click to vote
JCIT
2010
14 years 11 months ago
2010
The two most important tasks in entity information summarization from the Web are named entity recognition and relation extraction. Little work has been done toward an integrated ...
117
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
111
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...