3507 search results - page 499 / 702 » Slicing for architectural analysis |
193
click to vote
STTT
2008
15 years 7 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
212
click to vote
JCIT
2007
15 years 7 months ago
2007
An important issue of distributed systems is interoperability. Lack of interoperability between distributed systems is a common problem with current and legacy applications. Since...
202
click to vote
JIB
2007
15 years 7 months ago
2007
We are developing a vendor-independent archive and on top of that a data warehouse for mass spectrometry metabolomics data. The archive schema resembles the communitydeveloped obj...
171
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
Anaphora resolution is envisaged in this paper as part of the reference resolution process. A general open architecture is proposed, which can be particularized and configured in ...
212
click to vote
ET
2002
15 years 7 months ago
2002
As we approach 100nm technology the interconnect issues are becoming one of the main concerns in the testing of gigahertz system-onchips. Voltage distortion (noise) and delay viol...