2271 search results - page 221 / 455 » Scalable Software Libraries |
173
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
151
click to vote
ANCS
2010
ACM
15 years 2 months ago
2010
ACM
: sNICh: Efficient Last Hop Networking in the Data Center Kaushik Kumar Ram, Jayaram Mudigonda, Alan L. Cox, Scott Rixner, Partha Ranganathan, Jose Renato Santos HP Laboratories H...
134
click to vote
MSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In computer systems today, speed and responsiveness is often determined by network and storage subsystem performance. Faster, more scalable networking interfaces like Fibre Channe...
157
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
159
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...