18 results on '"CAMPOS, S."'
Search Results
2. Heart rate variability during hemodialysis with gradually decreasing and increasing ultrafiltration profiles
3. An international comparison of 50/60 Hz reactive power meter calibrations between NRC, NIST, CENAM, NIM, and KRISS
4. Model predictive control of combined irrigation and water supply systems: Application to the Guadiana river
5. Zernike's Feature Descriptors for Iris Recognition with SVM
6. Distributed BMC: A Depth-First Approach to Explore Clause Symmetry
7. Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm
8. A repetitive-based controller for a single-phase shunt active filter
9. Fighting pollution in P2P live streaming systems.
10. Performance analysis and optimization of a distributed Video on Demand service.
11. Verification of a safety-critical railway interlocking system with real-time constraints.
12. Verifying the performance of the PCI local bus using symbolic techniques.
13. Timing analysis of industrial real-time systems.
14. Performance analysis and optimization of a distributed Video on Demand service
15. Improvements in AC-DC voltage transfer at CENAM
16. Fighting Attacks in P2P Live Streaming. Simpler is Better.
17. Improvements in AC-DC voltage transfer at CENAM.
18. Deadlock prevention in flexible manufacturing systems using symbolic model checking.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.