From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,7e60c1d99ae3ffa1 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-09-12 03:50:56 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!wn1feed!worldnet.att.net!204.127.198.204!attbi_feed4!attbi.com!rwcrnsc52.ops.asp.att.net.POSTED!not-for-mail From: "Jeffrey Creem" Newsgroups: comp.lang.ada References: Subject: Re: Announce: The Ultimate SI Units Cracker X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Message-ID: NNTP-Posting-Host: 66.31.5.146 X-Complaints-To: abuse@attbi.com X-Trace: rwcrnsc52.ops.asp.att.net 1031827855 66.31.5.146 (Thu, 12 Sep 2002 10:50:55 GMT) NNTP-Posting-Date: Thu, 12 Sep 2002 10:50:55 GMT Organization: AT&T Broadband Date: Thu, 12 Sep 2002 10:50:55 GMT Xref: archiver1.google.com comp.lang.ada:28855 Date: 2002-09-12T10:50:55+00:00 List-Id: Sounds like it might be interesting to look at. I do not see a download link. Also note that the page seems to make the somewhat incorrect assumption that hard real-time implies "fast". Hard real-time just means you can never miss a deadline (where soft real-time means that you can sometimes miss some deadlines but not often). While these terms vary from author to author, it has been my experience that these are pretty close to the generally accepted definitions. I believe you really should be saying that there might be a concern about your approach (which you believe you have solved) for "time critical" applications. Or, one could say that your approach is still ok in applications in which computational efficiency is important. My offline MPEG encoding I do at home is by no means hard real-time (it is a hobby, perhaps if I was getting paid to do this it would be soft real-time :) But it is time critical because it is computationally expensive and slow (with respect to how long humans want to wait for the data). "Grein, Christoph" wrote in message news:mailman.1031818621.20810.comp.lang.ada@ada.eu.org... > The ultimate SI Units cracker is there! > > There has always been a demand to be able to compute with physical items where > correctness of dimensions is checked, but to me, all previous attempts seemed > unsatisfactory (and there were many) - now it's there, in full generality, > including arbitrary powers and roots. > > Yes - it's run-time consuming since the dimension is an attribute > No - it's not precluded from being used for hard real-time systems > Yes - it can be applied under hard real-time conditions if it's done correctly > Yes - it's easy to switch off dimensions - only pure numerics remains > > See > > It has been released under GMGPL. Enjoy... > > o _ _ _ > --------- __o __o /\_ _ \\o (_)\__/o (_) > ------- _`\<,_ _`\<,_ _>(_) (_)/<_ \_| \ _|/' \/ > ------ (_)/ (_) (_)/ (_) (_) (_) (_) (_)' _\o_ > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > Mein Radunfall > My bike accident > > > Christoph Grein > Mitglied von Ada-Deutschland > Member of Ada Germany > http:/www.ada-deutschland.de > > http://home.T-Online.de/home/Christ-Usch.Grein > eMail: Christ-Usch.Grein@T-Online.de