Područje rada odjela za računarstvo obuhvaća sve vidove teorije, oblikovanja, prakse i primjene metoda i sustava vezanih uz računarstvo i obradu informacija. Djelovanje odjela usmjereno je na znanstvenu, stručnu, obrazovnu i društvenu komponentu. Kroz razmjenu tehničkih informacija i znanstvenih spoznaja, odjel teži unaprjeđenju struke i održavanju visoko profesionalnog položaja među članovima. S druge strane, kroz organizaciju znanstvenih i stručnih predavanja i rasprava te izdavanje tehničkih časopisa, promiče se višedisciplinarna suradnja s drugim strukama i otvorenom društvenom zajednicom.
Odjel za računarstvo
Odjel za računalstvo Hrvatske sekcije IEEE poziva vas na predavanje
"Boosting Verification by Automatic Tuning of Decision Procedures"
koje će održati Domagoj Babić, u četvrtak, 6. prosinca 2007. u 13:15 sati u Bijeloj vijećnici Fakulteta elektrotehnike i računarstva Sveučilišta u Zagrebu. Predvidivo trajanje predavanja je 45 minuta, te diskusije 15 minuta.
Kratak sadržaj predavanja
Parameterized heuristics abound in computer aided-design and
verification, and manual tuning of the respective parameters is
difficult and time-consuming. Very recent results from the
artificial intelligence (AI) community suggest that this tuning
process can be automated, and that doing so can lead to significant
performance improvements; furthermore, automated parameter
optimization can provide valuable guidance during the
development of heuristic algorithms.
Such an AI approach can improve a state-of-the-art decision procedure
for large, real-world bounded model-checking and software verification
instances. The resulting, automatically-derived parameter settings
yielded runtimes on average 4.5 times faster on bounded model checking
instances and 500 times faster on software verification problems than
extensive hand-tuning of the decision procedure. Furthermore, the
availability of automatic tuning influenced the design of the prover,
and the automatically-derived parameter settings provided a deeper
insight into the properties of problem instances.
Paper available at: http://www.cs.ubc.ca/~babic/papers/fmcad07.pdf
O predavaču
Domagoj Babic is a Ph.D. candidate at the University of British
Columbia. His research interests include software verification and
analysis, as well as automated theorem proving and SAT solving.
Domagoj is currently working on a scalable and precise static checker
Calysto, and a bit-vector decision procedure Spear for software
verification. He is planning to graduate in early spring 2008.
Domagoj holds a M.Sc. degree in computer science and a Dipl.Ing.
degree in industrial electronics from the Faculty of Electrical
Engineering and Computing at Zagreb University. Domagoj is a
Microsoft Fellow (2005-2007).
For more information, see http://www.domagoj.info/
Forum
>> / Sve diskusijske grupe / Kurikulum za srednje tehničke škole
Napomena:
* - oznaka za nove poruke
Poziv za predavače
Poziv za predavače:
Sve zainteresirane predavače koji bi željeli održati predavanje iz područja računarstva pozivamo da se jave na e-mail kako bi dobili više informacija.
Sve zainteresirane predavače koji bi željeli održati predavanje iz područja računarstva pozivamo da se jave na e-mail kako bi dobili više informacija.
