search for: bouns

Displaying 19 results from an estimated 19 matches for "bouns".

Did you mean: bound
2010 Apr 01
0
[LLVMdev] summer of code idea— checking boun ds overflow bugs
...s with SAFECode, I'd be willing to mentor your project. I do, however, have one condition: you need to find a specific static array bounds checking algorithm and understand how it works. I don't see a specific algorithm or paper reference above. Did you mean implementing a new static array bouns checking algorithm with SAFECode is a better idea than that with LLVM? I am not sure whether it's feasible to finish it within a summer, under the condition that I have little knowledge of SAFECode project. A good starting point for algorithms might be Dinakar's paper (see Section 5): ht...
2005 Aug 17
4
How many TDM22P Card can be used on the same PC ?
Just Google the archive on 'IRQ issues'. You can pretty much bet that 6 TDM cards on 6 PCI slots would suck hugely. Unless echo is your goal, you are not going to be pleased. If you have to use 24 existing POTS lines, look into a channel bank and interface it to a T1 card. If you are planning new, just get a PRI T1 and be done with it. Cheers, W -----Original Message----- From:
2013 Jan 30
2
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
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 SystemC models represented with LLVM IR. It was accepted and presented at International Conference on Hardware/Software Codesign and System Synthesis (CODES/ISSS), 2012. A link to the paper is accessible from acm or Alper's website:
2005 Aug 18
2
Re:How many TDM22P Card can be used on thesame PC ?
>>You say that each card generates an interrupt in every 1ms. >>So for 6 cards, each card needs to be processed atleast in >>166usec(1ms/6) in their interrupt_routine. Is it teoritically impossible on a >>perfect configuration/system? >In theory there isn't much difference between theory and practice. In >practice, there is. >In other words: you're
2010 Mar 30
7
[LLVMdev] summer of code idea — checking bounds overflow bugs
Hi, Some days ago I am interested in detecting undefined behaviors in C programs based on Clang. After several days’ investigation, I think checking bounds overflow bugs is more interesting, because bounds overflow is one of the most frequently encountered errors in C programs. For example, performing pointer arithmetic without checking bounds can cause bounds overflow. To increase the
2009 Feb 12
3
Aggregrate function
Hi, I have to recognize that i don't fully understand the aggregate function, but i think it should help me with what i want to do. xveg is a data.frame with location, species, and total for the species. Each location is repeated, once for every species present at that location. For each location i want to find out which species has the maximum total ... so i've tried different ways to
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
2007 Jan 29
3
WXRuby Documentation
Hi, I am very new to Ruby, but I know I can express myself in writing pretty well. If it''s OK to contribute to the documentation of WXRuby, How do I do that? I signed up for a membership on Sourceforge, but was not sure what to do after that. Thanks. Jim James D Homme, Usability Engineering Highmark Inc. james.homme@highmark.com 412-544-8177 "If you think you can, or if you think
2005 Aug 17
3
TDM04B, trunk group
Hi, I am just trying to figure out how to setup a TDM04B card for incoming/outgoing calls. I have 4 lines, which are provided as a rotary trunk group, currently hooked into a Nortel system, which asterisk will replace. I have setup a Dell 1800 (Tower) system with the TDM04B card, which seems to work. The question is how do I set it up that all 4 lines are part of a trunk group, such that
2012 Aug 03
3
Antispam only when LMTP delivers some specific messages
Hello, we're setting up a weird platform where every incoming email is passed from the MTA directly to a tool that then uses dovecot LMTP to deliver the message into the user mailbox. We are legally *not* allowed to run antispam on all the incoming messages, but only on some of them, as they are recognized by the aforementioned tool; but given that tool directly uses LMTP to delivers the
2009 May 14
5
Graphical output format
Dear colleagues, Saving a plot with pdf gives a very nice result: pdf("myplot.pdf") par(font=1,family='serif') plot(pressure) dev.off() Doing the very same with other formats (png, jpeg, tiff) gives far worse results. Is there anything to do to make a plot in some other format than pdf look like the pdf? Hardly any journal accepts pdf files for figures, and most do accept png
2003 Aug 22
2
kernel: locore.s doesn't assemble (fillkpt, $PAGE_SHIFT, $PTESHIFT)
since august 8th, 2003 the kernel on my i386 pentiumIII won't compile. the problem arises in locore.s with the definition of the constants $PAGE_SHIFT and $PTESHIFT used in `shr' and `shl' instructions within the macros `fillkpt' and `fillkptphys'. i've tried to cvsup(1) RELENG_4 and RELENG_4_8 every day for over a week now, but kernel builds (as part of a buildworld)
2004 Aug 06
5
Icecast is cool, but how about video?
Rob Burris wrote: > Real Networks offers a free streamer called Real Server. I'm not sure of the > exact link, but here's a starting point That is definitely not free, it's not even zero cost after that evaluation year. There don't even exist any players for it except from Real ... i can't think of anything less free than that. :| I suggest ditching all that crap and to
2011 Jun 25
1
Cisco IP Phones and Skinny in asterisk 1.8.4.2 "tooooooooooooooooo"
Hi All; Again, the Cisco IP Phones 7942G and using Skinny: I upgraded the firmware to version 8.5 (skinny) and I am using skinny channel (chan_skinny) and the skinny.conf file. The phones are registering, but when we use them to place a call, we only hear tooooooooooo in the handset and we do not hear voice (even when we dial the digits, we only hear toooooooo .. but it dials and destination
2006 Dec 14
23
Using DTrace to monitor productions systems
Hi, we are developing and operating an very critical application in the financial sector. Now our customer wants us to report performance data (roundtrip times of the messages routed). My idea is using dtrace to measure the times with the pid provider catching the timestamps on entry of the in and out functions of the processes. Now my questions ;-): 1) Is this an appropriate method to monitor
2004 Aug 06
1
mp3check and mp3_check?
Hello Sirs, > > Have you ran them through mp3check and mp3_check? > >Yep. Found a couple with a few bad frames and deleted them. Other than >that, nothing worse than a missing ID3 tag or two. Could you please give me the address of these tool(mp3check, mp3_check). I have many bad coded mp3, When Icecast streaming these bad! mp3s it kicks the connected clients. I want to delete
2004 Aug 06
0
Icecast is cool, but how about video?
Hello, I suggest Darwin Steraming Server. Apple's Darwin Streaming Video Server is pretty good and open source...(It uses RTSP protocol and supports Linux,Mac,Windows) RealServer is not free(there is connection and year limitations....) but powerfull..(uses RTSP, supports Linux, Windows[memory eater :)) ]) Also there is Windows Media(uses HTTP(performance is very bad), supports only
2004 Aug 06
3
Shout???
Hello, Sorry but in the mails I have read I did not see any "shout" program comments. I have configured icecast and I am using "shout" to encode MP3s. Is the performance of shout bad or others are better then "shout"? I did not encounter any problems yet. Thank you for any comment. Tamer Demir At 12:10 15.01.2002 +0100, Maarten Stolte wrote: >Hello, >
2004 Aug 06
3
Liveice+Darkice?
Hello, Could the experienced people help me? 1:) Is it possible to start liveice in the background like icecast and shout?? 2:) If I insert another sound card to PC(it will have 2 or more sound cards). Is it enough to specify "SOUND_DEVICE" option to /dev/dspX in liveice.cfg and start another liveice session with that configuration file??? 3:) With many efforts I fail to start darkice