Sciweavers

443 search results - page 7 / 89
» An Architecture for Context-Sensitive Formatting
Sort
View
65
Voted
DOCENG
2008
ACM
14 years 12 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
78
Voted
WSC
2000
14 years 11 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 1 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 10 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 10 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...