4355 search results - page 586 / 871 » Increasing Kolmogorov Complexity |
184
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
172
click to vote
FTRTFT
2000
Springer
15 years 10 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
200
click to vote
GRID
2000
Springer
15 years 10 months ago
2000
Springer
: The concept of coupling geographically distributed (high-end) resources for solving large-scale problems is becoming increasingly popular, forming what is popularly called grid c...
152
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: The ability to analyze individual cells rather than averaged properties over a population is a major step towards understanding the fundamental elements of biological systems. Re...
170
click to vote
ISHPC
2000
Springer
15 years 10 months ago
2000
Springer
For the past two decades, developments in DRAM technology, the primary technology for the main memory of computers, have been directed towards increasing density. As a result 256 M...