2364 search results - page 168 / 473 » An Engine for Computing Well-Founded Models |
128
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
129
click to vote
JCP
2008
15 years 4 months ago
2008
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
173
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
165
click to vote
TASE
2011
IEEE
14 years 11 months ago
2011
IEEE
—For multiclass flow line models, we identify a class of service times that allow a decomposition of the system into subsets of servers called channels. In each channel, the cus...
112
click to vote
SG
2010
Springer
15 years 9 months ago
2010
Springer
In this paper we present a method for detecting rounds and fillets in engineering sketches and drawings, and automatically generating a 3D model of the corresponding object, with r...