2673 search results - page 520 / 535 » Guided Static Analysis |
124
Voted
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
107
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
The notion of certain answers arises when one queries incompletely specified databases, e.g., in data integration and exchange scenarios, or databases with missing information. W...
100
click to vote
ISCC
2002
IEEE
15 years 5 months ago
2002
IEEE
–– The last few years have seen the evolution of telecommunications from the classic architectures, mainly based on static and wired structures, to the new mobile solutions bas...
113
click to vote
ICDT
2010
ACM
15 years 5 months ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...
126
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
In practice, rigid objects often move on a plane. The object then rotates around a fixed axis and translates in a plane orthogonal to this axis. For a concrete example, think of a ...