Sciweavers

10899 search results - page 671 / 2180
» The GP Programming System
Sort
View
209
Voted
IADIS
2004
15 years 8 months ago
A distributed monitoring system with global network and Web technology
A distributed monitoring system has been developed, which is organized with network cameras, an integrated web/mail server, web-based clients including high-performance cellular p...
Yoshiro Imai, Daisuke Yamane, Osamu Sadayuki
201
Voted
FORTE
2003
15 years 8 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...
188
Voted
MVA
1994
113views Computer Vision» more  MVA 1994»
15 years 8 months ago
A Modified Simulation Environment for Reconfigurable Multicomputer Systems in Digital Image Processing Applications
In our work we improve the EPPI programming environment, which was made in the University of Castilla - la Mancha one year ago. EPPI is a tool for simulating parallel algorithms t...
Francisco J. Quiles, Antonio Jose Garrido del Solo
177
Voted
INFSOF
2002
89views more  INFSOF 2002»
15 years 7 months ago
Source transformation in software engineering using the TXL transformation system
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
James R. Cordy, Thomas R. Dean, Andrew J. Malton, ...
203
Voted
ICSE
2003
IEEE-ACM
16 years 7 months ago
DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
Eric Wohlstadter, Stoney Jackson, Premkumar T. Dev...