36320 search results - page 7137 / 7264 » From Code to Models |
140
Voted
RTSS
1992
IEEE
15 years 7 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...
115
Voted
FODO
1989
Springer
15 years 7 months ago
1989
Springer
d Abstract) Michael Rabin Aiken Computation Laboratory Harvard University Cambridge, MA 02138 J. D. Tygar School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213...
133
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
We investigate two challenges advance of e-commerce creates for traditional practice of travel distribution. First, we explore whether travel providers benefit from strategically ...
140
Voted
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
125
click to vote
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
Machine learning approaches offer some of the most cost-effective approaches to building predictive models (e.g., classifiers) in a broad range of applications in computational bio...