4940 search results - page 576 / 988 » On the Complexity of Universal Programs |
147
click to vote
FPL
2007
Springer
16 years 29 days ago
2007
Springer
The reconfigurable mesh is a model for massively parallel computing for which many algorithms with very low complexity have been developed. These algorithms execute cycles of bus...
181
click to vote
WECWIS
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
165
click to vote
HASE
2005
IEEE
16 years 12 days ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
148
click to vote
ECAL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
185
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...