Volume 19; Issue 6

1

Preemptive semi-online scheduling with tightly-grouped processing times

Year:
2004
Language:
english
File:
PDF, 557 KB
english, 2004
7

Approximation algorithm for weighted weak vertex cover

Year:
2004
Language:
english
File:
PDF, 381 KB
english, 2004
11

Symmetric structure in logic programming

Year:
2004
Language:
english
File:
PDF, 775 KB
english, 2004
12

Automatic generation of symbolic model for parameterized synchronous systems

Year:
2004
Language:
english
File:
PDF, 777 KB
english, 2004
16

A model for slicing JAVA programs hierarchically

Year:
2004
Language:
english
File:
PDF, 1.10 MB
english, 2004
17

Measuring class cohesion based on dependence analysis

Year:
2004
Language:
english
File:
PDF, 674 KB
english, 2004
20

Striping and scheduling for large scale multimedia servers

Year:
2004
Language:
english
File:
PDF, 1.16 MB
english, 2004
21

Integrated differentiated survivability in IP over WDM networks

Year:
2004
Language:
english
File:
PDF, 1.94 MB
english, 2004
24

Semantic and structural analysis of TV diving programs

Year:
2004
Language:
english
File:
PDF, 988 KB
english, 2004
25

Memorizable interactive proof and zero-knowledge proof systems

Year:
2004
Language:
english
File:
PDF, 591 KB
english, 2004
29

I/O performance of an RAID-10 style parallel file system

Year:
2004
Language:
english
File:
PDF, 1.02 MB
english, 2004
32

A framed temporal logic programming language

Year:
2004
Language:
english
File:
PDF, 69 KB
english, 2004