5434 search results - page 680 / 1087 » Tool support for MOLA |
151
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
166
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We introduce a method to accelerate the evaluation of object detection cascades with the help of a divide-andconquer procedure in the space of candidate regions. Compared to the e...
162
click to vote
CC
2000
Springer
15 years 11 months ago
2000
Springer
JESP is a tool for statically examining the usage of user thrown exceptions in Java source code. Reported here are the first findings over a dataset of 31 publicly available Java...
160
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
158
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
—This paper studies a natural formulation of the timing-driven maze routing problem. A multigraph model appropriate for global routing applications is adopted; the model naturall...