1477 search results - page 205 / 296 » Token flow control |
115
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
122
Voted
INFOCOM
1999
IEEE
15 years 6 months ago
1999
IEEE
Networks that support multiple services through "link-sharing" must address the fundamental conflicting requirement between isolation among service classes to satisfy ea...
134
Voted
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
172
Voted
RTSS
1994
IEEE
15 years 6 months ago
1994
IEEE
The use of caches poses a difficult tradeoff for architects of real-time systems. While caches provide significant performance advantages, they have also been viewed as inherently...
144
Voted
DSRT
2004
IEEE
15 years 6 months ago
2004
IEEE
The Experimentation Command and Control Interface (XC2I) project has developed an architecture for a Webservice based viewer/controller for use with distributed simulations suppor...