Sciweavers

1759 search results - page 106 / 352
» Overview of Generative Software Development
Sort
View
BIRTHDAY
2007
Springer
15 years 8 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
119
Voted
ISBI
2006
IEEE
16 years 3 months ago
An evaluation of three approaches to tetrahedral mesh generation for deformable registration of brain MR images
In this paper we evaluate three conceptually different approaches to mesh generation for deformable Finite Element Method (FEM) registration of Magnetic Resonance (MR) images of b...
Andriy Fedorov, Nikos Chrisochoides, Ron Kikinis, ...
122
Voted
CACM
1998
127views more  CACM 1998»
15 years 2 months ago
The Virtual Reality Modeling Language and Java
Abstract. The Virtual Reality Modeling Language (VRML) and Java provide a standardized, portable and platformindependent way to render dynamic, interactive 3D scenes across the Int...
Donald P. Brutzman
118
Voted
ASPDAC
1999
ACM
98views Hardware» more  ASPDAC 1999»
15 years 7 months ago
Generation of Interpretive and Compiled Instruction Set Simulators
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
Rainer Leupers, Johann Elste, Birger Landwehr
182
Voted
FPGA
2008
ACM
191views FPGA» more  FPGA 2008»
15 years 4 months ago
A hardware framework for the fast generation of multiple long-period random number streams
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
Ishaan L. Dalal, Deian Stefan