1557 search results - page 153 / 312 » Programming up to Congruence |
AGTIVE
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
ACSAC
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper first investigates and analyzes security holes concerning the use of Server-Side Includes (SSI) in some of the most used Web server software packages. We show that, by ...
ICCAD
1997
IEEE
15 years 3 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
IPPS
1996
IEEE
15 years 3 months ago
1996
IEEE
A concurrent partitioner for partitioning unstructured finite element meshes on distributed memory architectures is developed. The partitioner uses an element-based partitioning st...
115
click to vote
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...