6528 search results - page 1292 / 1306 » On the architecture of software component systems |
HASKELL
2008
ACM
13 years 8 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...
COMPUTER
2008
13 years 7 months ago
2008
We describe the informatics requirements of translational biomedical research projects and how e-Science tools can be used to address them. We use pattern templates to describe the...
TCAD
2008
13 years 7 months ago
2008
Three-dimensional integration has the potential to improve the communication latency and integration density of chip-level multiprocessors (CMPs). However, the stacked highpower de...
BMCBI
2005
13 years 7 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
ASE
2002
13 years 7 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...