16216 search results - page 312 / 3244 » Effective Modeling with Constraints |
239
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
171
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes VHDL compilation techniques, embodied in the Auriga compiler [3,14], which facilitate parallel or distributed simulation by embedding evaluation scheduling in...
154
Voted
ENTCS
2006
15 years 6 months ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
129
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Bit-Power Loading (BPL) algorithms are proposed based on Effective SINR Mapping (ESM) techniques. The ESM techniques used are the Exponential ESM (EESM) as well as the Mean Mutual ...
180
click to vote
WECWIS
2006
IEEE
16 years 23 days ago
2006
IEEE
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...