Search Sciweavers | Sciweavers

6740 search results - page 42 / 1348

» Using Classification as a Programming Language

133

Voted

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 12 months ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

114

click to vote

CP
2004
Springer

86views Artificial Intelligence» more CP 2004»

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

15 years 11 months ago

Download acadepedia.com

Andrew Lim, Brian Rodrigues, Zhou Xu

claim paper

Read More »

136

click to vote

GPCE
2004
Springer

104views Programming Languages» more GPCE 2004»

Optimising Embedded DSLs Using Template Haskell

15 years 11 months ago

Download www.cse.unsw.edu.au

Sean Seefried, Manuel M. T. Chakravarty, Gabriele ...

claim paper

Read More »

102

Voted

IFIP
2004
Springer

83views Programming Languages» more IFIP 2004»

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

15 years 11 months ago

Download www.cs.ncl.ac.uk

Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan

claim paper

Read More »

210

Voted

ERLANG
2009
ACM

228views Programming Languages» more ERLANG 2009»

Automatic testing of TCP/IP implementations using QuickCheck

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers