1837 search results - page 1 / 368 » Abstraction and the C Machine Model |
ICESS
2004
Springer
13 years 10 months ago
2004
Springer
LPAR
2005
Springer
13 years 10 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
13 years 8 months ago
2004
IEEE
DATE
2003
IEEE
13 years 10 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
13 years 11 months ago
2008
IEEE
