4940 search results - page 817 / 988 » On the Complexity of Universal Programs |
191
click to vote
CIMCA
2005
IEEE
16 years 1 days ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...
141
click to vote
FOCS
2005
IEEE
16 years 21 hour ago
2005
IEEE
Barak et al. formalized the notion of obfuscation, and showed that there exist (contrived) classes of functions that cannot be obfuscated. In contrast, Canetti and Wee showed how ...
138
click to vote
ICAC
2005
IEEE
16 years 18 hour ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
165
click to vote
ICMCS
2005
IEEE
16 years 9 hour ago
2005
IEEE
Network impairments such as delay and packet losses have severe impact on the presentation quality of many predictive video sources. Prior researches (e.g., [1]-[3][5]-[9][11]-[13...
157
click to vote
ICPPW
2005
IEEE
16 years 7 hour ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...