2681 search results - page 256 / 537 » Problem F |
78
Voted
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
96
Voted
ECMDAFA
2006
Springer
15 years 4 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
81
Voted
GCB
2006
Springer
15 years 4 months ago
2006
Springer
: The analysis of small circular sequences requires specialized tools. While the differences between linear and circular sequences can be neglected in the case of long molecules su...
107
Voted
ISSS
2000
IEEE
15 years 4 months ago
2000
IEEE
The paper presents a novel software-pipelining algorithm suitable for optimizing compilers targeting embedded VLIW processors. The proposed algorithm is different from previous ap...
131
Voted
WEBDB
2000
Springer
15 years 4 months ago
2000
Springer
A substantial portion of web traffic consists of queries to database web servers. Unfortunately, a common technique to improve web scalability, proxy caching, is ineffective for da...