2407 search results - page 179 / 482 » A Tool for Abstraction in Model Checking |
188
click to vote
VECPAR
2004
Springer
16 years 12 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...
177
Voted
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
215
click to vote
TCAD
2010
15 years 1 months ago
2010
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...
204
click to vote
SIGIR
2003
ACM
16 years 10 days ago
2003
ACM
Due to both the size and growth of the internet, new tools are needed to assist with the finding and extraction of very specific resources relevant to a user's task. Previous...
206
click to vote
TSMC
2010
15 years 1 months ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...