Sciweavers

10622 search results - page 453 / 2125

» Python Programming Language

98

ICALP
2003
Springer

66views Programming Languages» more ICALP 2003»

Mixin Modules and Computational Effects

15 years 11 months ago

Mixin Modules and Computational Effects

Download www.cs.nott.ac.uk

Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena...

claim paper

Read More »

116

IFIP
2003
Springer

74views Programming Languages» more IFIP 2003»

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

15 years 11 months ago

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

Download www.ub.utwente.nl

Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter ...

claim paper

Read More »

121

PLDI
2010
ACM

187views Programming Languages» more PLDI 2010»

Evaluating the accuracy of Java profilers

15 years 11 months ago

Evaluating the accuracy of Java profilers

Download www-plan.cs.colorado.edu

Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Pe...

claim paper

Read More »

145

Voted

WSC
2000

209views Modeling And Simulation» more WSC 2000»

Silk, Java and object-oriented simulation

15 years 7 months ago

Silk, Java and object-oriented simulation

Download www.informs-sim.org

Silk

Richard A. Kilgore

claim paper

Read More »

185

ENTCS
2000

109views more ENTCS 2000»

Forward and Backward Chaining in Linear Logic

15 years 6 months ago

Forward and Backward Chaining in Linear Logic

Download waitaki.otago.ac.nz

Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...

James Harland, David J. Pym, Michael Winikoff

claim paper

Read More »

« Prev « First page 453 / 2125 Last » Next »