1271 search results - page 56 / 255 » On Simulation-Checking with Sequential Systems |
TOPNOC
2008
13 years 10 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
FUIN
2008
13 years 10 months ago
2008
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
ISPAN
2008
IEEE
14 years 4 months ago
2008
IEEE
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
– Model-based design is widely accepted in developing complex embedded system under intense time-to-market pressure. While it promises improved design productivity, the main bott...
EDM
2010
13 years 11 months ago
2010
Learning management systems capture student's interactions with the course contents in the form of event logs, including the order in which resources are accessed. We build on...