Search Sciweavers | Sciweavers

10568 search results - page 99 / 2114

» Computer Intelligence and Formalization

134

click to vote

MEMOCODE
2006
IEEE

81views Formal Methods» more MEMOCODE 2006»

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design

16 years 8 days ago

Download www.fermat.ece.vt.edu

Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Ris...

claim paper

Read More »

143

click to vote

ATC
2009
Springer

109views Applied Computing» more ATC 2009»

Formal Development of Self-organising Systems

16 years 26 days ago

Download www.iist.unu.edu

Graeme Smith, Jeffrey W. Sanders

claim paper

Read More »

139

click to vote

ICCS
2009
Springer

87views Applied Computing» more ICCS 2009»

Relation Algebra Operations on Formal Contexts

16 years 25 days ago

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

194

click to vote

AB
2008
Springer

284views Computational Biology» more AB 2008»

Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods

16 years 19 days ago

Download www.risc.jku.at

Johannes Wollbold, Reinhard Guthke, Bernhard Gante...

claim paper

Read More »

167

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers