87 search results - page 18 / 18 » Advanced tools for simulation and design of oscillators PLLs |
ICCAD
2004
IEEE
14 years 1 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
TRIDENTCOM
2008
IEEE
13 years 11 months ago
2008
IEEE
Research on TCP performance relies either on simulation programs, which run on a single machine, or on the use of real testbeds, where different machines represent different netwo...