4743 search results - page 175 / 949 » The PlusCal Algorithm Language |
120
click to vote
AICCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
108
click to vote
C5
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe the language architecture of Brie, a framework for authoring 3D spaces and user interfaces. Brie is designed to take advantage of the unique social characteristics of ...
101
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Possible solutions to the management of multichannel delivering, production on demand, and containment of sale prices in the digital multimedia content production could be the aut...
122
click to vote
ACSD
2009
IEEE
15 years 8 months ago
2009
IEEE
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...
128
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
We have developed an instrumentation scheme that enables programs written in multithreaded languages to compute a critical path at run time.Our scheme gives not only the length (ex...