Sciweavers

12 search results - page 1 / 3
» fm 1998
Sort
View
137
Voted
FM
1998
Springer
345views Formal Methods» more  FM 1998»
15 years 3 months ago
Enriching the Software Development Process by Formal Methods
Manfred Broy, Oscar Slotosch
64
Voted
FM
1998
Springer
198views Formal Methods» more  FM 1998»
15 years 3 months ago
Automated Test Set Generation for Statecharts
Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
63
Voted
ASPDAC
1998
ACM
70views Hardware» more  ASPDAC 1998»
15 years 3 months ago
FPART: A Multi-way FPGA Partitioning Procedure Based on the Improved FM Algorithm
Rongzheng Zhou, Jiarong Tong, Pushan Tang
90
Voted
SIAMDM
1998
165views more  SIAMDM 1998»
14 years 10 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