Sciweavers

6197 search results - page 1108 / 1240
» Sandbridge Software Tools
Sort
View
ITC
2003
IEEE
119views Hardware» more  ITC 2003»
15 years 10 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...
151
Voted
KBSE
2003
IEEE
15 years 10 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 10 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
141
Voted
KBSE
2003
IEEE
15 years 10 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...
148
Voted
WCRE
2003
IEEE
15 years 10 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 »