Works matching IS 00015903 AND DT 2007 AND VI 44 AND IP 7/8
Results: 6
Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information.
- Published in:
- Acta Informatica, 2007, v. 44, n. 7/8, p. 571, doi. 10.1007/s00236-007-0058-8
- By:
- Publication type:
- Article
Solving #SAT using vertex covers.
- Published in:
- Acta Informatica, 2007, v. 44, n. 7/8, p. 509, doi. 10.1007/s00236-007-0056-x
- By:
- Publication type:
- Article
Recursive Petri nets.
- Published in:
- Acta Informatica, 2007, v. 44, n. 7/8, p. 463, doi. 10.1007/s00236-007-0055-y
- By:
- Publication type:
- Article
Synchronous cooperation for explicit multi-threading.
- Published in:
- Acta Informatica, 2007, v. 44, n. 7/8, p. 525, doi. 10.1007/s00236-007-0057-9
- By:
- Publication type:
- Article
Acknowledgement to Referees.
- Published in:
- Acta Informatica, 2007, v. 44, n. 7/8, p. 625, doi. 10.1007/s00236-007-0063-y
- Publication type:
- Article
The complexity of satisfying constraints on databases of transactions.
- Published in:
- Acta Informatica, 2007, v. 44, n. 7/8, p. 591, doi. 10.1007/s00236-007-0060-1
- By:
- Publication type:
- Article