2662 search results - page 97 / 533 » Tools Demonstrations |
125
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...
127
Voted
IJRR
2006
15 years 3 months ago
2006
ABSTRACT. We introduce tools from computational homology to verify coverage in an idealized sensor network. Our methods are unique in that, while they are coordinate-free and assum...
123
click to vote
SIGMOD
2005
ACM
15 years 9 months ago
2005
ACM
Database Tuning Advisor (DTA) is a physical database design tool that is part of Microsoft’s SQL Server 2005 relational database management system. Previously known as “Index ...
143
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
122
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
We developed a new hierarchical modular approach for synthesis of area-minimal core-based data-intensive systems. The optimization approach employs a novel global least-constraini...