2390 search results - page 172 / 478 » Architectural Views and Alternatives |
180
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
186
click to vote
OZCHI
2005
ACM
16 years 1 days ago
2005
ACM
Technology is advancing at a rapid pace, automating many everyday chores in the process, changing the way we perform work and providing various forms of entertainment. Makers of t...
171
click to vote
AAAI
1994
15 years 7 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
180
click to vote
SAC
2005
ACM
16 years 1 days ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
157
click to vote
SAMOS
2005
Springer
15 years 12 months ago
2005
Springer
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...