4107 search results - page 721 / 822 » The Generalized Lambda Test |
111
click to vote
LCTRTS
2007
Springer
15 years 7 months 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...
131
click to vote
LSSC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
124
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
128
click to vote
RV
2007
Springer
15 years 7 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...