2881 search results - page 548 / 577 » Model Checking for Programming Languages using Verisoft |
130
Voted
BIODATAMINING
2008
15 years 2 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
107
Voted
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
The Distributed Shared Memory (DSM) model is designed to leverage the ease of programming of the shared memory paradigm, while enabling the highperformance by expressing locality ...
128
click to vote
PPPJ
2003
ACM
15 years 7 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
134
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
103
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...