Discussed here is "routine optimization," an approach to obviousness in cases where the gap between the prior art and patent claims appears to be one that the hypothetical person of ordinary skill in ...

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...