3554 search results - page 500 / 711 » Estimating software based on use case points |
150
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
A new class of parallel normalized preconditioned conjugate gradient type methods in conjunction with normalized approximate inverses algorithms, based on normalized approximate f...
191
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
213
click to vote
VISUALIZATION
2005
IEEE
16 years 1 days ago
2005
IEEE
We introduce a technique to visualize the gradual evolutionary change of the shapes of living things as a morph between known three-dimensional shapes. Given geometric computer mo...
163
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...
182
click to vote
FASE
2005
Springer
16 years 59 min ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...