4491 search results - page 293 / 899 » Algorithm Engineering |
114
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
109
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a pro...
114
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
137
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Enriching Web applications with personalized data is of major interest for facilitating the user access to the published contents, and therefore, for guaranteeing successful user ...
121
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Focused crawlers are considered as a promising way to tackle the scalability problem of topic-oriented or personalized search engines. To design a focused crawler, the choice of s...