Search Sciweavers | Sciweavers

6740 search results - page 42 / 1348

» Using Classification as a Programming Language

146

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

16 years 15 days ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

121

click to vote

CP
2004
Springer

86views Artificial Intelligence» more CP 2004»

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

16 years 12 days ago

Download acadepedia.com

Andrew Lim, Brian Rodrigues, Zhou Xu

claim paper

Read More »

148

click to vote

GPCE
2004
Springer

104views Programming Languages» more GPCE 2004»

Optimising Embedded DSLs Using Template Haskell

16 years 11 days ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

112

click to vote

IFIP
2004
Springer

83views Programming Languages» more IFIP 2004»

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

16 years 11 days ago

Download www.cs.ncl.ac.uk

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

claim paper

Read More »

223

click to vote

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