Sciweavers

3708 search results - page 350 / 742
» Programming with C Exceptions
Sort
View
ITICSE
2006
ACM
16 years 20 days ago
WADEIn II: a case for adaptive explanatory visualization
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
Peter Brusilovsky, Tomasz D. Loboda
CSB
2005
IEEE
139views Bioinformatics» more  CSB 2005»
16 years 10 days ago
Using Parallel Algorithms for Searching Molecular Sequence Databases
This work presents the development of algorithms for approximate string matching using parallel methods. It intends to do the maximum of molecular sequences comparisons per unity ...
Carla Correa Tavares dos Reis, Rubem P. Mondaini
CSFW
2005
IEEE
16 years 10 days ago
Belief in Information Flow
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
Michael R. Clarkson, Andrew C. Myers, Fred B. Schn...
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
16 years 6 days ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
SIGOPSE
2004
ACM
16 years 4 days ago
Using AOP to develop architectural-neutral operating system components
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
Olaf Spinczyk, Daniel Lohmann