3042 search results - page 207 / 609 » Efficient Communication in a Design Environment |
183
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
176
click to vote
DICTA
2007
15 years 8 months ago
2007
Apply is a Domain-Specific Language for image processing and low-level computer vision. Apply allows programmers to write kernel operations that focus on the computation for a sin...
171
click to vote
ISCAS
2007
IEEE
16 years 26 days ago
2007
IEEE
: Future generations of wireless communications are expected to place increasing burdens on the efficiency and linearity of power amplifiers, due to the use of more complex wavefor...
158
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. The nano-threads programming model was proposed to effectively integrate multiprogramming on shared-memory multiprocessors, with the exploitation of fine-grain parallelis...
175
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Cloud computing is an emerging paradigm to provide Infrastructure as a Service (IaaS). In this paper we present NEPTUNE-IaaS, a software system able to support the whole ...