6187 search results - page 991 / 1238 » Practical Software Measurement |
147
click to vote
MAGS
2008
15 years 4 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
199
click to vote
ENTCS
2007
15 years 4 months ago
2007
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
124
click to vote
FIRSTMONDAY
2007
15 years 4 months ago
2007
The debate on “openness” has tended to focus on standard setting, software copyrights, patent policy and collaborative innovation models – large issues that evoke heated deb...
138
click to vote
AAECC
2005
Springer
15 years 4 months ago
2005
Springer
The ideal class group of hyperelliptic curves can be used in cryptosystems based on the discrete logarithm problem. In this article we present explicit formulae to perform the gro...
143
click to vote
TCS
2008
15 years 4 months ago
2008
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...