Sciweavers

2963 search results - page 260 / 593
» An architecture for generic extensions
Sort
View
EDOC
2000
IEEE
15 years 11 months ago
Pay As You Go-Associating Costs with Jini Leases
Jini is a technology for building reliable, fault-tolerant distributed applications. Besides offering an infrastructure for clients to locate services, it introduces the concept o...
Peer Hasselmeyer, Markus Schumacher, Marco Vo&szli...
DAC
2004
ACM
16 years 7 months ago
Benefits and challenges for platform-based design
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face t...
Alberto L. Sangiovanni-Vincentelli, Luca P. Carlon...
CADE
2009
Springer
16 years 7 months ago
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
Sean McLaughlin, Frank Pfenning
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
16 years 1 months ago
A high-level debug environment for communication-centric debug
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
Kees Goossens, Bart Vermeulen, Ashkan Beyranvand N...
ADMI
2009
Springer
16 years 1 months ago
Agent-Enriched Data Mining Using an Extendable Framework
An extendable and generic Agent Enriched Data Mining (AEDM) framework, EMADS (the Extendable Multi-Agent Data mining System) is described. The central feature of the framework is ...
Kamal Ali Albashiri, Frans Coenen