Sciweavers

2409 search results - page 249 / 482
» Logical systems for structured specifications
Sort
View
ISCA
2012
IEEE
279views Hardware» more  ISCA 2012»
13 years 7 months ago
Staged memory scheduling: Achieving high performance and scalability in heterogeneous systems
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...
Rachata Ausavarungnirun, Kevin Kai-Wei Chang, Lava...
POPL
1998
ACM
15 years 8 months ago
From System F to Typed Assembly Language
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 ...
J. Gregory Morrisett, David Walker, Karl Crary, Ne...
143
Voted
JTAER
2010
164views more  JTAER 2010»
14 years 11 months ago
Research and Design of a Grid Based Electronic Commerce Recommendation System
Current electronic commerce recommendation system is designed for single electronic commerce website and current recommendation technologies have obvious deficiencies Centralized ...
Yueling Liang, Guihua Nie
ECIS
2003
15 years 5 months ago
Development of a security methodology for cooperative information systems: the cooPSIS project
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...
Mariagrazia Fugini, Mario Mezzanzanica
ICDCSW
2007
IEEE
15 years 11 months ago
UBCA: Utility-Based Clustering Architecture for Peer-to-Peer Systems
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...
Brent Lagesse, Mohan Kumar