Sciweavers

443 search results - page 7 / 89
» An Architecture for Context-Sensitive Formatting
Sort
View
DOCENG
2008
ACM
15 years 1 months ago
An export architecture for a multimedia authoring environment
In this paper, we propose an export architecture that provides a clear separation of multimedia authoring services from publication services. We illustrate this architecture with ...
Jan Mikác, Cécile Roisin, Bao Le Duc
WSC
2000
15 years 1 months ago
A formation behavior for large-scale micro-robot force deployment
Micro-robots will soon be available for deployment by the thousands. Consequently, controlling and coordinating a force this large to accomplish a prescribed task is of great inte...
Donald D. Dudenhoeffer, Michael P. Jones
FORMATS
2006
Springer
15 years 3 months ago
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
Remy Chevallier, Emmanuelle Encrenaz-Tiphèn...
CORR
2008
Springer
133views Education» more  CORR 2008»
14 years 12 months ago
Emergence of Spontaneous Order Through Neighborhood Formation in Peer-to-Peer Recommender Systems
The advent of the Semantic Web necessitates paradigm shifts away from centralized client/server architectures towards decentralization and peer-to-peer computation, making the exi...
Ernesto Diaz-Aviles, Lars Schmidt-Thieme, Cai-Nico...
TC
2008
14 years 11 months ago
High-Performance Mixed-Precision Linear Solver for FPGAs
Compared to higher-precision data formats, lower-precision data formats result in higher performance for computationally intensive applications on FPGAs because of their lower res...
Junqing Sun, Gregory D. Peterson, Olaf O. Storaasl...