Found 11 Documents (Results 1–11)
Dynamic and formal verification of embedded systems: A comparative survey. (English) Zbl 1099.68659
MSC:
68Q60
An application of program unification to priority queue vectorization. (English) Zbl 0783.68139
Reviewer: L.Lakatos (Budapest)
MSC:
68U20
68P05
Derivation of efficient parallel programs: An example from genetic sequence analysis. (English) Zbl 0703.68076
Verifying atomic data types. (English) Zbl 0701.68076
Filter Results by …
all
top 5
Author
- Katz, Shmuel (2)
- Chuang, Ling-Yu (1)
- Degano, Pierpaolo (1)
- Finkel, Raphael Ari (1)
- Francez, Nissim (1)
- Grelck, Clemens (1)
- Hensgen, Debra A. (1)
- Loghi, Mirko (1)
- Mall, Rajib (1)
- Manber, Udi (1)
- Marchetti, Sergio (1)
- Margaria, Tiziana (1)
- Mathur, Aditya P. (1)
- Moran, Shlomo (1)
- Overbeek, Ross A. (1)
- Pravadelli, Graziano (1)
- Rego, Vernon (1)
- Reif, John H. (1)
- Scholz, Sven-Bodo (1)
- Shafarenko, Alex (1)
- Singh, Ambuj K. (1)
- Smolka, Scott A. (1)
- Steffen, Bernhard (1)
- Taubenfeld, Gadi (1)
- Wing, Jeannette Marie (1)
all
top 5
Volume
- 38, No. 1 (2010) (1)
- 33, No. 6 (2005) (1)
- 21, No. 3 (1992) (1)
- 20, No. 2 (1991) (1)
- 19, No. 1 (1990) (1)
- 18, No. 6 (1990) (1)
- 18, No. 5 (1989) (1)
- 18, No. 4 (1989) (1)
- 17, No. 1 (1988) (1)
- 16, No. 6 (1987) (1)
- 16, No. 4 (1987) (1)