7106 search results - page 957 / 1422 » Restricted Complexity, General Complexity |
219
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
165
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
204
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
In data dominated applications, loop transformations have a huge impact on the lifetime of array data and therefore on memory footprint. Since a locally optimal loop transformatio...
187
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
While the new generation of hand-held devices, e.g., smart phones, support a rich set of applications, growing complexity of the hardware and runtime environment makes the devices...
187
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...