Sciweavers

761 search results - page 74 / 153
» The art of multiprocessor programming
Sort
View
HASKELL
2009
ACM
15 years 6 months ago
Parallel performance tuning for Haskell
Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...
Don Jones Jr., Simon Marlow, Satnam Singh
PICS
1998
15 years 1 months ago
The Important Roles of Inks and Media in the Light Fading Stability of Inkjet Prints
In the fine art field, the high-resolution inkjet printers made by IRIS Graphics, Inc. have for more than 7 years remained the preferred direct digital output device for printing ...
Henry Wilhelm, Mark H. McCormick-Goodhart
ICFP
2009
ACM
16 years 14 days ago
Parallel concurrent ML
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
John H. Reppy, Claudio V. Russo, Yingqi Xiao
CPAIOR
2007
Springer
15 years 6 months ago
Hybrid Local Search for Constrained Financial Portfolio Selection Problems
Portfolio selection is a relevant problem arising in finance and economics. While its basic formulations can be efficiently solved through linear or quadratic programming, its mor...
Luca Di Gaspero, Giacomo di Tollo, Andrea Roli, An...
CORR
2010
Springer
152views Education» more  CORR 2010»
14 years 12 months ago
A Non-Null Annotation Inferencer for Java Bytecode
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
Laurent Hubert