5330 search results - page 383 / 1066 » The Performability Tool P'ility |
187
click to vote
MICRO
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
185
click to vote
ACL
2009
15 years 5 months ago
2009
We examine correlations between native speaker judgements on automatically generated German text against automatic evaluation metrics. We look at a number of metrics from the MT a...
203
click to vote
EMISA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: Due to mergers and acquisitions as well as uncoordinated projects, application landscapes of today's organizations contain redundant applications (two or more applic...
315
click to vote
CPHYSICS
2011
14 years 11 months ago
2011
We present a new Monte Carlo tool that computes full tree-level matrix elements in high-energy physics. The program accepts user-defined models and has no restrictions on the pro...
195
click to vote
EUROSYS
2008
ACM
16 years 4 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...