1163 search results - page 204 / 233 » Case Studies of Model Checking for Embedded System Designs |
120
Voted
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
150
click to vote
ANZIIS
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper describes the design and developmentof an expert system for tourist information center. The expert system was built to recommend a suitable travel schedule that satisfi...
113
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
143
Voted
CCGRID
2010
IEEE
14 years 5 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
131
click to vote
IUI
2011
ACM
14 years 4 months ago
2011
ACM
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...