4719 search results - page 244 / 944 » Newtonian program analysis |
184
click to vote
WFLP
2009
Springer
16 years 11 days ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
232
click to vote
SIGADA
2007
Springer
15 years 12 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
171
click to vote
ISSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
150
click to vote
PPDP
2000
Springer
15 years 9 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
157
Voted
VLSISP
1998
15 years 5 months ago
1998
Understanding of the scene content of a video sequence is very important for content-based indexing and retrieval of multimedia databases. Research in this area in the past severa...