20655 search results - page 221 / 4131 » Exploring Software Systems |
174
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
When continuous 3D shapes or enclosed structures, such as solid objects or skeletons, are mapped onto a 2D screen, simplifications such as hulls and wire frames are suitable visual...
212
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
For successful SoC design, efficient and scalable communication architecture is crucial. Some bus interconnects now provide configurable structures to meet this requirement of an ...
172
click to vote
JUCS
2008
15 years 6 months ago
2008
The popularization of multi-core processors and of technologies such as hyper-threading demonstrates a fundamental change in the way processors have been evolving and also increase...
161
click to vote
TECS
2002
15 years 6 months ago
2002
les to further raise the abstraction level of the initial specification, where dynamic data sets can be specified without low-level details. Our method is suited for hardware and s...
192
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...