1446 search results - page 114 / 290 » Formal analysis of hardware requirements |
129
click to vote
ISCA
2008
IEEE
15 years 22 days ago
2008
IEEE
The goal of this paper is to identify and discuss scalability issues for the measurement-based analysis of the availability in large-scale networks using IP multicast technology. ...
102
click to vote
DAC
2008
ACM
16 years 1 months ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...
78
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
126
Voted
AOSD
2004
ACM
15 years 6 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
107
Voted
ALIFE
2006
15 years 24 days ago
2006
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...