Search Sciweavers | Sciweavers

11909 search results - page 172 / 2382

» The Scheme Programming Language

167

click to vote

USENIX
1993

160views Operating System» more USENIX 1993»

Wafe - An X Toolkit Based Frontend for Application Programs in Various Programming Languages

15 years 7 months ago

Download nm.wu-wien.ac.at

Wafe provides a ﬂexible and easy to use interface to the X Toolkit (Xt) and the Athena widget set (Xaw) using the embeddable command language Tcl [1]. It allows access to Xt’s...

Gustaf Neumann, Stefan Nusser

claim paper

Read More »

183

click to vote

HIPC
2003
Springer

112views Distributed And Parallel Com...» more HIPC 2003»

Thread Migration/Checkpointing for Type-Unsafe C Programs

15 years 11 months ago

Download cadi.buffalo.edu

Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...

Hai Jiang, Vipin Chaudhary

claim paper

Read More »

144

click to vote

PPDP
2007
Springer

123views Programming Languages» more PPDP 2007»

Local reasoning about storable locks

16 years 18 days ago

Download research.microsoft.com

Josh Berdine

claim paper