search for: proven

Displaying 20 results from an estimated 1471 matches for "proven".

Did you mean: proved
2009 Jul 02
0
multiple comparisons and generalized least squares
Dear R users, I 'm working on a dataset consisting of 4 different dataframes with tree, leaf, fruit and seed measurements made on 300 trees, coming from 10 provenances (30 trees per provenance, 10 leaves/fruits/seeds per tree). Provenances are fixed effects (they were not randomly chosen), but trees within provenances and leaves/fruits/seeds within trees were randomly assigned. I wanted to check whether there were any between-provenance differences concernin...
2010 Dec 02
5
Tukey Test, lme, error: less than two groups
...ear R-group, I am trying desperately to get this Tukey test working. Its my first time here so I hope my question is not too stupid, but I couldn't find anything helpful in the help or in the forum. I am analysing a dataset of treated grasses. I want to find out, if the grasses from different Provenances react differently. In the aov test I found a significance for the combination Treatment and provenance: summary(PAMaov<-aov(PAMval~Treatmentf*Pretreatmentf*Provenancef+Error(Datef/Code))) Treatmentf:Provenancef p-value: 0.008023 ** In the Linear fixed effects model lme, I...
2019 Nov 12
2
Full restrict support - status update
...is unfortunate, it has various negative > connotations, e.g., the release notes that read: > "LLVM 10.0 now has sidechannel support for your restrict pointer" > will raise a lot of follow up questions. > > What I think we actually do, and what we should call it, is "provenance" > tracking. > > Now beyond the pure renaming of "sidechannel" into "provenance" (or sth. > similar) I want us to decouple provenance tracking from the noalias > logic. Noalias/restrict is one use case in which (pointer) provenance > information is us...
2019 Nov 06
2
Full restrict support - status update
Hi Alexey, >From: Alexey Zhikhartsev [..] > We would love to see your patches merged as soon as possible, so I was wondering: do you think the lack of bitcode support will prevent that from happening? Yes, I think that the lack of bitcode support will prevent it. During the Developers meeting, I also talked with Hal and Johannes. They had some extra remarks: - (1) the restrict
2020 May 13
2
LLVM Alias Analysis Technical Call - Doodle Poll
...; is unfortunate, it has various negative > connotations, e.g., the release notes that read: > "LLVM 10.0 now has sidechannel support for your restrict pointer" > will raise a lot of follow up questions. > > What I think we actually do, and what we should call it, is "provenance" > tracking. > > Now beyond the pure renaming of "sidechannel" into "provenance" (or sth. > similar) I want us to decouple provenance tracking from the noalias > logic. Noalias/restrict is one use case in which (pointer) provenance > information is use...
2013 Jan 28
0
[LLVMdev] [PATCH] parallel loop awareness to the LoopVectorizer
On 01/28/2013 06:51 PM, Hal Finkel wrote: > Is this sufficient to implement #pragma ivdep in clang? I'm not completely sure of this: "Note: The proven dependencies that prevent vectorization are not ignored, only assumed dependencies are ignored." http://software.intel.com/sites/products/documentation/studio/composer/en-us/2011Update/compiler_c/cref_cls/common/cppref_pragma_ivdep.htm Thus, there's a slight difference. It cannot be used...
2020 May 18
4
LLVM Alias Analysis Technical Call - Doodle Poll
...; is unfortunate, it has various negative > connotations, e.g., the release notes that read: > "LLVM 10.0 now has sidechannel support for your restrict pointer" > will raise a lot of follow up questions. > > What I think we actually do, and what we should call it, is "provenance" > tracking. > > Now beyond the pure renaming of "sidechannel" into "provenance" (or sth. > similar) I want us to decouple provenance tracking from the noalias > logic. Noalias/restrict is one use case in which (pointer) provenance > information is use...
2020 May 21
2
LLVM Alias Analysis Technical Call - Doodle Poll
...t; is unfortunate, it has various negative > connotations, e.g., the release notes that read: > "LLVM 10.0 now has sidechannel support for your restrict pointer" > will raise a lot of follow up questions. > > What I think we actually do, and what we should call it, is "provenance" > tracking. > > Now beyond the pure renaming of "sidechannel" into "provenance" (or sth. > similar) I want us to decouple provenance tracking from the noalias > logic. Noalias/restrict is one use case in which (pointer) provenance > information is use...
2006 Apr 28
4
can someone help DRY a noob? thanks...
hi all i''m trying to pass a variable name right round the block and need a hand to ease my aching brain. ##in my sidebar i have <li><%= SidebarItem(''catalogue'') %></li> <li><%= SidebarItem(''provenance'') %></li> <li><%= SidebarItem(''status'') %></li> ##linked to a helper def SidebarItem(name) link_to_remote "#{name}", :url=> {:action => name, :id => @work.id, :layout => false } end but...
2013 Jan 28
5
[LLVMdev] [PATCH] parallel loop awareness to the LoopVectorizer
----- Original Message ----- > From: "Nadav Rotem" <nrotem at apple.com> > To: "Pekka Jääskeläinen" <pekka.jaaskelainen at tut.fi> > Cc: "LLVM Developers Mailing List" <llvmdev at cs.uiuc.edu> > Sent: Monday, January 28, 2013 10:45:36 AM > Subject: Re: [LLVMdev] [PATCH] parallel loop awareness to the LoopVectorizer > > Hi Pekka,
2013 Jan 28
0
[LLVMdev] parallel loop awareness to the LoopVectorizer
...Re: [LLVMdev] [PATCH] parallel loop awareness to the > LoopVectorizer > > > > On 01/28/2013 06:51 PM, Hal Finkel wrote: > > > Is this sufficient to implement #pragma ivdep in clang? > > > > I'm not completely sure of this: > > > > "Note: The proven dependencies that prevent vectorization are not > > ignored, > > only assumed dependencies are ignored." > > > > > http://software.intel.com/sites/products/documentation/studio/composer/en-us/2011Update/compiler_c/cref_cls/common/cppref_pragma_ivdep.htm > > &gt...
2019 Sep 26
2
[PROVENANCE INTERNET] Re: Missing packages in centos8 mirrors or do I miss something?
For those who come across this thread, I've found the exact list of changed and dropped package between rhel:7 and rhel:8: https://access.redhat.com/documentation/en-us/red_hat_enterprise_linux/8/html-single/considerations_in_adopting_rhel_8/index#package-replacements_changes-to-packages Too bad that the "note" column is empty in the dropped package table. NO word about reason or
2020 Jun 24
4
LLVM Alias Analysis Technical Call - New Doodle Poll
...his scheme might solve/mitigate some of the scalability challenges associated with the pure-metadata solution. * The full-restrict implementation is being used, and Jerone is currently updating this implementation based on feedback from that usage, he also will update the implementation to use provenance instead of sidechannel and repost. * Johannes notes that we need more reviewers for this patch set. **** Thanks again, Hal Hal Finkel Lead, Compiler Technology and Programming Languages Leadership Computing Facility Argonne National Laboratory ________________________________ From: ll...
2017 Dec 10
3
Can USBstikA boot USBstkB ?!
...ccessing files is: 1: KERNEL /boot/S3P3/vmlinuz-3.2.0-4-486 2: INITRD /boot/S3P3/initrd.img-3.2.0-4-486 3: <mount applicable root> , I'll put the new krnl & initrd, in their own dir in usbA: to avoid the possible problem of usbB not being readable. from usbA So minimally modifying a proven entry on usbA:isolinux.cfg gives:- LABEL S3:P3:rootUseLABEL MENU LABEL video args for S3:P3 TEXT HELP Use proven Krn & initrd from S3P3 copied to own /boot/S3P3 ENDTEXT KERNEL /boot/S3P3/vmlinuz-3.2.0-4-486 INITRD /boot/S3P3/initrd.img-3.2.0-4-486 APPEND root=LABEL=New486Xfce ==> OK ! usbA...
2016 Oct 02
2
When is a store not (memory) safe?
...R). I refer "safe" to spatial safety (no out of bounds write) and not temporal safety (no double free() etc). My current approach would be to declare every pointer as unsafe that is computed somewhere by a GEP instruction with non constant indices, as well as constant indices that can be proven to be out of bounds (but that would be more a thing for the compiler to complain). Is that approach about right? Are there other situations where spatial safety might be violated? Are there already analysis that can determine something like this? Thanks you. Regards, Fredi
2011 Nov 01
1
predict lmer
...reading for many days trying to predict with lmer but I haven't managed to do it. I've fitted an allometric model for trees where I have included climatic variables and diameter in the fixed part and in the random part I've included the experimental sites where trees are and also their provenance region. The model is like this : f431<-lmer(log(H05)~log(DN05)*(PwS+ PoS+ PpS+ TpS)+PoP:log(DN05)+PwP:log(DN05)+(log(DN05)-1|P)+(log(DN05)-1|S/B)+(log(DN05)|SP), data=data) once I 've fitted the model I would like to make predictions for a new data frame of values. But i don't kn...
2003 Aug 18
3
Call transfer ATA186
Hi all: I'm testing a new installation of *, bringing up some ATA186. In * environment, all stuff works greats. The only thing that don't work is a Call Transfer, but the 3Party works ok. Some time ago I read that somebody had proven this functionality successfully. If somebody knows what I missing, please let me know. Thanks in advance, Gus -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.digium.com/pipermail/asterisk-users/attachments/20030818/6a255ba1/attachment.htm
2006 Dec 03
2
checking for libusb in configure.in
...drivers=all" does not imply "--with-usb", and it was not registering that the libusb checks might be called regardless of whether --with-usb was set. I will do the testing and such, but I wanted to ask you before I work on a patch (especially since there is that "innocent until proven guilty" comment in there). -- - Charles Lepple
2013 Sep 25
3
[PATCH] xen: arm: use new 64-bit zImage magic numbers for Xen binary
...nstructio encoding!). The new header has a proper magic number at a fixed location. Switch Xen itself to using this format. Neither the bootwrapper nor the models care about this header themselves and real bootloaders are not widely used, so now is as good a time as any to switch (as upstream have proven) Signed-off-by: Ian Campbell <ian.campbell@citrix.com> --- xen/arch/arm/arm64/head.S | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/xen/arch/arm/arm64/head.S b/xen/arch/arm/arm64/head.S index 1d04efc..5ffe4f4 100644 --- a/xen/arch/arm/arm64/head.S +++ b/xen/arch/arm/arm64/he...
2013 Feb 27
3
Support for PolarSSL?
Hey Timo, Just curious if you ever thought about supporting other than just OpenSSL? PolarSSL looks really interesting, has no major dependencies and is very lightweight compared to OpenSSL, GNUTLS or others... https://polarssl.org/ I guess it could be a lot of work, or not, anyway, I'm just curious... -- Best regards, */Charles/*