8636 search results - page 461 / 1728 » How Developers Copy |
183
click to vote
IEEEPACT
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
189
click to vote
HYBRID
2010
Springer
15 years 12 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
189
click to vote
CLOUD
2010
ACM
15 years 12 months ago
2010
ACM
Virtualization is often used in cloud computing platforms for its several advantages in efficiently managing resources. However, virtualization raises certain additional challeng...
198
Voted
PODS
2010
ACM
15 years 12 months ago
2010
ACM
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...
212
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Multi-Agent Systems are a promising way of dealing with large complex problems. However, it is not yet clear just how much complexity or pre-existing structure individual agents m...