4066 search results - page 588 / 814 » Almost Complete Sets |
190
click to vote
ICALP
2004
Springer
16 years 17 days ago
2004
Springer
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
210
click to vote
ICFEM
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
201
click to vote
ICFEM
2004
Springer
16 years 17 days ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
218
click to vote
INEX
2004
Springer
16 years 17 days ago
2004
Springer
We describe the INEX 2004 participation of the Informatics Institute of the University of Amsterdam. We completely revamped our XML retrieval system, now implemented as a mixture l...
230
click to vote
ISSAC
2004
Springer
16 years 17 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...