Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-3
|
Results: 3
Composite model-checking: Verification with type-specific symbolic representations
Authors:
Bultan, T Gerber, R League, C
Citation:
T. Bultan et al., Composite model-checking: Verification with type-specific symbolic representations, ACM T SOFTW, 9(1), 2000, pp. 3-50
Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results
Authors:
Bultan, T Gerber, R Pugh, W
Citation:
T. Bultan et al., Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results, ACM T PROGR, 21(4), 1999, pp. 747-789
A fast neural-network algorithm for VLSI cell placement
Authors:
Aykanat, C Bultan, T Haritaoglu, I
Citation:
C. Aykanat et al., A fast neural-network algorithm for VLSI cell placement, NEURAL NETW, 11(9), 1998, pp. 1671-1684
Risultati:
1-3
|