10575 search results - page 1768 / 2115 » Programming Languages |
174
click to vote
CC
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
166
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
184
Voted
PPDP
2004
Springer
16 years 2 days ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
183
click to vote
VMCAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
173
click to vote
IPPS
2003
IEEE
16 years 7 hour ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...