Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Michael Ferdman"'
Publikováno v:
Proceedings of the ACM Web Conference 2023.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14125969ca124be040acd94e37ad567b
https://doi.org/10.1145/3543507.3583395
https://doi.org/10.1145/3543507.3583395
Autor:
Fatemeh Almodaresi, Jamshed Khan, Sergey Madaminov, Michael Ferdman, Rob Johnson, Prashant Pandey, Rob Patro
Publikováno v:
Bioinformatics
Motivation In the past few years, researchers have proposed numerous indexing schemes for searching large datasets of raw sequencing experiments. Most of these proposed indexes are approximate (i.e. with one-sided errors) in order to save space. Rece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d67505b5bc2d2b67591c692d3476bc78
https://doi.org/10.1093/bioinformatics/btac142
https://doi.org/10.1093/bioinformatics/btac142
Publikováno v:
ACM Transactions on Reconfigurable Technology and Systems. 14:1-18
Software verification is an important stage of the software development process, particularly for mission-critical systems. As the traditional methodology of using unit tests falls short of verifying complex software, developers are increasingly rely
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40929c709ea401a1a8cd4d6a4ec051a7
https://doi.org/10.1145/3448272
https://doi.org/10.1145/3448272
Publikováno v:
IEEE Transactions on Computers. 71:3072-3073
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff4b17a97d5b4329aeba99039a6eb414
https://doi.org/10.1109/tc.2022.3216428
https://doi.org/10.1109/tc.2022.3216428
Publikováno v:
2022 IEEE Symposium on Security and Privacy (SP).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54b9fb9c7fa7d51184c9080ae2fef645
https://doi.org/10.1109/sp46214.2022.9833609
https://doi.org/10.1109/sp46214.2022.9833609
Publikováno v:
International Journal on Software Tools for Technology Transfer. 22:583-599
We present Grapple, a new and powerful framework for explicit-state model checking on GPUs. Grapple is based on swarm verification (SV), a model-checking technique wherein a collection or swarm of small, memory- and time-bounded verification tests (V
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5db99e3f0f6d350dce4a193a2bee1e75
https://doi.org/10.1007/s10009-020-00576-x
https://doi.org/10.1007/s10009-020-00576-x
Publikováno v:
Computer Security – ESORICS 2022 ISBN: 9783031171451
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87917910a192929ce065fa28fd917180
https://doi.org/10.1007/978-3-031-17146-8_34
https://doi.org/10.1007/978-3-031-17146-8_34
Publikováno v:
IEEE Micro. 39:17-25
In this article, we present Argus, an end-to-end framework for accelerating convolutional neural networks (CNNs) on field-programmable gate arrays (FPGAs) with minimum user effort. Argus uses state-of-the-art methods to auto-generate highly optimized
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7cd6ca3a3dc82e175b4a928d0a5fe117
https://doi.org/10.1109/mm.2019.2930607
https://doi.org/10.1109/mm.2019.2930607
Publikováno v:
IEEE Computer Architecture Letters. 18:75-78
Modern data centers enjoy massive degrees of request-level parallelism with significant cross-request similarity. Although similar requests follow similar instruction sequences, conventional processors service them individually and do not take full a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66d7c60d25b8b6b6b04c4b6849d74f07
https://doi.org/10.1109/lca.2019.2911287
https://doi.org/10.1109/lca.2019.2911287
Autor:
Michael Ferdman, Fatemeh Almodaresi, Jamshed Khan, Sergey Madaminov, Rob Johnson, Rob Patro, Pramod Pandey
MotivationIn the past few years, researchers have proposed numerous indexing schemes for searching large databases of raw sequencing experiments. Most of these proposed indexes are approximate (i.e. with one-sided errors) in order to save space. Rece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee583b0256e56ba48a4e5b672baaf04d
https://doi.org/10.1101/2021.02.05.429839
https://doi.org/10.1101/2021.02.05.429839