516 search results - page 20 / 104 » Constructing difference tools for models using the SiDiff fr... |
IPPS
2003
IEEE
14 years 25 days ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
WOSP
2000
ACM
13 years 12 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
ENTCS
2006
13 years 7 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
WSC
2008
13 years 10 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
PASTE
2005
ACM
14 years 1 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...