2142 search results - page 412 / 429 » An aspect-oriented approach for implementing evolutionary co... |
101
click to vote
WWW
2006
ACM
16 years 12 days ago
2006
ACM
Internet traffic is bursty and network servers are often overloaded with surprising events or abnormal client request patterns. This paper studies a load shedding mechanism called...
194
Voted
POPL
2009
ACM
16 years 11 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
KDD
2002
ACM
16 years 4 days ago
2002
ACM
Images are highly complex multidimensional signals, with rich and complicated information content. For this reason they are difficult to analyze through a unique automated approach...
221
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
126
click to vote
PERCOM
2009
ACM
15 years 6 months ago
2009
ACM
Abstract—The extensive recent research in protocols development for wireless networks must be complemented with simple yet efficient prototyping and evaluation mechanism. MiNT-2...