4809 search results - page 911 / 962 » Scalable Analysis of Scalable Systems |
127
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
165
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
135
click to vote
SENSYS
2006
ACM
15 years 10 months ago
2006
ACM
Most sensor network research and software design has been guided by an architectural principle that permits multi-node data fusion on small-form-factor, resource-poor nodes, or mo...
165
click to vote
SBCCI
2005
ACM
15 years 10 months ago
2005
ACM
Networks on chip (NoCs) draw on concepts inherited from distributed systems and computer networks subject areas to interconnect IP cores in a structured and scalable way. Congesti...
139
click to vote
SENSYS
2005
ACM
15 years 10 months ago
2005
ACM
Sensor networks have the potential to greatly impact many aspects of medical care. By outfitting patients with wireless, wearable vital sign sensors, collecting detailed real-tim...