76 search results - page 11 / 16 » Cartesian Partial-Order Reduction |
MVA
1994
13 years 9 months ago
1994
This paper describes the development of an anthropomorphic visual sensor with retina-like structure to perform the polar mapping. The sensor consists of a dove prism for imagerota...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
EDBT
2009
ACM
13 years 11 months ago
2009
ACM
The widespread use of mobile appliances, with limitations in terms of storage, power, and connectivity capability, requires to minimize the amount of data to be loaded on user’s...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
FORMATS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...