Sciweavers

555 search results - page 40 / 111
» A Run-time System for SCOOP
Sort
View
ASP
2001
Springer
15 years 4 months ago
Useful Transformations in Answer set programming
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
Mauricio Osorio, Juan Carlos Nieves, Chris Giannel...
AHS
2006
IEEE
145views Hardware» more  AHS 2006»
15 years 3 months ago
The Gannet Service-Based SoC: A Service-level Reconfigurable Architecture
We propose a novel type of dynamically reconfigurable System-on-Chip architecture, the Gannet service-based architecture. This novel concept addresses the issue of systemlevel rec...
Wim Vanderbauwhede
MOBISYS
2008
ACM
15 years 2 months ago
Lightweight module isolation for sensor nodes
There is an increasing tendency in sensor networks (and related networked embedded systems) to push more complexity and `intelligence' into end-nodes. This in turn leads to a ...
Nirmal Weerasinghe, Geoff Coulson
SERP
2007
15 years 1 months ago
Developing an Online Function Reader
A function reader is a program that can read an input function and evaluate the function for a given input value at run time. Any Computer Algebra System and Graphing Calculator ar...
Mingshen Wu, Weihu Hong
WSC
2004
15 years 1 months ago
Data Dissemination Techniques for Distributed Simulation Environments
Farm is a distributed simulation environment for modeling the performance of large-scale multi-agent systems. It uses a component-based architecture to distribute the computationa...
Bryan Horling, Victor R. Lesser