2271 search results - page 125 / 455 » Scalable Software Libraries |
129
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
123
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
109
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
121
click to vote
VR
2003
IEEE
15 years 7 months ago
2003
IEEE
The Syzygy software library consists of tools for programming VR applications on PC clusters. Since the PC cluster environment presents application development constraints, it is ...
110
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...