Sciweavers

159 search results - page 9 / 32
» SNMP Traffic Analysis: Approaches, Tools, and First Results
Sort
View
DDECS
2006
IEEE
146views Hardware» more  DDECS 2006»
14 years 1 months ago
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
Jochen Eisinger, Ilia Polian, Bernd Becker, Alexan...
SODA
2001
ACM
115views Algorithms» more  SODA 2001»
13 years 11 months ago
Loss-bounded analysis for differentiated services
We consider a network providing Differentiated Services (DiffServ) which allow network service providers to offer different levels of Quality of Service (QoS) to different traffic...
Alexander Kesselman, Yishay Mansour
PLDI
2009
ACM
14 years 4 months ago
Snugglebug: a powerful approach to weakest preconditions
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
Satish Chandra, Stephen J. Fink, Manu Sridharan
BMCBI
2011
13 years 1 months ago
FFCA: a feasibility-based method for flux coupling analysis of metabolic networks
Background: Flux coupling analysis (FCA) is a useful method for finding dependencies between fluxes of a metabolic network at steady-state. FCA classifies reactions into subsets (...
László Dávid, Sayed-Amir Mara...
BMCBI
2005
223views more  BMCBI 2005»
13 years 9 months ago
Bioinformatics approaches for cross-species liver cancer analysis based on microarray gene expression profiling
Background: The completion of the sequencing of human, mouse and rat genomes and knowledge of cross-species gene homologies enables studies of differential gene expression in anim...
Hong Fang, Weida Tong, Roger Perkins, Leming M. Sh...