3169 search results - page 84 / 634 » A General Framework for Large Scale Systems Development |
147
click to vote
LPAR
2004
Springer
15 years 5 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
109
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
If sufficient attention is not paid to the information models on which Learning Platforms are based the ability to deliver rich functionality is hindered. This paper describes the...
ISLPED
2004
ACM
15 years 5 months ago
2004
ACM
Dynamic voltage scaling (DVS) is a well-known low-power design technique for embedded real-time systems. Because of its effectiveness on energy reduction, several variable voltag...
118
click to vote
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
According to statistics and future prospects in the next few years world-wide energy consumption will increase significantly. Therefore not only more energy efficient technologi...
BMCBI
2005
14 years 11 months ago
2005
Background: Interpreting the results of high-throughput experiments, such as those obtained from DNA-microarrays, is an often time-consuming task due to the high number of data-po...