2634 search results - page 429 / 527 » Faster Than Uppaal |
145
click to vote
INFOCOM
2006
IEEE
16 years 3 days ago
2006
IEEE
— Many Peer-to-peer (P2P) applications such as media broadcasting and content distribution require a high performance overlay structure in order to deliver satisfying quality of ...
133
click to vote
ISPASS
2006
IEEE
16 years 2 days ago
2006
IEEE
The latest high-performance IBM PowerPC microprocessor, the POWER5 chip, poses challenges for performance model validation. The current stateof-the-art is to use simple hand-coded...
201
Voted
SIGSOFT
2006
ACM
16 years 17 hour ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
216
click to vote
ISCA
2005
IEEE
15 years 11 months ago
2005
IEEE
With the ability to place large numbers of transistors on a single silicon chip, manufacturers have begun developing chip multiprocessors (CMPs) containing multiple processor core...
182
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
Diffusion Tensor Imaging (DTI) is an MRI-based technique for quantifying water diffusion in living tissue. In the white matter of the brain, water diffuses more rapidly along the ...