12333 search results - page 417 / 2467 » System Level Modelling for Hardware Software Systems |
170
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
163
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
The widening spectrum of applications and services provided by portable and embedded devices bring a new dimension of concerns in security. Most of those embedded systems (pay-TV,...
196
click to vote
HPCA
2012
IEEE
14 years 2 months ago
2012
IEEE
Data races are a major contributor to parallel software unreliability. A type of race that is both common and typically harmful is the Asymmetric data race. It occurs when at leas...
181
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose signature-accelerated transactional memory (SigTM), a hybrid TM system that reduces the overhead of software transactions. SigTM uses hardware signatures to track the r...
177
click to vote
AUIC
2005
IEEE
16 years 13 days ago
2005
IEEE
The latest hardware available for creating playable augmented reality games is too expensive to be used in consumer-level products at the current time. Low-end hardware exists tha...