8398 search results - page 1464 / 1680 » Optimal Software Testing |
168
click to vote
ICSEA
2007
IEEE
16 years 23 days ago
2007
IEEE
— This paper demonstrates that the algorithmic performance of end user programs may be greatly affected by the two or three level caching scheme of the processor, and we introduc...
164
click to vote
CCS
2007
ACM
16 years 19 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
161
click to vote
LCTRTS
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
157
Voted
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
142
click to vote
VMCAI
2007
Springer
16 years 17 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...