Sciweavers

12 search results - page 1 / 3
» fm 1998
Sort
View
135
Voted
FM
1998
Springer
345views Formal Methods» more  FM 1998»
15 years 2 months ago
Enriching the Software Development Process by Formal Methods
Manfred Broy, Oscar Slotosch
63
Voted
FM
1998
Springer
198views Formal Methods» more  FM 1998»
15 years 2 months ago
Automated Test Set Generation for Statecharts
Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
60
Voted
ASPDAC
1998
ACM
70views Hardware» more  ASPDAC 1998»
15 years 2 months ago
FPART: A Multi-way FPGA Partitioning Procedure Based on the Improved FM Algorithm
Rongzheng Zhou, Jiarong Tong, Pushan Tang
87
Voted
SIAMDM
1998
165views more  SIAMDM 1998»
14 years 9 months ago
The Number of Independent Sets in a Grid Graph
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 refining earlier res...
Neil J. Calkin, Herbert S. Wilf