433 search results - page 82 / 87 » Contracts: From Analysis to C Implementation |
IEEEPACT
2007
IEEE
15 years 4 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
125
click to vote
ANCS
2005
ACM
15 years 3 months ago
2005
ACM
High-speed packet content inspection and filtering devices rely on a fast multi-pattern matching algorithm which is used to detect predefined keywords or signatures in the packe...
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
MSWIM
2004
ACM
15 years 3 months ago
2004
ACM
Emerging “urban” ad hoc networks resulting from a large number of individual WLAN users challenge the way users could explore and interact with their physical surroundings. Ro...
SIGMETRICS
2004
ACM
15 years 3 months ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...