Sciweavers

4615 search results - page 589 / 923
» Virtual Classes and Their Implementation
Sort
View
JTRES
2010
ACM
15 years 7 months ago
Exhaustive testing of safety critical Java
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
Tomás Kalibera, Pavel Parizek, Michal Maloh...
162
Voted
CCS
2010
ACM
15 years 7 months ago
On verifying stateful dataflow processing services in large-scale cloud systems
Cloud computing needs to provide integrity assurance in order to support security sensitive application services such as critical dataflow processing. In this paper, we present a ...
Juan Du, Xiaohui Gu, Ting Yu
SIGCOMM
2010
ACM
15 years 7 months ago
QuagFlow: partnering Quagga with OpenFlow
Computing history has shown that open, multi-layer hardware and software stacks encourage innovation and bring costs down. Only recently this trend is meeting the networking world...
Marcelo Ribeiro Nascimento, Christian Esteve Rothe...
WWW
2010
ACM
15 years 7 months ago
Web-based framework for spatiotemporal screen real estate management of interactive public displays
In this paper we present a web-based framework for spatiotemporal screen real estate management of interactive public displays. The framework facilitates dynamic partitioning of t...
Tomas Linden, Tommi Heikkinen, Timo Ojala, Hannu K...
BIOINFORMATICS
2007
66views more  BIOINFORMATICS 2007»
15 years 6 months ago
Gene expression network analysis and applications to immunology
We address the problem of using expression data and prior biological knowledge to identify differentially expressed pathways or groups of genes. Following an idea of Ideker et al...
Serban Nacu, Rebecca Critchley-Thorne, Peter Lee, ...