Sciweavers

173 search results - page 17 / 35
» Incremental algorithms for dispatching in dynamically typed ...
Sort
View
BIBE
2010
IEEE
135views Bioinformatics» more  BIBE 2010»
13 years 8 months ago
Finding Dynamic Modules of Biological Regulatory Networks
—Often groups of genes in regulatory networks, also called modules, work collaboratively on similar functions. Mathematically, the modules in a regulatory network has often been ...
Ferhat Ay, Thang N. Dinh, My T. Thai, Tamer Kahvec...
CC
2010
Springer
243views System Software» more  CC 2010»
14 years 2 months ago
Optimizing Matlab through Just-In-Time Specialization
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
Maxime Chevalier-Boisvert, Laurie J. Hendren, Clar...
PEPM
2011
ACM
12 years 10 months ago
Allocation removal by partial evaluation in a tracing JIT
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkow...
BTW
2003
Springer
129views Database» more  BTW 2003»
14 years 1 months ago
Type Checking in XOBE
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
Martin Kempa, Volker Linnemann
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
13 years 5 months ago
Noninterference with Dynamic Security Domains and Policies
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
Robert Grabowski, Lennart Beringer