2025 search results - page 203 / 405 » Software performance modelling using PEPA nets |
103
Voted
AC
2008
Springer
15 years 3 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
120
Voted
ASAP
2009
IEEE
16 years 26 days ago
2009
IEEE
—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workb...
139
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Dual-radio, dual-processor nodes are an emerging class of Wireless Sensor Network devices that provide both lowenergy operation as well as substantially increased computational...
117
Voted
ECEASST
2008
15 years 3 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
125
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...