1271 search results - page 128 / 255 » On Simulation-Checking with Sequential Systems |
FPL
2000
Springer
2000
Springer
Reconfigurable Computing between Classifications and Metrics - The Approach of Space/Time-Scheduling
14 years 1 months ago
Abstract. Reconfigurable computing receives its merits from scheduling timebased into space-based execution. This paper reviews some common parameters and introduces an additional ...
SDM
2010
SIAM
13 years 11 months ago
2010
SIAM
Many applications involve a set of prediction tasks that must be accomplished sequentially through user interaction. If the tasks are interdependent, the order in which they are p...
TSE
2008
13 years 10 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
PR
2007
13 years 9 months ago
2007
Ensemble learning is attracting much attention from pattern recognition and machine learning domains for good generalization. Both theoretical and experimental researches show tha...
ICFEM
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...