467 search results - page 20 / 94 » Program fields for continuous software |
NHM
2010
14 years 4 months ago
2010
We introduce the coolest path problem, which is a mixture of two well-known problems from distinct mathematical fields. One of them is the shortest path problem from combinatorial ...
107
click to vote
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
—Multi-core technology is becoming the mainstream of processor architecture. It is a great challenge for universities to offer students new theories because of the continuous cha...
85
Voted
CASCON
2003
14 years 11 months ago
2003
The development of large software systems involves a continual lengthy build process that may include preprocessing, compilation and linking of tens of thousands of source code ï¬...
ECBS
2007
IEEE
15 years 4 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
68
Voted
PLPV
2010
ACM
14 years 11 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...