Search Sciweavers | Sciweavers

7956 search results - page 90 / 1592

» Into the Future

113

Voted

MOVEP
2000

136views Hardware» more MOVEP 2000»

UPPAAL - Now, Next, and Future

15 years 7 months ago

Download www.inrialpes.fr

Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...

Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Ped...

claim paper

Read More »

Voted

SIGUCCS
2000
ACM

79views Information Technology» more SIGUCCS 2000»

Getting Students Off on the Right Foot: One Step Toward Building the Future at ISU

15 years 7 months ago

Download telecom.oit.umass.edu

Linda J. Hutchison, Jay S. Hardcastle, Bonnie S. W...

claim paper

Read More »

130

Voted

POPL
1995
ACM

129views Programming Languages» more POPL 1995»

The Semantics of Future and Its Use in Program Optimizations

15 years 7 months ago

Download users.soe.ucsc.edu

Cormac Flanagan, Matthias Felleisen

claim paper

Read More »

151

Voted

IFIP
1991
Springer

173views Programming Languages» more IFIP 1991»

Future Research Directions in Problem Solving Environments for Computational Science

15 years 7 months ago

Download www.cs.purdue.edu

John R. Rice

claim paper

Read More »

Voted

ICS
1987
Tsinghua U.

57views Distributed And Parallel Com...» more ICS 1987»

Future Scientific Programming on Parallel Machines

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers