|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 88 occurrences of 70 keywords
|
|
|
Results
Found 823 publication records. Showing 780 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
40 | Takuya Ina, Yasuhiro Idomura, Toshiyuki Imamura, Susumu Yamashita, Naoyuki Onodera |
Iterative methods with mixed-precision preconditioning for ill-conditioned linear systems in multiphase CFD simulations. |
ScalA@SC |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Alexander Merritt |
ONNX-Scala: typeful, functional deep learning / Dotty meets an open AI standard (open-source talk). |
SCALA@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Shadaj Laddad, Koushik Sen |
ScalaPy: seamless Python interoperability for cross-platform Scala programs. |
SCALA@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Mohammadreza Ashouri |
Kaizen: a scalable concolic fuzzing tool for Scala. |
SCALA@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
40 | |
11th IEEE/ACM Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, ScalA@SC 2020, Atlanta, GA, USA, November 13, 2020 |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Shaoshuai Zhang, Vivek Karihaloo, Panruo Wu |
Basic Linear Algebra Operations on TensorCore GPU. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | James Douglas Shanks, Wei Liu, Richard P. Smedley-Stevenson |
Revisiting exponential integrator methods for HPC with a mini-application. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Tsuyoshi Ichimura, Kohei Fujita, Muneo Hori, Lalith Maddegedara, Naonori Ueda, Yuma Kikuchi |
A Fast Scalable Iterative Implicit Solver with Green's function-based Neural Networks. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Neil Lindquist, Piotr Luszczek, Jack J. Dongarra |
Replacing Pivoting in Distributed Gaussian Elimination with Randomized Techniques. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Weile Wei, Arghya Chatterjee 0001, Kevin A. Huck, Oscar R. Hernandez, Hartmut Kaiser |
Performance Analysis of a Quantum Monte Carlo Application on Multiple Hardware Architectures Using the HPX Runtime. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Shuhei Kudo, Keigo Nitadori, Takuya Ina, Toshiyuki Imamura |
Implementation and Numerical Techniques for One EFlop/s HPL-AI Benchmark on Fugaku. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Drew Schmidt |
A Survey of Singular Value Decomposition Methods for Distributed Tall/Skinny Data. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Pratik Nayak, Terry Cojean, Hartwig Anzt |
Two-stage Asynchronous Iterative Solvers for multi-GPU Clusters. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Natalie Beams, Ahmad Abdelfattah, Stan Tomov, Jack J. Dongarra, Tzanio V. Kolev, Yohann Dudouit |
High-Order Finite Element Method using Standard and Device-Level Batch GEMM on GPUs. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | Takeshi Iwashita, Kengo Suzuki, Takeshi Fukaya |
An Integer Arithmetic-Based Sparse Linear Solver Using a GMRES Method and Iterative Refinement. |
ScalA@SC |
2020 |
DBLP DOI BibTeX RDF |
|
40 | |
10th IEEE/ACM Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, ScalA@SC 2019, Denver, CO, USA, November 18, 2019 |
ScalA@SC |
2019 |
DBLP BibTeX RDF |
|
40 | Henrik Hierl, Johannes Hötzer, Marco Seiz, Andreas Reiter, Britta Nestler |
Extreme Scale Phase-Field Simulation of Sintering Processes. |
ScalA@SC |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Ricard Borrell, Guillermo Oyarzun, Damien Dosimont, Guillaume Houzeaux |
Parallel SFC-based mesh partitioning and load balancing. |
ScalA@SC |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Yussuf Ali, Naoyuki Onodera, Yasuhiro Idomura, Takuya Ina |
GPU Acceleration of Communication Avoiding Chebyshev Basis Conjugate Gradient Solver for Multiphase CFD Simulations. |
ScalA@SC |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Ahmad Abdelfattah, Stanimire Tomov, Jack J. Dongarra |
Towards Half-Precision Computation for Complex Matrices: A Case Study for Mixed Precision Solvers on GPUs. |
ScalA@SC |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Thomas Hérault, Yves Robert, George Bosilca, Jack J. Dongarra |
Generic Matrix Multiplication for Multi-GPU Accelerated Distributed-Memory Platforms over PaRSEC. |
ScalA@SC |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Kengo Nakajima, Balazs Gerofi, Yutaka Ishikawa, Masashi Horikoshi |
Parallel Multigrid Methods on Manycore Clusters with IHK/McKernel. |
ScalA@SC |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Mohammad Zubair, James Warner, David Wagner 0004 |
Optimization of a Solver for Computational Materials and Structures Problems on NVIDIA Volta and AMD Instinct GPUs. |
ScalA@SC |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Ana Gainaru, Guillaume Pallez |
Making Speculative Scheduling Robust to Incomplete Data. |
ScalA@SC |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Gerrett Diamond, Cameron W. Smith, Mark S. Shephard |
Towards Accelerated Unstructured Mesh Particle-in-Cell. |
ScalA@SC |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Vassil Alexandrov 0001, Al Geist, Jack J. Dongarra (eds.) |
Proceedings of the 8th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, ScalA@SC 2017, Denver, CO, USA, November 13, 2017 |
ScalA@SC |
2017 |
DBLP BibTeX RDF |
|
40 | Michael Obersteiner, Alfredo Parra-Hinojosa, Mario Heene, Hans-Joachim Bungartz, Dirk Pflüger |
A highly scalable, algorithm-based fault-tolerant solver for gyrokinetic plasma simulations. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Hartwig Anzt, Gary Collins, Jack J. Dongarra, Goran Flegar, Enrique S. Quintana-Ortí |
Flexible batched sparse matrix-vector product on GPUs. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | David Appelhans, Bob Walkup |
Leveraging NVLINK and asynchronous data transfer to scale beyond the memory capacity of GPUs. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Alexandre Fender, Nahid Emad, Serge G. Petiton, Joe Eaton, Maxim Naumov |
Parallel jaccard and related graph clustering techniques. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Fernando Fernandes dos Santos, Paolo Rech |
Analyzing the criticality of transient faults-induced SDCS on GPU applications. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Gerrett Diamond, Cameron W. Smith, Mark S. Shephard |
Dynamic load balancing of massively parallel unstructured meshes. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Azzam Haidar, Panruo Wu, Stanimire Tomov, Jack J. Dongarra |
Investigating half precision arithmetic to accelerate dense linear system solvers. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Reazul Hoque, Thomas Hérault, George Bosilca, Jack J. Dongarra |
Dynamic task discovery in PaRSEC: a data-flow task-based runtime. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Ranvijay Singh, Paul Wood, Ravi Gupta, Saurabh Bagchi, Ignacio Laguna |
Snowpack: efficient parameter choice for GPU kernels via static analysis and statistical prediction. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | Yasuhiro Idomura, Takuya Ina, Akie Mayumi, Susumu Yamada, Kazuya Matsumoto, Yuuichi Asahi, Toshiyuki Imamura |
Application of a communication-avoiding generalized minimal residual method to a gyrokinetic five dimensional eulerian code on many core platforms. |
ScalA@SC |
2017 |
DBLP DOI BibTeX RDF |
|
40 | |
7th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, ScalA@SC 2016, Salt Lake, UT, USA, November 14, 2016 |
ScalA |
2016 |
DBLP BibTeX RDF |
|
40 | Diego Davila, Vassil Alexandrov 0001, Oscar A. Esquivel-Flores |
On Monte Carlo Hybrid Methods for Linear Algebra. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Zahra Khatami, Hartmut Kaiser, Patricia Grubel, Adrian Serio, J. Ramanujam |
A Massively Parallel Distributed N-body Application Implemented with HPX. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Kurt A. O'Hearn, Hasan Metin Aktulga |
Towards Fast Scalable Solvers for Charge Equilibration in Molecular Dynamics Applications. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Akie Mayumi, Yasuhiro Idomura, Takuya Ina, Susumu Yamada, Toshiyuki Imamura |
Left-Preconditioned Communication-Avoiding Conjugate Gradient Methods for Multiphase CFD Simulations on the K Computer. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Satori Tsuzuki, Takayuki Aoki |
Effective Dynamic Load Balance using Space-Filling Curves for Large-Scale SPH Simulations on GPU-rich Supercomputers. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Chander Iyer, Christopher D. Carothers, Petros Drineas |
Randomized Sketching for Large-Scale Sparse Ridge Regression Problems. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Hartwig Anzt, Edmond Chow, Thomas Huckle, Jack J. Dongarra |
Batched Generation of Incomplete Sparse Approximate Inverses on GPUs. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Cheng Liao |
Optimizing PLASMA Eigensolver on Large Shared Memory Systems. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Karla Morris, Francesco Rizzi, Brendan Cook, Paul Mycek, Olivier P. Le Maître, Omar M. Knio, Khachik Sargsyan, Kathryn Dahlgren, Bert J. Debusschere |
Performance Scaling Variability and Energy Analysis for a Resilient ULFM-based PDE Solver. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Endong Wang, Shaohua Wu, Qing Zhang, Jun Liu, Wenlu Zhang, Zhihong Lin, Yutong Lu, Yunfei Du, Xiaoqian Zhu |
The Gyrokinetic Particle Simulation of Fusion Plasmas on Tianhe-2 Supercomputer. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Takeo Hoshi, Hiroto Imachi, Kiyoshi Kumahata, Masaaki Terai, Kengo Miyamoto, Kazuo Minami, Fumiyoshi Shoji |
Extremely Scalable Algorithm for 108-atom Quantum Material Simulation on the Full System of the K Computer. |
ScalA@SC |
2016 |
DBLP DOI BibTeX RDF |
|
40 | Vassil Alexandrov 0001, Al Geist, Jack J. Dongarra (eds.) |
Proceedings of the 6th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, ScalA@SC 2015, Austin, Texas, USA, November 15, 2015 |
ScalA@SC |
2015 |
DBLP DOI BibTeX RDF |
|
40 | Vassil Alexandrov 0001, Oscar A. Esquivel-Flores |
On efficient Monte Carlo preconditioners and hybrid Monte Carlo methods for linear algebra. |
ScalA@SC |
2015 |
DBLP DOI BibTeX RDF |
|
40 | Elias David Niño Ruiz, Adrian Sandu, Xinwei Deng |
A parallel ensemble Kalman filter implementation based on modified Cholesky decomposition. |
ScalA@SC |
2015 |
DBLP DOI BibTeX RDF |
|
40 | Ichitaro Yamazaki, Stanimire Tomov, Jakub Kurzak, Jack J. Dongarra, Jesse L. Barlow |
Mixed-precision block gram Schmidt orthogonalization. |
ScalA@SC |
2015 |
DBLP DOI BibTeX RDF |
|
40 | Chander Iyer, Haim Avron, Georgios Kollias, Yves Ineichen, Christopher D. Carothers, Petros Drineas |
A scalable randomized least squares solver for dense overdetermined systems. |
ScalA@SC |
2015 |
DBLP DOI BibTeX RDF |
|
40 | Azzam Haidar, Yulu Jia, Piotr Luszczek, Stanimire Tomov, Asim YarKhan, Jack J. Dongarra |
Weighted dynamic scheduling with many parallelism grains for offloading of numerical workloads to multiple varied accelerators. |
ScalA@SC |
2015 |
DBLP DOI BibTeX RDF |
|
40 | Hartwig Anzt, Jack J. Dongarra, Enrique S. Quintana-Ortí |
Tuning stationary iterative solvers for fault resilience. |
ScalA@SC |
2015 |
DBLP DOI BibTeX RDF |
|
40 | Vassil Alexandrov 0001, Al Geist, Christian Engelmann (eds.) |
Proceedings of the 5th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, ScalA '14, New Orleans, Louisiana, USA, November 16-21, 2014 |
ScalA@SC |
2014 |
DBLP BibTeX RDF |
|
40 | Xinliang Wang, Yangtong Xu, Wei Xue |
A hierarchical tridiagonal system solver for heterogenous supercomputers. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Benjamin Welton, Barton P. Miller |
The anatomy of Mr. Scan: a dissection of performance of an extreme scale GPU-based clustering algorithm. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Sukhyun Song, Jeffrey K. Hollingsworth |
Scaling parallel 3-D FFT with non-blocking MPI collectives. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Li Tan, Zizhong Chen |
TX: algorithmic energy saving for distributed dense matrix factorizations. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Chongxiao Cao, Mark Gates, Azzam Haidar, Piotr Luszczek, Stanimire Tomov, Ichitaro Yamazaki, Jack J. Dongarra |
Performance and portability with OpenCL for throughput-oriented HPC workloads across accelerators, coprocessors, and multicore processors. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Elias P. Duarte Jr., Luis Carlos Erpen De Bona, Vinicius K. Ruoso |
VCube: a provably scalable distributed diagnosis algorithm. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | James Elliott, Mark Hoemmen, Frank Mueller 0001 |
Exploiting data representation for fault tolerance. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Ichitaro Yamazaki, Stanimire Tomov, Jack J. Dongarra |
Deflation strategies to improve the convergence of communication-avoiding GMRES. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Takeshi Fukaya, Yuji Nakatsukasa, Yuka Yanagisawa, Yusaku Yamamoto |
CholeskyQR2: a simple and communication-avoiding algorithm for computing a tall-skinny QR factorization on a large-scale parallel system. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | Dobromir Georgiev, Emanouil I. Atanassov, Vassil Alexandrov 0001 |
A framework for parallel genetic algorithms for distributed memory architectures. |
ScalA@SC |
2014 |
DBLP DOI BibTeX RDF |
|
40 | |
Proceedings of the Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, ScalA 2013, Denver, Colorado, USA, November 17-21, 2013 |
ScalA@SC |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Yulu Jia, Piotr Luszczek, George Bosilca, Jack J. Dongarra |
CPU-GPU hybrid bidiagonal reduction with soft error resilience. |
ScalA@SC |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Thomas Heller, Hartmut Kaiser, Andreas Schäfer 0006, Dietmar Fey |
Using HPX and LibGeoDecomp for scaling HPC applications on heterogeneous supercomputers. |
ScalA@SC |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Ignacio Laguna, Edgar A. León, Martin Schulz 0001, Mark Stephenson |
A study of application-level recovery methods for transient network faults. |
ScalA@SC |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Piyush Sao, Richard W. Vuduc |
Self-stabilizing iterative solvers. |
ScalA@SC |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Paul Tranquilli, Ross Glandon, Adrian Sandu |
CUDA acceleration of a matrix-free Rosenbrock-K method applied to the shallow water equations. |
ScalA@SC |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Janko Straßburg, Vassil Alexandrov 0001 |
On scalability behaviour of Monte Carlo sparse approximate inverse for matrix computations. |
ScalA@SC |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Vassil Alexandrov 0001, Al Geist, Jack J. Dongarra (eds.) |
Proceedings of the second workshop on Scalable algorithms for large-scale systems, ScalA@SC 2011, Seattle, WA, USA, November 14, 2011 |
ScalA@SC |
2011 |
DBLP BibTeX RDF |
|
40 | Janko Straßburg, Vassil Alexandrov 0001 |
Investigating scaling behaviour of monte carlo codes for dense matrix inversion. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Varun Chandola, Ranga Raju Vatsavai |
Implementing a gaussian process learning algorithm in mixed parallel environment. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Jun He, Jim Kowalkowski, Marc F. Paterno, Donald J. Holmgren, James N. Simone, Xian-He Sun |
Layout-aware scientific computing: a case study using MILC. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Panruo Wu, Chong Ding, Longxiang Chen, Feng Gao, Teresa Davies, Christer Karlsson, Zizhong Chen |
Fault tolerant matrix-matrix multiplication: correcting soft errors on-line. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Peter Strazdins, Markus Hegland |
Performance analysis of a cardiac simulation code using IPM. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Peng Du, Piotr Luszczek, Stanimire Tomov, Jack J. Dongarra |
Soft error resilient QR factorization for hybrid system with GPGPU. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Nikola Rajovic, Nikola Puzovic, Lluís Vilanova, Carlos Villavieja, Alex Ramírez |
The low-power architecture approach towards exascale computing. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Wilfried N. Gansterer, Gerhard Niederbrucker, Hana Straková, Stefan Schulze Grotthoff |
Robust distributed orthogonalization based on randomized aggregation. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Radhika S. Saksena |
On non-blocking collectives in 3D FFTs. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Rosa M. Badia |
Top down programming methodology and tools with StarSs - enabling scalable programming paradigms: extended abstract. |
ScalA@SC |
2011 |
DBLP DOI BibTeX RDF |
|
38 | Filip Krikava, Heather Miller, Jan Vitek |
Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
38 | Bob Reynders, Michael Greefs, Dominique Devriese, Frank Piessens |
Scalagna 0.1: towards multi-tier programming with Scala and Scala.js. |
Programming |
2018 |
DBLP DOI BibTeX RDF |
|
38 | Ruslan Shevchenko |
Scala-gopher: CSP-style programming techniques with idiomatic Scala. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
38 | Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Danilo Ansaloni, Walter Binder, Nathan P. Ricci, Samuel Z. Guyer |
new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs. |
ISMM |
2012 |
DBLP DOI BibTeX RDF |
|
38 | Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Walter Binder |
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky |
A Core Calculus for Scala Type Checking. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Elena Ferrari, Goffredo Haus |
The Musical Archive Information System at Teatro alla Scala. |
ICMCS, Vol. 1 |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Johannes Rudolph, Peter Thiemann 0001 |
Mnemonics: type-safe bytecode generation at run time. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
embedded domain specific language, program generation, metaprogramming |
36 | Jian Zhang 0074, Samrat Bhattacharyya, Nabil Simaan |
Model and parameter identification of friction during robotic insertion of cochlear-implant electrode arrays. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Tiark Rompf, Ingo Maier, Martin Odersky |
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
control effects, selective CPS transform, program transformation, delimited continuations |
26 | David Pollak, Steve Vinoski |
A Chat Application in Lift. |
IEEE Internet Comput. |
2010 |
DBLP DOI BibTeX RDF |
functional programming, Web development, Lift, Scala |
26 | Martin Odersky, Matthias Zenger |
Scalable component abstractions. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
components, classes, mixins, abstract types, Scala |
24 | Antonio J. Di Scala, Carlo Sanna, Edoardo Signorini |
RLWE and PLWE over cyclotomic fields are not equivalent. |
Appl. Algebra Eng. Commun. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Gabriele Oliva, Mauro Franceschelli, Andrea Gasparri, Antonio Scala |
A Sum-of-States Preservation Framework for Open Multiagent Systems With Nonlinear Heterogeneous Coupling. |
IEEE Trans. Autom. Control. |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Alessandro Scala |
Techniques for Authenticating Quantile Digests. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba |
Safe Learning of PDDL Domains with Conditional Effects - Extended Version. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 780 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|