6953 search results - page 1343 / 1391 » Development Tools for Distributed Applications |
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Most recent schema matching systems assemble multiple components, each employing a particular matching technique. The domain user must then tune the system: select the right compo...
121
click to vote
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
WMPI
2004
ACM
15 years 5 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
113
click to vote
MIR
2010
ACM
15 years 5 months ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...
101
click to vote
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...