Sciweavers

51 search results - page 8 / 11
» Sign language applications: preliminary modeling
Sort
View
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
14 years 8 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
AIIA
2009
Springer
14 years 2 months ago
Relational Temporal Data Mining for Wireless Sensor Networks
Wireless sensor networks (WSNs) represent a typical domain where there are complex temporal sequences of events. In this paper we propose a relational framework to model and analys...
Teresa Maria Altomare Basile, Nicola Di Mauro, Ste...
ESCIENCE
2006
IEEE
14 years 1 months ago
A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
Wei-Jen Wang, Kaoutar El Maghraoui, John Cummings,...
OOPSLA
2007
Springer
14 years 2 months ago
Ilea: inter-language analysis across java and c
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
Gang Tan, Greg Morrisett
OOPSLA
2005
Springer
14 years 1 months ago
Fortune teller: improving garbage collection performance in server environment using live objects prediction
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...
Feng Xian, Witawas Srisa-an, Hong Jiang