1271 search results - page 117 / 255 » On Simulation-Checking with Sequential Systems |
106
Voted
CCE
2006
15 years 17 days ago
2006
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...
87
Voted
ENTCS
2006
15 years 16 days ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
88
Voted
FAC
2006
15 years 15 days ago
2006
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
82
Voted
PC
2006
15 years 13 days ago
2006
In this work, we discuss an extension of the set of principles that should guide the future design and development of skeletal programming systems, as defined by Cole in his ``pra...
95
Voted
TITB
2008
15 years 12 days ago
2008
Abstract--This study presents a computer-aided diagnosis system using sequential forward floating selection (SFFS) with support vector machine (SVM) to diagnose gastric histology o...