Sciweavers

15644 search results - page 150 / 3129
» Brittle System Analysis
Sort
View
HPDC
1998
IEEE
15 years 10 months ago
The NetLogger Methodology for High Performance Distributed Systems Performance Analysis
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
Brian Tierney, William E. Johnston, Brian Crowley,...
APLAS
2005
ACM
16 years 1 days ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
SAC
2009
ACM
16 years 1 months ago
Response time analysis of software transactional memory-based distributed real-time systems
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 29 days ago
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
Weehong Tan, Ufuk Topcu, Peter Seiler, Gary J. Bal...
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
16 years 24 days ago
Context-Based Recommender Systems in Conventional Grocery--An Economic Analysis
In today’s grocery the products are getting more homogenous and attributes are getting more complex. Consumers should be supported in their decisions during the shopping process...
Daniel Ch. Buser