Sciweavers

4061 search results - page 152 / 813
» Framework Evolution Tool
Sort
View
SLS
2007
Springer
100views Algorithms» more  SLS 2007»
16 years 17 days ago
EasySyn++: A Tool for Automatic Synthesis of Stochastic Local Search Algorithms
Abstract. We present a software tool, called EasySyn++, for the automatic synthesis of the source code for a set of stochastic local search (SLS) algorithms. EasySyn++ uses C++ as ...
Luca Di Gaspero, Andrea Schaerf
HICSS
2003
IEEE
209views Biometrics» more  HICSS 2003»
15 years 11 months ago
A Tool for the Capture and Use of Process Knowledge in Process Tailoring
Software processes are critical assets of software development organizations. The knowledge about context in which a process is defined and tailored is typically lost during softw...
Peng Xu, Balasubramaniam Ramesh
VR
2002
IEEE
131views Virtual Reality» more  VR 2002»
15 years 11 months ago
A Combined Immersive and Desktop Authoring Tool for Virtual Environments
While frameworks and application programming interfaces for virtual reality are commonplace today, designing scenarios for virtual environments still remains a tedious and time co...
Roland Holm, Erwin Stauder, Roland Wagner, Markus ...
RTAS
1998
IEEE
15 years 10 months ago
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
Stavros Tripakis, Sergio Yovine
ITC
2003
IEEE
126views Hardware» more  ITC 2003»
15 years 11 months ago
Diagnosis-Based Post-Silicon Timing Validation Using Statistical Tools and Methodologies
This paper describes a new post-silicon validation problem for diagnosing systematic timing errors. We illustrate the differences between timing validation and the traditional log...
Angela Krstic, Li-C. Wang, Kwang-Ting Cheng, T. M....