Sciweavers

2165 search results - page 182 / 433
» cases 2005
Sort
View
SEFM
2005
IEEE
15 years 9 months ago
Experimental Evaluation of FSM-Based Testing Methods
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih,...
SRDS
2005
IEEE
15 years 9 months ago
Consistent Main-Memory Database Federations under Deferred Disk Writes
Current cluster architectures provide the ideal environment to run federations of main-memory database systems (FMMDBs). In FMMDBs, data resides in the main memory of the federati...
Rodrigo Schmidt, Fernando Pedone
VISUALIZATION
2005
IEEE
15 years 9 months ago
HOT- Lines: Tracking Lines in Higher Order Tensor Fields
Tensors occur in many areas of science and engineering. Especially, they are used to describe charge, mass and energy transport (i.e. electrical conductivity tensor, diffusion ten...
Mario Hlawitschka, Gerik Scheuermann
VL
2005
IEEE
107views Visual Languages» more  VL 2005»
15 years 9 months ago
Navigating Software Architectures with Constant Visual Complexity
Abstract— Visualizing software architecture faces the challenges of both data complexity and visual complexity. This paper presents an approach for visualizing software architect...
Wanchun Li, Peter Eades, Seok-Hee Hong
WORDS
2005
IEEE
15 years 9 months ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...