1833 search results - page 304 / 367 » Mechanized Verification with Sharing |
158
click to vote
TCAD
2008
15 years 4 months ago
2008
Soft-error induced reliability problems have become a major challenge in designing new generation microprocessors. Due to the on-chip caches' dominant share in die area and tr...
118
click to vote
BC
2005
15 years 4 months ago
2005
Spatiotemporal characteristics of spontaneous alpha EEG activity patterns are analyzed in terms of large-scale phase synchronization. During periods with strong phase synchronizati...
122
click to vote
JASIS
2007
2007
Visualization of the citation impact environments of scientific journals: An online mapping exercise
15 years 4 months ago
Aggregated journal-journal citation networks based on the Journal Citation Reports 2004 of the Science Citation Index (5968 journals) and the Social Science Citation Index (1712 j...
122
click to vote
TWC
2008
15 years 4 months ago
2008
In modern wireless communication systems, power control plays a fundamental role for efficient resource utilization, in particular in the systems where the users share the same ban...
160
click to vote
CCR
2004
15 years 4 months ago
2004
TCP congestion control has been designed to ensure Internet stability along with fair and efficient allocation of the network bandwidth. During the last decade, many congestion co...