3082 search results - page 175 / 617 » Deviation Analysis: A New Use of Model Checking |
149
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
One of the new research tendencies within the well-established cluster computing area is the growing interest in the use of multiple workstation clusters as a single virtual parall...
163
click to vote
AAAI
2008
15 years 8 months ago
2008
We introduce the problem of zero-data learning, where a model must generalize to classes or tasks for which no training data are available and only a description of the classes or...
172
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper considers the problem of how to allocate power among competing users sharing a frequency-selective interference channel. We model the interaction between these selfish ...
158
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
113
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Most existing buffering algorithms neglect the impact of inductance on circuit performance, which causes large error in circuit analysis and optimization. Even for the approaches...