295 search results - page 51 / 59 » TROLL light - The Language and its Development Environment |
FASE
2005
Springer
14 years 1 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
ECRTS
2000
IEEE
14 years 25 days ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
ISHPC
1999
Springer
14 years 21 days ago
1999
Springer
Abstract. Dynamic program optimization is the only recourse for optimizing compilers when machine and program parameters necessary for applying an optimization technique are unknow...
CAV
1997
Springer
14 years 7 hour ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
IADIS
2004
13 years 9 months ago
2004
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...