2631 search results - page 285 / 527 » Software Development with Code Maps |
148
Voted
FUIN
2006
15 years 3 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
171
click to vote
XPU
2010
Springer
15 years 1 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
119
click to vote
PEPM
2009
ACM
16 years 7 days ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
141
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
149
click to vote
WCET
2010
15 years 1 months ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...