Sciweavers

1763 search results - page 150 / 353
» A Formalization of Polytime Functions
Sort
View
CEEMAS
2007
Springer
16 years 1 months ago
Plugin-Agents as Conceptual Basis for Flexible Software Structures
To allow for flexibility in software structures (architectures) especially plugins and agents are proposed solutions. While plugins are used to support the conceptual and practica...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, B...
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
16 years 13 days ago
A New System Design Methodology for Wire Pipelined SoC
Wire Pipelining (WP) has been proposed in order to limit the impact of increasing wire delays. In general, the added pipeline elements alters the system such that architectural ch...
Mario R. Casu, Luca Macchiarulo
IFL
2005
Springer
107views Formal Methods» more  IFL 2005»
16 years 10 days ago
With-Loop Fusion for Data Locality and Parallelism
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
Clemens Grelck, Karsten Hinckfuß, Sven-Bodo ...
IWANN
2005
Springer
16 years 9 days ago
Modeling Neural Processes in Lindenmayer Systems
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...
Carlos Martín-Vide, Tseren-Onolt Ishdorj
OTM
2005
Springer
16 years 9 days ago
A Model of Pervasive Services for Service Composition
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
Caroline Funk, Christoph Kuhmünch, Christoph ...