Sciweavers

966 search results - page 111 / 194
» Communicating Answer Set Programs
Sort
View
128
Voted
WSC
2000
15 years 3 months ago
Using simulation to evaluate cargo ship design on the LPD17 program
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
Joseph Hugan
214
Voted
POPL
2007
ACM
16 years 2 months ago
Specialization of CML message-passing primitives
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
John H. Reppy, Yingqi Xiao
CD
2004
Springer
15 years 7 months ago
On the Performance of SOAP in a Non-trivial Peer-to-Peer Experiment
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meute...
CACM
2008
101views more  CACM 2008»
15 years 2 months ago
Just say 'A Class Defines a Data Type'
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
Chenglie Hu
CEC
2011
IEEE
14 years 2 months ago
Cost-benefit analysis of using heuristics in ACGP
—Constrained Genetic Programming (CGP) is a method of searching the Genetic Programming search space non-uniformly, giving preferences to certain subspaces according to some heur...
John W. Aleshunas, Cezary Z. Janikow