3302 search results - page 214 / 661 » Software Is More Than Code |
155
click to vote
RV
2007
Springer
15 years 10 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
135
click to vote
CAV
2005
Springer
15 years 9 months 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...
160
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
157
click to vote
VEE
2012
ACM
13 years 11 months ago
2012
ACM
Code quality and compilation speed are two challenges to JIT compilers, while selective compilation is commonly used to tradeoff these two issues. Meanwhile, with more and more Ja...
144
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Design patterns are solutions to recurring design problems, conceived to increase benefits in terms of reuse, code quality and, above all, maintainability and resilience to change...