1855 search results - page 52 / 371 » Composing model programs for analysis |
151
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
122
Voted
CLUSTER
2007
IEEE
15 years 2 months ago
2007
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such applications is therefore dependent o...
107
click to vote
AAAI
2006
15 years 3 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
132
Voted
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
112
Voted
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
Handwriting is an alternative method for entering texts composing Short Message Services. However, a whole new language features the texts which are produced. They include for ins...