2969 search results - page 276 / 594 » The Case for User-Centered CASE Tools |
157
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...
144
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
185
click to vote
ESCIENCE
2006
IEEE
16 years 23 days ago
2006
IEEE
— The ability to use a visualisation tool to steer large simulations provides innovative and novel usage scenarios, eg the ability to use new algorithms for the computation of fr...
140
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
The increasing availability of high-performance computing systems with thousands, tens of thousands, and even hundreds of thousands of computational nodes is driving the demand fo...
162
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
The computational power needed for searching exponentially growing databases, such as GenBank, has increased dramatically. Three different implementations of the most widely used ...