Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings von Geist, Daniel, Tronci, Enrico

Volltext

Computing the minimum DNF representation of Boolean functions defined by intervals von Schieber, Baruch, Geist, Daniel, Zaks, Ayal

Volltext

Residual stress in cemented carbide following a coating process and after an ion implantation post-treatment of the coating von Perry, Anthony J, Geist, Daniel E, Rafaja, David

Volltext

Correct Hardware Design and Verification Methods: 12th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2003, l'Aquila, Italy, October 21-24, 2003, Proceedings von Geist, Daniel, Tronci, Enrico

Volltext

Predicate Abstraction with Minimum Predicates von Chaki, Sagar, Clarke, Edmund, Groce, Alex, Strichman, Ofer

Volltext

Exact and Efficient Verification of Parameterized Cache Coherence Protocols von Emerson, E. Allen, Kahlon, Vineet

Volltext

“More Deterministic” vs. “Smaller” Büchi Automata for Efficient LTL Model Checking von Sebastiani, Roberto, Tonetta, Stefano

Volltext

Efficient model checking by automated ordering of transition relation partitions von Geist, Daniel, Beer, Ilan

Volltext

Coverage Metrics for Formal Verification von Chockler, Hana, Kupferman, Orna, Vardi, Moshe Y.

Volltext

On Complementing Nondeterministic Büchi Automata von Gurumurthy, Sankar, Kupferman, Orna, Somenzi, Fabio, Vardi, Moshe Y.

Volltext

Profiling the residual stress and integral strain distribution in yttrium implanted titanium nitride von Perry, Anthony J, Geist, Daniel E

Volltext

On the residual stress profile developed in titanium nitride by ion implantation von Perry, Anthony J., Geist, Daniel E.

Volltext

Rapid thermal processing of TiN coatings deposited by chemical and physical vapor deposition using a low-energy, high-current electron beam : Microstructural studies and properties von PERRY, A. J, MATOSSIAN, J. N, ROTSHTEIN, V. P, MARKOV, A. B, BULL, S. J, PROSKUROVSKY, D. I, RICE-EVANS, P. C, PAGE, T. F, GEIST, D. E, TAYLOR, J, VAJO, J. J, DOTY, R. E

Volltext

Modification of a disordered Ni3Fe alloy surface by 50 keV Zr ion implantation von Sharkeev, Yurii P, Perry, Anthony J, Geist, Daniel E, Ryabchikov, Alexander I, Tailashev, Alexei S, Girsova, Natalya V, Kozlov, Eduard V

Volltext

Method and apparatus for debugging programs von Geist Daniel

Volltext bestellen

Effect of ion implantation on the residual stress, tribological and machining behavior of CVD and PVD TiN coated cemented carbide cutting tool inserts von Perry, Anthony J., Treglio, James R., Bhat, Deepak G., Boppana, S. Prasad, Kattamis, Theo Z., Schlichting, Kevin, Dearnaley, Geoff, Geist, Daniel E.

Volltext

The ROBDD Size of Simple CNF Formulas von Langberg, Michael, Pnueli, Amir, Rodeh, Yoav

Volltext

A Compositional Theory of Refinement for Branching Time von Manolios, Panagiotis

Volltext

Computing the minimum DNF representation of Boolean functions defined by intervals: Boolean and Pseudo-Boolean Functions von SCHIEBER, Baruch, GEIST, Daniel, ZAKS, Ayal

Volltext

CTL May Be Ambiguous When Model Checking Moore Machines von Roux, Cédric, Encrenaz, Emmanuelle

Volltext