Sciweavers

2035 search results - page 1 / 407
» Communicating Scala Objects
Sort
View
WOTUG
2008
13 years 6 months ago
Communicating Scala Objects
In this paper we introduce the core features of CSO (Communicating Scala Objects)
Bernard Sufrin
PPOPP
2011
ACM
12 years 7 months ago
ScalaExtrap: trace-based communication extrapolation for spmd programs
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...
Xing Wu, Frank Mueller
FM
2011
Springer
357views Formal Methods» more  FM 2011»
12 years 8 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
DAC
2012
ACM
11 years 7 months ago
Chisel: constructing hardware in a Scala embedded language
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
Jonathan Bachrach, Huy Vo, Brian Richards, Yunsup ...
OOPSLA
2010
Springer
13 years 3 months ago
Type classes as objects and implicits
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
Bruno C. d. S. Oliveira, Adriaan Moors, Martin Ode...