2271 search results - page 74 / 455 » Scalable Software Libraries |
PAIRING
2010
Springer
13 years 8 months ago
2010
Springer
This paper describes the design of a fast software library for the computation of the optimal ate pairing on a Barreto–Naehrig elliptic curve. Our library is able to compute the ...
ICSR
2009
Springer
13 years 7 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
VISSOFT
2005
IEEE
14 years 3 months ago
2005
IEEE
SAB is a tool for automatic generation of class diagrams from Java code. In addition to hierarchical layout, it features a wealth of user interaction facilities for dealing with c...
FCCM
1999
IEEE
14 years 2 months ago
1999
IEEE
A significant obstacle to the widespread adoption of FPGAbased configurable computing hardware has been the difficulty of mapping applications onto this hardware. We are developin...
ICSE
1998
IEEE-ACM
14 years 2 months ago
1998
IEEE-ACM
Negotiating requirements is one of the first steps in any software system life cycle, but its results have probably the most significant impact on the system's value. However...