4438 search results - page 584 / 888 » The Case for Collaborative Programming |
172
click to vote
MFCS
2004
Springer
16 years 1 days ago
2004
Springer
We study the problem of optimal preemptive scheduling with respect to a general target function. Given n jobs with associated weights and m ≤ n uniformly related machines, one a...
183
Voted
PPDP
2004
Springer
16 years 1 days ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
152
click to vote
TYPES
2004
Springer
16 years 22 hour ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
183
click to vote
VMCAI
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
169
click to vote
CSB
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a new strategy for designing degenerate primers for a given multiple alignment of amino acid sequences. Degenerate primers are useful for amplifying homologou...