2520 search results - page 297 / 504 » Model-checking behavioral programs |
186
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
Search engines are key components in the online world and the choice of search engine is an important determinant of the user experience. In this work we seek to model user behavio...
163
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
Tracing and performance analysis tools are an important component in the development of high performance applications. Tracing parallel programs with current tracing tools, howeve...
171
click to vote
ISCA
1990
IEEE
15 years 10 months ago
1990
IEEE
An adaptive cache coherence mechanism exploits semantic information about the expected or observed access behavior of particular data objects. We contend that, in distributed shar...
128
click to vote
PNPM
1989
15 years 10 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
164
Voted
ESA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In the present work, we are interested in the practical behavior of a new fptas to solve the approximation version of the 0-1 multiobjective knapsack problem. Nevertheles...