Sciweavers

10908 search results - page 412 / 2182
» Requirements Engineering Tasks
Sort
View
ICSM
1998
IEEE
15 years 12 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 11 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 9 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 8 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»
16 years 1 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...