|
|
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 |
19 | Nikita A. Astrakhantsev |
ATR4S: toolkit with state-of-the-art automatic terms recognition methods in Scala. |
Lang. Resour. Evaluation |
2018 |
DBLP DOI BibTeX RDF |
|
19 | M. Cristina Heredia-Gómez, Salvador García 0001, Pedro Antonio Gutiérrez, Francisco Herrera |
OCAPIS: R package for Ordinal Classification And Preprocessing In Scala. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | John Hunt |
A Beginner's Guide to Scala, Object Orientation and Functional Programming, Second Edition |
|
2018 |
DOI RDF |
|
19 | Yunior Pacheco, Jonas De Bleser, Tim Molderez, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover |
Mining Extension Point Patterns in Scala. |
BENEVOL |
2018 |
DBLP BibTeX RDF |
|
19 | Ivan Valkov, Natalia Chechina, Phil Trinder |
Comparing languages for engineering server software: erlang, go, and scala with akka. |
SAC |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Klaus Havelund, Rajeev Joshi |
Modeling with Scala. |
ISoLA (1) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Youssef El Bakouny, Dani Mezher |
Scallina: Translating Verified Programs from Coq to Scala. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
19 | François Serre, Markus Püschel |
A DSL-Based FFT Hardware Generator in Scala. |
FPL |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Vlad Serbanescu 0001, Frank S. de Boer, Mohammad Mahdi Jaghoori |
ASCOOP: Actors in Scala with Cooperative Scheduling. |
CSE |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Youssef El Bakouny, Dani Mezher |
The Scallina Grammar - Towards a Scala Extraction for Coq. |
SBMF |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Gergely Nagy, Zoltán Porkoláb |
Read-Copy-Update as a Possible Locking Strategy in Scala. |
SQAMIA |
2018 |
DBLP BibTeX RDF |
|
19 | Harald Köstler, Christian Schmitt 0003, Sebastian Kuckuk, Stefan Kronawitter, Frank Hannig, Jürgen Teich, Ulrich Rüde, Christian Lengauer |
A Scala prototype to generate multigrid solver implementations for different problems and target multi-core platforms. |
Int. J. Comput. Sci. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Ruslan Batdalov, Oksana Nikiforova |
Implementation of a MIX Emulator: A Case Study of the Scala Programming Language Facilities. |
Appl. Comput. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Philipp Haller, Fredrik Sommar |
Towards an Empirical Study of Affine Types for Isolated Actors in Scala. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Philipp Haller, Ludvig Axelsson |
Quantifying and Explaining Immutability in Scala. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Youssef El Bakouny, Tristan Crolard, Dani Mezher |
A Coq-based synthesis of Scala programs which are correct-by-construction. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Stanislav Poslavsky |
Rings: an efficient Java/Scala library for polynomial rings. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Arkadiusz Janik, Roman Janusz |
Extensible, Fast And Secure Scala Expression Evaluation Engine. |
J. Autom. Mob. Robotics Intell. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Bhim P. Upadhyaya |
Programming with Scala - Language Exploration |
|
2017 |
DOI RDF |
|
19 | Martin Plümicke, Andreas Stadelmeier |
Introducing Scala-like function types into Java-TX. |
ManLang |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens |
FRP IoT modules as a Scala DSL. |
REBLS@SPLASH |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Yanqiang Liu, Yao Li 0004, Weilun Xiong, Meng Lai, Cheng Chen, Zhengwei Qi, Haibing Guan |
Scala Based FPGA Design Flow (Abstract Only). |
FPGA |
2017 |
DBLP BibTeX RDF |
|
19 | Klaus Havelund, Rajeev Joshi |
Modeling Rover Communication Using Hierarchical State Machines with Scala. |
SAFECOMP Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Klaus Havelund, Rajeev Joshi |
Modeling and Monitoring of Hierarchical State Machines in Scala. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
19 | William Horn 0001, Gabriel Tanase, Hao Yu 0008, Pratap Pattnaik |
A Linear Algebra-Based Programming Interface for Graph Computations in Scala and Spark. |
IPDPS Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Youssef El Bakouny, Tristan Crolard, Dani Mezher |
A Coq-based synthesis of Scala programs which are correct-by-construction. |
FTfJP@ECOOP |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Norbert Oster, Marius Kamp, Michael Philippsen |
AuDoscore: Automatic Grading of Java or Scala Homework. |
ABP |
2017 |
DBLP BibTeX RDF |
|
19 | Philipp Lengauer, Verena Bitto, Hanspeter Mössenböck, Markus Weninger |
A Comprehensive Java Benchmark Study on Memory and Garbage Collection Behavior of DaCapo, DaCapo Scala, and SPECjvm2008. |
ICPE |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Eugene Burmako |
Unification of Compile-Time and Runtime Metaprogramming in Scala. |
|
2017 |
DOI RDF |
|
19 | Alceste Scalas, Nobuko Yoshida |
Lightweight Session Programming in Scala (Artifact). |
Dagstuhl Artifacts Ser. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | James P. Balhoff |
Scowl: a Scala DSL for programming with the OWL API. |
J. Open Source Softw. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Philipp Haller, Alexandre Loiko |
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
19 | Lars Hupel, Viktor Kuncak |
Translating Scala Programs to Isabelle/HOL. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
19 | Nikita A. Astrakhantsev |
ATR4S: Toolkit with State-of-the-art Automatic Terms Recognition Methods in Scala. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
19 | Vicenç Torra |
Scala: From a Functional Programming Perspective - An Introduction to the Programming Language |
|
2016 |
DOI RDF |
|
19 | Philipp Haller, Alexander Loiko |
LaCasa: lightweight affinity and object capabilities in Scala. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Nada Amin, Ross Tate |
Java and scala's type systems are unsound: the existential crisis of null pointers. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Sébastien Doeraene, Tobias Schlatter |
Parallel incremental whole-program optimizations for Scala.js. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Mirko Viroli, Roberto Casadei, Danilo Pianini |
Simulating Large-scale Aggregate MASs with Alchemist and Scala. |
FedCSIS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Edmund Soon Lee Lam, Iliano Cervesato |
Let's Unify With Scala Pattern Matching! |
UNIF |
2016 |
DBLP BibTeX RDF |
|
19 | Felix Dietze, Johannes Karoff, André Calero Valdez, Martina Ziefle, Christoph Greven, Ulrik Schroeder |
An Open-Source Object-Graph-Mapping Framework for Neo4j and Scala: Renesca. |
CD-ARES |
2016 |
DBLP DOI BibTeX RDF |
|
19 | John A. Miller 0001, Casey Bowman, Vishnu Gowda Harish, Shannon Quinn |
Open Source Big Data Analytics Frameworks Written in Scala. |
BigData Congress |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Gianluca C. Durelli, Fabrizio Spada, Christian Pilato, Marco D. Santambrogio |
Scala-Based Domain-Specific Language for Creating Accelerator-Based SoCs. |
IPDPS Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Alceste Scalas, Nobuko Yoshida |
Lightweight Session Programming in Scala. |
ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Casadei, Mirko Viroli |
Towards Aggregate Programming in Scala. |
PMLDC@ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Lars Hupel, Viktor Kuncak |
Translating Scala Programs to Isabelle/HOL - System Description. |
IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Brendan Lawlor, Paul Walsh |
The Weekend Warrior: How to Build a Genomic Supercomputer in Your Spare Time Using Streams and Actors in Scala. |
UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover |
Scala-AM: A Modular Static Analysis Framework. |
SCAM |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Laura Moss, Martin Shaw, Ian Piper, Christopher Hawthorne, John Kinsella |
Apache Spark for the Analysis of High Frequency Neurointensive Care Unit Data: Preliminary Comparison of Scala vs. R. |
AMIA |
2016 |
DBLP BibTeX RDF |
|
19 | Artem Pelenitsyn |
Associated types and constraint propagation for generic programming in Scala. |
Program. Comput. Softw. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Karim Ali 0001, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip |
Type-Based Call Graph Construction Algorithms for Scala. |
ACM Trans. Softw. Eng. Methodol. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Stergios Papadimitriou, Kirsten Schwark, Seferina Mavroudi, Kostas A. Theofilatos, Spiridon Likothanasis |
ScalaLab and GroovyLab: Comparing Scala and Groovy for Scientific Computing. |
Sci. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Cyrille Artho, Klaus Havelund, Rahul Kumar 0001, Yoriyuki Yamagata |
Domain-Specific Languages with Scala. |
ICFEM |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Matías Toro, Éric Tanter |
Customizable gradual polymorphic effects for Scala. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Dantong Song, Kaiwen Zhang 0001, Tilmann Rabl, Prashanth Menon, Hans-Arno Jacobsen |
High performance stream queries in scala. |
DEBS |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Amanj Sherwany, Nosheen Zaza, Nathaniel Nystrom |
A Refactoring Library for Scala Compiler Extensions. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Hiroshi Yamaguchi, Shigeru Chiba |
Inverse macro in Scala. |
GPCE |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Martin Schoeberl |
Scala for Real-Time Systems? |
JTRES |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover |
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation. |
GTTSE |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Zoltan A. Kocsis, Alexander E. I. Brownlee, Jerry Swan, Richard Senington |
Haiku - a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics. |
SSBSE |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Gábor Oláh, Gergely Nagy, Zoltán Porkoláb |
Analyzing Scale-Free Properties in Erlang and Scala. |
CEFP |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Andrea Fineschi, Alessandro Pozzebon |
A 3D virtual tour of the Santa Maria della Scala Museum Complex in Siena, Italy, based on the use of Oculus Rift HMD. |
IC3D |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Mandar Chandorkar, Raghvendra Mall, Oliver Lauwers, Johan A. K. Suykens, Bart De Moor |
Fixed-Size Least Squares Support Vector Machines: Scala Implementation for Large Scale Classification. |
SSCI |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Mariluz Guenaga, Jon Kepa Longarte, Alex Rayón |
Standardized enriched rubrics to support competeney-assessment through the SCALA methodology and dashboard. |
EDUCON |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Harald Köstler, Christian Schmitt 0003, Sebastian Kuckuk, Frank Hannig, Jürgen Teich, Ulrich Rüde |
A Scala Prototype to Generate Multigrid Solver Implementations for Different Problems and Target Multi-Core Platforms. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
19 | Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp |
Group Communication Patterns for High Performance Computing in Scala. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
19 | Martin Odersky, Tiark Rompf |
Unifying functional and object-oriented programming with Scala. |
Commun. ACM |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Vlad Patryshev |
Introduction to the art of programming using Scala, by Mark C. Lewis, Chapman and Hall/CRC Press, 2012, £ 46.99 (paperback) ISBN-10: 1439896666. |
J. Funct. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
19 | John Hunt |
A Beginner's Guide to Scala, Object Orientation and Functional Programming |
|
2014 |
DOI RDF |
|
19 | Alex Rayón, Mariluz Guenaga, Asier Núñez |
Integrating and visualizing learner and social data to elicit higher-order indicators in SCALA dashboard. |
I-KNOW |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Matic Potocnik, Uros Cibej, Bostjan Slivnik |
Linter: a tool for finding bugs and potential problems in scala code. |
SAC |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Klaus Havelund |
Closing the Gap Between Specification and Programming: VDM++ and Scala. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Alex Rayón, Mariluz Guenaga, Asier Nuñez |
Heterogeneous Educational Data Integration and Knowledge Discovery to Supporting Competency Assessment in SCALA Web Tool. |
EC-TEL |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Frank Feinbube, Lena Herscheid, Christoph Neijenhuis, Peter Tröger |
Scalable SIFT with Scala on NUMA. |
Euro-Par Workshops (1) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Karim Ali 0001, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip |
Constructing Call Graphs of Scala Programs. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Martin Odersky |
The evolution of Scala: PLE'14 keynote. |
PLE@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp |
Group communication patterns for high performance computing in scala. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Mark C. Lewis, Konstantin Läufer, George K. Thiruvathukal |
Scala for introductory CS and parallelism(abstract only). |
SIGCSE |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Yao Li 0004, Antonio Roldao Lopes, Zhouyun Xu, Zhengwei Qi, Haibing Guan |
ScalaHDL: Express and test hardware designs in a Scala DSL. |
ICCD |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Antonio Di Stasio 0001, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino |
Solving Parity Games in Scala. |
FACS |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Filip Krikava, Philippe Collet, Robert B. France |
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations. |
MoDELS |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Evdokim Kovach, Alexey Alekhin, Marina Manrique, Pablo Pareja-Tobes, Eduardo Pareja, Raquel Tobes, Eduardo Pareja-Tobes |
Nispero: a cloud-computing based Scala tool specially suited for bioinformatics data processing. |
IWBBIO |
2014 |
DBLP BibTeX RDF |
|
19 | Klaus Havelund |
Data Automata in Scala. |
TASE |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Arif Wider |
Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala. |
EDBT/ICDT Workshops |
2014 |
DBLP BibTeX RDF |
|
19 | Lukas Rytz |
A Practical Effect System for Scala. |
|
2014 |
DOI RDF |
|
19 | Stefano Scialò |
Development and analysis of a novel optimization approach for the simulation of the flow in large scale discrete fracture networks with non-conforming finite elements / Sviluppo ed analisi di un nuovo approccio per la simulazione del flusso in network discreti di fratture su larga scala basato su un metodo di ottimizzazione ed elementi finiti su griglie non conformi. |
|
2014 |
RDF |
|
19 | Daniel Goodman 0001, Behram Khan, Salman Khan 0002, Mikel Luján, Ian Watson |
Software transactional memories for Scala. |
J. Parallel Distributed Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Felix Palludan Hargreaves, Daniel Merkle |
FooPar: A Functional Object Oriented Parallel Framework in Scala |
CoRR |
2013 |
DBLP BibTeX RDF |
|
19 | John Hunt |
Scala Design Patterns - Patterns for Practical Reuse and Design. |
|
2013 |
DOI RDF |
|
19 | Alexandru Turcu, Binoy Ravindran, Roberto Palmieri |
Hyflow2: a high performance distributed transactional memory framework in scala. |
PPPJ |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Klaus Havelund |
A Scala DSL for Rete-Based Runtime Verification. |
RV |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Samira Tasharofi, Peter Dinges, Ralph E. Johnson |
Why Do Scala Developers Mix the Actor Model with other Concurrency Models? |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel |
Spiral in scala: towards the systematic construction of generators for performance libraries. |
GPCE |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Mark C. Lewis, Konstantin Läufer, George K. Thiruvathukal |
Using Scala strategically across the undergraduate curriculum (abstract only). |
SIGCSE |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Mattia Denti, Jukka K. Nurminen |
Performance and Energy-Efficiency of Scala on Mobile Devices. |
NGMAST |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Xiao Liu, John Kubiatowicz |
Chisel-Q: Designing quantum circuits with a scala embedded language. |
ICCD |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Felix Palludan Hargreaves, Daniel Merkle |
FooPar: A Functional Object Oriented Parallel Framework in Scala. |
PPAM (2) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Jonathan Passerat-Palmbach, Romain Reuillon, Claude Mazel, David R. C. Hill |
Prototyping parallel simulations on manycore architectures using Scala: A case study. |
HPCS |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Andrew Bate |
Scalable Performance for Scala Message-Passing Concurrency. |
CPA |
2013 |
DBLP BibTeX RDF |
|
19 | Kazunori Sakamoto, Hiroaki Hosono, Seiji Sato, Hironori Washizaki, Yoshiaki Fukazawa |
Goal-oriented requirements analysis and an extended design pattern using scala for artificial intelligence programming contests. |
GAS@ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 780 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|