Displaying 8 results from an estimated 8 matches for "s2_f2".
2008 Sep 11
0
Loop for the convergence of shape parameter
...verpi),weights=k)
beta0<-GLM_results$coefficients[[1]]
beta1]<-GLM_results$coefficients[[2]]
lambda1<-beta0+beta1*x[1]
lambda2<-beta0+beta1*x[2]
% using lambda, estimate alpha (a=alpha) through ML estimation
L<-function(a){
s1_f1<-(exp(-lambda1*(0^a-0^a))-exp(-lambda1*(5^a-0^a)))
s2_f2<-(exp(-lambda1*(10^a)-lambda2*(14^a-10^a+14^a-14^a))
-exp(-lambda1*(10^a)-lambda2*(14^a-10^a+18^a-14^a)))
logl<-log(s1_f1*s2_f2)
return(-logl)}
optim(1,L)
alpha<-optim(1,L)$par
}
[II] for 1)-3) (making errors)
alpha[1]<-1
beta0=rep(0,10)
beta1=rep(0,10)
lambda1=rep(0,10)
lambd...
2008 Sep 12
1
Error in "[<-"(`*tmp*`, i, value = numeric(0)) :
...9;cloglog'),
offset=log(verpi[i]),weights=k)
beta0[i]<-GLM_results$coefficients[[1]]
beta1[i]<-GLM_results$coefficients[[2]]
lambda1[i]<-beta0[i]+beta1[i]*x[1]
lambda2[i]<-beta0[i]+beta1[i]*x[3]
L[i]<-function(a){
s1_f1<-(exp(-lambda1[i]*(0^a-0^a))-exp(-lambda1[i]*(5^a-0^a)))
s2_f2<-(exp(-lambda1[i]*(10^a)-lambda2[i]*(14^a-10^a+14^a-14^a))
-exp(-lambda1[i]*(10^a)-lambda2[i]*(14^a-10^a+18^a-14^a)))
logl<-log(s1_f1*s2_f2)
return(-logl)}
optim(1,L[i])
alpha[i]<-round(optim(1,L[i])$par,2)
if(alpha[i]<=alpha[i-1])
break}
i=i+1
}
Best regards,
Jin
--
View t...
2017 Apr 10
3
[RFC] Design of a TBAA sanitizer
On 04/10/2017 09:55 AM, Andrey Bokhanko wrote:
> Hi Hal,
>
> I wonder how your solution will handle the following?
>
> struct {
> int s1_f1;
> float s1_f2;
> int s1_f3;
> float s1_f4;
> } S1;
>
> struct {
> int s2_f1;
> float s2_f2;
> int *s2_f3; // to add some interest, suppose that sizeof(int) ==
> sizeof(int *)
> float s2_f4;
> } S2;
>
> S1 *s1; S2 *s2;
> ...
> s2 = (S1*)s1;
> s2->s2_f1 = 0; // allowed
> s2->s2_f2 = 0; // allowed
> s2->s2_f3 = 0; // not allowed
> s2->s2_...
2017 Apr 11
4
[RFC] Design of a TBAA sanitizer
...;> I wonder how your solution will handle the following?
>>
>> struct {
>> int s1_f1;
>> float s1_f2;
>> int s1_f3;
>> float s1_f4;
>> } S1;
>>
>> struct {
>> int s2_f1;
>> float s2_f2;
>> int *s2_f3; // to add some interest, suppose that sizeof(int)
>> == sizeof(int *)
>> float s2_f4;
>> } S2;
>>
>> S1 *s1; S2 *s2;
>> ...
>> s2 = (S1*)s1;
>> s2->s2_f1 = 0; // allowed
>> s2->...
2017 Apr 11
2
[RFC] Design of a TBAA sanitizer
...t; I wonder how your solution will handle the following?
> >>
> >> struct {
> >> int s1_f1;
> >> float s1_f2;
> >> int s1_f3;
> >> float s1_f4;
> >> } S1;
> >>
> >> struct {
> >> int s2_f1;
> >> float s2_f2;
> >> int *s2_f3; // to add some interest, suppose that sizeof(int) ==
> >> sizeof(int *)
> >> float s2_f4;
> >> } S2;
> >>
> >> S1 *s1; S2 *s2;
> >> ...
> >> s2 = (S1*)s1;
> >> s2->s2_f1 = 0; // allowed
> >&g...
2017 Apr 11
2
[RFC] Design of a TBAA sanitizer
...t {
> > > >> int s1_f1;
> > > >> float s1_f2;
> > > >> int s1_f3;
> > > >> float s1_f4;
> > > >> } S1;
> > > >>
> > > >> struct {
> > > >> int s2_f1;
> > > >> float s2_f2;
> > > >> int *s2_f3; // to add some interest, suppose that sizeof(int) ==
> > > >> sizeof(int *)
> > > >> float s2_f4;
> > > >> } S2;
> > > >>
> > > >> S1 *s1; S2 *s2;
> > > >> ...
> > &g...
2017 Apr 11
2
[RFC] Design of a TBAA sanitizer
...1_f2;
> > > > > >> int s1_f3;
> > > > > >> float s1_f4;
> > > > > >> } S1;
> > > > > >>
> > > > > >> struct {
> > > > > >> int s2_f1;
> > > > > >> float s2_f2;
> > > > > >> int *s2_f3; // to add some interest, suppose that sizeof(int) ==
> > > > > >> sizeof(int *)
> > > > > >> float s2_f4;
> > > > > >> } S2;
> > > > > >>
> > > > > >&...
2017 Apr 04
8
[RFC] Design of a TBAA sanitizer
Hi everyone,
At EuroLLVM, Chandler and I chatted about the design for a potential
TBAA sanitizer. Here's my attempt to summarize:
C/C++ have type-based aliasing rules, and LLVM's optimizer can exploit
these given TBAA metadata added by Clang. Roughly, a pointer of given
type cannot be used to access an object of a different type (with, of
course, certain exceptions). Unfortunately,