Sciweavers

39039 search results - page 39 / 7808
» Implementation of the
Sort
View
ASPDAC
2001
ACM
81views Hardware» more  ASPDAC 2001»
14 years 1 months ago
High-level specification and efficient implementation of pipelined circuits
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
Maria-Cristina V. Marinescu, Martin C. Rinard
LFP
1994
87views more  LFP 1994»
13 years 11 months ago
An Efficient Implementation of Multiple Return Values in Scheme
This paper describes an implementation of the new Scheme multiple values interface. The implementation handles multiple values efficiently, with no run-time overhead for normal ca...
J. Michael Ashley, R. Kent Dybvig
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 10 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
COR
2006
64views more  COR 2006»
13 years 10 months ago
Implementing and testing the tabu cycle and conditional probability methods
-- The purpose of this paper is to describe the implementation and testing of the tabu cycle method and two variants of the conditional probability method. These methods were origi...
Manuel Laguna
EOR
2006
49views more  EOR 2006»
13 years 10 months ago
A game-theoretic formulation of joint implementation of environmental projects
The aim of this paper is to provide a game-theoretic interpretation of joint implementation in environmental projects and to assess the merit of such a strategy. More specifically...
Michèle Breton, Georges Zaccour, Mehdi Zaha...