2520 search results - page 297 / 504 » Model-checking behavioral programs |
144
click to vote
UM
2010
Springer
15 years 7 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...
119
Voted
ICTAI
2002
IEEE
15 years 7 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...
128
Voted
ISCA
1990
IEEE
15 years 6 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...
81
Voted
PNPM
1989
15 years 6 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...
120
click to vote
ESA
2007
Springer
15 years 6 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...