Zobrazeno 1 - 10
of 85
pro vyhledávání: '"Ganesan Ramalingam"'
Publikováno v:
BuildSys@SenSys
Emerging smart cities are typically equipped with thousands of outdoor cameras. However, these cameras are usually not calibrated, i.e., information such as their precise mounting height and orientation is not available. Calibrating these cameras all
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3bc2c34c9c57b4a8b19cc3eaf791bd92
https://doi.org/10.1145/3199667
https://doi.org/10.1145/3199667
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ISSTA
The paper ``Effective Typestate Verification in the Presence of Aliasing'' was published in the International Symposium on Software Testing and Analysis (ISSTA) 2006 Proceedings, and has now been selected to receive the ISSTA 2019 Retrospective Impac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d84e049a37db4f44a9db0022719c653d
https://doi.org/10.1145/3293882.3338992
https://doi.org/10.1145/3293882.3338992
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030167219
FASE
FASE
Verifying whether a procedure is observationally pure (that is, it always returns the same result for the same input argument) is challenging when the procedure uses mutable (private) global variables, e.g., for memoization, and when the procedure is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d608e6e9ea7c35ebb31382ce4e68660
https://doi.org/10.1007/978-3-030-16722-6_13
https://doi.org/10.1007/978-3-030-16722-6_13
Publikováno v:
BIRTE
Many modern applications require real-time processing of large volumes of high-speed data. Such data processing needs can be modeled as a streaming computation. A streaming computation is specified as a dataflow graph that exposes multiple opportunit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4183be8d92265ee5b4fd5bc090863c32
http://arxiv.org/abs/1803.11328
http://arxiv.org/abs/1803.11328
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
WCRE
Libraries usually impose constraints on how clients should use them. Often these constraints are not well-documented. In this paper, we address the problem of recovering such constraints automatically, a problem referred to as specification mining. G
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b111dc0aae2c7beda1b007b3fe11bb4
https://doi.org/10.1016/j.scico.2010.10.003
https://doi.org/10.1016/j.scico.2010.10.003
Publikováno v:
ACM Transactions on Programming Languages and Systems. 33:1-41
In this article, we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and noniterative. We present our algorithm as an inference system for computing Hoare triples
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f67e326c374eb2b94c5af7afc8a09dba
https://doi.org/10.1145/2039346.2039349
https://doi.org/10.1145/2039346.2039349
Publikováno v:
Applied Engineering in Agriculture 27 (2011) 3
Applied Engineering in Agriculture, 27(3), 403-409
Applied Engineering in Agriculture, 27(3), 403-409
The objective of this study was to quantify changes in morphological features of kernels of western Canadian wheat classes caused by moisture increase using a machine vision system. One hundred single wheat kernels for each of eight western Canadian
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1025f2473e58a5c922bf5a430d245a58
https://doi.org/10.13031/2013.37062
https://doi.org/10.13031/2013.37062
Publikováno v:
PLDI
Execution order constraints imposed by dependences can serialize computation, preventing parallelization of code and algorithms. Speculating on the value(s) carried by dependences is one way to break such critical dependences. Value speculation has b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49f221487491374a000c2b3e886f9c35
https://doi.org/10.1145/1809028.1806603
https://doi.org/10.1145/1809028.1806603