1940 search results - page 130 / 388 » Eurostore - Initial Design and First Results |
182
click to vote
ISCA
2005
IEEE
15 years 12 months ago
2005
IEEE
One of the most important problems faced by microarchitecture designers is the poor scalability of some of the current solutions with increased clock frequencies and wider pipelin...
174
click to vote
AOSE
2005
Springer
15 years 12 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
162
click to vote
HVC
2005
Springer
15 years 12 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
155
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
It is increasingly important to optimally select base stations in the design of cellular networks, as customers demand cheaper and better wireless services. From a set of potentia...
204
click to vote
AMTA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Existing automated MT evaluation methods often require expert human translations. These are produced for every language pair evaluated and, due to this expense, subsequen...