10575 search results - page 1573 / 2115 » T2Script Programming Language |
191
click to vote
ICECCS
2005
IEEE
16 years 22 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
206
click to vote
IPPS
2005
IEEE
16 years 22 days ago
2005
IEEE
UPC is a parallel programming language based on the concept of partitioned shared memory. There are now several UPC compilers available and several different parallel architecture...
201
click to vote
TPHOL
2005
IEEE
16 years 21 days ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
188
click to vote
CP
2005
Springer
16 years 20 days ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
195
click to vote
CP
2005
Springer
16 years 20 days ago
2005
Springer
In this paper we overview our recent work and outline our current line of research: First, we describe the WCSP framework and its related local consistencies. Second, the Max-SAT p...