2374 search results - page 305 / 475 » The language of machines |
233
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
163
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Lexicon development and Part of Speech (POS) tagging are very important for almost all Natural Language Processing(NLP) application areas. The rapid development of these resources...
157
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
One of the most distinctive features of the JavaT M programming language is the ability to specify class loading policies. Despite the popularity of class loaders, little has been ...
163
click to vote
HASKELL
2006
ACM
16 years 17 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
164
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...