المؤلفون: Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah

المصدر: Chen, Z, Lafont, A, O'Connor, L, Keller, G, McLaughlin, C, Jackson, V & Rizkallah, C 2023, ' Dargent: A Silver Bullet for Verified Data Layout Refinement ', Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, 47 . https://doi.org/10.1145/3571240

مصطلحات موضوعية: certifying compiler, systems programming, Safety, Risk, Reliability and Quality, data refinement, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fee25014e824289c43b0e3496f2dcc6f
https://doi.org/10.1145/3571240

المؤلفون: Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Davide Prandi, Fitsum Meshesha Kifetew, Mehdi Dastani, Frank Dignum, Gabriele Keller

المصدر: Fundamental Approaches to Software Engineering ISBN: 9783031308253

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::63f7b3890b1c758b4009308872a811e9
https://doi.org/10.1007/978-3-031-30826-0_9

المؤلفون: Gabriele Keller, Amir Antonir, Chamith Wijenayake, Aleksandar Ignjatovic

المصدر: IEEE Transactions on Circuits and Systems II: Express Briefs. 67:172-176

مصطلحات موضوعية: Computer science, Noise reduction, Spectral density, Approximation algorithm, 020206 networking & telecommunications, 02 engineering and technology, Adaptive denoising, Robustness (computer science), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Multiple signal classification, Chromatic scale, Numerical tests, Electrical and Electronic Engineering, Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::81c3d6299c8c3741d7183e40bfce00bb
https://doi.org/10.1109/tcsii.2019.2898451

المؤلفون: Ivo Gabe de Wolff, Lars B. van den Haak, Trevor L. McDonell, Gabriele Keller

المصدر: Euro-Par 2020: Parallel Processing ISBN: 9783030576745
Euro-Par

مصطلحات موضوعية: Functional programming, Computer science, Data parallelism, Parallel algorithm, 020207 software engineering, 02 engineering and technology, Parallel computing, computer.software_genre, 0202 electrical engineering, electronic engineering, information engineering, Programming paradigm, Parallelism (grammar), 020201 artificial intelligence & image processing, Haskell, Compiler, General-purpose computing on graphics processing units, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c1954384ccea6699289c1b5fc040c297
https://doi.org/10.1007/978-3-030-57675-2_27

المؤلفون: Gabriele Keller, Aleksandar Ignjatovic, Chamith Wijenayake

المصدر: IEEE Transactions on Signal Processing. 66:1513-1525

مصطلحات موضوعية: Computer science, business.industry, Noise reduction, 010102 general mathematics, Nonuniform sampling, 020206 networking & telecommunications, 02 engineering and technology, Derivative, Differential operator, 01 natural sciences, Signal-to-noise ratio, Approximation error, Robustness (computer science), Signal Processing, 0202 electrical engineering, electronic engineering, information engineering, Chromatic scale, 0101 mathematics, Electrical and Electronic Engineering, business, Algorithm, Digital signal processing

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0059a2300a6a3a8511c9af36d4c70e15
https://doi.org/10.1109/tsp.2017.2787149

المؤلفون: Gabriele Keller, Aleksandar Ignjatovic, Chamith Wijenayake

المصدر: IEEE Transactions on Signal Processing. 66:1498-1512

مصطلحات موضوعية: Approximation theory, Signal processing, business.industry, Computer science, Matched filter, 020208 electrical & electronic engineering, 020206 networking & telecommunications, Basis function, 02 engineering and technology, Differential operator, Signal, symbols.namesake, Fourier transform, Signal Processing, 0202 electrical engineering, electronic engineering, information engineering, symbols, Chromatic scale, Electrical and Electronic Engineering, business, Algorithm, Digital signal processing

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bb00af830482eee0506c837dce538d5e
https://doi.org/10.1109/tsp.2017.2787127

المؤلفون: Partha Susarla, Liam O'Connor, Zilin Chen, Christine Rizkallah, Gerwin Klein, Gabriele Keller

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Modeling ISBN: 9783030034177
ISoLA (1)

مصطلحات موضوعية: Computer science, Programming language, Proof assistant, Overhead (engineering), 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, Data structure, 01 natural sciences, Boilerplate text, Marshalling, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Algebraic data type, Compiler, Programmer, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cdac70de17fd0ab89375875bff2411c1
https://doi.org/10.1007/978-3-030-03418-4_9

المؤلفون: Liam O'Connor, Zilin Chen, Gerwin Klein, Gernot Heiser, Gabriele Keller

المصدر: PLOS@SOSP

مصطلحات موضوعية: Programming language, Computer science, Property based testing, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, Formal methods, Mathematical proof, 01 natural sciences, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Systems design, computer, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::23933c9a0fae6362558a1ab4f8b1529a
https://doi.org/10.1145/3144555.3144556

المؤلفون: Gabriele Keller, Robert Clifton-Everest, Manuel M. T. Chakravarty, Trevor L. McDonell

المصدر: Haskell
Haskell 2017 Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017, 174. Association for Computing Machinery
STARTPAGE=174;TITLE=Haskell 2017 Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017

مصطلحات موضوعية: Data parallelism, Computer science, 010103 numerical & computational mathematics, 02 engineering and technology, Parallel computing, Streaming, 01 natural sciences, Scheduling (computing), Software portability, Software, 0202 electrical engineering, electronic engineering, information engineering, Code generation, 0101 mathematics, Multi-core processor, Functional programming, business.industry, 020207 software engineering, Computer Graphics and Computer-Aided Design, Computer Science Applications, Human-Computer Interaction, Computer Vision and Pattern Recognition, Combinatory logic, business

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b432659aaaae708e2249a562d4800279
https://dspace.library.uu.nl/handle/1874/373722

المؤلفون: Gerwin Klein, Liam O'Connor, Gabriele Keller, Daniel Matichuk, June Andronick, Toby Murray

المصدر: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 375(2104). The Royal Society

مصطلحات موضوعية: Cogent, Mathematics(all), Theoretical computer science, Computer science, General Mathematics, Proof engineering, General Physics and Astronomy, Binary number, 02 engineering and technology, Physics and Astronomy(all), Development (topology), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Microkernel, SeL4, Scaling, Formal verification, Engineering(all), Code/proof co-generation, General Engineering, 020207 software engineering, Articles, Computer engineering, Scalability, Machine code

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f7106cd61507bc20cbde7737e73f78c
https://pubmed.ncbi.nlm.nih.gov/28871053