3689 search results - page 186 / 738 » A Language with Distributed Scope |
124
Voted
TOPLAS
2002
15 years 3 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
118
Voted
PASTE
2010
ACM
15 years 1 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
143
Voted
ACL
2011
14 years 7 months ago
2011
Automated grammar correction techniques have seen improvement over the years, but there is still much room for increased performance. Current correction techniques mainly focus on...
166
Voted
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
—Many companies now routinely run massive data analysis jobs – expressed in some scripting language – on large clusters of low-end servers. Many analysis scripts are complex ...
107
Voted
LREC
2008
15 years 4 months ago
2008
Our goal is to provide a web-based platform for the long-term preservation and distribution of a heterogeneous collection of linguistic resources. We discuss the corpus preprocess...