3971 search results - page 215 / 795 » On the Use of Properties in Java Applications |
189
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--Multichannel fast QR decomposition RLS (MCFQRD-RLS) algorithms are well known for their good numerical properties and low computational complexity. The main limitation is...
190
click to vote
PKC
1998
Springer
15 years 10 months ago
1998
Springer
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...
198
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
It is now common for Web sites to use active Web content, such as Flash, Silverlight, or Java applets, to support rich, interactive applications. For many mobile devices, however,...
209
click to vote
VEE
2005
ACM
16 years 2 days ago
2005
ACM
We present an optimized implementation of the linear scan register allocation algorithm for Sun Microsystems’ Java HotSpotTM client compiler. Linear scan register allocation is ...
194
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...