Search Sciweavers | Sciweavers

10568 search results - page 99 / 2114

» Computer Intelligence and Formalization

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 3 months ago

Download www.fermat.ece.vt.edu

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

claim paper

Read More »

click to vote

ATC
2009
Springer

109views Applied Computing» more ATC 2009»

Formal Development of Self-organising Systems

15 years 4 months ago

Download www.iist.unu.edu

Graeme Smith, Jeffrey W. Sanders

claim paper

Read More »

Voted

ICCS
2009
Springer

87views Applied Computing» more ICCS 2009»

Relation Algebra Operations on Formal Contexts

15 years 4 months ago

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

102

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 4 months ago

Download www.risc.jku.at

Johannes Wollbold, Reinhard Guthke, Bernhard Gante...

claim paper

Read More »

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers