4469 search results - page 875 / 894 » A Language for Role Specifications |
112
click to vote
PVM
1997
Springer
15 years 4 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
102
click to vote
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
106
click to vote
VLDB
1994
ACM
15 years 3 months ago
1994
ACM
This paper introduces a formalism to describe the needs and preferences of database users. Because of the precise formulation of these concepts, we have found an automatic and ver...
123
click to vote
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
We have developed a technique to characterize software developers' styles using a set of source code metrics. This style fingerprint can be used to identify the likely author...
115
click to vote
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...