Search results for "scala"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Basavaraju Muddu, Allahbaksh M. Asadullah, Vasudev D. Bhat, Srinivas Padmanabhuni	Metrics for modularization assessment of Scala and C# systems.	WETSoM	2013	DBLP DOI BibTeX RDF
19	Raphaol Jolly	Straightforward Parallelization of Polynomial Multiplication Using Parallel Collections in Scala.	AINA Workshops	2013	DBLP DOI BibTeX RDF
19	Raphael Jolly	Categories as Type Classes in the Scala Algebra System.	CASC	2013	DBLP DOI BibTeX RDF
19	Mihnea Iancu, Felix Mance, Florian Rabe 0001	The Scala-REPL + MMT as a lightweight mathematical user interface.	CICM Workshops	2013	DBLP BibTeX RDF
19	Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky	Scala-Virtualized: linguistic reuse for deep embeddings.	High. Order Symb. Comput.	2012	DBLP DOI BibTeX RDF
19	Toni Cebrián	Steps in Scala: An introduction to Object-Functional Programming By Loverdos, Apostolos Syropoulos, Cambridge University Press, 2010, 504 pp, ISBN 0521747589.	J. Funct. Program.	2012	DBLP DOI BibTeX RDF
19	Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky	Scala-virtualized.	PEPM	2012	DBLP DOI BibTeX RDF
19	Miguel Nicolas Gubitosi, Basavaraju M., Allahbaksh M. Asadullah	Metrics for Measuring the Quality of Modularization of Scala Systems.	APSEC Workshops	2012	DBLP DOI BibTeX RDF
19	Lars George, Arif Wider, Markus Scheidgen	Type-Safe Model Transformation Languages as Internal DSLs in Scala.	ICMT@TOOLS	2012	DBLP DOI BibTeX RDF
19	Philipp Haller	On the integration of the actor model in mainstream technologies: the scala perspective.	AGERE!@SPLASH	2012	DBLP DOI BibTeX RDF
19	Dennis Wiebusch, Martin Fischbach, Marc Erich Latoschik, Henrik Tramberend	Evaluating scala, actors, & ontologies for intelligent realtime interactive systems.	VRST	2012	DBLP DOI BibTeX RDF
19	Daniele Bonetta, Danilo Ansaloni, Achille Peternier, Cesare Pautasso, Walter Binder	Node.Scala: Implicit Parallel Programming for High-Performance Web Services.	Euro-Par	2012	DBLP DOI BibTeX RDF
19	Prabhat Totoo, Pantazis Deligiannis, Hans-Wolfgang Loidl	Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison.	FHPC@ICFP	2012	DBLP DOI BibTeX RDF
19	Andrew Bate, Gavin Lowe	A Debugger for Communicating Scala Objects.	CPA	2012	DBLP BibTeX RDF
19	Victor Pankratius, Felix Schmidt, Gilda Garretón	Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java.	ICSE	2012	DBLP DOI BibTeX RDF
19	Marc Erich Latoschik, Henrik Tramberend	A scala-based actor-entity architecture for intelligent interactive simulations.	SEARIS	2012	DBLP DOI BibTeX RDF
19	Jonathan Bachrach, Huy Vo, Brian C. Richards, Yunsup Lee, Andrew Waterman, Rimas Avizienis, John Wawrzynek, Krste Asanovic	Chisel: constructing hardware in a Scala embedded language.	DAC	2012	DBLP DOI BibTeX RDF
19	Michele Stecca, Martino Fornasa, Nicholas DallArmellina, Massimo Maresca	Event-Driven Mashup Orchestration with Scala.	IEEE SCC	2012	DBLP DOI BibTeX RDF
19	Andreas Sewe	Design and analysis of a scala benchmark suite for the Java virtual machine.		2012	RDF
19	Stergios Papadimitriou, Constantinos Terzidis, Seferina Mavroudi, Spiridon D. Likothanassis	Exploiting java scientific libraries with the scala language within the scalalab environment.	IET Softw.	2011	DBLP DOI BibTeX RDF
19	Nicholas Nguyen	SPath: an extensible query-language for Scala.	J. Object Technol.	2011	DBLP DOI BibTeX RDF
19	Philipp Haller, Frank Sommers	Actors in Scala - concurrent programming for the multi-core era.		2011	RDF
19	Arif Wider	Towards Combinators for Bidirectional Model Transformations in Scala.	SLE	2011	DBLP DOI BibTeX RDF
19	Eva Darulova, Viktor Kuncak	Trustworthy numerical computation in Scala.	OOPSLA	2011	DBLP DOI BibTeX RDF
19	Roberto Salama	A regression testing framework for financial time-series databases: an effective combination of fitnesse, scala, and kdb/q.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
19	Howard Barringer, Klaus Havelund	TraceContract: A Scala DSL for Trace Analysis.	FM	2011	DBLP DOI BibTeX RDF
19	Nathaniel Nystrom, Derek White, Kishen Das	Firepile: run-time compilation for GPUs in scala.	GPCE	2011	DBLP DOI BibTeX RDF
19	Ali Sinan Köksal, Viktor Kuncak, Philippe Suter	Scala to the Power of Z3: Integrating SMT and Programming.	CADE	2011	DBLP DOI BibTeX RDF
19	Pedro Matiello, Ana Cristina Vieira de Melo	PiStache: Implementing π-Calculus in Scala.	SBMF	2011	DBLP DOI BibTeX RDF
19	Vaidas Gasiunas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé	EScala: modular event-driven object interactions in scala.	AOSD	2011	DBLP DOI BibTeX RDF
19	Makarius Wenzel	Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit.	UITP	2010	DBLP DOI BibTeX RDF
19	Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp	Extending Scala with Database Query Capability.	J. Object Technol.	2010	DBLP DOI BibTeX RDF
19	Venkatreddy Dwarampudi, Shahbaz Singh Dhillon, Jivitesh Shah, Nikhil Joseph Sebastian, Nitin Kanigicharla	Comparative study of the Pros and Cons of Programming languages Java, Scala, C++, Haskell, VB .NET, AspectJ, Perl, Ruby, PHP & Scheme - a Team 11 COMP6411-S10 Term Report	CoRR	2010	DBLP BibTeX RDF
19	Bruno C. d. S. Oliveira, Jeremy Gibbons	Scala for generic programmers.	J. Funct. Program.	2010	DBLP DOI BibTeX RDF
19	Lothar Piepmeyer	Scala - Neuer Dampf für die virtuelle Maschine.	STeP	2010	DBLP BibTeX RDF
19	Martin Odersky	Contracts for Scala.	RV	2010	DBLP DOI BibTeX RDF
19	Christian Hofer, Klaus Ostermann	Modular domain-specific language components in scala.	GPCE	2010	DBLP DOI BibTeX RDF
19	Kazuaki Maeda	A Scala-based Domain Specific Language for Structured Data Representation.	ICSOFT (2)	2010	DBLP BibTeX RDF
19	Iulian Dragos	Compiling Scala for Performance.		2010	DOI RDF
19	Debasish Ghosh, Steve Vinoski	Scala and Lift—Functional Recipes for the Web.	IEEE Internet Comput.	2009	DBLP DOI BibTeX RDF
19	Daniel Spiewak, Tian Zhao 0002	Method Proxy-Based AOP in Scala.	J. Object Technol.	2009	DBLP DOI BibTeX RDF
19	Philipp Haller, Martin Odersky	Scala Actors: Unifying thread-based and event-based programming.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
19	Dean Wampler, Alex Payne	Programming Scala - Scalability = Functional Programming + Objects.		2009	RDF
19	Martin Odersky	Essentials of Scala.	LMO	2009	DBLP BibTeX RDF
19	Daniel Spiewak, Tian Zhao 0002	ScalaQL: Language-Integrated Database Queries for Scala.	SLE	2009	DBLP DOI BibTeX RDF
19	Gilles Dubochet, Martin Odersky	Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective.	ICOOOLPS@ECOOP	2009	DBLP DOI BibTeX RDF
19	Martin Odersky, Adriaan Moors	Fighting bit Rot with Types (Experience Report: Scala Collections).	FSTTCS	2009	DBLP DOI BibTeX RDF
19	Michael Pradel, Martin Odersky	Scala Roles: Reusable Object Collaborations in a Library.	ICSOFT (Selected Papers)	2008	DBLP DOI BibTeX RDF
19	Michael Pradel, Martin Odersky	Scala Roles - A Lightweight Approach Towards Reusable Collaborations.	ICSOFT (PL/DPS/KE)	2008	DBLP BibTeX RDF
19	Bernard Sufrin	Communicating Scala Objects.	CPA	2008	DBLP DOI BibTeX RDF
19	Martin Odersky	The Scala experiment: can we provide better language support for component systems?	POPL	2006	DBLP DOI BibTeX RDF
19	Martin Odersky	The Scala Experiment - Can We Provide Better Language Support for Component Systems?	APLAS	2004	DBLP DOI BibTeX RDF
19	Xian-He Sun, Thomas Fahringer, Mario Pantano	SCALA: A Performance System For Scalable Computing.	Int. J. High Perform. Comput. Appl.	2002	DBLP DOI BibTeX RDF
19	Irene Degirmenciyan-Cartault, Frédéric Marc	SCALA : une approche multi-agent pour la conception.	JFSMA	2002	DBLP BibTeX RDF
19	Irene Degirmenciyan-Cartault, Frédéric Marc	SCALA: système coopératif d'agents logiciels autonomes.	JFSMA	2002	DBLP BibTeX RDF
19	Loretta Diana, Elena Ferrari, Goffredo Haus	Saving the Multimedia Musical Heritage of Teatro alla Scala for Querying in a Web-Oriented Environment.	WEDELMUSIC	2001	DBLP DOI BibTeX RDF
19	Xian-He Sun, Mario Pantano, Thomas Fahringer, Zhaohua Zhan	SCALA: A Framework for Performance Evaluation of Scalable Computing.	IPPS/SPDP Workshops	1999	DBLP DOI BibTeX RDF
19	Goffredo Haus	Rescuing La Scala's Music Archives.	Computer	1998	DBLP DOI BibTeX RDF
18	Thomas Pawlitzki, Friedrich Steimann	Implicit invocation of traits.	SAC	2010	DBLP DOI BibTeX RDF	modularity, traits, implicit invocation
18	Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
18	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	interoperability, Operational semantics
18	Donna Malayeri, Jonathan Aldrich	CZ: multiple inheritance without diamonds.	OOPSLA	2009	DBLP DOI BibTeX RDF	diamond problem, modularity, multiple inheritance, multimethods
18	Stefan Wehr, Peter Thiemann 0001	On the Decidability of Subtyping with Bounded Existential Types.	APLAS	2009	DBLP DOI BibTeX RDF
18	Xhevrie Mamaqi, José María Moreno-Jiménez	The Effectiveness of e-Cognocracy.	WSKS (1)	2009	DBLP DOI BibTeX RDF	structural equation model (SEM), e-government, effectiveness, e-democracy, knowledge society, e-participation, e-cognocracy
18	José María Moreno-Jiménez, Jesús Cardeñosa Lera, Carolina Gallardo	Arguments That Support Decisions in e-Cognocracy: A Qualitative Approach Based on Text Mining Techniques.	WSKS (1)	2009	DBLP DOI BibTeX RDF	text mining, knowledge extraction, e-democracy, knowledge society, e-cognocracy
18	Bruno C. d. S. Oliveira	Modular Visitor Components.	ECOOP	2009	DBLP DOI BibTeX RDF
18	Donna Malayeri	CZ: multiple inheritance without diamonds.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	diamond problem, multiple inheritance
18	Bruno C. d. S. Oliveira, Meng Wang 0002, Jeremy Gibbons	The visitor pattern as a reusable, generic, type-safe component.	OOPSLA	2008	DBLP DOI BibTeX RDF	algebraic datatypes, program extensibility, design patterns, software components, traversal, visitor pattern
18	Philipp Haller, Tom Van Cutsem	Implementing Joins Using Extensible Pattern Matching.	COORDINATION	2008	DBLP DOI BibTeX RDF	Join Patterns, Concurrent Programming, Actors, Chords
18	Jian Zhang 0074, Wei Wei, Spiros Manolidis, J. Thomas Roland, Nabil Simaan	Path Planning and Workspace Determination for Robot-Assisted Insertion of Steerable Electrode Arrays for Cochlear Implant Surgery.	MICCAI (2)	2008	DBLP DOI BibTeX RDF
18	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	POPL	2007	DBLP DOI BibTeX RDF	multi-language systems, interoperability, operational semantics
18	Philipp Haller, Martin Odersky	Actors That Unify Threads and Events.	COORDINATION	2007	DBLP DOI BibTeX RDF
18	Burak Emir, Sebastian Maneth, Martin Odersky	Scalable Programming Abstractions for XML Services.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
18	Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook	Evaluating Support for Features in Advanced Modularization Technologies.	ECOOP	2005	DBLP DOI BibTeX RDF
18	Catherine A. Todd, Fazel Naghdy	Virtual Cochlear Implant Insertion for Medical Education.	WHC	2005	DBLP DOI BibTeX RDF
18	Flavia Sparacino	Scenographies of the past and museums of the future: from the wunderkammer to body-driven interactive narrative spaces.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	exhibit design, interactive museums, interactive narrative spaces, museum of the future, experience design, interactive technology
18	Frédéric Marc, Amal El Fallah Seghrouchni, Irene Degirmenciyan-Cartault	Coordination of Complex Systems Based on Multi-agent Planning: Application to the Aircraft Simulation Domain.	PROMAS	2004	DBLP DOI BibTeX RDF
18	Frédéric Marc, Irene Degirmenciyan-Cartault, Amal El Fallah Seghrouchni	Multi-Agent Planning as a Coordination Model for Self-Organized Systems.	IAT	2003	DBLP DOI BibTeX RDF
18	Loretta Diana, Goffredo Haus, Maurizio Longari	Towards a General Architecture for Musical Archive Information Systems.	CMMR	2003	DBLP DOI BibTeX RDF
18	Pierfrancesco Bellini, Paolo Nesi, Marius B. Spinu	Cooperative visual manipulation of music notation.	ACM Trans. Comput. Hum. Interact.	2002	DBLP DOI BibTeX RDF	Collaboration of music notation editing, additional command list, cooperative music, distributed music, electronic lectern, neutral version, selective undo, computer-supported cooperative work, collaborative systems, user interface management systems, consistency control