Sciweavers

6174 search results - page 817 / 1235
» The language of social software
Sort
View
CC
2004
Springer
16 years 8 days ago
Developing a Foundation for Code Optimization
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
Mary Lou Soffa
170
Voted
ESOP
2004
Springer
16 years 7 days ago
Canonical Graph Shapes
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
Arend Rensink
205
Voted
MATES
2004
Springer
16 years 6 days ago
Developing Tools for Agent-Oriented Visual Modeling
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
Anna Perini, Angelo Susi
PEPM
2004
ACM
16 years 6 days ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...
COMPSAC
2003
IEEE
16 years 5 days ago
An Object-Passing Model for Parallel Programming
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
Jameela Al-Jaroodi, Nader Mohamed