16257 search results - page 3156 / 3252 » D-finiteness: algorithms and applications |
PLDI
1997
ACM
14 years 2 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
POPL
1997
ACM
14 years 2 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
RTSS
1996
IEEE
14 years 2 months ago
1996
IEEE
An integrated platform which is capable of meeting the requirements of both traditional real-time control processing and multimedia processing has enormous potential for accommoda...
SIGCOMM
1996
ACM
14 years 2 months ago
1996
ACM
State of the art, real-time, rate-adaptive, multimedia applications adjust their transmission rate to match the available network capacity. Unfortunately, this source-based rate-a...
SIGGRAPH
1996
ACM
14 years 2 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...