950 search results - page 71 / 190 » Free and Open Source Software |
110
click to vote
WCRE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
ECSA
2010
Springer
14 years 11 months ago
2010
Springer
One of the main advantages of the Web component-based development paradigm is the ability to build customizable and composable web application modules as independent units of devel...
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
133
click to vote
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
ENTCS
2002
14 years 9 months ago
2002
I describe a new compiler infrastructure for imperative synchronous languages such as Esterel and ecl. Built on the suif 2 system, it includes a new intermediate representation fo...