similar to: [LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing

Displaying 20 results from an estimated 100 matches similar to: "[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing"

2013 Feb 02
0
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
Very interesting, thanks for the forward! If you're interested in having a link posted on llvm.org, please email the llvmdev mailing list. -Chris On Jan 30, 2013, at 9:42 AM, Marcelo Sousa <marceloabsousa at gmail.com> wrote: > Dear all, > > I would like to share a paper I co-authored with Prof. Alper Sen. This > paper describes an algorithm to generate testbenches from
2013 Dec 17
1
[LLVMdev] Out of tree targets: API Change to MFI::CreateStackObject
Hi, I will soon be committing a change to MachineFrameInfo::CreateStackObject that removes the "bool MayNeedSP" parameter. This API change is part of larger patch that re-works stack layout passes to use analysis from the StackProtector pass to layout StackProtected objects (http://llvm-reviews.chandlerc.com/D2158). Out of tree targets will need to update their usage accordingly. The
2004 Apr 18
2
I need a Wine-Config
2006 Jun 26
2
Flac File Size
Hi, I have a big flac file, i can divide this flac file into chunks by visual basic code, i can add header to these chunks by copying first 1K to other chunks, but chunks can not play properly, i think i need to change filesize from file headers of these chunks, i can read samplerate and samples count from header, but i do not know how can i calculate file size without reading all file, what
2003 May 06
4
Questons about R capabilities
Hello, 1) I am interested in performing a limited-dependent variable linear regression. By this I mean a classical linear regression, but for the case where the values of the dependent variable cannot vary from -infinity to +infinity, but are truncated and so are between two finite limits L1 and L2. Does R1.7 have this capability? If so what is (are) the relevant command(s)? 2) I am also
2013 Sep 14
1
[LLVMdev] Publication: LLVMVF: A Generic Approach for Verification of Multicore Software
Dear all, I'm happy to share a recent publication on a bounded model checker for concurrent programs represented in LLVM IR that integrates the verification framework that I'm developing: Marcelo Sousa, and Alper Sen, LLVMVF: A Generic Approach for Verification of Multicore Software. Journal of Electronic Testing: Theory and Applications, September 2013. (
2003 Aug 01
1
Extracting p-values from modeling
Hello, I have being conducting some (conditional logistic) regressions (clr), and I'm interested in extracting and manipulating (as a number) the p-values. (This is a prelude to some power simulations, where I'll generate data sets, perform a clr on each data set, and then extract the p-value for calculation of the power.) From what I can tell, the p-value is not one of the quantities
2015 Oct 07
2
Chipset & Family
dmesg -t | grep -i nvidia nouveau 0000:02:00.0: NVIDIA G98 (098200a2) input: HDA NVidia Rear Mic as /devices/pci0000:00/0000:00:07.0/sound/card0/input6 input: HDA NVidia Front Mic as /devices/pci0000:00/0000:00:07.0/sound/card0/input7 input: HDA NVidia Line as /devices/pci0000:00/0000:00:07.0/sound/card0/input8 input: HDA NVidia Line Out Front as /devices/pci0000:00/0000:00:07.0/sound/card0/input9
2009 Mar 11
1
Multilevel Modeling using glmmPQL
Hi, I'm trying to perform a power simulation for a simple multilevel model, using the function glmmPQL in R version 2.8.1. I want to extract the p-value for the fixed-effects portion of the regression, but I'm having trouble doing that. I can extract the coefficients (summary(fit)$coeff), and the covariance matrix (summary(fit)$varFix), but I can't grab the p-value (or the
2005 Feb 22
3
problems with nonlinear fits using nls
Hello colleagues, I am attempting to determine the nonlinear least-squares estimates of the nonlinear model parameters using nls. I have come across a common problem that R users have reported when I attempt to fit a particular 3-parameter nonlinear function to my dataset: Error in nls(r ~ tlm(a, N.fix, k, theta), data = tlm.data, start = list(a = a.st, : step factor 0.000488281
2008 Feb 04
8
AGI: Not getting answers from get_data in a call-file call
I have the following situation: I drop a call-file into the Asterisk spool directory and I get called back. That all works. And I have this script: #!/usr/bin/perl -w use Asterisk::AGI; my $AGI = new Asterisk::AGI; my %input = $AGI->ReadParse(); $AGI->answer(); my $i; $i = $AGI->channel_status(); $AGI->say_digits($i); $i =
2009 Mar 13
0
Polices, Rules and Configurations - No Success (#/etc/shorewall/policy)
Hello, I forgot to put my #/etc/shorewall/policy file: # /etc/shorewall/policy ############################################################################### #SOURCE DEST POLICY LOG LIMIT: CONNLIMIT: # LEVEL BURST MASK # adm net DROP info tlm net DROP info # net adm DROP
2012 Oct 02
4
[LLVMdev] llvm-g++ does not work!
Hi, I am using PinaVM which is a prototype of a SystemC front-end based on "LLVM". The only version that it works with is 2.8. Also to test PinaVM, we need llvm-g++ (I think clang does not work). However, when I want to run an example, i get the following error, which i think is related to llvm-g++: reza at RezaUbuntu:~/pinavm-pinavm/systemc-examples/jerome-chain$ make promela
2009 Mar 09
3
Shorewall Rules and Configurations
Hi, I need a help... I''m a beginner with shorewall. I have two shorewall firewalls, each with a link. FW (a) - w/ openVPN eth0 = 192.168.150.5/24 eth1 = 192.168.200.5/24 eth2 = public IP eth3 = 192.168.120.5/24 tun240 = 10.240.255.1 /etc/shorewall/zones all zones declared as ipv4 /etc/shorewall/interfaces #ZONE INTERFACE BROADCAST OPTIONS tlm eth0
2012 Oct 02
0
[LLVMdev] llvm-g++ does not work!
The issue here (even if you get dragonegg working) is that the thing that most newer linuxes install when you apt-get llvm-gcc isn't actually llvm-gcc, it's gcc with the dragonegg plugin. Even if the plugin issues are sorted out, the "fake" llvm-gcc doesn't support -emit-llvm so this wouldn't work. You'll probably need to pull a 2.8 of it from llvm.org or a
2007 Mar 19
4
matrix similarity comparison
Good morning to you all, I have a problem with a set of matrices that I want to compare. I want to see the similarity between them, and to be able to extract the differences between them. They have all the same number of columns and rows, and correspond presence absence data: for example: m1 <- matrix(c(1,0,0,0,1,0,1,1,1,1,1,1), 3,4) m2 <- matrix(c(1,0,1,0,1,0,0,1,0,1,0,1), 3,4) I
2007 Jul 12
1
problems with memory in Mac
Dear friends, I am having some doubts about the amount of memory that is being used by R in my Mac (MacBook Pro, 2Gig). Is there a way to increase the amount of memory used? When I type: > mem.limits() the result is: nsize vsize NA NA and I can't change it, tough my computing in R isn't using all the memory at it's disposal. Best regards, Carlos -- Carlos GUERRA
2012 Feb 27
0
Correct call duration when transfer a call
Hi. I am new to asterisk. I have an ivr application with asterisk and voiceglue. I make a call from asterisk (say to A) and when callee press a button voiceglue transfer the callee to another number (say to B). When I look cdr records the billsec between A and B always 0 and billsec with A shows the billsec for A and B. I am confused. Is there a reliable way to get the real call durations? Best
2004 Mar 19
0
How to do a truncated regression
Hi, I'm interested in performing a regression of dependent variable y on independent variable x, where (x,y) are known only for y < c, where c is a constant. For y >= c, neither x or y are known. This is called a truncated regression, I believe. I read a post on the R help list, that recommended doing the following: "The form for the response is Surv(c,y,1), but it
2008 Apr 07
2
[LLVMdev] Newbie
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type"> </head> <body bgcolor="#ffffff" text="#000000"> Thanks to all those who responded to our email.<br> <br> Tilmann Scheller wrote: <blockquote