G. L. J. M. Janssen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Through a network of progressively maturing vesicles, the endosomal system connects the cell's interior with extracellular space. Intriguingly, this network exhibits a bilateral architecture, comprised of a relatively immobile perinuclear vesicle "cloud" and a highly dynamic peripheral contingent. How this spatiotemporal organization is achieved and what(More)
(init_pc_val: word)(cs): staterec = (# write := write(cs), next_write := next_write(cs), ack := ack(cs), pc := (pc(cs) = init_pc_val) #) % abstract model is a homomorphic image of the concrete model homo_morphic1: LEMMA concrete_pipe.N(cs1, cs2)) IMPLIES congruent: LEMMA FORALL (wd: word): LET abs = abs(wd) IN instrn_rdy(abs(cs)) IFF instrn_rdy(cs) &(More)
Recursive learning is a general technique for analyzing Boolean problems. In this paper, we evaluate various heuristics for improving the runtime efficiency of this technique when applied to the problem of combinational equivalence checking. All heuristics are evaluated on a set of 29 examples containing the ISCAS benchmarks as well as industrial designs.
  • 1