Transcription of Advanced C Programming - Max Planck Society
{{id}} {{{paragraph}}}
Example: dental hygienist
Advanced C Programming - Max Planck Society
Advanced C ProgrammingSebastian Term 2008/09computer sciencesaarlanduniversity1 Why Advanced C? Our Iwe need experienced C programmers Religious IportabilityIefficiencyIpowerful and flexible Real IunixInetwork softwareIembedded systemsIresearch: graphics, vision, formal methodsIentertainment: games, films2 Content ISAT Solving IBasic C SetupEfficient Algorithms ISAT Solving IIStyle, Signals, Timing and ToolsSAT Solving IIIM emory Management and Tools3 Content IISoftware Engineering in the SmallKnow the Compiler and ProcessorEfficient Algorithms IIParallelismRecent C Standards4 Propositional logicIlogic of truth valuesIdecidable (but NP-complete)Ican be used to describe functions over a finite domainIimportant for hardware applications ( , model checking)5 SyntaxIpropositional variables:P,Q,R Ilogical symbols: and, or, not,>true, falseIliterals are propositional variables or their negation:P, PIclauses are (posssibly empty) disjunctions of literals.
Advanced C Programming Sebastian Hack hack@cs.uni-sb.de Christoph Weidenbach ... I portability I efficiency I powerful and flexible “Real” I unix I network software I embedded systems I research: graphics, vision, formal methods I entertainment: games, films 2. Content I SAT Solving I Basic C Setup ... C is called a unit clause; L is ...
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
Related search queries
C programming for embedded system applications, C programming for embedded, Programming, Embedded, Embedded Systems and, C programming, C Programming Embedded, For embedded, Considerations for Embedded C, Considerations for Embedded C Programming, Embedded Programming, PIC18 PIC18 and, PIC18, PIC18 and Embedded C Programming Embedded, C++ for Embedded C Programmers, Exploring C for Microcontrollers, Embedded C, And Special Topics for Embedded Programming, For Embedded Programming, C Programming Tutorial