Scala - PDFSEARCH.IO - Document Search Engine

Scala
Results: 983

#	Item
371	Akka Scala Documentation ReleaseTypesafe Inc April 23, 2015 Add to Reading List Source URL: doc.akka.io Language: English - Date: 2015-04-23 02:10:38 Actor model Concurrent computing OSGi Scala Kernel Play Framework Computing Java platform Standards organizations
372	Scala Actors Scalable Multithreading on the JVM Philipp Haller Ph.D. candidate Programming Methods Lab EPFL, Lausanne, Switzerland Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:31 Functional languages Java platform Scala Concurrent computing Actor model Erlang Lift Computing Software engineering Computer programming
373	Combining Concurrency Abstractions Philipp Haller Typesafe, Switzerland Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:31 Actor model Futures and promises Inter-process communication Scala Futures contract Closure Computing Software engineering Computer programming
374	Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Type theory Data types Functional programming Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 Scala Type inference Computing Software engineering Computer programming
375	FASE 1 Scala 1:200 FASE 2 Scala 1:200 Add to Reading List Source URL: www.fnmgroup.it Language: Italian - Date: 2014-03-19 14:42:15
376	Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) Viktor Kuncak? ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Data types Recursion Theoretical computer science Formal methods Functional programming Algebraic data type Fold ALGOL 68 Scala Computing Software engineering Computer programming
377	Dean Wampler, Ph.D. concurrentthought.com http://github.com/deanwampler Add to Reading List Source URL: deanwampler.github.io Language: English - Date: 2015-05-19 11:45:04 Aspect-oriented programming Web application frameworks Programming paradigms Java platform Scala Apache Hadoop Object-oriented programming HBase AspectJ Computing Software Aspect-oriented software development
378	RAY: Integrating Rx and Async for Direct-Style Reactive Streams Philipp Haller Heather Miller Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2013-09-05 08:45:30 Functional languages Actor model Futures and promises Inter-process communication Observer pattern Scala Continuation Errors and residuals in statistics Computing Software engineering Computer programming
379	siemens.com /mobility Sitraffic Concert, Sitraffic Scala and Sitraffic Guide Three complex tasks – one common platform Add to Reading List Source URL: www.mobility.siemens.com Language: English - Date: 2012-03-26 05:45:59 Traffic law Transport engineering Traffic signals Traffic congestion Traffic engineering Traffic TransModeler STREAMS Integrated Intelligent Transport System Transport Land transport Road transport
380	Trustworthy Numerical Computation in Scala Eva Darulova Viktor Kuncak ∗ School of Computer and Communication Sciences (I&C) - Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-08-20 05:54:12 Mathematical analysis Applied mathematics Affine arithmetic Machine epsilon Floating point Interval arithmetic Rounding Round-off error Interval Numerical analysis Computer arithmetic Mathematics

UPDATE