14244 search results - page 672 / 2849 » Modeling Program Predictability |
174
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
215
click to vote
ENTCS
2008
15 years 7 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
230
click to vote
AAAI
2011
14 years 7 months ago
2011
We consider the problem of modeling network interactions and identifying latent groups of network nodes. This problem is challenging due to the facts i) that the network nodes are...
160
Voted
FPL
2005
Springer
16 years 21 days ago
2005
Springer
This paper presents a revised model for the yield analysis of FPGA interconnect layers. Based on proven yield models, this work improves the predictions and assumptions of previous...
201
Voted
ACL
2008
15 years 8 months ago
2008
In this paper, we propose a linguistically annotated reordering model for BTG-based statistical machine translation. The model incorporates linguistic knowledge to predict orders ...