Search Sciweavers | Sciweavers

10568 search results - page 99 / 2114

» Computer Intelligence and Formalization

113

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

15 years 10 months ago

Download www.fermat.ece.vt.edu

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

claim paper

Read More »

124

click to vote

ATC
2009
Springer

109views Applied Computing» more ATC 2009»

Formal Development of Self-organising Systems

15 years 11 months ago

Download www.iist.unu.edu

Graeme Smith, Jeffrey W. Sanders

claim paper

Read More »

115

click to vote

ICCS
2009
Springer

87views Applied Computing» more ICCS 2009»

Relation Algebra Operations on Formal Contexts

15 years 11 months ago

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

165

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

15 years 11 months ago

Download www.risc.jku.at

Johannes Wollbold, Reinhard Guthke, Bernhard Gante...

claim paper

Read More »

142

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers