Sciweavers

758 search results - page 120 / 152
» Pattern-Constrained Test Case Generation
Sort
View
ISBI
2007
IEEE
14 years 5 months ago
Head and Neck Cancer Patient Similarity Based on Anatomical Structural Geometry
As we develop radiation treatment planning systems for head and neck cancer patients, there is a need to identify reference patients whose anatomical structures share similar feat...
Chia-Chi Teng, Linda G. Shapiro, Ira J. Kalet, Car...
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
14 years 5 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
NCA
2005
IEEE
14 years 4 months ago
Reducing the Communication Cost via Chain Pattern Scheduling
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
Florina M. Ciorba, Theodore Andronikos, Ioannis Dr...
UML
2001
Springer
14 years 3 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
WEBDB
1999
Springer
105views Database» more  WEBDB 1999»
14 years 3 months ago
On the Materialization of WebViews
ABSTRACT A WebView is a web page that is automatically created from base data, which are usually drawn from a DBMS. A WebView can be either materialized as an html page at the web...
Alexandros Labrinidis, Nick Roussopoulos