43264 search results - page 8229 / 8653 » Comparing models of computation |
141
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
137
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
As application complexity increases, modern embedded systems have adopted heterogeneous processing elements to enhance the computing capability or to reduce the power consumption. ...
129
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
103
Voted
HT
2007
ACM
15 years 7 months ago
2007
ACM
Web pages can be modeled as nodes in a social network, and hyperlinks between pages form links (relationships) between the nodes. Links may take the form of comments, for example ...
136
Voted
SUTC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Robotic middlewares increasingly allow the seamless integration of multiple heterogeneous robots into one distributed system. With the inclusion of ambient intelligence and perv...