Sciweavers

4386 search results - page 545 / 878
» A Tamper-Resistant Programming Language System
Sort
View
ASPLOS
1991
ACM
15 years 8 months ago
LimitLESS Directories: A Scalable Cache Coherence Scheme
Caches enhance the performance of multiprocessors by reducing network trac and average memory access latency. However, cache-based systems must address the problem of cache coher...
David Chaiken, John Kubiatowicz, Anant Agarwal
IFIP
2010
Springer
15 years 6 months ago
The Network Data Handling War: MySQL vs. NfDump
Abstract. Network monitoring plays a crucial role in any network management environment. Especially nowadays, with network speed and load constantly increasing, more and more data ...
Rick Hofstede, Anna Sperotto, Tiago Fioreze, Aiko ...
ESOP
2008
Springer
15 years 6 months ago
Semi-persistent Data Structures
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
Sylvain Conchon, Jean-Christophe Filliâtre
APPINF
2003
15 years 5 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
OMER
2001
15 years 5 months ago
Model-Based Design of ECU Software - A Component Based Approach
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
Ulrich Freund, Alexander Burst