Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Subotic, Pavle"'
DAG-based consensus protocols are being adoption by blockchain companies to decrease energy footprints and improve security. A DAG-based consensus protocol collaboratively constructs a partial order of blocks of transactions and produces linearly ord
Externí odkaz:
http://arxiv.org/abs/2407.02167
Dependency hell is a well-known pain point in the development of large software projects and machine learning (ML) code bases are not immune from it. In fact, ML applications suffer from an additional form, namely, "data source dependency hell". This
Externí odkaz:
http://arxiv.org/abs/2212.07951
Data leakage is a well-known problem in machine learning. Data leakage occurs when information from outside the training dataset is used to create a model. This phenomenon renders a model excessively optimistic or even useless in the real world since
Externí odkaz:
http://arxiv.org/abs/2211.16073
Static analyses based on typestates are important in certifying correctness of code contracts. Such analyses rely on Deterministic Finite Automata (DFAs) to specify properties of an object. We target the analysis of contracts in low-latency environme
Externí odkaz:
http://arxiv.org/abs/2201.10627
Notebooks provide an interactive environment for programmers to develop code, analyse data and inject interleaved visualizations in a single environment. Despite their flexibility, a major pitfall that data scientists encounter is unexpected behaviou
Externí odkaz:
http://arxiv.org/abs/2110.08339
Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program analysis and network analysis. The logic specifications which model analys
Externí odkaz:
http://arxiv.org/abs/1907.05045
The index selection problem (ISP) is an important problem for accelerating the execution of relational queries, and it has received a lot of attention as a combinatorial knapsack problem in the past. Various solutions to this very hard problem have b
Externí odkaz:
http://arxiv.org/abs/1709.03685
Autor:
Subotic, Pavle
In this thesis we present a novel program analysis technique that applies abstract interpretation to low-level intermediate languages with unbounded abstract domains. Unbounded abstract domains in program analysis occur in applications such as findin
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-159034
Publikováno v:
EPTCS 169, 2014, pp. 39-52
Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in industrial and academic context. Model checking for timed automata has been studied extensiv
Externí odkaz:
http://arxiv.org/abs/1412.1153
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.