search for: tinyo

Displaying 8 results from an estimated 8 matches for "tinyo".

Did you mean: tiny
2009 Mar 26
3
[LLVMdev] secure virtual architecture / safecode
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...
2009 Mar 25
0
[LLVMdev] secure virtual architecture / safecode
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:
2009 Mar 25
2
[LLVMdev] secure virtual architecture / safecode
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
2009 Mar 26
0
[LLVMdev] secure virtual architecture / safecode
...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...
2014 Sep 25
1
libvirt 1.2.5 + xen 4.4
...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>...
2009 Feb 16
0
[LLVMdev] PredicateSimplifier questions
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
2009 Feb 16
3
[LLVMdev] PredicateSimplifier questions
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
2012 Feb 28
2
Need for help about using vorbis in embedded system
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