813 search results - page 45 / 163 » Pipeline-centric provenance model |
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
FMCAD
1998
Springer
14 years 1 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
ICMCS
2010
IEEE
13 years 7 months ago
2010
IEEE
Liquid crystal display (LCD) devices are well known to have slow response due to the physical limitations of the liquid crystals. Therefore, fast moving objects in a scene are oft...
WEBI
2007
Springer
14 years 3 months ago
2007
Springer
Growth in the mobile services industry has remarkably increased in the number of mobile services provided, and present methods of service provision have proven insufficient to gui...
DSD
2006
IEEE
14 years 3 months ago
2006
IEEE
Recently, a number of works have been published on implementing assignment decision diagram models combined with SAT methods to address register-transfer level test pattern genera...