Sciweavers

1763 search results - page 150 / 353
» A Formalization of Polytime Functions
Sort
View
147
Voted
CEEMAS
2007
Springer
15 years 10 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»
15 years 9 months 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»
15 years 9 months 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 ...
138
Voted
IWANN
2005
Springer
15 years 9 months 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
15 years 9 months 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 ...