3713 search results - page 322 / 743 » Constructing a Calculus of Programs |
198
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
188
click to vote
SCAM
2006
IEEE
16 years 21 days ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
169
click to vote
ICSM
2005
IEEE
16 years 8 days ago
2005
IEEE
Crisp is a tool (i.e., an Eclipse plug-in) for constructing intermediate versions of a Java program that is being edited in an IDE such as Eclipse. After a long editing session, a...
161
click to vote
EMO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Evolutionary algorithms have been quite effective in dealing with single-objective “optimization” while the area of Evolutionary Multiobjective Optimization (EMOO) h...
152
click to vote
SAS
2005
Springer
16 years 5 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...