242 results on '"Agha, Gul"'
Search Results
2. Runtime Systems for Energy Efficiency in Advanced Computing Systems.
3. Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
4. Thin Middleware for Ubiquitous Computing
5. Types for Progress in Actor Programs
6. Theoretical Considerations: Inferring and Enforcing Use Patterns for Mobile Cloud Assurance
7. Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces
8. Introduction to Software Technology
9. Formal Verification of Safety-Critical Aerospace Systems
10. Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing
11. Eventual consensus in Synod: verification using a failure-aware actor model
12. Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing
13. Streaming Analytics with Adaptive Near-data Processing
14. A Scalable Algorithm for Decentralized Actor Termination Detection
15. Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems
16. Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking
17. Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks
18. Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems
19. An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems
20. Scoped Synchronization Constraints for Large Scale Actor Systems
21. TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
22. ATLAS (Automatically Tuned Linear Algebra Software)
23. Algorithm Engineering
24. AKS Sorting Network
25. Applications and Parallelism
26. All-to-All
27. AMG
28. Anomaly Detection
29. Ajtai–Komlós–Szemerédi Sorting Network
30. Actors
31. Atomic Operations
32. AMD Opteron Processor Barcelona
33. Amdahl’s Argument
34. Ab Initio Molecular Dynamics
35. Asynchronous Iterative Algorithms
36. Asynchronous Iterative Computations
37. Array Languages
38. Anton, A Special-Purpose Molecular Simulation Machine
39. Automated Empirical Tuning
40. Automated Tuning
41. Algorithmic Skeletons
42. Architecture Independence
43. Access Anomaly
44. Autotuning
45. Analytics, Massive-Scale
46. All-to-All Broadcast
47. Area-Universal Networks
48. Altivec
49. Allen and Kennedy Algorithm
50. Amdahl’s Law
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.