Sciweavers

18374 search results - page 96 / 3675
» Applications for data hiding
Sort
View
AGP
2010
IEEE
15 years 10 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Alberto Momigliano, Mario Ornaghi
CCGRID
2002
IEEE
15 years 10 months ago
Invisible Network: Concepts and Architecture
Efficient schemes for deploying and maintaining widearea services and accessing such services are essential if the Internet is to sustain itself as the communication medium for b...
Muthucumaru Maheswaran, Balasubramaneyam Maniymara...
RTAS
2002
IEEE
15 years 10 months ago
A Measurement-Based Analysis of the Real-Time Performance of Linux
This paper presents an experimental study of the latency behavior of the Linux OS. We identify major sources of latency in the kernel with the goal of providing real-time performa...
Luca Abeni, Ashvin Goel, Charles Krasic, Jim Snow,...
HPCN
1998
Springer
15 years 9 months ago
The GRED Graphical Editor for the GRADE Parallel Program Development Environment
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
Péter Kacsuk, Gábor Dózsa, Ti...
IWPC
1996
IEEE
15 years 9 months ago
A Formal Architectural Design Patterns-Based Approach to Software Understanding
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz,...