Sciweavers

3689 search results - page 11 / 738
» A Language with Distributed Scope
Sort
View
FM
2009
Springer
124views Formal Methods» more  FM 2009»
14 years 4 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
PARLE
1992
14 years 1 months ago
Characterizing the Paralation Model using Dynamic Assignment
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
Eric T. Freeman, Daniel P. Friedman
ISORC
2009
IEEE
14 years 4 months ago
Thread-Local Scope Caching for Real-time Java
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
Andy J. Wellings, Martin Schoeberl
LREC
2010
126views Education» more  LREC 2010»
13 years 11 months ago
Romanian Zero Pronoun Distribution: A Comparative Study
Anaphora resolution is still a challenging research field in natural language processing, lacking an algorithm that correctly resolves anaphoric pronouns. Anaphoric zero pronouns ...
Claudiu Mihaila, Iustina Ilisei, Diana Inkpen
GRID
2003
Springer
14 years 3 months ago
Scoped and Approximate Queries in a Relational Grid Information Service
We are developing a grid information service, RGIS, that is based on the relational data model. RGIS supports complex queries written in SQL that search for compositions (using jo...
Dong Lu, Peter A. Dinda, Jason A. Skicewicz