1943 search results - page 226 / 389 » Software and higher education |
174
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...
159
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
166
click to vote
AOSE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
178
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...
170
click to vote
FCCM
2006
IEEE
16 years 20 days ago
2006
IEEE
— Radiation dose calculation is an important step in the treatment of cancer patients requiring radiation therapy. It ensures that the physician prescribed dose agrees with the d...