2662 search results - page 130 / 533 » Tools Demonstrations |
115
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
133
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
When applied to real-world problems, the powerful optimization tool of Evolutionary Algorithms frequently turns out to be too time-consuming due to elaborate fitness calculations t...
128
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
133
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...
130
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...