10890 search results - page 1745 / 2178 » Automatic Complexity Analysis |
176
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Computational Grids potentially offer cheap large-scale high-performance systems, but are a very challenging architecture, being heterogeneous, shared and hierarchical. Rather tha...
192
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
168
click to vote
SCOPES
2005
Springer
16 years 7 days ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
214
click to vote
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
Developing cost models for query optimization is significantly harder for XML queries than for traditional relational queries. The reason is that XML query operators are much mor...
175
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...