Sciweavers

5377 search results - page 27 / 1076

» Programming Languages For Interactive Computing

23

ASPLOS
2000
ACM

106views Programming Languages» more ASPLOS 2000»

Designing computer systems with MEMS-based storage

14 years 3 days ago

Designing computer systems with MEMS-based storage

Download www.pdl.cmu.edu

ÓÖ × Ø Ê Å¹ØÓ¹ × Ñ ÑÓÖÝ Ö Ö Ý Ô × ÔÐ Ù ÓÑÔÙØ Ö Ö Ø Ø×º Ò Ü Ø Ò Ò Û ×ØÓÖ Ø ¹ ÒÓÐÓ Ý × ÓÒ Ñ ÖÓ Ð ØÖÓÑ Ò Ð ×Ý×Ø �...

Steven W. Schlosser, John Linwood Griffin, David N...

claim paper

Read More »

4

ICCL
1990
IEEE

47views Programming Languages» more ICCL 1990»

Reliable Distributed Computing with Avalon/Common Lisp

13 years 11 months ago

Reliable Distributed Computing with Avalon/Common Lisp

Download www.cs.cmu.edu

Stewart M. Clamen, Linda D. Leibengood, Scott Nett...

claim paper

Read More »

31

POPL
1997
ACM

150views Programming Languages» more POPL 1997»

Call by Need Computations to Root-Stable Form

13 years 11 months ago

Call by Need Computations to Root-Stable Form

Download cl-informatik.uibk.ac.at

The following theorem of Huet and L

Aart Middeldorp

claim paper

Read More »

31

CADE
2010
Springer

235views Logical Reasoning» more CADE 2010»

Multi-Prover Verification of Floating-Point Programs

13 years 8 months ago

Multi-Prover Verification of Floating-Point Programs

Download www.lri.fr

Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...

Ali Ayad, Claude Marché

claim paper

Read More »

27

HCI
2009

158views Human Computer Interaction» more HCI 2009»

Further Steps towards Driver Modeling According to the Bayesian Programming Approach

13 years 5 months ago

Further Steps towards Driver Modeling According to the Bayesian Programming Approach

Download www.lks.uni-oldenburg.de

Claus Möbus, Mark Eilers

claim paper

Read More »

« Prev « First page 27 / 1076 Last » Next »