Sciweavers

1390 search results - page 106 / 278
» Software Systems Integration and Architectural Analysis - A ...
Sort
View
ANSS
2007
IEEE
14 years 4 months ago
Revisiting the Issue of Performance Enhancement of Discrete Event Simulation Software
New approaches are considered for performance enhancement of discrete-event simulation software. Instead of taking a purely algorithmic analysis view, we supplement algorithmic co...
Alex Bahouth, Steven Crites, Norman Matloff, Todd ...
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
14 years 4 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
EUSAI
2003
Springer
14 years 3 months ago
An Integrated Framework for Supporting Photo Retrieval Activities in Home Environments
This paper addresses the content overload problem applied to photo retrieval activities in the home environment. The starting point is an analysis of the main activities that users...
Dario Teixeira, Wim F. J. Verhaegh, Miguel Ferreir...
ICFEM
1998
Springer
14 years 2 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
CASES
2009
ACM
14 years 4 months ago
Tight WCRT analysis of synchronous C programs
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
Partha S. Roop, Sidharta Andalam, Reinhard von Han...