2681 search results - page 171 / 537 » Topics in asynchronous systems |
132
Voted
MRCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Current research in context-awareness is biased toward low-level context information. High-level context information, however, poses several challenges to context managem...
135
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
136
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
138
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
153
click to vote
CMMR
2005
Springer
15 years 6 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...