1702 search results - page 213 / 341 » Doomed program points |
128
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
148
Voted
GD
2003
Springer
15 years 10 months ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
135
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
114
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—Packaging becomes an important issue in aerospace equipments because of high integration and severe environmental constraints. In order to develop products which respond to the ...
167
click to vote
CODES
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...