913 search results - page 120 / 183 » New polytopes from products |
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
COCO
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and GF(2) polynomials. The key is t...
112
click to vote
GRID
2007
Springer
15 years 6 months ago
2007
Springer
— EGEE, along with its sister project LCG, manages the world’s largest Grid production infrastructure which is spreading nowadays over 260 sites in more than 40 countries. Just...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
150
click to vote
ECOOP
2003
Springer
15 years 5 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...