1195 search results - page 10 / 239 » What, Where |
APN
2001
Springer
14 years 56 min ago
2001
Springer
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
Adaptive query processing has been the subject of a great deal of recent work, particularly in emerging data management environments such as data integration and data streams. We ...
ICML
2008
IEEE
14 years 8 months ago
2008
IEEE
We introduce a learning framework that combines elements of the well-known PAC and mistake-bound models. The KWIK (knows what it knows) framework was designed particularly for its...
VSTTE
2005
Springer
14 years 29 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
VECPAR
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...