2943 search results - page 286 / 589 » Software Implementation of Synchronous Programs |
161
click to vote
PADS
2003
ACM
15 years 8 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
105
Voted
SOFTWARE
2002
15 years 3 months ago
2002
In only four or five years, the world wide web has changed from a static collection of HTML web pages to a dynamic engine that powers e-commerce, collaborative work, and distribut...
122
Voted
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
136
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Workspace awareness techniques have been proposed to enhance the effectiveness of software configuration management systems in coordinating parallel work. These techniques share i...
114
Voted
HPCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...