380 search results - page 50 / 76 » A Case Study on Partial Evaluation in Embedded Software Desi... |
ASWSD
2004
Springer
14 years 29 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
WORDS
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
CSREAESA
2006
13 years 9 months ago
2006
As the number of cores on a chip increases, power consumed by the communication structures takes significant portion of the overall power-budget. As technology scales to deep sub-...
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...