1161 search results - page 74 / 233 » Resource Modeling for Timed Creol Models |
158
Voted
ENTCS
2006
15 years 3 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
130
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
113
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
: Earth Observations (EO) collect various characteristics of the objective environment using sensors which often have different measuring, spatial and temporal coverage. Making ind...
122
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...
135
Voted
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...