1623 search results - page 187 / 325 » Programming language concepts for software developers |
131
click to vote
ICSM
2008
IEEE
15 years 9 months ago
2008
IEEE
Aspect-oriented programming (AOP) is gaining popularity with the wider adoption of languages such as AspectJ. During AspectJ software evolution, when regression tests fail, it may...
131
click to vote
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
150
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
133
click to vote
ASAP
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...
143
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...