Sciweavers

2610 search results - page 185 / 522
» codes 2007
Sort
View
OOPSLA
2007
Springer
15 years 10 months ago
Recursive adaptive computations using perobject visitors
Adaptive Programming allows developers to write structureshy programs. However, in Adaptive Programming, recursive computations are known to require a good deal of boiler plate co...
Ahmed Abdelmeged, Karl J. Lieberherr
SEC
2003
15 years 5 months ago
From Finite State Machines to Provably Correct Java Card Applets
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
JGTOOLS
2007
105views more  JGTOOLS 2007»
15 years 4 months ago
Exact Evaluation of Catmull-Clark Subdivision Surfaces Near B-Spline Boundaries
We extend the eigenbasis method of Jos Stam to evaluate Catmull-Clark subdivision surfaces near extraordinary vertices on B-spline boundaries. Source code to generate eigenbasis d...
Dylan Lacewell, Brent Burley
ICC
2007
IEEE
15 years 10 months ago
Probability Density Functions of Reliability Metrics for 16-QAM-Based BICM Transmission in Rayleigh Channel
— In bit interleaved coded modulation (BICM), the probability density function (PDF) of the reliability metrics (Lvalues) fully defines the BICM transmission and may be used to ...
Leszek Szczecinski, Alex Alvarado, Rodolfo Feick
ECOOP
2007
Springer
15 years 8 months ago
Product Line Variability Refactoring Tool
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba...