55 search results - page 3 / 11 » Efficient Detection of Conflicts in Graph-based Model Transf... |
POPL
2008
ACM
14 years 6 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
CIVR
2010
Springer
13 years 22 days ago
2010
Springer
Current content-based video copy detection approaches mostly concentrate on the visual cues and neglect the audio information. In this paper, we attempt to tackle the video copy d...
RE
2006
Springer
13 years 5 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
SCAM
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
PLDI
2010
ACM
13 years 8 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...