Sciweavers

3107 search results - page 454 / 622
» Error-Correcting Source Code
Sort
View
SERP
2003
15 years 4 months ago
Building Software Via Shared Knowledge
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
José R. Herrero, Juan J. Navarro
117
Voted
CASCON
2000
99views Education» more  CASCON 2000»
15 years 4 months ago
A multi-perspective software visualization environment
This paper describes a multi-perspective software visualization environment, SHriMP, which combines single view and multi-view techniques to support software exploration at both t...
Jingwei Wu, Margaret-Anne D. Storey
PTS
1998
81views Hardware» more  PTS 1998»
15 years 4 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
WSC
1997
15 years 4 months ago
Parallel Simulation of TCP/IP Using TeD
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...
Brian J. Premore, David M. Nicol
COLING
1996
15 years 4 months ago
Distributing and Porting General Linguistic Tools
Our main motivation is to build general and adaptable linguistic tools and we have faced the problem of their portability. We first make a quick description of the linguistic tool...
Damien Genthial, Jacques Courtin, Jacques Menezo