2593 search results - page 40 / 519 » constraints 2007 |
118
click to vote
CMG
2003
15 years 5 months ago
2003
Many server workloads can exhaust the 32-bit virtual address space in the Windows server operating systems. Machines configured with 2 GB or more of RAM installed are particularly...
125
click to vote
FMOODS
2007
15 years 5 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
128
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
— We study stability regions of multi-rate Gaussian multiple access (MAC) and broadcast (BC) networks with centralized scheduling algorithms. Techniques are presented to characte...
124
click to vote
GEOINFO
2004
15 years 5 months ago
2004
Abstract: This paper presents a data model for cyclic geographic events useful for nextgeneration geographic information system design. The paper introduces a structure that captur...
147
click to vote
IJCAI
2003
15 years 5 months ago
2003
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...