Sciweavers

2938 search results - page 10 / 588
» On obfuscating point functions
Sort
View
FMCAD
2000
Springer
13 years 11 months ago
Formal Verification of Floating Point Trigonometric Functions
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
John Harrison
ACE
2004
224views Education» more  ACE 2004»
13 years 9 months ago
Automating the Estimation of Project Size from Software Design Tools Using Modified Function Points
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...
Jason Ceddia, Martin Dick
METRICS
1999
IEEE
13 years 12 months ago
Function Point Measurement Tool for UML Design Specification
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
Takuya Uemura, Shinji Kusumoto, Katsuro Inoue
CLEIEJ
2002
156views more  CLEIEJ 2002»
13 years 7 months ago
A Fuzzy Model for Function Point Analysis to Development and Enhancement Project Assessments
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
Osias de Souza Lima Júnior, Pedro Porf&iacu...
MOC
2002
90views more  MOC 2002»
13 years 7 months ago
Derivative superconvergent points in finite element solutions of harmonic functions--- A theoretical justification
Finite element derivative superconvergent points for harmonic functions under local rectangular mesh are investigated. All superconvergent points for the finite element space of an...
Zhimin Zhang