1016 search results - page 54 / 204 » Parallelism Constraints |
117
Voted
HCW
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...
119
click to vote
ECOOPW
1997
Springer
15 years 6 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
134
Voted
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
117
Voted
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
159
Voted
PERCOM
2005
ACM
16 years 2 months ago
2005
ACM
Unique and challenging security problems arise due to the scarcity of computational, storage, and power resources in the low-cost pervasive computing environment. Particularly rel...