2271 search results - page 297 / 455 » Scalable Software Libraries |
163
click to vote
KBSE
2009
IEEE
16 years 1 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...
189
click to vote
COMPSAC
2008
IEEE
16 years 26 days 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 ...
181
click to vote
IPPS
2007
IEEE
16 years 21 days 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...
164
click to vote
KBSE
2007
IEEE
16 years 20 days 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...
173
click to vote
KBSE
2007
IEEE
16 years 20 days 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...