1116 search results - page 182 / 224 » An Eclipse-based tool framework for software model managemen... |
191
Voted
WSC
2000
15 years 6 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
139
click to vote
IJCSA
2008
15 years 4 months ago
2008
Within the computer aided design (CAD) teaching framework, new information and communication technologies (ICT's) are being set through new tools and methodological changes: ...
140
click to vote
SAT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
193
click to vote
ECBS
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
138
click to vote
SIPS
2006
IEEE
15 years 10 months ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...