Sciweavers

3404 search results - page 305 / 681
» C Programming Tutorial
Sort
View
127
Voted
EUROPAR
2010
Springer
15 years 4 months ago
Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
Jonathan Mak, Karl-Filip Faxén, Sverker Jan...
97
Voted
BMCBI
2007
160views more  BMCBI 2007»
15 years 3 months ago
Dendroscope: An interactive viewer for large phylogenetic trees
Background: Research in evolution requires software for visualizing and editing phylogenetic trees, for increasingly very large datasets, such as arise in expression analysis or m...
Daniel H. Huson, Daniel C. Richter, Christian Raus...
138
Voted
IJISEC
2007
149views more  IJISEC 2007»
15 years 3 months ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers
159
Voted
ASE
2005
102views more  ASE 2005»
15 years 3 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
118
Voted
JOT
2007
102views more  JOT 2007»
15 years 3 months ago
Type Access Analysis: Towards Informed Interface Design
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
Friedrich Steimann, Philip Mayer