5977 search results - page 334 / 1196 » Hierarchical Performance Modeling for Distributed System Arc... |
174
click to vote
IPPS
2009
IEEE
16 years 20 days ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
149
click to vote
VRML
2009
ACM
16 years 16 days ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
150
click to vote
COMPSAC
2006
IEEE
16 years 3 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
162
click to vote
TC
2008
15 years 6 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
151
click to vote
CCGRID
2009
IEEE
16 years 24 days ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...