11561 search results - page 1967 / 2313 » A Language for Biochemical Systems |
168
click to vote
EUROPAR
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level interactive d...
154
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
156
click to vote
LCPC
1998
Springer
15 years 11 months ago
1998
Springer
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...
176
Voted
UIST
1997
ACM
15 years 11 months ago
1997
ACM
Direct manipulation of visualizations is a powerful technique for performing exploratory data operations such as navigation, aggregation, and filtering. Its immediacy facilitates ...
192
click to vote
KBSE
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...