4491 search results - page 389 / 899 » Algorithm Engineering |
125
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
152
click to vote
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...
142
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present polishing, a novel technique to maximize the playback utility of a streamed layer-encoded video. Polishing reduces the amount of layer variations in a cac...
126
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Reproducing and learning from failures in deployed software is costly and difficult. Those activities can be facilitated, however, if the circumstances leading to a failure are p...
114
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...