2623 search results - page 102 / 525 » tools 2010 |
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
This paper provides an overview of important software engineering research issues related to the development of applications that run on mobile devices. Among the topics are devel...
APGV
2010
ACM
13 years 5 months ago
2010
ACM
Sequence alignment visualization is an important tool for understanding genomics data. Current approaches have difficulty scaling to the larger data sets becoming available. In th...
ECEASST
2010
13 years 5 months ago
2010
The current tooling used for the Eclipse OCL project uses an LALR parser generator. Enhancing the tooling to support editing motivated a migration to exploit the inherently model-d...
ENTCS
2006
13 years 10 months ago
2006
This paper presents a novel profiling approach, which is entirely based on program transformation techniques in order to enable exact profiling, preserving complete call stacks, m...
FORTE
2010
13 years 11 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...