483 search results - page 62 / 97 » Asynchronous software thread integration for efficient softw... |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
ICSE
1997
IEEE-ACM
14 years 1 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Interactive tutorials, like Eclipse's cheat sheets, are good for novice programmers to learn how to perform tasks (e.g., checking out a CVS project) in an Integrated Developm...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...