Search Sciweavers | Sciweavers

6740 search results - page 42 / 1348

» Using Classification as a Programming Language

126

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 11 months ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

111

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 »

133

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 »

101

click to vote

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 »

202

click to vote

ERLANG
2009
ACM

228views Programming Languages» more ERLANG 2009»

Automatic testing of TCP/IP implementations using QuickCheck

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers