Sciweavers

4061 search results - page 152 / 813
» Framework Evolution Tool
Sort
View
SLS
2007
Springer
100views Algorithms» more  SLS 2007»
15 years 10 months 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
174
Voted
HICSS
2003
IEEE
209views Biometrics» more  HICSS 2003»
15 years 9 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 8 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 ...
117
Voted
RTAS
1998
IEEE
15 years 8 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
224
Voted
ITC
2003
IEEE
126views Hardware» more  ITC 2003»
15 years 9 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....