4940 search results - page 563 / 988 » On the Complexity of Universal Programs |
178
Voted
ISSRE
2006
IEEE
16 years 25 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
168
click to vote
COCO
2005
Springer
16 years 10 days ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...
189
click to vote
JIT
2005
Springer
16 years 9 days ago
2005
Springer
: Complex software systems, like operating systems and middleware, have to cope with a broad range of requirements as well as strict resource constraints. Family-based software dev...
186
click to vote
SIGADA
2004
Springer
16 years 4 days ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
189
Voted
PDP
2002
IEEE
15 years 11 months ago
2002
IEEE
Despite the explosive new interest in Distributed Computing, bringing software — particularly legacy software — to parallel platforms remains a daunting task. The Self Distrib...