Sciweavers

484 search results - page 19 / 97
» Caching function calls using precise dependencies
Sort
View
DMTCS
2010
128views Mathematics» more  DMTCS 2010»
13 years 4 months ago
Asymptotics of the Stirling numbers of the first kind revisited: A saddle point approach
Using the saddle point method, we obtain from the generating function of the Stirling numbers of the first kind n j and Cauchy's integral formula, asymptotic results in centr...
Guy Louchard
ICSE
2003
IEEE-ACM
14 years 18 days ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic
ENTCS
2007
126views more  ENTCS 2007»
13 years 7 months ago
Context Dependent Procedures and Computed Types in -eriFun
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
Andreas Schlosser, Christoph Walther, Michael Gond...
ISIPTA
1999
IEEE
114views Mathematics» more  ISIPTA 1999»
13 years 11 months ago
Lower Desirability Functions: A Convenient Imprecise Hierarchical Uncertainty Model
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...
Gert De Cooman
CORR
2007
Springer
100views Education» more  CORR 2007»
13 years 7 months ago
Identifying statistical dependence in genomic sequences via mutual information estimates
Questions of understanding and quantifying the representation and amount of information in organisms have become a central part of biological research, as they potentially hold th...
H. M. Aktulga, I. Kontoyiannis, L. A. Lyznik, Luka...