1763 search results - page 158 / 353 » A Formalization of Polytime Functions |
128
click to vote
IV
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
124
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
118
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform ā synchronising bookmarks in diļ...
139
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
127
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Use-cases and scenarios have been identiļ¬ed as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...