Sciweavers

10304 search results - page 325 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
TCS
2011
15 years 1 months ago
Musings around the geometry of interaction, and coherence
We introduce the Danos-Régnier category
Jean Goubault-Larrecq
TCS
2010
15 years 1 months ago
A compact fixpoint semantics for term rewriting systems
María Alpuente, Marco Comini, Santiago Esco...
FOCS
2010
IEEE
15 years 4 months ago
Testing Properties of Sparse Images
We initiate the study of testing properties of images that correspond to sparse 0/1-valued matrices of size n
Gilad Tsur, Dana Ron
211
Voted

Publication
490views
17 years 5 months ago
Performance Testing Effort at the ATM Forum: An Overview
The testing group at ATM Forum is working on developing a specification for performance testing of ATM switches and networks. The emphasis is on the user perceived frame-level perf...
Raj Jain and Gojko Babic