Portaal Portaal Pingviini veeb foorumi pealeht
  Viki  |  IRC  |  Otsing  |  Küsimused ja vastused  |  Profiil  |  Privaatsõnumite vaatamiseks logi sisse  | Logi sisse või Registreeru
<empty>
Vaata järgmist teemat
Vaata eelmist teemat

Postita uus teemaVasta teemale
Autor Sõnum
olavsu1


Vana Pingviin
Vana Pingviin


Vanus: 43
Liitunud: 02.12.2006
Postitused: 923

Distributsioon: ubuntu, mandriva
estonia.gif
postituspostitatud: 10.10.2009, 01:48  postituse pealkiri:  Loodi veatu 7500 realine kood  

3DNews kirjutab järgmist.

Uus-Lõuna-Walesi ülikooli (The University of New South Wales, UNSW) ja Austraalia rahvusliku uuringuinstituudi (National ICT Australia, NICTA) info- ja kommunikatsioonitehnoloogiate uurijad saavutasid läbimurde tarkvaras, mis tõstab märkimisväärselt koodi turvalisust ja töökindlust ning millel on potentsiaali kommertslikuks eduks. Arvutiteaduste professori ja NICTA uuringuprogrammide direktori Gernot Heiser´i sõnutsi suutis meeskond esmakordselt matemaatilise täpsusega tõestada, et operatsioonisüsteemi tuum – iga arvuti "südame" kood – on 100% vigadest vaba ning järelikult tõrkekindel.

Edasi loe siit: http://www.3dnews.ee/est/software-news/Kood_08_10_2009

// Jutt on asjast, mis kannab nime SeL4. Asi tundub seotud olema nii Pingviinide kui Lumeleopardiga.


spott
Admin
Admin


Vanus: 38
Liitunud: 04.06.2005
Postitused: 8775

Distributsioon: Ubuntu
estonia.gif
postituspostitatud: 10.10.2009, 06:19  postituse pealkiri:  (teema puudub)  

kahtlane.
Sest enamikel juhtudest kirjutavad ka teised veavaba koodi - vead tekivad aga hiljem just teiste tarkvarajuppidega läbikäimisel ja riistvaraga suhtlemisel.

see nagu ehitusprojekt. Sina teed veatu ja igati hea projekti, teine teeb supper vundamendi ja seinad selle järgi. Võibolla läheb kogu ehitus nii enam vähem, kuid kui kasutajad kohal on, siis selgub, et teleka pistik vales kohas jne. Ehk hoone läheb lõplikult kasutusele ja siis kasvõi kasutamisest lähtuvalt hakkavad asjad tõrkuma. Ehk tulevad välja vead, mida keegi ei osanud isegi aimata.

_________________
Tellige endale sünnipäevaks, sõbrapäevaks või muuks tähtpäevaks kingitus: Kingitused internetist - NetiKink.eu

olavsu1


Vana Pingviin
Vana Pingviin


Vanus: 43
Liitunud: 02.12.2006
Postitused: 923

Distributsioon: ubuntu, mandriva
estonia.gif
postituspostitatud: 10.10.2009, 14:02  postituse pealkiri:  (teema puudub)  

Tsitaat:
vead tekivad aga hiljem just teiste tarkvarajuppidega läbikäimisel ja riistvaraga suhtlemisel.


Seda vaid siis, kui süsteemi loojad ei avalda spetsifikatsioone ja oma nägemusi. Kui hakkaksin praegu tarkvara kirjutama, võrduks see pimesi kobamisega.

Vaata seda: http://www.youtube.com/watch?v=dPAiVyC5zoA

Miks on CAD programmides olemas vidin VRML ? Kas sellise sisekujundusega laev meeldis? praegu saab seda muuta, siis kui laev valmis on juba muutmine raskendatud

Oleks ma linna arhitekt nõuaks teistelt arhitektidelt VRML simulatsiooni.

Samasugune asi tarkvarast, oleksid igasugused beta ja RC paketid.

_________________
olen Troll ja ootan pingviin.org konto sulgemist.

Näita (aja järgi):      
Postita uus teemaVasta teemale


Vaata järgmist teemat
Vaata eelmist teemat
Powered by phpBB2 Plus based on phpBB © 2001/7 phpBB Group