2271 search results - page 297 / 455 » Scalable Software Libraries |
133
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
148
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
138
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
In today’s dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current tre...
126
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
135
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...