search for: tinyo

Hi Vikram, I think it's worth continuing to discuss this on-list. I'm interested in different kinds of embedded software, but specifically in TinyOS applications. > We (more accurately, John Criswell and Brice Lin) are working on a > debugging version of SAFECode right now, which should be robust enough > to play with soon. This is great to hear. I know the SAFECode paper and like it. However, my intuition fails when I try to ima...

John, We (more accurately, John Criswell and Brice Lin) are working on a debugging version of SAFECode right now, which should be robust enough to play with soon. What kinds of embedded codes do you have in mind? One of our goals has been to minimize or even eliminate run-time checks for embedded code that meets certain restrictions. You can see the following paper for more details:

SVA/safecode looks interesting. Is it available to play with? I grepped for strings such as "sva" "secure" "safecode" in the LLVM source tree and didn't find anything, nor did I see obvious links to implementations from the project web pages. In the short term, questions I'd be interested in answering are: What happens when embedded codes that I care

...ce University of Illinois at Urbana-Champaign http://llvm.org/~vadve On Mar 25, 2009, at 10:35 PM, John Regehr wrote: > Hi Vikram, > > I think it's worth continuing to discuss this on-list. I'm > interested in > different kinds of embedded software, but specifically in TinyOS > applications. > >> We (more accurately, John Criswell and Brice Lin) are working on a >> debugging version of SAFECode right now, which should be robust >> enough >> to play with soon. > > This is great to hear. > > I know the SAFECode paper and like i...

...n_reboot>restart</on_reboot> <on_crash>restart</on_crash> <devices> <emulator>/usr/local/lib/xen/bin/qemu-dm</emulator> <disk type='file' device='disk'> <driver name='file'/> <source file='/opt/tinyos/tiny_core_plus.img'/> <target dev='hda'/> </disk> <interface type='bridge'> <mac address='00:11:3e:64:2f:cf'/> <source bridge='xenbr0'/> <ip address='dhcp'/> </interface>...

Hi John, John Regehr wrote: > PredicateSimplifier is a pretty interesting pass, but it doesn't look > like opt invokes it at any standard -Ox level, and so I assume that > llvm-gcc also does not use this pass? If that is right, I'm curious > about why this is the case -- does it simply not provide enough code > speedup to compensate for the increase in compile time? I

PredicateSimplifier is a pretty interesting pass, but it doesn't look like opt invokes it at any standard -Ox level, and so I assume that llvm-gcc also does not use this pass? If that is right, I'm curious about why this is the case -- does it simply not provide enough code speedup to compensate for the increase in compile time? Also, a colleague and I (we both teach advanced

Hi All, ?? I am a new member to the vorbis-dev mailing list. i hope that u receive the help that i've been searching for. I need to compress audio samples captured by wireless sensor node (16-bit PCM at 8Khz). can i use vorbis i such an embedded system environment that has the following HW/SW specifications: -416 MHz Microprocessor(ARM architecture, Intel Xscale family) -32 MB RAM Beside