1525 search results - page 207 / 305 » Formal Models for Communication-Based Design |
103
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
110
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract—This paper presents a model and theory for streaming layered video. We model the bandwidth available to the streaming application as a stochastic process whose statistic...
92
Voted
HPCA
2003
IEEE
16 years 1 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
125
click to vote
INTERACTION
2009
ACM
15 years 5 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
120
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...