Sciweavers

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