22698 search results - page 3978 / 4540 » Modeling in Software Engineering |
208
click to vote
PLDI
2003
ACM
16 years 12 days ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
201
click to vote
CCS
2003
ACM
16 years 11 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
179
click to vote
CLUSTER
2002
IEEE
16 years 3 days ago
2002
IEEE
Clusters have made the jump from lab prototypes to fullfledged production computing platforms. The number, variety, and specialized configurations of these machines are increasi...
199
click to vote
IWMM
2010
Springer
15 years 12 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
184
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
In dynamic environments with frequent content updates, we require online full-text search that scales to large data collections and achieves low search latency. Several recent met...