11168 search results - page 195 / 2234 » Abstract State Processes |
130
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
The discrepancy between integrated circuits' activities in normal functional mode and that in structural test mode has an increasing adverse impact on the effectiveness of ma...
201
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
189
click to vote
ASE
2006
15 years 6 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
154
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
Model predictive control (MPC) is of interest because it is one of the few control design methods which preserves standard design variables and yet handles constraints. MPC is nor...
176
click to vote
CN
2002
15 years 6 months ago
2002
We present an approach to building multicast services at the network layer using unicast forwarding and two additional building blocks: (i) ephemeral state probes, i.e. extremely l...