-
51
-
52
-
53
Formal verification of Simulink/Stateflow diagrams a deductive approach
Publié 2017Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
54
-
55
Using OpenMP - the next step affinity, accelerators, tasking, and SIMD
Publié 2017Accéder au texte intégral
Accéder au texte intégral
Electronic Resource -
56
Reliable software for unreliable hardware a cross layer perspective
Publié 2016Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
57
-
58
-
59
Exploring the strategy space of negotiating agents a framework for bidding, learning and accepting in automated negotiation
Publié 2016Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
60
Languages, design methods, and tools for electronic system design selected contributions from FDL 2014
Publié 2016Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource