2940 search results - page 310 / 588 » Behavioral Constraints for Services |
165
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
185
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
142
click to vote
FMCAD
2009
Springer
16 years 19 days ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
152
click to vote
RTSS
2008
IEEE
16 years 13 days ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
170
click to vote
IPPS
2007
IEEE
16 years 11 days ago
2007
IEEE
The vulnerable air interface, device level constraints, and insecure encryption techniques of wireless networks have naturally increased the chance of attacker obtaining users inf...