127 search results - page 3 / 26 » Higher-Dimensional Box Integrals |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
FPL
2005
Springer
14 years 29 days ago
2005
Springer
In this paper, the EX-VPR tool, which used for architecture level exploration, is presented. This tool belongs to an integrated framework (MEANDER) for mapping applications into a...
CIDR
2011
12 years 11 months ago
2011
Database appliances offer fully integrated hardware, storage, operating system, database, and related software in a single package. Database appliances have a relatively long hist...
ISOLA
2007
Springer
14 years 1 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
EUROITV
2007
Springer
14 years 1 months ago
2007
Springer
The goal of this research project is to investigate the use of technology in supporting social relationships by helping users throughout the decisional process (“What program cou...