Sciweavers

2433 search results - page 283 / 487
» Power laws in software
Sort
View
CSB
2004
IEEE
108views Bioinformatics» more  CSB 2004»
15 years 10 months ago
Embedded Computation of Maximum-Likelihood Phylogeny Inference Using Platform FPGA
Our previous work to accelerate phylogeny inference using HW/SW(Hardware/Software) co-design has recently been extended to a more powerful embedded computing platform. In this pla...
Terrence S. T. Mak, Kai-Pui Lam
CHES
2006
Springer
111views Cryptology» more  CHES 2006»
15 years 10 months ago
Cache-Collision Timing Attacks Against AES
This paper describes several novel timing attacks against the common table-driven software implementation of the AES cipher. We define a general attack strategy using a simplified ...
Joseph Bonneau, Ilya Mironov
GIS
1995
ACM
15 years 10 months ago
Object-Oriented Requirements Engineering for GIS Applications
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...
Georg Kösters, Bernd-Uwe Pagel, Hans-Werner S...
EMSOFT
2008
Springer
15 years 8 months ago
Interface theories with component reuse
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstm...
ISSRE
2007
IEEE
15 years 8 months ago
Generating Trace-Sets for Model-based Testing
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
Birgitta Lindström, Paul Pettersson, Jeff Off...