To LUGNET HomepageTo LUGNET News HomepageTo LUGNET Guide Homepage
 Help on Searching
 
Post new message to lugnet.robotics.rcx.legosOpen lugnet.robotics.rcx.legos in your NNTP NewsreaderTo LUGNET News Traffic PageSign In (Members)
 Robotics / RCX / legOS / 2933
    Interruptions in BrickOS —Martin De Wulf
   Hi, I'am a researcher of the Free University Of Brussels. We're currently working on embedded systems. We would like to generate code for embedded systems from a specification language which could be used for formal verification. We chose Legos for (...) (22 years ago, 4-Nov-02, to lugnet.robotics.rcx.legos)
   
        Re: Interruptions in BrickOS —Joseph Woolley
   Good questions! See responses below... "Martin De Wulf" <madewulf@ulb.ac.be> wrote in message news:H51ItF.Ax1@lugnet.com... <snip> (...) You may want to check out the latest (now called BrickOS) at (URL) For us, real-time properties of the platform (...) (22 years ago, 4-Nov-02, to lugnet.robotics.rcx.legos)
 

©2005 LUGNET. All rights reserved. - hosted by steinbruch.info GbR