Sciweavers

2362 search results - page 270 / 473
» Programming in Standard ML
Sort
View
GI
2009
Springer
15 years 9 months ago
Massively-Parallel Simulation of Biochemical Systems
: Understanding biological evolution prompts for a detailed understanding of the realized phenotype. Biochemical and gene regulatory dynamics are a cornerstone for the physiology o...
Jens Ackermann, Paul Baecher, Thorsten Franzel, Mi...
FCCM
2000
IEEE
148views VLSI» more  FCCM 2000»
15 years 8 months ago
An Adaptive Cryptographic Engine for IPSec Architectures
Architectures that implement the Internet Protocol Security (IPSec) standard have to meet the enormous computing demands of cryptographic algorithms. In addition, IPSec architectu...
Andreas Dandalis, Viktor K. Prasanna, José ...
VRML
2000
ACM
15 years 8 months ago
3D behavioral model design for simulation and software engineering
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
Paul A. Fishwick
ICLP
1999
Springer
15 years 8 months ago
Concurrency in Prolog Using Threads and a Shared Database
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
Manuel Carro, Manuel V. Hermenegildo
ASSETS
2007
ACM
15 years 8 months ago
WebAnywhere: a screen reader on-the-go
People often use computers other than their own to browse the web, but blind web users are limited in where they access the web because they require specialized, expensive program...
Jeffrey P. Bigham, Craig Prince