6201 search results - page 269 / 1241 » Implementation of Axiomatic Language |
172
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
170
click to vote
SEMCO
2009
IEEE
16 years 10 days ago
2009
IEEE
—We present LAIR: A domain-specific language that enables users to specify actions to be taken upon meeting specific semantic frames in a text, in particular to rephrase and re...
168
click to vote
IWMM
2009
Springer
16 years 4 days ago
2009
Springer
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
191
click to vote
ECCB
2005
IEEE
15 years 11 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
158
click to vote
ICS
2004
Tsinghua U.
15 years 11 months ago
2004
Tsinghua U.
The Cray X1 was recently introduced as the first in a new line of parallel systems to combine high-bandwidth vector processing with an MPP system architecture. Alongside capabili...