Search

Your search keyword '"Agha, Gul"' showing total 669 results
Start Over Author "Agha, Gul"

Refine your results

more »

more »

more »

more »
669 results on '"Agha, Gul"'

1. eScope: A Fine-Grained Power Prediction Mechanism for Mobile Applications

Author

Mukherjee, Dipayan, Sandur, Atul, Mechitov, Kirill, Lahiri, Pratik, and Agha, Gul

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Performance, C.4
Abstract

Managing the limited energy on mobile platforms executing long-running, resource intensive streaming applications requires adapting an application's operators in response to their power consumption. For example, the frame refresh rate may be reduced if the rendering operation is consuming too much power. Currently, predicting an application's power consumption requires (1) building a device-specific power model for each hardware component, and (2) analyzing the application's code. This approach can be complicated and error-prone given the complexity of an application's logic and the hardware platforms with heterogeneous components that it may execute on. We propose eScope, an alternative method to directly estimate power consumption by each operator in an application. Specifically, eScope correlates an application's execution traces with its device-level energy draw. We implement eScope as a tool for Android platforms and evaluate it using workloads on several synthetic applications as well as two video stream analytics applications. Our evaluation suggests that eScope predicts an application's power use with 97% or better accuracy while incurring a compute time overhead of less than 3%.

Published
2024

3. Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing

Author

Sandur, Atul, Park, ChanHo, Volos, Stavros, Agha, Gul, and Jeon, Myeongjae

Subjects
Computer Science - Databases, Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

Rapid detection and mitigation of issues that impact performance and reliability is paramount for large-scale online services. For real-time detection of such issues, datacenter operators use a stream processor and analyze streams of monitoring data collected from servers (referred to as data source nodes) and their hosted services. The timely processing of incoming streams requires the network to transfer massive amounts of data, and significant compute resources to process it. These factors often create bottlenecks for stream analytics. To help overcome these bottlenecks, current monitoring systems employ near-data processing by either computing an optimal query partition based on a cost model or using model-agnostic heuristics. Optimal partitioning is computationally expensive, while model-agnostic heuristics are iterative and search over a large solution space. We combine these approaches by using model-agnostic heuristics to improve the partitioning solution from a model-based heuristic. Moreover, current systems use operator-level partitioning: if a data source does not have sufficient resources to execute an operator on all records, the operator is executed only on the stream processor. Instead, we perform data-level partitioning, i.e., we allow an operator to be executed both on a stream processor and data sources. We implement our algorithm in a system called Jarvis, which enables quick adaptation to dynamic resource conditions. Our evaluation on a diverse set of monitoring workloads suggests that Jarvis converges to a stable query partition within seconds of a change in node resource conditions. Compared to current partitioning strategies, Jarvis handles up to 75% more data sources while improving throughput in resource-constrained scenarios by 1.2-4.4x., Comment: [Best Paper Award] Published in Proceedings of the 38th IEEE International Conference on Data Engineering (ICDE) 2022

Published
2022

4. A Scalable Algorithm for Decentralized Actor Termination Detection

Author

Plyukhin, Dan and Agha, Gul

Subjects
Computer Science - Logic in Computer Science
Abstract

Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However, testing reachability from a root set is inadequate for determining whether an actor is garbage: Observe that an unreachable actor may send a message to a reachable actor. Instead, it is sufficient to check termination (sometimes also called quiescence): an actor is terminated if it is not currently processing a message and cannot receive a message in the future. Moreover, many actor frameworks provide all actors with access to file I/O or external storage; without inspecting an actor's internal code, it is necessary to check that the actor has terminated to ensure that it may be garbage collected in these frameworks. Previous algorithms to detect actor garbage require coordination mechanisms such as causal message delivery or nonlocal monitoring of actors for mutation. Such coordination mechanisms adversely affect concurrency and are therefore expensive in distributed systems. We present a low-overhead deferred reference listing technique (called DRL) for termination detection in actor systems. DRL is based on asynchronous local snapshots and message-passing between actors. This enables a decentralized implementation and transient network partition tolerance. The paper provides a formal description of DRL, shows that all actors identified as garbage have indeed terminated (safety), and that all terminated actors--under certain reasonable assumptions--will eventually be identified (liveness).

Published
2021
Full Text
View/download PDF

5. Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

Author

Paul, Saswata, Agha, Gul A., Patterson, Stacy, and Varela, Carlos A.

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

Successfully attaining consensus in the absence of a centralized coordinator is a fundamental problem in distributed multi-agent systems. We analyze progress in the Synod consensus protocol -- which does not assume a unique leader -- under the assumptions of asynchronous communication and potential agent failures. We identify a set of sufficient conditions under which it is possible to guarantee that a set of agents will eventually attain consensus. First, a subset of the agents must behave correctly and not permanently fail until consensus is reached, and second, at least one proposal must be eventually uninterrupted by higher-numbered proposals. To formally reason about agent failures, we introduce a failure-aware actor model (FAM). Using FAM, we model the identified conditions and provide a formal proof of eventual progress in Synod. Our proof has been mechanically verified using the Athena proof assistant and, to the best of our knowledge, it is the first machine-checked proof of eventual progress in Synod., Comment: This technical report is an extended version of the NASA Formal Methods Symposium 2021 proceedings paper with the same name

Published
2021

6. A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems

Author

Kwon, YoungMin, Kim, Eunhee, Agha, Gul, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Jansen, Nils, editor, and Tribastone, Mirco, editor

Published
2023
Full Text
View/download PDF

7. Scalable Termination Detection for Distributed Actor Systems

Author

Plyukhin, Dan and Agha, Gul

Subjects
Computer Science - Logic in Computer Science
Abstract

Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However, testing reachability from a root set is inadequate for determining whether an actor is garbage because an unreachable actor may send a message to a reachable actor. Instead, it is sufficient to check termination (sometimes also called quiescence): an actor is terminated if it is not currently processing a message and cannot receive a message in the future. Moreover, many actor frameworks provide all actors with access to file I/O or external storage; without inspecting an actor's internal code, it is necessary to check that the actor has terminated to ensure that it may be garbage collected in these frameworks. Previous algorithms to detect actor garbage require coordination mechanisms such as causal message delivery or nonlocal monitoring of actors for mutation. Such coordination mechanisms adversely affect concurrency and are therefore expensive in distributed systems. We present a low-overhead reference listing technique (called DRL) for termination detection in actor systems. DRL is based on asynchronous local snapshots and message-passing between actors. This enables a decentralized implementation and transient network partition tolerance. The paper provides a formal description of DRL, shows that all actors identified as garbage have indeed terminated (safety), and that all terminated actors--under certain reasonable assumptions--will eventually be identified (liveness)., Comment: 23 pages, 7 figures. To appear in the proceedings of CONCUR 2020. Version 2: Fixed TeX error that omitted predicates in the third line of the Send rule: Actor $A$ must have active refobs $x$ and $y_1 \dots y_n$

Published
2020
Full Text
View/download PDF

9. Costless: Optimizing Cost of Serverless Computing through Function Fusion and Placement

Author

Elgamal, Tarek, Sandur, Atul, Nahrstedt, Klara, and Agha, Gul

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

Serverless computing has recently experienced significant adoption by several applications, especially Internet of Things (IoT) applications. In serverless computing, rather than deploying and managing dedicated virtual machines, users are able to deploy individual functions, and pay only for the time that their code is actually executing. However, since serverless platforms are relatively new, they have a completely different pricing model that depends on the memory, duration, and the number of executions of a sequence/workflow of functions. In this paper we present an algorithm that optimizes the price of serverless applications in AWS Lambda. We first describe the factors affecting price of serverless applications which include: (1) fusing a sequence of functions, (2) splitting functions across edge and cloud resources, and (3) allocating the memory for each function. We then present an efficient algorithm to explore different function fusion-placement solutions and find the solution that optimizes the application's price while keeping the latency under a certain threshold. Our results on image processing workflows show that the algorithm can find solutions optimizing the price by more than 35%-57% with only 5%-15% increase in latency. We also show that our algorithm can find non-trivial memory configurations that reduce both latency and price.

Published
2018

11. Types for Progress in Actor Programs

Author

Charalambides, Minas, Palmskog, Karl, Agha, Gul, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Boreale, Michele, editor, Corradini, Flavio, editor, Loreti, Michele, editor, and Pugliese, Rosario, editor

Published
2019
Full Text
View/download PDF

12. Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

Author

Agha, Gul, Palmskog, Karl, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Lohstroh, Marten, editor, Derler, Patricia, editor, and Sirjani, Marjan, editor

Published
2018
Full Text
View/download PDF

14. Parameterized Concurrent Multi-Party Session Types

Author

Charalambides, Minas, Dinges, Peter, and Agha, Gul

Subjects
Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful in verifying some classes of protocols, it does not cope well with parameterized, multi-actor scenarios with inherent asynchrony. For example, the sliding window protocol is inexpressible in previously proposed session type systems. This paper describes System-A, a new typing language which overcomes many of the expressiveness limitations of prior work. System-A explicitly supports asynchrony and parallelism, as well as multiple forms of parameterization. We define System-A and show how it can be used for the static verification of a large class of asynchronous communication protocols., Comment: In Proceedings FOCLASA 2012, arXiv:1208.4327

Published
2012
Full Text
View/download PDF

16. Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks

Author

Kwon, YoungMin, Mechitov, Kirill, Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Agha, Gul, editor, Igarashi, Atsushi, editor, Kobayashi, Naoki, editor, Masuhara, Hidehiko, editor, Matsuoka, Satoshi, editor, Shibayama, Etsuya, editor, and Taura, Kenjiro, editor

Published
2014
Full Text
View/download PDF

17. Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems : (Extended Abstract)

Author

Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, De Nicola, Rocco, editor, and Kühn, Eva, editor

Published
2016
Full Text
View/download PDF

18. Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

Author

Khamespanah, Ehsan, Mechitov, Kirill, Sirjani, Marjan, Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bošnački, Dragan, editor, and Wijs, Anton, editor

Published
2016
Full Text
View/download PDF

25. An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems

Author

Mechitov, Kirill, Agha, Gul, Hutchison, David, Serieseditor, Kanade, Takeo, Serieseditor, Kittler, Josef, Serieseditor, Kleinberg, Jon M., Serieseditor, Mattern, Friedemann, Serieseditor, Mitchell, John C., Serieseditor, Naor, Moni, Serieseditor, Nierstrasz, Oscar, Serieseditor, Pandu Rangan, C., Serieseditor, Steffen, Bernhard, Serieseditor, Sudan, Madhu, Serieseditor, Terzopoulos, Demetri, Serieseditor, Tygar, Doug, Serieseditor, Vardi, Moshe Y., Serieseditor, Weikum, Gerhard, Serieseditor, and Heisel, Maritta, editor

Published
2012
Full Text
View/download PDF

26. Scoped Synchronization Constraints for Large Scale Actor Systems

Author

Dinges, Peter, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Sirjani, Marjan, editor

Published
2012
Full Text
View/download PDF

27. TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

Author

Tasharofi, Samira, Karmani, Rajesh K., Lauterburg, Steven, Legay, Axel, Marinov, Darko, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Giese, Holger, editor, and Rosu, Grigore, editor

Published
2012
Full Text
View/download PDF

28. Actors

Author

Karmani, Rajesh K., Agha, Gul, and Padua, David, editor

Published
2011
Full Text
View/download PDF

29. Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques

Author

Lauterburg, Steven, Karmani, Rajesh K., Marinov, Darko, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Rosenblum, David S., editor, and Taentzer, Gabriele, editor

Published
2010
Full Text
View/download PDF

31. LTLC: Linear Temporal Logic for Control

Author

Kwon, YoungMin, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Egerstedt, Magnus, editor, and Mishra, Bud, editor

Published
2008
Full Text
View/download PDF

32. Towards Context-Aware Web Applications

Author

Chang, Po-Hao, Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Rangan, C. Pandu, Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Indulska, Jadwiga, editor, and Raymond, Kerry, editor

Published
2007
Full Text
View/download PDF

33. A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs

Author

Sen, Koushik, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bin, Eyal, editor, Ziv, Avi, editor, and Ur, Shmuel, editor

Published
2007
Full Text
View/download PDF

34. Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring

Author

Donkervoet, Bill, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2007
Full Text
View/download PDF

35. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools : (Tool Paper)

Author

Sen, Koushik, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ball, Thomas, editor, and Jones, Robert B., editor

Published
2006
Full Text
View/download PDF

36. Automated Systematic Testing of Open Distributed Programs

Author

Sen, Koushik, Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Baresi, Luciano, editor, and Heckel, Reiko, editor

Published
2006
Full Text
View/download PDF

37. Model-Checking Markov Chains in the Presence of Uncertainties

Author

Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hermanns, Holger, editor, and Palsberg, Jens, editor

Published
2006
Full Text
View/download PDF

39. On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata

Author

Tošić, Predrag T., Agha, Gul A., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Calude, Cristian S., editor, Dinneen, Michael J., editor, Păun, Gheorghe, editor, Pérez-Jímenez, Mario J., editor, and Rozenberg, Grzegorz, editor

Published
2005
Full Text
View/download PDF

40. Using Language Inference to Verify Omega-Regular Properties

Author

Vardhan, Abhay, Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Halbwachs, Nicolas, editor, and Zuck, Lenore D., editor

Published
2005
Full Text
View/download PDF

41. Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems

Author

Tošić, Predrag T., Agha, Gul A., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Ishida, Toru, editor, Gasser, Les, editor, and Nakashima, Hideyuki, editor

Published
2005
Full Text
View/download PDF

42. Adaptive Agent Allocation for Massively Multi-agent Applications

Author

Jang, Myeong-Wuk, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Ishida, Toru, editor, Gasser, Les, editor, and Nakashima, Hideyuki, editor

Published
2005
Full Text
View/download PDF

43. Efficient Agent Communication in Multi-agent Systems

Author

Jang, Myeong-Wuk, Ahmed, Amr, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Choren, Ricardo, editor, Garcia, Alessandro, editor, Lucena, Carlos, editor, and Romanovsky, Alexander, editor

Published
2005
Full Text
View/download PDF

44. On Statistical Model Checking of Stochastic Systems

Author

Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Etessami, Kousha, editor, and Rajamani, Sriram K., editor

Published
2005
Full Text
View/download PDF

45. Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration

Author

Becerra-Fernandez, Irma, Wang, TeWei, Agha, Gul, Sin, Thant, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Althoff, Klaus-Dieter, editor, Dengel, Andreas, editor, Bergmann, Ralph, editor, Nick, Markus, editor, and Roth-Berghofer, Thomas, editor

Published
2005
Full Text
View/download PDF

46. Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Author

Sen, Koushik, Roşu, Grigore, Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Steffen, Martin, editor, and Zavattaro, Gianluigi, editor

Published
2005
Full Text
View/download PDF

47. Actively Learning to Verify Safety for FIFO Automata

Author

Vardhan, Abhay, Sen, Koushik, Viswanathan, Mahesh, Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lodaya, Kamal, editor, and Mahajan, Meena, editor

Published
2005
Full Text
View/download PDF

48. Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems

Author

Agha, Gul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Muntean, Traian, editor, Poulakis, Dimitrios, editor, and Rolland, Robert, editor

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results