1884 search results - page 224 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
108
click to vote
HYBRID
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...
101
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
109
Voted
WOA
2001
15 years 2 months ago
2001
Abstract--In the network-centric computing era, applications often involve sets of autonomous, unpredictable, and possibly mobile entities interacting within open, dynamic, and pos...
104
click to vote
JGO
2008
15 years 1 months ago
2008
Abstract. Good scaling is an essential requirement for the good behavior of many numerical algorithms. In particular, for problems involving multivariate polynomials, a change of s...
105
click to vote
CN
2002
15 years 1 months ago
2002
Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator....