5376 search results - page 224 / 1076 » Scalable Kernel Systems |
145
click to vote
MICRO
2010
IEEE
15 years 3 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
213
click to vote
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
174
click to vote
ASPLOS
2012
ACM
14 years 1 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
191
click to vote
SYSTOR
2010
ACM
15 years 10 months ago
2010
ACM
Operating system (OS) virtualization can provide a number of important benefits, including transparent migration of applications, server consolidation, online OS maintenance, and...
144
click to vote
ICDM
2007
IEEE
16 years 5 days ago
2007
IEEE
Recommender systems based on collaborative filtering predict user preferences for products or services by learning past user-item relationships. A predominant approach to collabo...