Displaying 3 results from an estimated 3 matches for "igitur".
Did you mean:
giturl
2013 Jan 30
2
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
...M IR in Haskell/uuagc (Utrecht
University Attribute Grammar Compiler) and implemented a first version
of a SMT BMC for concurrent c programs at the LLVM IR level. I
describe this framework in my MSc. thesis: A Framework for Formal
Verification of Concurrent Software which is accessible here:
http://igitur-archive.library.uu.nl/student-theses/2012-0925-200740/UUindex.html
Thank you.
Kind regards,
Marcelo
2013 Feb 02
0
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
...recht
> University Attribute Grammar Compiler) and implemented a first version
> of a SMT BMC for concurrent c programs at the LLVM IR level. I
> describe this framework in my MSc. thesis: A Framework for Formal
> Verification of Concurrent Software which is accessible here:
> http://igitur-archive.library.uu.nl/student-theses/2012-0925-200740/UUindex.html
>
> Thank you.
>
> Kind regards,
> Marcelo
2015 Oct 07
2
Chipset & Family
dmesg -t | grep -i nvidia
nouveau 0000:02:00.0: NVIDIA G98 (098200a2)
input: HDA NVidia Rear Mic as /devices/pci0000:00/0000:00:07.0/sound/card0/input6
input: HDA NVidia Front Mic as /devices/pci0000:00/0000:00:07.0/sound/card0/input7
input: HDA NVidia Line as /devices/pci0000:00/0000:00:07.0/sound/card0/input8
input: HDA NVidia Line Out Front as /devices/pci0000:00/0000:00:07.0/sound/card0/input9