Sciweavers

10908 search results - page 412 / 2182
» Requirements Engineering Tasks
Sort
View
ICSM
1998
IEEE
15 years 8 months ago
Analysis of Programs with Exception-Handling Constructs
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
Saurabh Sinha, Mary Jean Harrold
ECLIPSE
2007
ACM
15 years 8 months ago
Filtering out methods you wish you hadn't navigated
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...
Annie T. T. Ying, Peri L. Tarr
ADAEUROPE
2008
Springer
15 years 6 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
CLEF
2010
Springer
15 years 5 months ago
IPL at ImageCLEF 2010
This paper describes the participation of the IPL team in the ImageCLEF-2010 campaign. Our research group has participated in the ad hoc task the case-based and the modality tasks ...
Alexandros Stougiannis, Anestis Gkanogiannis, Theo...
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
15 years 9 months ago
G-MAC: An Application-Specific MAC/Co-Processor Synthesizer
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...
Alex C.-Y. Chang, Wu-An Kuo, Allen C.-H. Wu, TingT...