Publication
-
January 2005
-
January 2005
-
Canonical Processes of Media Production In Proceedings
January 2005
-
January 2005
-
An assertion-based proof system for multithreaded Java Article
Theoretical Computer Science, 331(2-3), 251-290.January 2005
-
Tail asymptotics for Discriminatory Processor-Sharing queues with heavy-tailed service requirements Article
ACM SIGMETRICS Performance Evaluation Review, 281-298.January 2005 -
Generalized Semantics-to-Document Derivation (poster description in conference proceedings) In Proceedings
January 2005 -
Applications of spiking neural networks Article
Information Processing Letters, 519-520.January 2005