2409 search results - page 249 / 482 » Logical systems for structured specifications |
178
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
When multiple processor (CPU) cores and a GPU integrated together on the same chip share the off-chip main memory, requests from the GPU can heavily interfere with requests from t...
145
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
143
Voted
JTAER
2010
14 years 11 months ago
2010
Current electronic commerce recommendation system is designed for single electronic commerce website and current recommendation technologies have obvious deficiencies Centralized ...
136
click to vote
ECIS
2003
15 years 5 months ago
2003
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...
125
click to vote
ICDCSW
2007
IEEE
15 years 11 months ago
2007
IEEE
Peer-to-Peer (P2P) systems are currently used in a variety of applications. File sharing applications and ad hoc networking have fueled the usage of these systems. P2P systems gen...