5692 search results - page 62 / 1139 » Challenges and Unsolved Problems |
87
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
115
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
112
click to vote
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Developing countries face significant challenges in network access, making even simple network tasks unpleasant. Many standard techniques—caching and predictive prefetching— ...
104
click to vote
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...
104
click to vote
EUROSYS
2010
ACM
15 years 5 months ago
2010
ACM
A complex software system typically has a large number of objects in the memory, holding references to each other to implement an object model. Deciding when the objects should be...