1837 search results - page 1 / 368 » Abstraction and the C Machine Model |
ICESS
2004
Springer
14 years 2 months ago
2004
Springer
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
FDL
2004
IEEE
14 years 1 months ago
2004
IEEE
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
RSP
2008
IEEE
14 years 3 months ago
2008
IEEE
