Search Sciweavers | Sciweavers

10666 search results - page 456 / 2134

» Quantum programming languages

121

click to vote

CP
2003
Springer

99views Artificial Intelligence» more CP 2003»

Constraints for Breaking More Row and Column Symmetries

16 years 3 days ago

Download www.cs.york.ac.uk

Alan M. Frisch, Christopher Jefferson, Ian Miguel

claim paper

Read More »

107

click to vote

ICALP
2003
Springer

66views Programming Languages» more ICALP 2003»

Mixin Modules and Computational Effects

16 years 2 days ago

Download www.cs.nott.ac.uk

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

claim paper

Read More »

120

click to vote

IFIP
2003
Springer

74views Programming Languages» more IFIP 2003»

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

16 years 2 days ago

Download www.ub.utwente.nl

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

claim paper

Read More »

128

click to vote

PLDI
2010
ACM

187views Programming Languages» more PLDI 2010»

Evaluating the accuracy of Java profilers

15 years 12 months ago

Download www-plan.cs.colorado.edu

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

claim paper

Read More »

157

click to vote

WSC
2000

209views Modeling And Simulation» more WSC 2000»

Silk, Java and object-oriented simulation

15 years 8 months ago

Download www.informs-sim.org

Silk

Richard A. Kilgore

claim paper

Read More »

« Prev « First page 456 / 2134 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers