837 search results - page 115 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
148
click to vote
RTSS
2000
IEEE
15 years 7 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
126
click to vote
EWSN
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. So-called "Smart Dust" is envisioned to combine sensing, computing, and wireless communication capabilities in an autonomous, dust-grain-sized device. Dense net...
114
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...
133
click to vote
TCAD
2002
15 years 3 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
133
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...