Sciweavers

12 search results - page 1 / 3

» fm 1998

14

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

13 years 8 months ago

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

40

FM
1998
Springer

345views Formal Methods» more FM 1998»

Enriching the Software Development Process by Formal Methods

13 years 8 months ago

Enriching the Software Development Process by Formal Methods

Download www4.informatik.tu-muenchen.de

Manfred Broy, Oscar Slotosch

claim paper

Read More »

10

FM
1998
Springer

198views Formal Methods» more FM 1998»

Automated Test Set Generation for Statecharts

13 years 8 months ago

Automated Test Set Generation for Statecharts

Download www.csie.ntut.edu.tw

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

claim paper

Read More »

11

ASPDAC
1998
ACM

70views Hardware» more ASPDAC 1998»

FPART: A Multi-way FPGA Partitioning Procedure Based on the Improved FM Algorithm

13 years 8 months ago

FPART: A Multi-way FPGA Partitioning Procedure Based on the Improved FM Algorithm

Download www.cecs.uci.edu

Rongzheng Zhou, Jiarong Tong, Pushan Tang

claim paper

Read More »

7

SIAMDM
1998

165views more SIAMDM 1998»

The Number of Independent Sets in a Grid Graph

13 years 4 months ago

The Number of Independent Sets in a Grid Graph

Download www.ces.clemson.edu

If f(m, n) is the (vertex) independence number of the m × n grid graph, then we show that the double limit η = def limm,n→∞ f(m, n) 1 mn exists, thereby reﬁning earlier res...

Neil J. Calkin, Herbert S. Wilf

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »