5109 search results - page 842 / 1022 » On Learning Limiting Programs |
143
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
136
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
How can you invite and encourage faculty to share their knowledge and ideas about courseware? A successful faculty technology training program promotes interdepartmental collabora...
110
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we present the design of an environment that offers personalized, ubiquitous information services in the emerging integrated world of the digital-TV and the Internet....
148
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
120
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We ...