2438 search results - page 50 / 488 » Consistent Gradient Operators |
ACSD
2006
IEEE
15 years 3 months ago
2006
IEEE
An optimized functional design space exploration method for multimedia applications is proposed. The basis of the method is a way of representing the dependency and the concurrenc...
103
click to vote
ISSRE
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
ARCS
2004
Springer
15 years 3 months ago
2004
Springer
: We introduce the concept of an operating system for platforms that consist beside memory and peripheral devices of FPGAs as the only computational resource. Applications can be d...
DSD
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a method with an evolutionary approach to some of the tasks of integrated-circuit (IC) design. The work is focused on application-specific integrated circuits ...