16518 search results - page 2964 / 3304 » A New Approach to Splitting-Off |
178
click to vote
ASPDAC
2005
ACM
16 years 10 days ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
193
click to vote
ASPDAC
2005
ACM
16 years 10 days ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
179
click to vote
SIGIR
2005
ACM
16 years 10 days ago
2005
ACM
This paper proposes GBM (gravitation-based model), a physical model for information retrieval inspired by Newton’s theory of gravitation. A mapping is built in this model from c...
199
click to vote
SPAA
2005
ACM
16 years 10 days ago
2005
ACM
Switching cells in parallel is a common approach to build switches with very high external line rate and a large number of ports. A prime example is the parallel packet switch (in...
196
click to vote
WOSP
2005
ACM
16 years 10 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...