Sciweavers

6197 search results - page 1108 / 1240
» Sandbridge Software Tools
Sort
View
ITC
2003
IEEE
119views Hardware» more  ITC 2003»
15 years 11 months ago
Fault Localization using Time Resolved Photon Emission and STIL Waveforms
Faster defect localization is achieved by combining IC simulations and internal measurements. Time resolved photon emission records photons emitted during commutations (current) r...
Romain Desplats, Felix Beaudoin, Philippe Perdu, N...
KBSE
2003
IEEE
15 years 11 months ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
KBSE
2003
IEEE
15 years 11 months ago
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
Mehrdad Sabetzadeh, Steve M. Easterbrook
KBSE
2003
IEEE
15 years 11 months ago
Aspectizing Server-Side Distribution
We discuss how a collection of domain-specific and domain-independent tools can be combined to “aspectize” the distributed character of server-side applications, to a much gr...
Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis...
WCRE
2003
IEEE
15 years 11 months ago
Detecting Merging and Splitting using Origin Analysis
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
Lijie Zou, Michael W. Godfrey
« Prev « First page 1108 / 1240 Last » Next »