2501 search results - page 456 / 501 » Logics with Rank Operators |
202
Voted
TLDI
2010
ACM
16 years 27 days ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
141
click to vote
FPGA
2009
ACM
15 years 10 months ago
2009
ACM
Many natural processes exhibit exponential decay and, consequently, computational scientists make extensive use of e−x in computer simulation experiments. While it is common to ...
141
click to vote
ICIW
2009
IEEE
15 years 10 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
131
click to vote
CPAIOR
2009
Springer
15 years 10 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
108
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
∗ Diagnosis is becoming a major concern with the rapid development of semiconductor memories. It provides information about the location of manufacturing defects in the memory, a...