Sciweavers

9186 search results - page 298 / 1838
» A Module System for Scheme
Sort
View
APPML
2006
65views more  APPML 2006»
15 years 6 months ago
A numerical scheme for regularized anisotropic curve shortening flow
Realistic interfacial energy densities are often non-convex, which results in backward parabolic behavior of the corresponding anisotropic curve shortening flow, thereby inducing ...
Frank Haußer, Axel Voigt
JOT
2007
94views more  JOT 2007»
15 years 6 months ago
A Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
Ashley T. McNeile, Nicholas Simons
CTRSA
2005
Springer
221views Cryptology» more  CTRSA 2005»
16 years 6 days ago
Accumulators from Bilinear Pairings and Applications
We propose a dynamic accumulator scheme from bilinear pairings, whose security is based on the Strong Diffie-Hellman assumption. We show applications of this accumulator in constru...
Lan Nguyen
VTC
2007
IEEE
149views Communications» more  VTC 2007»
16 years 29 days ago
An Iterative Detection Aided Irregular Convolutional Coded Wavelet Videophone Scheme Using Reversible Variable-Length Codes and
— In this paper, we characterize the achievable performance of a wavelet encoding-based videophone system, which further compresses and protects the wavelet-based video codec’s...
Anh Quang Pham, Jin Wang, Lie-Liang Yang, Lajos Ha...
EMSOFT
2007
Springer
15 years 10 months ago
A unified practical approach to stochastic DVS scheduling
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
Ruibin Xu, Rami G. Melhem, Daniel Mossé