16257 search results - page 3156 / 3252 » D-finiteness: algorithms and applications |
228
click to vote
PLDI
1997
ACM
15 years 10 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...
199
click to vote
POPL
1997
ACM
15 years 10 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...
162
click to vote
RTSS
1996
IEEE
15 years 10 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...
175
click to vote
SIGCOMM
1996
ACM
15 years 10 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...
204
click to vote
SIGGRAPH
1996
ACM
15 years 10 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...