3495 search results - page 270 / 699 » On the random satisfiable process |
210
click to vote
DSD
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we present an approach for the mapping optimization of fault-tolerant embedded systems for safetycritical applications. Processes and messages are statically schedul...
198
click to vote
ICLP
2003
Springer
16 years 14 days ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
213
click to vote
ICDM
2002
IEEE
16 years 6 days ago
2002
IEEE
Mining of frequent itemsets is a fundamental data mining task. Past research has proposed many efficient algorithms for the purpose. Recent work also highlighted the importance of...
187
click to vote
ICA3PP
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. Deploying lightweight tasks on grid resources would let the communication overhead dominate the overall application processing time. Our aim is to increase the resulting ...
191
click to vote
JCST
2008
15 years 7 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...