Sciweavers

13271 search results - page 344 / 2655
» Computers, Programming, and People
Sort
View
TGC
2007
Springer
16 years 24 days ago
Type-Safe Distributed Programming with ML5
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
Tom Murphy VII, Karl Crary, Robert Harper
278
Voted
IPPS
2002
IEEE
15 years 11 months ago
A Performance Optimization Framework for Compilation of Tensor Contraction Expressions into Parallel Programs
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
Gerald Baumgartner, David E. Bernholdt, Daniel Coc...
PPDP
2004
Springer
16 years 1 days ago
A semantics for tracing declarative multi-paradigm programs
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
Bernd Brassel, Michael Hanus, Frank Huch, Germ&aac...
182
Voted
IADIS
2004
15 years 8 months ago
Physiology of mobile database: an unconventional database
As the mobility of people increases, anytime, anywhere computing has become a must. The appearance of powerful portable computers, along with advancement in wireless communication...
Imran Khan, Nasir Touheed

Book
1759views
17 years 4 months ago
The C++ Hackers Guide
"This book contains over 100 hacks which help C++ programs deal with the real. It includes coding tricks, tips on how to code safely, ideas on programming style, and some real...
Steve Oualline