9626 search results - page 1324 / 1926 » Invariant Based Programming |
189
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Using and extending a framework is a challenging task whose difficulty is exacerbated by the poor documentation that generally comes with the framework. Even in the presence of do...
190
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...
189
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
188
click to vote
ICCD
2008
IEEE
16 years 4 months ago
2008
IEEE
— Test-access mechanisms (TAMs) and test wrappers (e.g., the IEEE Standard 1500 wrapper) facilitate the modular testing of embedded cores in a core-based system-on-chip (SOC). Su...
215
click to vote
NETCOOP
2009
Springer
16 years 1 months ago
2009
Springer
We study the impact of user association policies on flow-level performance in interference limited wireless networks. Most research in this area has used static interference model...