-
1
المؤلفون: 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
-
2
المؤلفون: 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 -
3
المصدر: 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
-
4
المصدر: 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 -
5
المؤلفون: 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
-
6
المؤلفون: 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
-
7
المؤلفون: 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 -
8
المؤلفون: 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 -
9
المصدر: 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 -
10
المؤلفون: 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