5668 search results - page 368 / 1134 » The case for software evolution |
174
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...
133
click to vote
FPL
2004
Springer
16 years 6 days ago
2004
Springer
The paper describes two methods for the design of matrix-oriented SAT solvers based on data compression. The first one provides matrix compression in a host computer and decompress...
158
Voted
ARC
2009
Springer
15 years 11 months ago
2009
Springer
Run-time reconfigurable FPGAs are powerful platforms for realising software-defined radio systems. This paper introduces a parametric approach to designing such systems based on ap...
185
click to vote
LEGE
2003
15 years 8 months ago
2003
Grid applications are special cases of networking applications. In order to investigate potential applications of Grid technologies to e-learning we discuss in the following some ...
169
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...